462 reputation
210
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 10 months
seen Jan 19 at 22:44

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


Stack Overflow 30,577 rep 54183
Programmers 7,592 rep 22841
Programming Puzzles & Code Golf 548 rep 310
Computer Science 462 rep 210
Code Review 166 rep 5

30 Votes Cast

all time   by type  
29 up 14 question
1 down 16 answer