7,592 reputation
22841
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 3 years
seen 1 hour ago

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


155
× 20
44
26
14
× 2
129
× 9
43
× 2
25
× 3
13
× 2
100
× 14
43
25
× 2
13
87
× 3
37
× 5
25
× 2
12
× 3
81
× 4
36
× 6
22
12
× 2
75
× 7
35
× 3
20
× 2
12
× 2
75
35
× 3
19
× 3
12
75
34
× 3
18
× 6
12
74
34
18
11
71
× 12
34
17
× 3
10
× 2
57
× 8
29
× 4
15
× 4
10
46
× 2
26
× 3
15
10
44
26
15
10