| user: | jalcazar |
| created: | April 1, 2014 |
| karma: | 303 |
| about: | [ my public key: https://keybase.io/jalcazar; my proof: https://keybase.io/jalcazar/sigs/PVw0MEb7efKKGbGpVimQEKF-dBQkg5r48SM8eyVAikc ] |
| 1. | Machine-Assisted Proof [pdf](ams.org) |
| 2. | |
| 3. | Fantastic bugs and how to find them(cmu-fantastic-bugs.github.io) |
| 4. | |
| 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) |