Senior at Caltech, BS '23 (Computer Science). Ex-professional web developer.
Loves Haskell (and functional programming in general) and, recently, Coq.