skysight-inc/HackerNews huggingface dataset:
Especially given how we reproduce without bounds, consume all the resources available, and rather than dying we simply find other resources to consume to maintain our steadily growing population.

Agent Smith was right.
The name doesn't help at all. "Blub" has connotations of bumbling stupidity even without knowing what the "Blub Paradox" is.
"I have this high-level specification of a semaphore lock that the model checker can verify and might even have a proof. How do I now implement this in code?"

You do them side by side in a way that looks and behaves similarly. That's the traditional route going back to Orange Book A1-class systems. The seL4 work did something similar. Two other routes are: (a) gradually refining abstract spec into something concrete enough for code like B method does; (b) using tools like Coq that support extraction of code from specs. Also look into "abstract state machine" specification, code, generation, and so on. Much work happened under that label in both hardware and software.
Ah, the luxury of having so much labeled data. Average machine learners like us will never have access to such low hanging fruit...
I predict that Apple will win big and that their victory will be very public and greatly celebrated. The purpose of this public display is to convince criminals to buy iPhones.

They think they are safe. That's the whole point.
I don't understand why people think that "making as much money as possible is the most important thing in the world" is a convincing moral argument. You could, for example, have argued that wealthier tenants lead to rising property values, which means the landlord has to raise his rents just to break even on the property taxes. That would have been a coherent argument that absolves all individual blame. Why would you lead with "greed is good"?

(And, again, I'm not personally saying that either the tenant or the landlord is at fault. I just don't understand why, if I've just been driven out of my home and I'm looking for someone nearby to blame, I would choose to pin it on the new tenant instead of the landlord.)
wow, great stuff, hadn't seen your project (or the Google dataset), thanks for making me aware. There are a few others as well that are programming language specific. Our goal from the beginning was to make templates that are language agnostic

The big challenge I think is the conflicting use cases between "official" postal format of a country and trying to represent an address in a way that makes sense to users - especially when you only have limited data available (for example when using a datasource like OpenStreetMap where you are at the whim of what the mapper decided to add). Our project isn't about forming perfect postal addresses for things like printing labels and such, it's about taking the real world data in OSM and making it look reasonable. As an example one of the next things I want to add is basic rules about postal codes so we can catch garbage that comes in when mappers mistakenly put the town name in the post code tag and such.

Will definitely take you up on the offer of comparing formats. Any further feedback you have would be really useful, you've obviously spent a lot of time thinking about this space.
Sit down or get them to sit down.

E.g. NBA players who huddle around their coach
That would be quite a coordination. I doubt it, because the debate will inform the public about encryption, and there are people watching Apple's moves here who are prepared to call them out if they give anything but the best security in future versions of the iPhone.

Personally I track the software Snowmen endorses and use that as a gauge. You can google that and compare the security features of software out there. The ones snowden uses are open source and have the most security features.

That doesn't say anything about Apple, but the idea that it is coordinated, given Cook's private life and his stance on privacy, seems slim to me. Note also that Apple was the last major company to be forceably joined into the Prism program. They've always been resistant.
Your argument here seems to be that even if the majority of programmers find Lisp and all its derivatives to be difficult to read, we're wrong.
Is Arduino's Random() Function Truly Random?
Your experience, though, does not meet the reality that there are many fine non-profit success stories. There are a lot of non-functional ones, but I think all folks are pointing out is that it isn't as dire as you have seen.
Well, we've had vastly different experiences, then.

But to state that one isn't aware of the existence of large, decades-old, indisputably functioning non-profit organizations (like e.g. Médecins Sans Frontières) seems, well... disconnected from reality.
Don't we have freedom of speech in this country? What other situations could the government compel Apple to say or write something for the FBI? Or do you think that computer code is not a form of protected speech?
I'm still not convinced Cook is right. This phone may very well contain information which could save a lot of lives.

According to the article, the ballpark is 2 weeks of engineering, so it is probably done in less time.

Why so quickly? Because the user used an extremely weak password.

Security is also the responsibility of the user, not only the tech companies. If you are really concerned with your own privacy, than you shouldn't encrypt your data with a 4 digit passphrase which is relatively easy to crack.

Considering the commited crime, and the relative ease of cracking the phone I'm in favor of the FBI. As long as the firmware is not handed over to them, but that should be possible I presume.

People worrying about Apple engineers smuggling the software outside should be worried everyday. People with access to the codebase can do this probably allready.
I'm curious how Webrender is able to render native controls (buttons, text inputs, etc.) via this method - I suppose they have access to APIs not exposed in e.g. WebGL that make this trivial?
Will this really work? Cameras are by design able to accurately control the rate (and duration) of light they let in to create an image.
I was addressing the hypothetical case of the FBI attempting to prosecute somebody based on the data recovered from the phone.
I have no idea, but the question was about "how he was connected" to the people he released the info to. The answer was: he wasn't until he made contact himself.

He must've made a list of journalists he knew of who he thought would be sympathetic to the message he wanted to send. Maybe Greenwald/Poitras weren't at the top of the list, but some quick Googling doesn't reveal anything about anyone else he may have tried to contact before them.
I have implemented CSRF for the public API I work on and all PUT/POST requests require the CSRF token, not GET requests. In this case, the login form uses a POST request and thus must require a CSRF token to avoid an attack on users that aren't logged in.
So I think your point, while valid, does not apply in any way to Xamarin!

I'll believe it when I see it. Cross-platform UI libraries like Qt, Gtk, SWT, etc, just never end up choosing quite the right widgets or having exactly the right look-and-feel as natively-designed apps.

If cross-platform is a bigger requirement than producing the best-possible UX, then perhaps Xamarin could deliver. I see this being a big deal with enterprise software. But that's almost never the case for most consumer-facing software; you're always much, much better off building your presentation code in a native UI toolkit.
The only ones I've seen that delivered [with caveats] were Concurrent Pascal, Ada's Ravenscar, Eiffel's SCOOP, and recently Rust. SCOOP got the most CompSci work with a Java port, one proving no deadlocks, one proving no livelocks, a formal verification in Maude that caught problems, and one modification to almost entirely eliminate performance penalty.

So, it can happen but does rarely enough to arouse strong skepticism. I usually don't buy it.
Another poster riding the Go unicorn. You'll enjoy the ride until you realize your ugly as hell chimera monstrosity got you from A to B a lot faster.
Typing a flight number into Google gives you everything and more this app offered.
We currently don't use native controls. The form elements are CSS styled and look the same on all platforms.

But it would probably be possible to get the toolkit to render the control to a texture or something and move on.
I doubt the reaction would be any different. Both are acts of terrorism.
That bug was YouTube's fault.
Yeah, but that won't work with the APK :)
The issues surrounding scientific publication are much more nuanced than that.

Did you read the article?
The futility of efficiency gains is touched upon in Bill and Melinda's annual letter this year

https://www.gatesnotes.com/2016-Annual-Letter

He talks about the Energy Equation and declares green energy as the only solution to our carbon emissions.
>Does a child need to look at billions of images to figure out what a chair or cat is?

Of course! Not exclusively images of cats or chairs, but children have absolutely seen billions of images by the time they start to exhibit discernibly human-level intelligence.
Swift gets most of its performance gains by not doing GC and better struct support.

I have a distaste for Java but it's performance problems stem mostly from the way people write it and how hard it discourages writing in a performant style.
Well, I guess if this gives the government to much trouble they will forbid phones in the USA having encryption at all. Just like they forbid having torrent software on you computer, of having radar detection in your car (in some counties).

All simple available tech products, but not legal because it bothers them...
> The research is being conducted under a three-year project funded by a $9 million award from DOE's Advanced Research Projects Agency-Energy (ARPA-E) and an additional $4 million of cost share from the team members.

So, the total cost of designing this prototype was $13 million? What's the size of the R&D budget for a typical automaker?

To me this just shows that typically businesses are in the mindset of "business as usual" because it's what they are comfortable with rather than looking into radical, new, innovation.
This just makes the Gates story even stranger. Did the FT misquote him because they're incompetent, or do they have an ulterior motive at play?
Yes, it's also true at national government levels, and the systems do sometimes get criticised on similar grounds as a result.

I'd say at least for the UK the main difference is that there is still a real prospect of holding the appointed parts of the government to account at the next election. Technically, we elect local MPs, with all the usual objections about first past the post. In reality, the party a prospective MP represents is the dominant factor in who wins, except in a few rare cases with perhaps an overriding local issue or protest vote. Consequently the PM (the first indirectly appointed role, normally determined by who can command majority support in Parliament) and government ministers (the next tier, effectively appointed by the PM) are still strongly accountable to the electorate in practice. If they do unpopular things, the MPs from whom the administration as a whole derives its power, and most of the officials as MPs themselves, will face the consequences at the next election. (This doesn't apply to the same extent for government ministers who are Lords rather than MPs, but appointments to the entirely undemocratic House of Lords is a whole issue in itself.)

This is quite different to the executive of the EU, where Commissioners sent by member states are infamously often failed but high profile national politicians who are either being given a pat on the back by a friendly administration or shipped out of the way for a while because they're too dangerous to keep around back home. Which mandate each Commissioner is given then depends on the President of the Commission, who in turn is decided through such a complicated process that I won't even try to describe it here. If you as a citizen don't like the way an incumbent European Commissioner is handling their brief, there is no real prospect of influencing them to change it. Even in the face of overwhelming public opposition to some policy, by the time the people have voted to change the balance of power in enough places that either the Commissioner is no longer appointed by their home state or the European Parliament can bring down a Commission, the term of office would probably be up anyway.
Really? I was able to watch it from Taiwan. Hmm
Basically an unofficial team member, only comes to work on team dinner nights.
It's not this particular case that has Apple and others up in arms. It's the bone chilling precedent that the government can compel Apple to create software to compromise their own encryption protections.

The FBI directed the custodians of the device to reset the password in order to bring about this situation. Why would they do that? Because they want the precedent.

IANAL, but by that action alone the FBI's request should be dismissed with prejudice. Besides, most of the data they are seeking can be obtained by other means (such as phone carriers) as Apple points out in it's filing.
Show HN: Email PaaS Pricing (for former Mandrill users)
> If anything I trust content on youtube to survive the times better than Mozilla's own service.

I don't there have been to many videos going offline which I embeded on my own website because YouTube took them down for various reasons.

And my MySpace content is gone, the content from 2004 in my blog is still served without problems. Example: http://jeenaparadies.net/weblog/2004/apr/ersteintrag
> The law should really require some sort of firewall where corporate management can not know who has or hasn't contributed.

Yeah. It's my understanding that similar issues are what led to the secret ballot.
Congrats. I used to be a big fan of Padmapper until recently and kept recommending it to my friends and family, but I've noticed that it has become a cess pool of scammers. When I encountered one of these scammers and reported them to Padmapper support, I was assured it would be dealt with. This was a month ago and the scammer's profiles are still active on the site (his newer profile still has listings: http://www.padlister.com/profile/show/469392). I emailed Eric directly about it too, but received no further response. I was pretty disappointed by the lack of action on their part and I ended up switching back to Craigslist for my latest apartment search.
How does it compare to Ceph and Tahoe-LAFS?

But more importantly, how are you using any of those? :)
The engineering problems are tractable even in those cases: Don't put the root file system on ZFS. Develop some kind of first-boot initrd that includes enough of a toolchain to build zfs.ko. I'm sure there are other, better ways to solve shipping ZFS in a virtual machine image, especially compared that to the legal and business risks of having a LTS release deemed a copyright infringement: Court costs, legal fees, fines, re-releasing Ubuntu, etc.
Frustratingly fun iOS puzzle game
I think you may have misread.
Cook should play the card he has: Cook is known to be gay. What if "being gay" was illegal and then the government wanted to "find all the gays and round them up".

He should use that card as his last straw. THAT should help people understand the nefariousness of this matter.
Software and hardware are fundamentally different so it's hard to find a close analogy, but if Apple creates this tool (that can be applied to any phone (or at least a large subset of their phones)), it's essentially the same as if the decryption tool were present in every phone, even ones sold before the commission of a crime.

The closest parallel I can think of is the Gun Microstamping law (which would require that bullet casings be stamped with a mark identifying the gun it was shot with). This has (as you might expect) generated a lot of controversy and lawsuits.

https://en.wikipedia.org/wiki/Microstamping
For reasonably sane people, yes, reactions would not be different. But for the evangelical nutjobs that implicitly support that kind of crap, there would definitely be an outrage about how the government is overstepping their boundaries.
I thought it was an alleged terrorist's phone? Or has innocent until proven guilty gone out the window?
I know little about current WMF circumstances, but my guess is that fairly transparent for a corporation would be seen as fairly secretive at WMF.

I think part of the problem here is that she had never edited Wikipedia before joining, which means it would have been very hard for her to understand the vast cultural differences.

Wikipedia comes out of the open-source and open-culture world, which has a very strong transparency bias, and which has had to fight hard to maintain that openness. And my experience is that Wikipedia even stronger than that, in that the editor communities organize many thousands of people all in public. Making that work requires very strong habits of transparency.

It's very different than current American business culture, where executives get a substantial level of deference and assumed control of information.
Is it even possible to tweet without touching products from any of the above companies?

I guess Trump will have to buy one of the discontinued BB10 devices...
Since 1999:

http://pmg.csail.mit.edu/papers/osdi99.pdf

Google byzantine fault tolerance filesystems to get quite a few more.
When I did it on a regular basis? "I want it, and I know how to get it without negative consequences.". It's no moral justification, but neither is "I'm poor".
Google Dataflow (soon Apache Beam) Python SDK Released
Hybrid cars remove most advantages to IC engines as start-up and response times can be made irrelevant. Further, cars generally only need a small fraction of engine max power hybrids also allow for heavy engines relative to HP as most cars can maintain highway speeds with less than 40HP.

PS: As to fuel vs. energy costs. The vast majority of gas's costs has nothing to do with direct energy costs. Oil is already vastly more expensive than competing fuels so even a 2>1 energy loss could end up less expensive than current production methods.
So, do you have any reasons for us to use XtreemFS vs its top competitors? What's the main benefits today that others don't have?
It obviously is not about this particular phone, but if you are still convinced that is the case nothing I will say will make you move.

The real reason is the millions of other phones out there. If there was any indication that this couple was acting as the vanguard of a large number of others acting in a similar way what exactly do you think the chances are that that data would be left on a phone when they took the effort of destroying their other phone?

This is the prelude to a large number of fishing expeditions and it seems the FBI made this particular effort possible by first ordering a third party to make it impossible to reach the data in any other way. If they actually cared about that data you'd think they had contacted Apple right away about the best possible way to get it out without bringing this to a head over a terrorist case where lots of panicky people would make the wrong decision out of fear.

If you really are concerned about your privacy: don't store your important stuff in a phone or a computer for that matter.

Ironically, terrorists on a suicide mission don't need ironclad encryption. They just need to stay ahead of the law long enough to do their deed and to make sure the data flows in only one direction through their organization without leaving a source address for any transmissions. So for actual terrorists that are even remotely looking at their operational security they could be transmitting at the same level within their cell in plain text using a few silly code words and you'd only know what they were up to when the ambulances arrived.
Really? Let's not forget the NSA revelations that occurred so recently. Thanks for reminding me to renew my fsf membership
The thing I think should be emphasized is that while the majority of the people may now trust the FBI, the NSA, and the US Government in general to do the right thing, this is the same FBI that just a generation ago investigated Dr. Martin Luther King, Jr. as a <strike>terrorist</strike> communist and apparently tried blackmailing him into committing suicide[0]. (The communist threat at that time filled the same place in the American psyche as does the terrorist threat today.) The NSA recently spied on their congressional oversight committee. Without strong controls on government investigative powers, we're just one Herbert Hoover away from a completely unchecked and out of control security apparatus.

It's not about trusting the American government to do the right thing. It's about trusting this government and all future American governments to do the right thing.

EDIT: Also, at least one legal expert estimates that the average American accidentally commits three felonies per day, meaning that most of us are mistaken when we think we don't have anything to hide.[1]

[0] https://en.wikipedia.org/wiki/COINTELPRO

[1] https://en.wikipedia.org/wiki/Harvey_A._Silverglate
< Danesi, Lavazza and Kimbo, these brands, whose beans are sourced from South America, are available on Amazon. Use those.>

The opinion of anybody who thinks that South American coffees are the best in the world is already suspect. True experts may argue between East African, Arabian, and Pacific islands coffees as being the best at any given time (e.g. Yergacheffe, Sanani, Mattari, Kalossi, etc.) but I don't know of anyone who would say that South American coffees are the best. In fact, I don't know of any that even exceed the better Central American coffees.

Brazil may be the #1 producer by sheer volume, but that's not because their product is better.
Have you tried it? What if instead of "we're shutting down", you'll say "from now on the service will cost 5 bucks a month" (or we'll close)" and see what happens?
I see, thank you. The way you put it has made a lot more sense. I guess the motivation should be if the employee really does feel the cause is important they can voluntarily donates. It is scary to think your career could in some way be reflected if you don't based on the other comments.

As you say, why only employees can donate and not other people seems odd as the whole point that it's not a corporation flexing it's muscles, but real genuine people with care for the cause.
Show HN: Pitch for piano – learn to sight read music
Mazda RX7 and RX8 had wankel engines. Nice cars, but higher maintenance than with normal engines.

I think the main reason for the pattern you observe is that what's optimal and what's cost effective in a car is highly non-intuitive. Take front-wheel drive, for instance. Mechanically more complex than RWD, but (apparently) worth it due to the space savings inside the car.

Or take water-methanol injection: well-understood tech that's been in use since WW2, can save fuel and reduce NOx emissions significantly, or give higher power output. But it requires changes to all the fuelling infrastructure, and that makes it essentially a non-starter outside of racing cars.
Oh come on. Just a word. "The eminent citizen"
How about this:

For the hundred thousandth time, a generation of humans will be confronted with the necessity of incorporating into their society a group of beings which they created and which they love, hate, fear, trust, and, most of all, barely understand. For a million years, that group was "their own biological children," but over the next few decades, that group might also come to include "their mental children: AIs."

In other words, we're damn good at this. We'll make it. :-)