Laurence Tratt: Blog
- 2026-06-30: Local Reasoning for Global Properties
- 2026-06-09: Test-case Reducers Are Underappreciated Debugging Tools
- 2026-04-15: Retrofitting JIT Compilers into C Interpreters
- 2026-01-12: PLISS 2026
- 2025-11-12: Upcoming Talk in London
- 2025-11-12: Async and Finaliser Deadlocks
- 2025-10-29: What Context Can Bring to Terminal Mouse Clicks
- 2025-09-16: Why Firsts Matter
- 2025-08-06: LLM Inflation
- 2025-07-22: Comparing the Glove80 and Maltron keyboards
- 2025-07-14: The LLM-for-software Yo-yo
- 2025-04-02: The Fifth Kind of Optimisation
- 2025-03-25: Better Shell History Search
- 2025-01-28: Can We Retain the Benefits of Transitive Dependencies Without Undermining Security?
- 2024-11-27: Structured Editing and Incremental Parsing
- 2024-11-25: How I Prepare to Make a Video on Programming
- 2024-11-10: pizauth: HTTPS redirects
- 2024-08-21: Recording and Processing Spoken Word
- 2024-05-31: Why the Circular Specification Problem and the Observer Effect Are Distinct
- 2024-05-14: What Factors Explain the Nature of Software?
End of feed.