Open and closed universes

2021-08-02 :: 10 min read #types #rust

How to write types that represent choices.

What I use, late 2020 edition

2020-12-21 :: 7 min read #what-i-use

The digital tools that make my life better.

The social consequences of type systems

2020-09-27 :: 12 min read #types

Types are for people.

Thinking about dependencies

2020-08-22 :: 15 min read #dependencies

Opinions about relying on other people’s work.