Why nextest is process-per-test

Why nextest runs each test in its own process: a game-theoretic view.
Read more »

Open and closed universes

How to write types that represent choices.
Read more »