jalcazar
- Karma
- 293
- Created
- 11 years ago
About
[ my public key: https://keybase.io/jalcazar; my proof: https://keybase.io/jalcazar/sigs/PVw0MEb7efKKGbGpVimQEKF-dBQkg5r48SM8eyVAikc ]Recent Submissions
- 1. ▲ Machine-Assisted Proof [pdf] (ams.org)
- 2. ▲ Mastering Concurrent Computing Through Sequential Thinking (cacm.acm.org)
- 3. ▲ Fantastic bugs and how to find them (cmu-fantastic-bugs.github.io)
- 4. ▲ Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’ (thedrive.com)
- 5. ▲ Amazon partnered with China propaganda arm to win Beijing's favor (japantimes.co.jp)
- 6. ▲ George Doriot and the History of Venture Capital (2009) (ecorner.stanford.edu)
- 7. ▲ How Istanbul became the Silicon Valley of the mobile gaming industry (restofworld.org)