Typesanitizer

A discussion on the various reasons why performance is slow, and which ones are unlikely to be affected by LLMs. Originally written as a counter-point to Dan Luu

A discussion on code review with short case studies and links to research on expertise.

A worked out example of different job queueing semantics and how they affect workloads.

A close examination on the supposed benefits of effect systems, framed as a conversation between two programming language designers.

A spin on the old folk tale Six Blind Men and the Elephant.

An in-depth guide to programming with assertions and advocating for the use of assertions at work, based on 6 years of experience spread out across a variety of codebases.

Reflections on a one-line bug fix that took two days to figure out, and the unspoken assumptions in how we talk about bugs.

A discussion on substantive theories of program design, with the running example of concurrent file modifications.

Discussion on notions of software complexity as defined by Rich Hickey, John Ousterhout and Zach Tellman.