Y Hacker News new | ask | show | jobs

user: jalcazar created: 2014-04-01 karma: 304 [ my public key: https://keybase.io/jalcazar; my proof: https://keybase.io/jalcazar/sigs/PVw0MEb7efKKGbGpVimQEKF-dBQkg5r48SM8eyVAikc ] submissions: Agents Thinking Fast and Slow: A Talker-Reasoner Architecture 3 points | 0 comments 0 points | 0 comments Machine-Assisted Proof [pdf] 199 points | 96 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Mastering Concurrent Computing Through Sequential Thinking 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Fantastic bugs and how to find them 1 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’ 5 points | 1 comments 0 points | 0 comments Amazon partnered with China propaganda arm to win Beijing's favor 6 points | 0 comments 0 points | 0 comments George Doriot and the History of Venture Capital (2009) 1 points | 0 comments How Istanbul became the Silicon Valley of the mobile gaming industry 1 points | 0 comments 0 points | 0 comments