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.
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…
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...
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."
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…
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…
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.
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…
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...
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."
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…
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…