From Hacker News

Lean Grimoire

12/11/2026, 02:36:48 UTC · Source-linked news briefing

Article URL: https://terrytao.wordpress.com/2026/11/11/lean-grimoire/ Comments URL: https://news.ycombinator.com/item?id=50462375 Points: 12 # Comments: 1

Read the full report at Hacker News ↗