| user: | ltratt |
| created: | January 27, 2008 |
| karma: | 2.7k |
| about: | Personal: https://tratt.net/laurie/ |
| 1. | Local Reasoning for Global Properties(tratt.net) |
| 2. | Local Reasoning for Global Properties(tratt.net) |
| 3. | |
| 4. | |
| 5. | Some Things I've Learned About Software [video](youtube.com) |
| 6. | |
| 7. | |
| 8. | Garbage collection for Rust: The finalizer frontier(soft-dev.org) |
| 9. | Why Firsts Matter(tratt.net) |
| 10. | Why Firsts Matter(tratt.net) |
| 11. | Comparing the Glove80 and Maltron Keyboards(tratt.net) |
| 12. | The Fifth Kind of Optimisation(tratt.net) |
| 13. | The Fifth Kind of Optimisation(tratt.net) |
| 14. | Better Shell History Search(tratt.net) |
| 15. | |
| 16. | Structured Editing and Incremental Parsing(tratt.net) |
| 17. | I Prepare to Make a Video on Programming(tratt.net) |
| 18. | Recording and Processing Spoken Word(tratt.net) |