Welcome to my social medium!

By day, I do computer verification (you might even say aggressive mechanization) of #math in the Lean prover with the hope of getting a gender-neutral title out of it. (I don't post too much about it on here, scientific papers tend to take all my writing energy.) By night I do #osdev. I like #cycling in nature and befriending #crows. I also know a bit of #linguistics.

I really like explaining concepts — feel free to ask any question (esp. mathematics / theoretical comp sci). Replies to toots are always welcome. You can steal anything I post if it's not overtly personal.

Everything I post is a lie. Do You Believe That?