Stats
2,086
reputation
0
reached
0
answers
0
questions
Loading…
About
First-year Ph.D. student at Carnegie Mellon University (did my undergrad at Caltech, BS '23 Computer Science). Ex-professional web developer.
Loves functional programming (especially Haskell) and interactive theorem proving (especially Agda).
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
-
Yearling
× 10May 16
3
bronze badges
-
CriticMay 14, 2022
-
SupporterApr 5, 2015
-
AutobiographerApr 15, 2015
Posts
This user hasn’t posted yet.
Top network posts
View all network posts