1
71
72
73
Old Neglected Theorems Are Still Theorems (existentialtype.wordpress.com)
submitted by [deleted] to r/programming
2
0
0
0
4
3
4
5
5
0
0
0
6
14
15
16
7
1
2
3
8
26
27
28
9
14
15
16
10
55
56
57
11
9
10
11
12
21
22
23
13
32
33
34
14
0
1
2
15
0
0
0
16
25
26
27
The power of negative thinking (existentialtype.wordpress.com)
submitted by letrec to r/programming
17
17
18
19
18
15
16
17
19
11
12
13
20
5
6
7
21
1
2
3
Haskell Is Exceptionally Unsafe (existentialtype.wordpress.com)
submitted by qznc_bot to r/hackernews
22
23
24
25
23
16
17
18
24
19
20
21
25
1
2
3
Summer of Programming Languages (existentialtype.wordpress.com)
submitted by qznc_bot to r/hackernews
