The Future of Math Education: Proofs You Can Run (Part 3 of 3)
From theory to practice—how simplicial homotopy type theory connects to programming, proof assistants, and a potential revolution in how mathematics is taught worldwide.
• 6 min read
Triangles All the Way Up: The Geometry of Abstract Math (Part 2 of 3)
Why triangles? Discover how simplicial structures—built from points, edges, and faces—give us a geometric language for even the most abstract mathematical ideas.
• 6 min read
Thinking in Shapes: A New Way to Learn Math (Part 1 of 3)
What if math class started with shapes and paths instead of sets and axioms? Introducing simplicial homotopy type theory—a revolutionary approach that might change how we teach mathematics.
• 5 min read
Optimal Transport Meets Observability: A Mathematical Framework for System Monitoring
Exploring how concepts from optimal transport theory can revolutionize how we understand and monitor distributed systems, offering new perspectives on performance optimization.
• 6 min read
Inside ASTM F37: Light Sport Aircraft
A technical deep-dive into the ASTM F37 committee's work on light sport aircraft standards, exploring the balance between safety, innovation, and accessibility in aviation.
• 7 min read