8,490 reputation
22945
bio website jozefg.bitbucket.org
location United States
age 19
visits member for 3 years, 4 months
seen 1 min ago

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


Stack Overflow 31,426 rep 54690
Programmers 8,490 rep 22945
Programming Puzzles & Code Golf 618 rep 510
Computer Science 582 rep 310
Code Review 166 rep 5

805 Votes Cast

all time   by type   month  
587 up 350 question 1
218 down 455 answer