HN Explorer

jalcazar

↗ HN profile [ 62.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Machine-Assisted Proof [pdf] (ams.org)
    199 points 105
  2. Mastering Concurrent Computing Through Sequential Thinking (cacm.acm.org)
    2 points 0
  3. Fantastic bugs and how to find them (cmu-fantastic-bugs.github.io)
    1 points 1
  4. Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’ (thedrive.com)
    5 points 1
  5. Amazon partnered with China propaganda arm to win Beijing's favor (japantimes.co.jp)
    6 points 0
  6. George Doriot and the History of Venture Capital (2009) (ecorner.stanford.edu)
    1 points 0
  7. How Istanbul became the Silicon Valley of the mobile gaming industry (restofworld.org)
    1 points 1
  8. Paxos vs. Raft: Have we reached consensus on distributed consensus?[video] (youtube.com)
    2 points 0
  9. How to Develop Breakthrough Products and Services [MIT 15.356] (ocw.mit.edu)
    1 points 0
  10. Management of Software Development MGT656 (mgt656.som.yale.edu)
    2 points 0
  11. Organizations would become more efficient randomly promoting employees (arxiv.org)
    1 points 0
  12. Fresh IT Grad Hacks Philippines Commission on Elections Site (rappler.com)
    1 points 0