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