Two ways to crack a walnut, per Grothendieck (2025)shreevatsa.net
54 points by ethanseal 9 days ago | 19 comments