| 1. | | A Week of Bug Reporting (tratt.net) |
| 8 points by luu 48 days ago | past | 3 comments |
|
| 2. | | Local Reasoning for Global Properties (tratt.net) |
| 1 point by surprisetalk 3 months ago | past |
|
| 3. | | Local Reasoning for Global Properties (tratt.net) |
| 2 points by ltratt 3 months ago | past |
|
| 4. | | Local Reasoning for Global Properties (tratt.net) |
| 36 points by mpweiher 3 months ago | past | 6 comments |
|
| 5. | | Local Reasoning for Global Properties (tratt.net) |
| 4 points by ltratt 3 months ago | past |
|
| 6. | | Test-case reducers are underappreciated debugging tools (tratt.net) |
| 153 points by ltratt 4 months ago | past | 20 comments |
|
| 7. | | Retrofitting JIT compilers into C interpreters (tratt.net) |
| 2 points by fanf2 6 months ago | past |
|
| 8. | | Retrofitting JIT Compilers into C Interpreters (tratt.net) |
| 135 points by ltratt 6 months ago | past | 26 comments |
|
| 9. | | What Context Can Bring to Terminal Mouse Clicks (tratt.net) |
| 2 points by surprisetalk 9 months ago | past |
|
| 10. | | Automatic syntax error recovery in lrpar (tratt.net) |
| 1 point by fanf2 9 months ago | past | 1 comment |
|
| 11. | | Why We Need to Know LR and Recursive Descent Parsing Techniques (tratt.net) |
| 3 points by shoo 10 months ago | past |
|
| 12. | | Async and Finaliser Deadlocks (tratt.net) |
| 63 points by emailed 11 months ago | past | 20 comments |
|
| 13. | | Async and Finaliser Deadlocks (tratt.net) |
| 16 points by todsacerdoti 11 months ago | past | 11 comments |
|
| 14. | | What Context Can Bring to Terminal Mouse Clicks (tratt.net) |
| 2 points by ltratt 11 months ago | past |
|
| 15. | | What Context Can Bring to Terminal Mouse Clicks (tratt.net) |
| 3 points by ltratt 11 months ago | past |
|
| 16. | | What Context Can Bring to Terminal Mouse Clicks (tratt.net) |
| 4 points by todsacerdoti 11 months ago | past |
|
| 17. | | Why Firsts Matter (tratt.net) |
| 2 points by ltratt on Sept 16, 2025 | past |
|
| 18. | | Why Firsts Matter (tratt.net) |
| 1 point by ltratt on Sept 16, 2025 | past |
|
| 19. | | LLM Inflation (tratt.net) |
| 193 points by ingve on Aug 6, 2025 | past | 150 comments |
|
| 20. | | Comparing the Glove80 and Maltron Keyboards (tratt.net) |
| 82 points by ltratt on July 22, 2025 | past | 43 comments |
|
| 21. | | Comparing the Glove80 and Maltron Keyboards (tratt.net) |
| 6 points by Bogdanp on July 22, 2025 | past |
|
| 22. | | The LLM-for-software Yo-yo (tratt.net) |
| 5 points by ingve on July 14, 2025 | past |
|
| 23. | | Four Kinds of Optimisation (2023) (tratt.net) |
| 41 points by alexharri on April 14, 2025 | past | 14 comments |
|
| 24. | | The Fifth Kind of Optimisation (tratt.net) |
| 4 points by thunderbong on April 4, 2025 | past |
|
| 25. | | The Fifth Kind of Optimisation (tratt.net) |
| 1 point by ltratt on April 3, 2025 | past |
|
| 26. | | The Fifth Kind of Optimisation (tratt.net) |
| 1 point by ltratt on April 2, 2025 | past |
|
| 27. | | The Fifth Kind of Optimisation (tratt.net) |
| 46 points by todsacerdoti on April 2, 2025 | past | 46 comments |
|
| 28. | | Better Shell History Search (tratt.net) |
| 213 points by ltratt on March 25, 2025 | past | 93 comments |
|
| 29. | | Better Shell History Search (tratt.net) |
| 65 points by todsacerdoti on March 25, 2025 | past | 26 comments |
|
| 30. | | Can we get the benefits of transitive dependencies without undermining security? (tratt.net) |
| 85 points by ltratt on Jan 28, 2025 | past | 87 comments |
|
|
| More |
