Technical writing
Notes on the systems I keep taking apart.
I write about distributed systems, type inference, rendering pipelines, and the layers of tooling underneath them — the long version, with the details left in.
Recent
- How Raft actually replicates a logLeader election is the part everyone remembers. The interesting rules live in log matching, commit indexes, and the two places Raft refuses to trust a majority.
- Bidirectional type checking, from scratchWhy real type checkers split into two mutually recursive modes — inference and checking — and how that split makes annotations land exactly where you'd expect.
- stale-while-revalidate and the shape of a good cache headermax-age is a blunt instrument. The interesting behaviour lives in the freshness lifetime, the stale window, and who is allowed to serve what during a revalidation.
- LSM trees and the write amplification you signed up forLog-structured merge trees turn random writes into sequential ones. The bill arrives later, during compaction — and the shape of that bill is a knob you control.