8,480 reputation
22945
bio website jozefg.bitbucket.org
location United States
age 19
visits member for 3 years, 4 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.


187
× 22
53
29
× 3
16
170
× 12
52
× 4
27
× 3
15
× 4
117
× 15
42
× 2
27
14
100
× 3
42
27
13
× 2
85
× 14
37
× 6
25
× 2
13
84
× 7
37
× 5
22
13
80
× 4
36
× 3
21
× 2
12
× 2
79
35
× 3
20
× 3
11
× 2
76
34
× 3
19
11
76
34
18
× 6
10
57
× 8
34
18
10
55
× 2
31
× 4
17
× 3
10
53
30
× 4
17
10