7,362 reputation
22639
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 10 months
seen 2 hours ago

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


153
× 20
43
26
13
× 2
129
× 9
42
25
× 2
13
88
× 13
42
25
× 2
13
87
× 3
37
× 5
23
× 3
12
× 3
81
× 4
36
× 6
22
12
× 2
75
35
× 3
20
× 2
12
75
34
× 3
19
× 3
12
74
34
18
× 6
11
73
× 7
34
18
10
× 3
63
× 12
30
× 2
15
× 4
10
57
× 8
29
× 4
15
× 3
10
44
× 2
26
× 3
15
10
43
× 2
26
14
× 3
10