gjdjcjdnxnvjd

4 ms·

1. 1.▲
   by gjdjcjdnxnvjd 10y ago

   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.
2. 2.▲
   by gjdjcjdnxnvjd 10y ago

   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&#x2F
3. 3.▲
   by gjdjcjdnxnvjd 10y ago

   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...
4. 4.▲
   by gjdjcjdnxnvjd 10y ago

   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 ."
5. 5.▲
   by gjdjcjdnxnvjd 10y ago

   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 perf
6. 6.▲
   by gjdjcjdnxnvjd 10y ago

   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 a