8,336 reputation
22945
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 3 years, 3 months
seen 1 hour ago

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


185
× 22
47
27
× 3
16
164
× 11
47
27
15
× 4
112
× 14
42
× 2
27
14
× 2
109
× 4
42
26
× 3
13
× 2
81
× 13
37
× 6
25
× 2
13
80
× 4
37
× 5
22
13
78
× 7
36
× 3
21
× 2
13
78
35
× 3
20
× 3
12
× 2
76
34
× 3
18
× 6
12
× 2
76
34
18
11
× 2
57
× 8
34
17
× 3
11
52
× 4
31
× 4
17
10
49
× 2
30
× 4
17
10