Occasional notes on solvers, Rust, and things I got wrong.
Nothing here yet — the first notes are being written.