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.
Type systems, pure functional programming, and domain-specific languages. During the day, I develop a compiler for quantum computers at Rigetti. In a past life, I got a PhD in programming languages with Stephanie Weirich at UPenn. (he/him/his)
