Two ways to crack a walnut, per Grothendieck (2025) · HackerTrans