Mathr is a brain building game to improve your math calculation skills. Practice arithmetic and level up!
Cognitive Bias Lab | Learn to Make Better Decisions
Explore cognitive biases with interactive tests, simulations, and real-world examples. Free platform to sharpen decision-making and critical thinking — no sign-up needed.
RSI Simulator: Play the Economics of Recursive Self-Improvement
Bootstrap an AI lab from scratch. A web game from Paradigm built on real economic models of AI recursive self-improvement.
RNGdle
A daily random number game. Roll your number, collect badges, and compete with friends.
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 Grug Brained Developer
this collection of thoughts on software development gathered by grug brain developer
Do not give up your brain
It's tempting to just let tools think for you, but you still need to be able to think for yourself and stay sharp.
When AI builds itself
Our progress toward recursive self-improvement, and its implications.
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
I used AI. It worked. I hated it.
I used Claude Code to build a tool I needed. It worked great, but I was miserable. I need to reckon with what it means.
How does AI impact skill formation?
Two days ago, the Anthropic Fellows program released a paper called How AI Impacts Skill Formation. Like other papers on AI before it, this one is being treated as proof that AI makes you slower and dumber. Does it prove that?
Think First, AI Second
Three principles for keeping your cognitive edge while leveraging AI's capabilities
The Human-in-the-Loop is Tired
On reward functions, dopamine, and what it actually feels like when the code starts writing itself
Palomar — Lean-verified mathematics
A public registry of Lean-verified mathematical results.