I'm a nerd and computer toucher turned brain toucher and mental health advocate. I like type systems, programming language design and other formal maths‑y stuff. I also like building communities and creating comfy social spaces. Soft creature. May contain traces of insanity.