inkspell

A developer's notebook — notes on software, systems, and the quiet craft of building things that last.

Recent Writing

How discriminated unions and exhaustive checks make illegal states unrepresentable — and catch bugs at compile time.

Why I'm starting a public notebook, and what I hope to write about.