A taste of Lean.
Palomar — Lean-verified mathematics
A public registry of Lean-verified mathematical results.
math.r — Brain Building Game
Mathr is a brain building game to improve your math calculation skills. Practice arithmetic and level up!
A Fuller Statement About My Bluesky Posts
Let me paint a picture of what it was like to be a woman math major at the University of Chicago circa 2004.
The revolt of the reader | The Observation Deck
Reading is important to me. While I’m not a quick reader nor an especially voracious one, I have found that long-form reading has had a profound influence on me over my life. And because reading is important to me, writing is too: writing not only allows us to convey our ideas, but the very act forces us to test and distill them — at once making our ideas more robust while providing the vehicle by which to share them.
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
Rotating the Space: On LLMs as a Medium for Thought
An essay on LLMs as a cognitive medium
Learning to Float | Are.na Editorial
When I wasn’t fighting it, the water rose to support me.
This is Not the End of Reading. It's the End of Modernism.
Why academics and journalists are confusing Modernism with reading itself.
The Human-in-the-Loop is Tired
On reward functions, dopamine, and what it actually feels like when the code starts writing itself
The 'Paperwork Flood': How I Drowned a Bureaucrat before dinner., Sightless Scribbles
A fabulously gay blind author.
A Severe Misalignment of AI in Mathematics
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…
The Great Simplification with Nate Hagens
The Great Simplification with Nate Hagens explores money, energy, economy, and the environment with world experts and leaders to understand how everything fits together, and where we go from here
The wandering mind: A gift we squander - Darius Foroux
Most people treat a wandering mind like a defect. They see it as a leak in their productivity bucket. We’ve been conditioned to believe that if we aren’t staring at a screen or checking off a to-do list, we are failing. But Daniel Goleman, the […]
Connecting with your readers on Semble [Patterns of Sensemaking #2] - Cosmik Labs
On how the references you make help your writing find its natural audience
