HN Explorer

ltratt

↗ HN profile [ 80.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Local Reasoning for Global Properties (tratt.net)
    2 points 0
  2. Local Reasoning for Global Properties (tratt.net)
    4 points 0
  3. Test-case reducers are underappreciated debugging tools (tratt.net)
    153 points 16
  4. Retrofitting JIT Compilers into C Interpreters (tratt.net)
    135 points 12
  5. What Context Can Bring to Terminal Mouse Clicks (tratt.net)
    2 points 0
  6. Garbage collection for Rust: The finalizer frontier (soft-dev.org)
    144 points 17
  7. Why Firsts Matter (tratt.net)
    2 points 0
  8. Why Firsts Matter (tratt.net)
    1 points 0
  9. Comparing the Glove80 and Maltron Keyboards (tratt.net)
    82 points 24
  10. The Fifth Kind of Optimisation (tratt.net)
    1 points 0
  11. Better Shell History Search (tratt.net)
    213 points 98
  12. Can we get the benefits of transitive dependencies without undermining security? (tratt.net)
    85 points 90
  13. Structured Editing and Incremental Parsing (tratt.net)
    133 points 57
  14. I Prepare to Make a Video on Programming (tratt.net)
    1 points 1
  15. Recording and Processing Spoken Word (tratt.net)
    1 points 0
  16. Recording and Processing Spoken Word (tratt.net)
    20 points 2
  17. Some Reflections on Writing Unix Daemons (tratt.net)
    4 points 0
  18. Some Reflections on Writing Unix Daemon (tratt.net)
    97 points 38
  19. Choosing what to read (tratt.net)
    132 points 47
  20. Choosing What to Read (tratt.net)
    3 points 0
  21. Debugging a Failing Hotkey (tratt.net)
    55 points 7
  22. How Often Should We Sharpen Our Tools? (tratt.net)
    5 points 1
  23. Migrating from Bors-NG to GitHub Merge Queues (theunixzoo.co.uk)
    2 points 0
  24. Four Kinds of Optimisation (tratt.net)
    120 points 58
  25. Link-Time Optimisation (LTO) (convolv.es)
    2 points 0