■ AzadiraFormal thinking, for fun

AI can write the code.

You still have
to think.

Think clearly. Write the code. Beat the clock.
Single player → Multi-player →

Nobody plays chess because they can beat a computer. They play because thinking clearly under pressure is a pleasure, and because other people are thinking with them.

Azadira is a game for learning formal thinking through programming. Formal thinking is the ability to turn an idea into something precise enough that a machine can execute it. Over two thousand original Python problems grow on one tree: algorithms, statistics, machine learning, signals and control, robotics, quantum computing, and economics. Lessons take you to first-year or third-year university level, your choice. Boards let you race other players in real time. Everything runs in your browser.

Don't compete with AI at knowing things. Learn how to reason about them.

The map · every leaf, as links · hover a leaf, click to play

Your tree, flat

Growing…

DormantEncounteredAttempted GrownThree starsCoreAt your edgeWon in multi-player
Think clearly.Write the code.Beat the clock.
learn → think → code → compete → grow
Stuck? Hints first, then a recipe. Never a solution.
The point is not to outperform machines. It is to learn to think.
In multi-player, leave the window and your run is over.