Y Hacker News new | ask | show | jobs

user: tkhattra created: 2015-07-11 karma: 2048 taj <dot> khattra <at> gmail <dot> com submissions: 0 points | 0 comments A grounded conceptual model for ownership types in Rust 57 points | 2 comments The Automation of Nonsense 3 points | 0 comments Michael Rabin has died 414 points | 90 comments 0 points | 0 comments Three Questions About Each Bug You Find (1989) 3 points | 0 comments 0 points | 0 comments Practical Security in Production 20 points | 1 comments The paradoxical efficient market hypothesis (2024) 95 points | 90 comments Compact representations for arrays in Lua [pdf] 67 points | 19 comments The evolution of Lua, continued [pdf] 6 points | 0 comments What would early alternatives to C have been? 6 points | 3 comments 0 points | 0 comments The Art of Managing Skunks 2 points | 0 comments 0 points | 0 comments Byte Queue Limits: the unauthorized biography 27 points | 2 comments Netnews: The Origin Story [pdf] 60 points | 5 comments 0 points | 0 comments Go Is for Firmware Too 3 points | 2 comments The Paradoxical Efficient Market Hypothesis (2024) 1 points | 0 comments The Future of TLA+ [pdf] 195 points | 105 comments Interview: John Ousterhout Reflects on "A Philosophy of Software Design" [video] 12 points | 0 comments 0 points | 0 comments Eight Transaction Papers by Jim Gray 45 points | 9 comments 0 points | 0 comments Bing Chat Flunks Math [pdf] 2 points | 0 comments Capslock: What is your code capable of? 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments