July 2020 Archive
1111.
1112.
1113.
Division by zero in type theory: a FAQ (xenaproject.wordpress.com)
1114.
1115.
Mail for Good (github.com)
1116.
1117.
1118.
1119.
1120.
1121.
1122.
1123.
1124.
1125.
Ludic Fallacy (en.wikipedia.org)
1126.
1127.
A Typology of Dumplings (2019) (borstell.github.io)
1128.
1129.
1130.
1131.
1132.
1133.
1134.
1135.
Pkg.jl telemetry should be opt-in (discourse.julialang.org)
1136.
1137.
1138.
1139.
1140.