Open and closed universes

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

How to write types that represent choices.

The social consequences of type systems

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

Types are for people.