jozefg
jozefg avatar
Active user
4 years ago by invitation from mrb
636, averaging 4.51 per story/comment
17, most commonly tagged compsci
124

I like compilers, type theory, and formal methods. I blog about these things.