| user: | tkhattra |
| created: | July 11, 2015 |
| karma: | 2.0k |
| about: | taj <dot> khattra <at> gmail <dot> com |
| 1. | A grounded conceptual model for ownership types in Rust(cacm.acm.org) |
| 2. | The Automation of Nonsense(xcancel.com) |
| 3. | Michael Rabin has died(en.wikipedia.org) |
| 4. | Three Questions About Each Bug You Find (1989)(multicians.org) |
| 5. | Practical Security in Production(queue.acm.org) |
| 6. | The paradoxical efficient market hypothesis (2024)(3quarksdaily.com) |
| 7. | Compact representations for arrays in Lua [pdf](sol.sbc.org.br) |
| 8. | |
| 9. | |
| 10. | The Art of Managing Skunks(maheshba.bitbucket.io) |
| 11. | Byte Queue Limits: the unauthorized biography(medium.com) |
| 12. | Netnews: The Origin Story [pdf](cs.columbia.edu) |
| 13. | Go Is for Firmware Too(docs.google.com) |
| 14. | The Paradoxical Efficient Market Hypothesis (2024)(3quarksdaily.com) |
| 15. | The Future of TLA+ [pdf](lamport.azurewebsites.net) |
| 16. | |
| 17. | Eight Transaction Papers by Jim Gray(arxiv.org) |
| 18. | Bing Chat Flunks Math [pdf](cs.dartmouth.edu) |
| 19. | Capslock: What is your code capable of?(security.googleblog.com) |