Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Second-year Ph.D. student in programming languages at Carnegie Mellon University. Did my undergrad at Caltech, BS '23 Computer Science. Ex-professional web developer.
Loves functional programming and interactive theorem proving.
