CIRCLE WITH A DOT

Procrastinating writing a bio. Meanwhile, enjoy this proto-bio.
The usual stuff^TM around these parts of the Fediverse:
NixOS, Rust, train nerd, neurodivergence, 🏳️‍⚧️, 🌈, Haskell, Isabelle/HOL (a tiny bit)
Stuff that doesn't really fit into the cliches (or does it?):
Sailing, growing chili plants with moderate success.