Special Topics

  Autocracy Imitation Authority Breakdown  

pi Approximate pi Archimedes pi Newton pi Newton: pi Euler: pi

What Is Politics?

1Lab Autoformalization in Lean Autoformalizaiton Kevin Buzzard

  Natural Number Game Natural Number Game, Slides from Kevin Buzzard Lean Tactics Cheat Sheet from Kevin Buzzard Lean Games ~ Lean 2026 Lean for Real Analysis (Kontorovich) ~ Learning Lean 4 ~ Learning Lean 3 ~

Theories Geometric Deep Learning Geometric Deep Learning Mathematical Foundations of Geometric Deep Learning .

  Cooperation Cooperation Ecological Systems Theory Ecological Cooperation

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

K-Theory (Wikipedia) K-Theory Past and Present (Atiyah) Topological K-Theory (Gutierrez)

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

Carlos Oquendo de Amat 5 metros de poemas