Altfranziska-Lehel

whoami@chaos.social

<p>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&#39;t really fit into the cliches (or does it?):
Sailing, growing chili plants with moderate success.</p>