7,851 reputation
22842
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 3 years, 1 month
seen 45 mins ago

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


176
× 21
46
27
15
130
× 9
42
× 2
27
14
× 2
101
× 14
42
26
× 3
13
× 2
87
× 3
37
× 6
25
× 2
13
80
× 4
37
× 5
25
× 2
12
× 2
77
× 7
36
× 3
22
12
× 2
75
35
× 3
20
× 2
12
75
34
× 3
19
× 3
12
74
34
18
× 6
11
72
× 12
34
18
11
57
× 8
31
× 4
17
× 3
10
× 2
48
× 2
29
× 4
17
10
46
27
× 3
15
× 4
10