HN Explorer

tkhattra

↗ HN profile [ 79.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A grounded conceptual model for ownership types in Rust (cacm.acm.org)
    57 points 2
  2. The Automation of Nonsense (xcancel.com)
    3 points 0
  3. Michael Rabin has died (en.wikipedia.org)
    414 points 26
  4. Three Questions About Each Bug You Find (1989) (multicians.org)
    3 points 0
  5. Practical Security in Production (queue.acm.org)
    20 points 1
  6. The paradoxical efficient market hypothesis (2024) (3quarksdaily.com)
    95 points 27
  7. Compact Representations for Arrays in Lua [pdf] (sol.sbc.org.br)
    67 points 21
  8. The evolution of Lua, continued [pdf] (lua.org)
    6 points 0
  9. What would early alternatives to C have been? (tuhs.org)
    6 points 3
  10. The Art of Managing Skunks (maheshba.bitbucket.io)
    2 points 0
  11. Byte Queue Limits: the unauthorized biography (medium.com)
    27 points 2
  12. Netnews: The Origin Story [pdf] (cs.columbia.edu)
    60 points 5
  13. Go Is for Firmware Too (docs.google.com)
    3 points 2
  14. The Paradoxical Efficient Market Hypothesis (3quarksdaily.com)
    1 points 0
  15. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points 106
  16. Interview: John Ousterhout Reflects on "A Philosophy of Software Design" [video] (youtube.com)
    12 points 1
  17. Eight Transaction Papers by Jim Gray (arxiv.org)
    45 points 9
  18. Bing Chat Flunks Math [pdf] (cs.dartmouth.edu)
    2 points 0
  19. Capslock: What is your code capable of? (security.googleblog.com)
    3 points 0
  20. Al Gore and the Internet (2000) (amsterdam.nettime.org)
    2 points 0
  21. A Brief History of Warehouse-Scale Computing (2021) [pdf] (barroso.org)
    2 points 0
  22. Jacob Ziv has died (twitter.com)
    710 points 95
  23. How did Dennis Ritchie produce his PhD thesis? A typographical mystery (2022) [pdf] (cs.princeton.edu)
    477 points 153
  24. Ken Thompson's 75 year project (youtube.com)
    4 points 1
  25. The Origin of the “MIT License” (2020) (ieeexplore.ieee.org)
    67 points 19