7,472 reputation
22639
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 11 months
seen 2 hours ago

I am a student who enjoys type theory, formal verification, and compilers. I blog about [dys]functional things a lot.


Stack Overflow 30,371 rep 44183
Programmers 7,472 rep 22639
Programming Puzzles & Code Golf 548 rep 310
Computer Science 462 rep 210
Code Review 166 rep 5

792 Votes Cast

all time   by type   month  
583 up 344 question 6
209 down 448 answer