S shreevatsa.net Two ways to crack a walnut, per Grothendieck (2025) 54 points ethanseal 10 months ago 19 comments