Autocracy
Autocracy Imitation Authority Breakdown
Posts
Formalization
On Formalization 1Lab Jeremy Avigad Autoformalization in Lean Autoformalizaiton Kevin Buzzard On the Cost of Rigor Current Limitations Gauss - Formalization of the Prime Number Theorem in Lean Proof of Prime Number Conjecture
On Lean: The Natural Number Game, The Real Analysis Game, ...
Natural Number Game Natural Number Game, Slides from Kevin Buzzard Lean Tactics Cheat Sheet from Kevin Buzzard Lean Notes from Zhiyu Wang Lean Beginner's Guide Lean Games ~ Lean 2026 Lean for Real Analysis (Kontorovich) Terence Tao on Analysis in Lean On Analysis in Lean (Tao) On Teaching the Foundations of Math in Lean (Bottoni, Cattaneo, Sacıkara) Mathematics in Lean (Avigad, Massot) ~ Learning Lean 4 ~ Learning Lean 3 ~
Geometric Theories of Deep Learning
Theories Geometric Deep Learning Geometric Deep Learning Mathematical Foundations of Geometric Deep Learning .
Helena Rong on DAOs
Helen Rong What Is the Trust Quotient? Turning to Trust Experience Design Experience Trust Design - MetaGov Seminar Video Open Problems in DOAs The Dao of the DAO
Fiber Bundles and Fibrations (Mathematics)
Definitions Fiber Bundle (Wikipedia) Fiber Bundle (n-lab) Fibration (Wikipedia) Fibration (n-Lab) Papers Fibration Series (Torgeir Aambø, GitHub) The Topology of Fiber Bundles (Lecture Notes, Ralph L. Cohen, Stanford) Video