From Hacker News
Lean Grimoire
Article URL: https://terrytao.wordpress.com/2026/11/11/lean-grimoire/ Comments URL: https://news.ycombinator.com/item?id=50462375 Points: 33 # Comments: 5
TechBlastTechnology. Unpacked.UK & world technologyTechBlastTechnology. Unpacked.UK & world technologyFrom Hacker News
Article URL: https://terrytao.wordpress.com/2026/11/11/lean-grimoire/ Comments URL: https://news.ycombinator.com/item?id=50462375 Points: 33 # Comments: 5