Generating Simpson's Paradox with Z3(kevinlynagh.com)165 points by surprisetalk 2 years ago | 46 comments
A reckless introduction to Hindley-Milner type inference (2019)(reasonableapproximation.net)134 points by nequo 2 years ago | 38 comments
The Biggest Identity Sandpiles and How to Compute Them(eavan.blog)16 points by eavan0 7 months ago | 6 comments