Live data from Hacker News

Viewing profile — gjdjcjdnxnvjd

gjdjcjdnxnvjd

HN member
Joined
Sun, Sep 04, 2016, 6:14 AM UTC
HN karma
46
Public activity
6 items

About gjdjcjdnxnvjd

No profile information was provided.

Recent public activity

  1. comment
    Comment #12485582

    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. comment
    Comment #12432249

    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 …

  3. comment
    Comment #12432092

    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. comment
    Comment #12431888

    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 Proteste…

  5. comment
    Comment #12425233

    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'l…

  6. comment
    Comment #12423027

    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-cen…