Stats
221
reputation
0
reached
0
answers
0
questions
Loading…
About
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.
Badges
This user doesn’t have any gold badges yet.
1
silver badge
-
YearlingFeb 8, 2023
2
bronze badges
-
SupporterFeb 13, 2022
-
AutobiographerFeb 13, 2022
Posts
This user hasn’t posted yet.
Top network posts
View all network posts