Graduate Student Solves Classic Problem About the Limits of Addition(quantamagazine.org)61 points by sonabinu 1 year ago | 10 comments
Where does the name "algebraic data type" come from?(blog.poisson.chat)129 points by 082349872349872 2 years ago | 59 comments
Turing's topological proof that every written alphabet is finite (2010)(divisbyzero.com)122 points by 082349872349872 2 years ago | 96 comments
In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)110 points by isaacfrond 7 months ago | 99 comments
Slaughtering Competition Problems with Quantifier Elimination (2021)(grossack.site)63 points by todsacerdoti 10 months ago | 0 comments