sunshowers
about
work
about
work
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 »