Open and closed universes

How to write types that represent choices.
Read more →

What I use, late 2020 edition

The digital tools that make my life better.
Read more →

The social consequences of type systems

Types are for people.
Read more →

Thinking about dependencies

Opinions about relying on other people’s work.
Read more →