Hacker News Reader

gjdjcjdnxnvjdon Logical Induction

So does this mean that the era of automated theorem proving and AI-driven mathematics is finally upon us? I'm no expert, but this seems pretty groundbreaking.

gjdjcjdnxnvjdon The FBI’s Approach to the Cyber Threat

No, I am not referring to that document specifically, but I am referring to the same incident and subsequent lawsuits over the issue. Yes they really were planning to do that. See https://drive.google.com/file/d/0B3axduuybL0jNUUtUWxUenFzMGM...

Your document is ambiguous, however the others are not. Please try not to cherry pick.

gjdjcjdnxnvjdon The FBI’s Approach to the Cyber Threat

http://blogs.wsj.com/law/2014/03/18/fbi-ordered-to-justify-s...

Or for the documents themselves: https://drive.google.com/file/d/0B3axduuybL0jNUUtUWxUenFzMGM...

gjdjcjdnxnvjdon The FBI’s Approach to the Cyber Threat

Brought to you by the same agency you know and love who also gave you previous favorites such as "Trying to Make MLK Jr. Commit Suicide" and "Planning to Execute Occupy Protesters With Sniper Teams."

gjdjcjdnxnvjdon How China Is Building a Startup Boom

But honestly, why should we care about PG's brand of web startups? Yes, we're told that they're desireable for vague, inscrutable reasons, but if you dig any deeper than that you'll find that they're at best performing market arbitrage based on better information, and at worst destroying value.

Look at Uber. They're hemorrhaging money all so that they can artificially lower wages and run their competitors out of business before ultimately going belly-up from their unsustainable business model. And they're considered a success story.

gjdjcjdnxnvjdon The 1950's Jet Launching Tiny Satellites

A MiG 29 is still on the trailing edge of what's considered state of the art for fighter aircraft. It's essentially Russia's version of the F-16/ F-18. I would imagine that mid-century F-104's would be much more affordable.