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

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


182
× 22
46
27
× 3
16
158
× 11
46
27
15
× 4
111
× 14
42
× 2
27
14
× 2
107
× 4
42
26
× 3
13
× 2
80
× 4
37
× 6
25
× 2
13
78
× 13
37
× 5
22
12
× 2
77
× 7
36
× 3
21
× 2
12
× 2
77
35
× 3
19
× 3
12
76
34
× 3
18
× 6
12
76
34
18
11
× 2
57
× 8
34
17
× 3
11
48
× 2
31
× 4
17
10
47
× 4
29
× 4
17
10