An independent, interactive explainer

Bend, explained for people who have never heard of it.

Bend is a new programming language, released in September 2026. It spreads work across every core of a computer, and it only accepts a code change when the change comes with a proof that the rules people wrote still hold. These pages show both ideas with demos you can click. No programming knowledge needed.

• v4Current version

  Bend in One Minute, plus How It Works

  Everything in v3, and a new chapter for GenAI teams: an insurer's LLM reads claims, a law protects one rule, and you follow a risky AI change through the system with and without Bend. Then run Bend's real checker in your browser on code you edit yourself.

  /bend-explainer/v4/
  Open v4
• v3Previous version

  Bend in One Minute

  Four short chapters: an inbox of 100 messages split across cores, a law and a proof that catch an AI agent's risky change, the same change shipped with and without Bend, and the whole picture.

  /bend-explainer/v3/
  Open v3
• v2Previous version

  See what Bend does

  Two demos: running independent work at the same time, and checking that code obeys a rule you wrote down.

  /bend-explainer/v2/
  Open v2

Each version keeps its own address, so a link to one keeps working after a newer version is published.