Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

ltratt

2,736 karmajoined January 27, 2008On HN

Personal: https://tratt.net/laurie/

Recent submissions

Local Reasoning for Global Properties tratt.net
2ltratt2modiscuss
Local Reasoning for Global Properties tratt.net
4ltratt2modiscuss
Test-case reducers are underappreciated debugging tools tratt.net
153ltratt3mo20 comments
Retrofitting JIT Compilers into C Interpreters tratt.net
135ltratt4mo26 comments
Some Things I've Learned About Software [video]youtube.com
1ltratt7mo1 comment
What Context Can Bring to Terminal Mouse Clicks tratt.net
2ltratt10modiscuss
What Context Can Bring to Terminal Mouse Clicks tratt.net
3ltratt10modiscuss
Garbage collection for Rust: The finalizer frontier soft-dev.org
144ltratt10mo180 comments
Why Firsts Matter tratt.net
2ltratt11modiscuss
Why Firsts Matter tratt.net
1ltratt11modiscuss
Comparing the Glove80 and Maltron Keyboards tratt.net
82ltratt1y43 comments
The Fifth Kind of Optimisation tratt.net
1ltratt1ydiscuss
The Fifth Kind of Optimisation tratt.net
1ltratt1ydiscuss
Better Shell History Search tratt.net
213ltratt1y93 comments
Can we get the benefits of transitive dependencies without undermining security?tratt.net
85ltratt1y87 comments
Structured Editing and Incremental Parsing tratt.net
133ltratt1y54 comments
I Prepare to Make a Video on Programming tratt.net
1ltratt1ydiscuss
Recording and Processing Spoken Word tratt.net
1ltratt2ydiscuss
Recording and Processing Spoken Word tratt.net
20ltratt2y2 comments
Some Reflections on Writing Unix Daemons tratt.net
4ltratt2ydiscuss
Some Reflections on Writing Unix Daemon tratt.net
97ltratt2y37 comments
Choosing what to read tratt.net
132ltratt2y46 comments
Choosing What to Read tratt.net
3ltratt2ydiscuss
Debugging a Failing Hotkey tratt.net
55ltratt2y6 comments
How Often Should We Sharpen Our Tools?tratt.net
5ltratt2y1 comment
Migrating from Bors-NG to GitHub Merge Queues theunixzoo.co.uk
2ltratt2ydiscuss
Four Kinds of Optimisation tratt.net
120ltratt2y56 comments
Link-Time Optimisation (LTO)convolv.es
2ltratt2ydiscuss
Why Aren't Programming Language Specifications Comprehensive?tratt.net
3ltratt2ydiscuss
Why Aren't Programming Language Specifications Comprehensive?tratt.net
3ltratt2ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.