Softanza
StartFrançais
Softanza
The ideas that hold it up

Twelve principles

Softanza rebuilds programming from first principles. Twelve ideas hold it up; each is one sentence here, and the other pages of this section show where each one stands.

1 · Declare a language

Softanza's approach to programming in the agentic age, not today's practice: you do not write software, you declare your world in a language made for it, and you govern how that world changes.

2 · Everything is judged

A narration is written to run as it is read; a promise is checked by running; a guard counts its assertions. What did not run is not shown, on this site either.

3 · One engine, many faces

Substance lives in the Zig engine; the language is its face, and a future face shares the same engine.

4 · Agents that cannot hurt you

An AI model proposes; a workbench rehearses; a court judges; only a governed actor commits.

5 · Knowledge of your world

Softanza knows your world, not the world's facts in general: its entities, rules, actors and flows, declared in plain text.

6 · Code that reads

The human is the parser: find first, then apply; names are verbs; a natural-language instruction runs.

7 · In your language

The course has four editions, English, French, Arabic and Hausa, the last three still drafts (0 of 35 units reviewed); the engine counts letters, not bytes; the same instruction runs in the four languages.

8 · Exact by default

An integer is exact at any size; a decimal says it is decimal; the algebra is proven against an oracle.

9 · Honest by design

The Atlas shows the low ratings beside the high ones; every product carries its stage; no figure without a file.

10 · Sovereign by construction

Nothing anyone else can withdraw: a verdict per dependency, plain text you keep, a machine you declare.

11 · Programming by heart

What you think is what you write. The court is severe so that the surface can stay warm; a tutor asks and never gives the answer.

12 · Born in Africa

Designed between Tunisia, Niamey and Paris; a bank and a restaurant as references; a machine named after a bridge.