Open and closed universes

2021-08-02 :: 10 min read #types  #rust 
How to write types that represent choices.
Read more »

The social consequences of type systems

2020-09-27 :: 12 min read #types 
Types are for people.
Read more »