A taste of Lean.
Palomar — Lean-verified mathematics
A public registry of Lean-verified mathematical results.
Tau Ceti — Tau Ceti
AI-authored Lean mathematics, directed by a human-owned roadmap and gated by open, adversarial review.
Mathematics in the Library of Babel — Daniel Litt
Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mostly being stuck. It's about clinging to a giant edifice and feeling it out until you understand som
Uri Bram 🔍 on Twitter / X
So I got memed into trying MathAcademy and it was one of the weirdest product experiences of my life. In short: I think they have an amazing product, but they're very opinionated about how you use it, and as a result I can't use it at all.Basically: they've figured out some…— Uri Bram 🔍 (@UriBram) January 16, 2025
Kill Math
The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.
Math Curriculum Review: MathAcademy
Math Academy is what happens when you build a math program without trying to make it cute. It's ruthlessly effective, occasionally frustrating, and probably the closest thing we have to a "truth in advertising" approach to math education. Math Academy will take your 4th grader all the way through university
A Math Academy review
Background and context Some background on me just so that you have a rough idea of where this review is coming from: I did Olympiads as a kid and have been involved in fairly math-heavy fields ever since, through university at least, depending on your definition of math-heavy. I’ve also been completely self-taught when it comes to the non-elementary-school math I know. So my plan on using my Math Academy subscription was to mostly brush up on things. I also did only the university-level courses.
How a flawed idea is teaching millions of kids to be poor readers
For decades, schools have taught children the strategies of struggling readers, using a theory about reading that cognitive scientists have repeatedly debunked. And many teachers and parents don't know there's anything wrong with it.
My Journey Back to Math: A Short Review of MathAcademy
Personal journey of rediscovering math through MathAcademy and learning in public
Mathematicians still don’t know the fastest way to multiply numbers
A 23-year-old student overturned an ancient conjecture about one of math’s simplest operations
Is MathAcademy Worth It? Thoughts After 2,000 Experience Points (XP) – Jonathan Whitmore
My review after ~40 hours of dedicated learning on the platform.
The misunderstood limits of folk science: an illusion of explanatory depth
People feel they understand complex phenomena with far greater precision, coherence, and depth than they really do; they are subject to an illusion—an illusion of explanatory depth. The illusion is f...
math.r — Brain Building Game
Mathr is a brain building game to improve your math calculation skills. Practice arithmetic and level up!
