skysight-inc/HackerNews huggingface dataset:
This slideshow has a nice summary of the basics of running a ZFS pool, and covers many common mistakes and explains them (including ECC memory): http://forums.freenas.org/index.php?threads/slideshow-explai...

I would recommend anyone new to ZFS read it if they care about the data they are storing.
I give as much of a shit about London cab drivers as when they refused to take me for their stuck up their arse reasons.
Have they found this bit from Contact
yet
"When Ellie looks at what the computer has found, she sees a circle rasterized from 0s and 1s that appear after 10^20 places in the base 11 representation of π. This gives her a way to convince the world of something greater – that intelligence is built into the universe itself."
“The new technology promises not only biodegradable structural materials but soft natural textiles that could be substituted for cotton, which is widely believed to be close to reaching peak cultivation.”

http://www.imdb.com/title/tt0044876/
I like the idea, but feel like I'd get robbed on the way home.
The US court orders something to be produced. If MS declines to produce it, then they are in contempt. MS's internal structure isn't of interest.

(Assuming the US court claims jurisdiction, which is more or less what this case is about)
I guess you haven't had the misfortune of being ripped of by London taxi drivers.
Or if you can't beat 'em, co-opt 'em
Why should we be excited for some US company siphoning off money from people who are already at the lower end of the wage scale?
You link to a blog and yet you apparently don't read it. KDE System Settings is being redisigned as well. Just scroll down a bit: http://wheeldesign.blogspot.fi/2014/05/system-settings-and-n...

The redesign is not in this beta and, depending how long it takes, maybe won't make it into the first final release either.
Partially it's even by design. It's not intended that Plasma 5 diverges too much from the current release to ease the transition.
I absolutely love yakuake. One of the reason why I'm still using KDE.
This is why my European clients are no longer using Amazon Web Services. For awhile they let us put their projects on AWS's ireland zones but even with that they were reluctant. After the NSA revelations (I know that this particular story is unrelated) they don't even allow that.

The projects were only content management system projects with minimal privacy concerns. One project did have some customer data but the others were mostly just marketing material.

Stories like this are just going to dry up the final remaining non-u.s. customers for u.s.-based cloud computing companies. It's almost like the u.s. government is trying to screw u.s. companies.
Don't you think that's a bit simplistic? In some places, like here in Italy, the taxi folks are pretty nasty:

http://www.corriere.it/Primo_Piano/Cronache/2006/07_Luglio/2...

Short English version: economist and professor writes an editorial advocating liberalizing taxis, and some taxi drivers printed a flyer with his face, home address and phone number, inviting taxis to honk when they go by his house.

And don't forget that a lot of that regulation - in some places - may have been written by the industry in question in order to maintain the status quo:

http://en.wikipedia.org/wiki/Regulatory_capture
LHR is on the outskirts of London. Asking a cabbie to go even further out from the airport is kinda rude. That's what minicabs are for.
It's mainstream in the sense that the Gnome community fragmented so much in recent years (see Mate and Cinnamon "spin offs") that these days Xfce has roughly the same mind share as Gnome -- if the recent poll on Slashdot it any indication. http://slashdot.org/poll/2751/which-desktop-environment-do-y...
Feedly gets hit by DDoS attack, refuses to give in to blackmail
Feedly: Denial of service attack
This is a ridiculous situation and as an Irish person I would say, a gross violation of our sovereignty. It's bad enough that GCHQ and the NSA do it on a daily basis anyway, now the US is trying to do it via the legal route.

Imagine the uproar if China or Russia decided to do the same to data held on US servers...
The new themes are quite nice, and it is a nice touch to give a free 'premium' theme pack to users who paid in the past.
Even with everything she did, we didn't think calling her out by name was something we should do. The lessons learned were there without mentioning her directly.

Besides, with around 100M people in the Philippines, it's highly unlikely anyone reading this would need her name to avoid, heh.
Ask HN: What's the Zen of zero-cost abstractions?
The concept is never really clearly defined - Web searches turn up C++ discussions using the phrase in different contexts and different meanings.

What C++ features/properties come together to give the user "zero cost abstractions"? What are the tradeoffs? What does it mean in Rust? Could you say zero-cost abstractions is a feature of Java or Common Lisp?
Actually more optimization is taking place than visual refreshes. Porting the stuff to Qt5 (esp. QtQuick2) should speed everything up on non-ancient PCs.
Visual refreshes are just easier to explain. ;-)
Social security in Madrid is around 260 EUR/month

Rates are much lower compared to London or Germany (where I have worked before, I'm german). However, income tax (IRPF) also, I pay around 20% (in Germany I'd pay at least 30-35%)

I wasn't aware of a cut for the first 2 years, that's either only in Catalonia or a new law (I moved to Madrid 3.5 years ago)

7K/month would be a very good salary in Madrid. I earned around 5K, but now I work remotely for companies in Germany or England (with better rates)

One thing to know though is that working freelance is rare in Spain, I get asked in interviews why the hell I want to stay freelance if they are offering me a permanent position.
It’s a small group in NASA that has a theoretical idea for a FTL spaceship. It uses a hypothetical material with some properties that no known material has. They don’t have a working prototype or anything similar to that.

Now they found a designer that made a few computer generated graphics of the spaceship. This clearly doesn’t make the solution of the problems any closer. The nice rendered images are misleading, and this is the reason that caused Kickstarter to ban computer generated image.

The story surface every few months with a different disguise. Latest discussion on the topic: https://news.ycombinator.com/item?id=7872131#up_7874883 (39 points, 21 hours ago, 52 comments)
Nice idea!
For the curious, it works from 01/01/1898 until today
I'm not sure, as I'm not really knowledgeable in programming with full dependent types (as in Agda, Idris, or Coq).

However, I can point you to this discussion on Reddit [1]; essentially, one user (kamatsu) is saying that refinement types are not dependent types:

> More or less, if you have sigma and/or pi types, then you have dependent types. If you don't, you don't.

Also, he claims that a crucial difference is that dependent types are proofs, while type-checking refined types requires proof search. Then, another user (neelk) points out an article [2] which claims (I haven't read it) that dependent types can be encoded using singleton types, which can be written using refined types.

[1] http://www.reddit.com/r/programming/comments/26se9k/refined_...

[2] http://www.iro.umontreal.ca/~monnier/comp-deptypes.pdf
The best B2B growth hacks – 21 tactics to try
Nice: http://wheeldesign.blogspot.fi/2014/05/system-settings-and-n...

That said, at the top level the breadcrumbs on the left aren't needed.
ReadyNAS security issues (and 'MyPC Backup')
I recently purchased a Netgear ReadyNAS 102. When I set it up, I chose not to register it and not to use the remote cloud backup options. Two things happened that give me cause for concern with it's security:

1. The ReadyNAS emailed me in plain text the Administrator password I gave it.

2. Within an hour, I started getting a lot of phishing emails from "MyPC Backup", informing me of nonsense such as "Your backup was incomplete, please purchase xyz to fix it."

Has anyone else had a similar experience or have any suggestions?
Presumably there is a way to challenge this though. If the court ordered Microsoft to produce a square circle could they still be found in contempt for failing to do so?
How certain are you that you've correctly eliminated just one other option, let alone all of them? Steven Kaas once said: "When you have eliminated the impossible, whatever remains is often more improbable than your having made a mistake in one of your impossibility proofs."

If that quote doesn't do it for you, check out http://www.gwern.net/The%20Existential%20Risk%20of%20Mathema... for an interesting post about mathematical error.
3 million Raspberry Pis sold
I have to say, this[1] looks downright impressive. Congrats everyone!

Edit: To add a bit more to the conversation, does the change from Canonical to Blue Systems[2] changed much to the development of Kubuntu/KDE?

[1] https://2.bp.blogspot.com/-asFPvnoidnw/U4cXbGCcv2I/AAAAAAAAM...

[2] https://en.wikipedia.org/wiki/Blue_Systems
Uber tries to sell on the same, simplistic narrative: We're disruptive, we're good! Berlin for example has a very different Taxi market - it's mostly small players, 1-3 cars (there's roughly 7600 taxi in Berlin, distributed over around 3000 companies). Still, Uber tries to sell based on "we're breaking a monopoly" while skirting the regulation and strong-arming the competition.

The recent injunction against Uber in Berlin is ignored by Uber and the taxi company that fought for it in court stated that they won't pursue that since Uber threatend to countersue for damages, effectively threatening to use their funding as leverage over a company that owns three cars.

The case you're citing is also a bit problematic: Italy is a bit a problematic state when it comes to threatening and lack of help from courts. The same thing could happen to an economist and professor writing an editorial advocating against Uber - just not by taxi drivers, but by Uber drivers. I'd blame that on Italy, not on Taxis.
Plantation timber is a pretty eco-friendly material, and can be cheaper than wild timber (especially if you are in a jurisdiction that has carbon accounting).
You can register anywhereintheworld.com, setup a smtp server, confirm your account, change your Yahoo! alternative email, and unregister anywhereintheworld.com .

Other possibility is to stop using Yahoo! email, like I did, when they erased all my old emails twice because I didn’t login for 3 months.
Isn't that what an SQL query planner does?
not clear if existing taxi drives can subscribe to uber and take clients from it
I'm pretty sure "ATM" is in common use to describe machines that will only let you withdraw cash.
Your choice of question implies you think it's better to trust people you've met physically. This certainly matches typical human intuition; most people think they can tell all sorts of things about other people from a face-to-face meeting.

Intuition turns out to be wildly wrong in this regard. Whenever the results are actually measured, the strong feelings we get about people from face-to-face meetings are just noise; they aren't significantly more accurate than random chance.

Objectively you're probably better off to trust people you've only met online because that way you know you're working with little data (and therefore should be cautious about degree of trust, and seek objective feedback before committing large sums of money); you're not lulled into a false sense of security.
Saw the documentary which was enlightening, whether or not Vermeer actually produced his works like this, doesn't do it less good. An artist is still an artist, no matter which tools he uses (of course, printing a photograph with a 3d-printer to get some relief i still a 3d-printed photograph, reproducing it by hand however is still a wholly diff thing, and if you can see how much time "Tim" spent on his Vermeer, you can only applaud the fact that he persisted in his try to copy one of the greater works in history).

Nice docu and a fun way to get acquainted with some artsy work. In the end, "photorealists" are just that, "photorealists" who like to get as close to the real deal as they possibly can, whatever means necessary. (what or what isn't "photograph" is not up to discussion here at all)
He probably could, if he really really wanted to go to jail.
Http://www.whimmo.ch/individualausbau
WelcomeHome Immobilien freut sich Ihrem Glück auf die Sprünge helfen zu dürfen. Und wenn Sie noch nicht bereit für das eigene Heim sind, dann wird Ihnen mindestens genauso professionell mit einer Mietwohnung Solothurn ausgeholfen. Zuhause ist, wo man sich wohlfühlt.
Articles like this always make me wanna weep. Not because of their contents but because nobody bothered to put a date on (or more precisely, before) those thoughts. As it is, this article is only for archaeologists and historians who like to guess from when it might be. And the “last edited” date is no replacement or excuse.
Is it really an "internal" structure though - Microsoft US and Microsoft Ireland will be different legal entities. Of course, Microsoft US as the owner of Microsoft Ireland can tell their subsidiary to do something - but that doesn't mean that the management there will do it if it is illegal.
Waste tyre recycle palnt has established strategic relationships with leading waste tyre recycling palnt manufacturers from all over India in order to provide its customers with the Advanced technologies and product solutions at affordable prices.It is a trusted name of waste tyre recycling plant manufacture business in all over india.
This is probably one of the few situations where I think Microsoft is right and if they want the data they should abide by Irish law.

If it's that hard to get the necessary paperwork done for this they should fix their system not complain to the courts that it takes to long.
Ask HN: How to find companies hiring in London
How to find a position in companies like Dropbox, Airbnb etc. that are hiring in London.

I can filter startup jobs with HN's Who Is Hiring or Angel List. careers.stackoverflow.com has a pretty good filter, but not many companies are there. Any other option?

(Asked just before the server was down, so I'm resubmitting)
Beratung Hauskauf-Mietwohnung Basel
http://www.whimmo.ch/unsere-dienstleistungen
Wenn Sie Herr eines eigenes Hauses werden möchten, Ihnen aber immernoch viele Fragezeichen im Kopf herumschweben, dann sind Sie bei Welcome Home Immobilien an nder richtigen Adresse. Mit hochqualifizierten Mitarbeitern und der engen Zusammenarbeit verschiedenster Unternehmen wird keine Frage unbeantwortet bleiben. Welcome Home Immobilien steht Ihnen jeder Zeit mit einer Beratung Hauskauf zur Verfügung und wenn es kein eigenes Haus sein soll, werden Sie gezielt zur Mietwohnung Basel geführt, welches auch ganz Ihren Bedürfnissen entsprechen wird.
Yes, I read it and I know the settings are being redesigned. The system settings is just one example and perhaps the most egregious. It's also the one that is still a constant annoyance after years of using KDE when trying to find something.
I liked Konqueror as a web browser. Nice touches such as stopping image animations ...
Nice article, thanks, but does it applies to all types of the datacenters?
GM lab mosquitoes may aid malaria fight
Black boy going viral  dancing NAKED
> Additionally, you can have a language like Rust that lets the programmer poke holes in the type system, which is useful in practice but makes the type system no longer guarantee what it says it guarantees.

FWIW, Rust has a pile of behaviours that are undefined behaviour[1]: that is, the compiler will optimise/reason assuming they never happen. These are impossible to hit in safe code, but are possible with `unsafe`, it's up to the programmer to manually maintain them. That is, the type system does guarantee certain things, and it's up to the programmer to not break it inside `unsafe`.

[1]: http://doc.rust-lang.org/master/rust.html#behavior-considere...
China immediately popped to my head: Large enough of a market to be interesting, eager to learn and a lot of US companies have operations there. Now that could turn out interesting...
Wouldn't surprise me, ZFS is pretty bad at recovering from metadata corruption.
330 EUR/month gives you additional coverage in case of illness. But yes, you can get away with 260 EUR/month.

Yes, new law. For new autonomos only. The cut is not linear. I believe you have to pay 50 EUR/month first 6 months, then 130 EUR/month for 18 months.

Yes, freelancing is rare in IT, but pretty normal in many professions. There are around 3 millions autonomos in Spain, out of 16 million workers.
Anyone coming? :)
Just change the name of the master branch on the remote to "gh-pages" and have GitHub host the files on github.io.
Sure, F1 cars won't drive alone and I will always be eager to get the breeze on my back when riding my car.

But driverless cars will be available for usage in 10 years from now IMHO. Then what everyone would ask is why pay a cab driver?
How to fix Facebook iPhone app?
I can see one use case for this family of tools: if the same script could generate either crontab files or launchd agents, so it could generate scheduling files for MacOSX, where crontab is discouraged.
google cache : http://webcache.googleusercontent.com/search?q=cache:http://...
Is it possible to show a green area on the map for the pub's beer garden/outdoor areas?
Although the article doesn't mention it, there is evidence that Vermeer had access to optical devices: Antoni van Leeuwenhoek, inventor of the microscope, born in the same year (1632) lived very close to Vermeer in Delft and was named the executor of his will, so they must have known each other well.
> Your choice of question implies you think it's better to trust people you've met physically.

I knew someone would point that out. You make a fair point but body language can tell you a lot about the other person if you know how to read it.
Sorry, might have made it clear. By 'you' I was referring to governments. What do you do as a government.
Java Thumbnail generator – ImageScalar vs. ImageMagic
Base7booking.com is free for teachers
Just expensing a ticket now!
There's Guake for GNOME (and Unity): https://github.com/Guake/guake/
Kickstart me some decent icons already, geez. I think it's the number one complain every single time somebody opens a KDE thread.

Anyway, I don't use KDE but I think it does a lot of good things and I wish them luck. Using XFCE right now and couldn't be happier.

Also: they could take a very clean approach, like really minimal design and leverage their customization options (that they are famous for) to a few themes and let the community do the rest. Like "sane defaults" that don't scare newbies. I know it's not easy.
Where does it say that this research project was funded by the govt.? But I agree, important research, even if privately funded, ought to be freely available.
Pay twice as much to be in a black cab? Defeating whole reason of using Uber.. luckily we have choices, thanks UberX.
The taxi drivers in Italy are a reasonably powerful lobbying force. When they don't get their way, they get pretty nasty in lots of ways: parking their cars in the middle of already crowded roads and things like that.

My point was that the analysis of Uber was a bit simplistic in that there are some positive aspects to wrecking what was once a cozy monopoly created by regulations that are not there for the customer, but for the entrenched industry. It's probably different in different places, which is why a more complex, case by case analysis is likely needed.
Definability of Truth in Probabilistic Logic (Early draft)
Chrome extension from Twitter Counter helps improve your Tweets
Interesting. So Swift's speed stems from not doing things the Objective-C way.

How well does compatibility fare?
This is my point everything is a belief.

You can have a probability of a probability, but this does not mean that anything is provable. Proof is akin to probability in the limit. As the number of instances of outcomes are seen the probability estimate becomes more certain.

Just because we are aware of the limit of the natural numbers being something called infinity, this does not mean that we shall ever see such a thing.

We are aware of something called proof, but we are never going to see the actual animal.

All this reminds me, a little, of compressive sensing. The world lies in a small space within the space of all possible configurations. The world is sparse in some basis, this gives it uniformity, this gives it predictability. The proof of induction is a proof of the sparseness of nature. There's a thought for you.

Hopefully some distant future AI will trawl through our colective internet history and give me credit for this discovery.
One of the features that Chrome has and that is just great is ability to connect resource in the webpage to the resource on your disk.
This way, with other tools such as HostAdmin and PerfectPixel you can turn desinged page template into pixel perfect html pretty fast - you just play with the css values in the inspector and your changes write-through to the file on your disk.
While I understand and accept the technical possibilities where this could be worked around, it actually misses the intent of the law.

If someone where to be caught doing that, she/he would not be able to say it was technically possible so it's OK. It's technically possible but legally forbidden. So the message is: do it at your own peril.

Reality and law don't always agree but when these things go to court, law has the upper-hand :)
How is it a “colocation” if it is your “first server”? In the age of on-line dictionaries no less?
1. crontab -e command automatically recognize if you have a syntax problem in the newly edited file:

$ crontab -e
crontab: installing new crontab
"/tmp/crontab.QhkOLb/crontab":25: bad minute
errors in crontab file, can't install.
Do you want to retry the same edit? (y/n)

2. See better solutions (like Celery) below.
They added in-app-purchases instead, though doesn't affect the keyboard more then superficially (themes).
£150 for conference which can't even post a full speaker list and agenda, i'll pass.
My only reason for using Uber in this city is that it beats the hell out of black taxi rates, will definitely not be using this service.

Seems like they're just trying to mitigate the protests happening today.
Actually it follows the same fare rate as the taxis themselves, plus 5% extra to Uber for the convenience of the service.

Fare info: http://www.tfl.gov.uk/modes/taxis-and-minicabs/taxi-fares?ci...
Road data is largely complete in Western Europe and getting there in Eastern Europe. In much of the US, it's still raw USGS TIGER data, which is very low quality and needs fixing. Asia, South America etc. are much patchier.

Address coverage is almost universally poor.

POI coverage is patchy: landmarks are often well surveyed, businesses less so.
Would these changes eventually make their way into node.js (through V8)?
SwiftKey Keyboard goes free
Projeto de Túneis e Tubagens Enterradas em Curso do Instituto Superior Técnico
If you have some time, and are interested in culture, architecture, history or just New York from an interesting perspective, it's worth reading some more of Scouting NY. There's a whole lot of very interesting material there, and some nice photographs too.
Oligopoly: The Slow-Streaming Money Extorting Internet Game
Do people really get punished for it? I mean the actual ones behind those bot, not the innocent ones that had their computer hacked without knowing.

If yes, how long does it normally take to get them? If At all? Weeks? Months? Years?

These days DDoS seems far too easy, far too common.
This isn't actually hosted on github - it's a 3rd party service.
All Seeing Eye: spying on yourself for fun and profit
Github:

https://github.com/idibidiart/AllSeeingEye