ltratt
- Karma
- 3,046
- Created
- 18 years ago
About
Personal: https://tratt.net/laurie/Recent Submissions
- 1. ▲ We should be more ambitious with the software we build (danluu.com)
- 2. ▲ Local Reasoning for Global Properties (tratt.net)
- 3. ▲ Local Reasoning for Global Properties (tratt.net)
- 4. ▲ Test-case reducers are underappreciated debugging tools (tratt.net)
- 5. ▲ Retrofitting JIT Compilers into C Interpreters (tratt.net)
- 6. ▲ Some Things I've Learned About Software [video] (youtube.com)
- 7. ▲ What Context Can Bring to Terminal Mouse Clicks (tratt.net)
- 8. ▲ What Context Can Bring to Terminal Mouse Clicks (tratt.net)
- 9. ▲ Garbage collection for Rust: The finalizer frontier (soft-dev.org)
- 10. ▲ Why Firsts Matter (tratt.net)