pi
pi Approximate pi Archimedes pi Newton pi Newton: pi Euler: pi
Posts
On Lean: The Natural Number Game
Natural Number Game Natural Number Game, Slides from Kevin Buzzard Lean Tactics Cheat Sheet from Kevin Buzzard Lean Games
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