jalcazar

Karma: 304
Created: 12 years ago

About

[ my public key: https://keybase.io/jalcazar; my proof: https://keybase.io/jalcazar/sigs/PVw0MEb7efKKGbGpVimQEKF-dBQkg5r48SM8eyVAikc ]

Recent Submissions

1. ▲ Agents Thinking Fast and Slow: A Talker-Reasoner Architecture (arxiv.org) 3 points · 26 days ago · 0 comments
2. ▲ Machine-Assisted Proof [pdf] (ams.org) 199 points · 1 year ago · 96 comments
3. ▲ Mastering Concurrent Computing Through Sequential Thinking (cacm.acm.org) 2 points · 2 years ago · 0 comments
4. ▲ Fantastic bugs and how to find them (cmu-fantastic-bugs.github.io) 1 point · 3 years ago · 1 comment
5. ▲ Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’ (thedrive.com) 5 points · 4 years ago · 1 comment
6. ▲ Amazon partnered with China propaganda arm to win Beijing's favor (japantimes.co.jp) 6 points · 4 years ago · 0 comments
7. ▲ George Doriot and the History of Venture Capital (2009) (ecorner.stanford.edu) 1 point · 4 years ago · 0 comments
8. ▲ How Istanbul became the Silicon Valley of the mobile gaming industry (restofworld.org) 1 point · 4 years ago · 0 comments

All submissions on HN · View profile on HN