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