Laurence Tratt: Blog

Laurence Tratt

tratt.net ↗RSS feed ↗20 posts

Latest posts

Local Reasoning for Global Properties

Jun 30, 2026

Test-case Reducers Are Underappreciated Debugging Tools

Jun 9, 2026

Retrofitting JIT Compilers into C Interpreters

Apr 15, 2026

PLISS 2026

Jan 12, 2026

Upcoming Talk in London

Nov 12, 2025

Async and Finaliser Deadlocks

Nov 12, 2025

What Context Can Bring to Terminal Mouse Clicks

Oct 29, 2025

Why Firsts Matter

Sep 16, 2025

LLM Inflation

Aug 6, 2025

Comparing the Glove80 and Maltron keyboards

Jul 22, 2025

The LLM-for-software Yo-yo

Jul 14, 2025

The Fifth Kind of Optimisation

Apr 2, 2025

Better Shell History Search

Mar 25, 2025

Can We Retain the Benefits of Transitive Dependencies Without Undermining Security?

Jan 28, 2025

Structured Editing and Incremental Parsing

Nov 27, 2024

How I Prepare to Make a Video on Programming

Nov 25, 2024

pizauth: HTTPS redirects

Nov 10, 2024

Recording and Processing Spoken Word

Aug 21, 2024

Why the Circular Specification Problem and the Observer Effect Are Distinct

May 31, 2024

What Factors Explain the Nature of Software?

May 14, 2024