8,445 reputation
22945
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 3 years, 3 months
seen 11 hours ago

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


Stack Overflow 31,296 rep 54388
Programmers 8,445 rep 22945
Programming Puzzles & Code Golf 618 rep 510
Computer Science 482 rep 210
Code Review 166 rep 5

804 Votes Cast

all time   by type  
587 up 349 question
217 down 455 answer