For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Local Reasoning for Global Properties (tratt.net)
1 point by surprisetalk 31 days ago | past
Local Reasoning for Global Properties (tratt.net)
2 points by ltratt 33 days ago | past
Local Reasoning for Global Properties (tratt.net)
36 points by mpweiher 33 days ago | past | 6 comments
Local Reasoning for Global Properties (tratt.net)
4 points by ltratt 34 days ago | past
Test-case reducers are underappreciated debugging tools (tratt.net)
153 points by ltratt 55 days ago | past | 20 comments
Retrofitting JIT compilers into C interpreters (tratt.net)
2 points by fanf2 3 months ago | past
Retrofitting JIT Compilers into C Interpreters (tratt.net)
135 points by ltratt 3 months ago | past | 26 comments
What Context Can Bring to Terminal Mouse Clicks (tratt.net)
2 points by surprisetalk 6 months ago | past
Automatic syntax error recovery in lrpar (tratt.net)
1 point by fanf2 7 months ago | past | 1 comment
Why We Need to Know LR and Recursive Descent Parsing Techniques (tratt.net)
3 points by shoo 7 months ago | past
Async and Finaliser Deadlocks (tratt.net)
63 points by emailed 8 months ago | past | 20 comments
Async and Finaliser Deadlocks (tratt.net)
16 points by todsacerdoti 8 months ago | past | 11 comments
What Context Can Bring to Terminal Mouse Clicks (tratt.net)
2 points by ltratt 9 months ago | past
What Context Can Bring to Terminal Mouse Clicks (tratt.net)
3 points by ltratt 9 months ago | past
What Context Can Bring to Terminal Mouse Clicks (tratt.net)
4 points by todsacerdoti 9 months ago | past
Why Firsts Matter (tratt.net)
2 points by ltratt 10 months ago | past
Why Firsts Matter (tratt.net)
1 point by ltratt 10 months ago | past
LLM Inflation (tratt.net)
193 points by ingve 12 months ago | 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

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You