| 1. | | Local Reasoning for Global Properties (tratt.net) |
| 2 points by ltratt 71 days ago | past |
|
| 2. | | Local Reasoning for Global Properties (tratt.net) |
| 4 points by ltratt 72 days ago | past |
|
| 3. | | Test-case reducers are underappreciated debugging tools (tratt.net) |
| 153 points by ltratt 3 months ago | past | 20 comments |
|
| 4. | | Retrofitting JIT Compilers into C Interpreters (tratt.net) |
| 135 points by ltratt 4 months ago | past | 26 comments |
|
| 5. | | Some Things I've Learned About Software [video] (youtube.com) |
| 1 point by ltratt 8 months ago | past | 1 comment |
|
| 6. | | What Context Can Bring to Terminal Mouse Clicks (tratt.net) |
| 2 points by ltratt 10 months ago | past |
|
| 7. | | What Context Can Bring to Terminal Mouse Clicks (tratt.net) |
| 3 points by ltratt 10 months ago | past |
|
| 8. | | Garbage collection for Rust: The finalizer frontier (soft-dev.org) |
| 144 points by ltratt 11 months ago | past | 180 comments |
|
| 9. | | Why Firsts Matter (tratt.net) |
| 2 points by ltratt 11 months ago | past |
|
| 10. | | Why Firsts Matter (tratt.net) |
| 1 point by ltratt 11 months ago | past |
|
| 11. | | Comparing the Glove80 and Maltron Keyboards (tratt.net) |
| 82 points by ltratt on July 22, 2025 | past | 43 comments |
|
| 12. | | The Fifth Kind of Optimisation (tratt.net) |
| 1 point by ltratt on April 3, 2025 | past |
|
| 13. | | The Fifth Kind of Optimisation (tratt.net) |
| 1 point by ltratt on April 2, 2025 | past |
|
| 14. | | Better Shell History Search (tratt.net) |
| 213 points by ltratt on March 25, 2025 | past | 93 comments |
|
| 15. | | Can we get the benefits of transitive dependencies without undermining security? (tratt.net) |
| 85 points by ltratt on Jan 28, 2025 | past | 87 comments |
|
| 16. | | Structured Editing and Incremental Parsing (tratt.net) |
| 133 points by ltratt on Nov 27, 2024 | past | 54 comments |
|
| 17. | | I Prepare to Make a Video on Programming (tratt.net) |
| 1 point by ltratt on Nov 25, 2024 | past |
|
| 18. | | Recording and Processing Spoken Word (tratt.net) |
| 1 point by ltratt on Aug 22, 2024 | past |
|
| 19. | | Recording and Processing Spoken Word (tratt.net) |
| 20 points by ltratt on Aug 21, 2024 | past | 2 comments |
|
| 20. | | Some Reflections on Writing Unix Daemons (tratt.net) |
| 4 points by ltratt on Feb 29, 2024 | past |
|
| 21. | | Some Reflections on Writing Unix Daemon (tratt.net) |
| 97 points by ltratt on Feb 29, 2024 | past | 37 comments |
|
| 22. | | Choosing what to read (tratt.net) |
| 132 points by ltratt on Jan 5, 2024 | past | 46 comments |
|
| 23. | | Choosing What to Read (tratt.net) |
| 3 points by ltratt on Jan 4, 2024 | past |
|
| 24. | | Debugging a Failing Hotkey (tratt.net) |
| 55 points by ltratt on Dec 13, 2023 | past | 6 comments |
|
| 25. | | How Often Should We Sharpen Our Tools? (tratt.net) |
| 5 points by ltratt on Dec 4, 2023 | past | 1 comment |
|
| 26. | | Migrating from Bors-NG to GitHub Merge Queues (theunixzoo.co.uk) |
| 3 points by ltratt on Nov 16, 2023 | past |
|
| 27. | | Four Kinds of Optimisation (tratt.net) |
| 120 points by ltratt on Nov 14, 2023 | past | 56 comments |
|
| 28. | | Link-Time Optimisation (LTO) (convolv.es) |
| 2 points by ltratt on Nov 8, 2023 | past |
|
| 29. | | Why Aren't Programming Language Specifications Comprehensive? (tratt.net) |
| 3 points by ltratt on Oct 18, 2023 | past |
|
| 30. | | Why Aren't Programming Language Specifications Comprehensive? (tratt.net) |
| 3 points by ltratt on Oct 17, 2023 | past |
|
|
| More |
