You gotta think outside the hypercube(lcamtuf.substack.com)90 points by surprisetalk 7 months ago | 24 comments
Alexander Grothendieck Revolutionized 20th-Century Mathematics(quantamagazine.org)124 points by anujbans 5 months ago | 26 comments
What Do Gödel's Incompleteness Theorems Mean?(quantamagazine.org)120 points by baruchel 5 months ago | 51 comments
A reckless introduction to Hindley-Milner type inference (2019)(reasonableapproximation.net)134 points by nequo 2 years ago | 38 comments
