I know just enough mathematics to be dangerous – I formalized models of type systems as a grad student – but I like typography, cute mascots, and thoughtful server rules, so here I be.

Professional interests: building reliable distributed systems; turning legacy-horror DSLs into languages with specs, debuggers, etc

Personal interests: choral singing, photography, poetry and vaguely gothic fiction, tinkering with formalisms

Nutrition facts: none, my content will not sustain you
Contains: queer and trans pride
May contain: lolwut

Follow requests are welcome, especially if we’ve interacted before.

#introduction