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.
Planned maintenance impacting Stack Overflow and all Stack Exchange sites is scheduled for Monday, September 16, 2024, 5:00 PM-10:00 PM EDT (Monday, September 16, 21:00 UTC- Tuesday, September 17, 2:00 UTC). The email/password authentication method will be unavailable for logging in and registering.
Read more here
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
First-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.
