7,582 reputation
22841
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 3 years
seen 20 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,527 rep 54183
Programmers 7,582 rep 22841
Programming Puzzles & Code Golf 548 rep 310
Computer Science 462 rep 210
Code Review 166 rep 5

794 Votes Cast

all time   by type   month  
585 up 345 question 1
209 down 449 answer