Software Engineer.
Interested in PLT and TT.
Linux, emacs, nixOS.