What I use, late 2020 edition

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

The social consequences of type systems

The social consequences of type systems
Types are for people.
Read more →

Thinking about dependencies

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