#introductions
An introductions post, since I've got a bunch of new followers in the last couple of weeks (hello everybody!)
By day, I do computer verification of #math in the Lean prover, by night I do #osdev. When there isn't a plague going around, 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.
#introductions
(This reminds me: I should really make a little web page collecting my #osdev stuff.)