7,482 reputation
22639
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 11 months
seen 2 mins ago

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


154
× 20
43
26
14
129
× 9
43
25
× 2
13
× 2
97
× 14
43
25
× 2
13
87
× 3
37
× 5
24
× 3
12
× 3
81
× 4
36
× 6
22
12
× 2
75
35
× 3
20
× 2
12
75
34
× 3
19
× 3
12
74
× 7
34
18
× 6
11
74
34
18
10
× 3
69
× 12
30
× 3
15
× 4
10
× 2
57
× 8
29
× 4
15
× 3
10
45
× 2
26
× 3
15
10
43
× 2
26
14
× 3
10