quality software, and the factory behind it
We build software.
And the software that
builds it better . Each pass starts ahead of the last.
scroll
❙❙
evidence you can read
a factory you keep
rules that refuse
nothing recorded is rewritten
a person ships it
no number instead of evidence
evidence you can read
a factory you keep
rules that refuse
nothing recorded is rewritten
a person ships it
no number instead of evidence
the advancing part
And the software that builds it better.
The work ships something
useful. It also leaves machinery that makes the next piece better.
the thing Built for a real need, to a standard written down rather than implied.
the leftovers Tools, checks and a factory. You keep them.
the direction Nothing in the loop goes backwards.
Four stations climbing left to right, the path open at both ends
A rising path carries four labelled stations: build, prove, keep, and climb. Each sits higher than the one before it. The path enters from the left and leaves open to the right, so the sequence is a climb rather than a circle. The drawing is conceptual and shows no measured data.
build
the thing
prove
the check
keep
the leftovers
climb
and again
nothing returns to a step it has left
forward only
Conceptual. Each pass starts where the last one
finished.
the questions
what if — answered, with the state attached
Each answer wears its state.
One of these we could have built and refused to.
■ running
□ building
◇ ambition
✕ refused
Every claim wears one.
A rough outline redrawn truer A loose, uneven four-sided outline, and inside it a second outline of the same shape drawn straighter and brighter. A short arrow runs from the rough one to the true one.
what if your software could help build
better software?
Already does. Every project leaves us sharper
tools for your next one.
■ running
no drift to chase — The documentation, the checks
and the code never disagree about what the thing is.
A fence with its one gap closed A row of upright posts joined by two rails, with a clear gap where posts are missing. A single new post, taller and brighter than the rest, stands in the gap and closes it.
what if your software could solve
its own bugs?
Not yet. Today it cannot break the same way
twice.
□ building
it cannot break twice — A defect becomes a
refusal. Every refusal we ship has been seen to refuse.
An open gate, and a hand that holds the last step A parcel travels along a track through two open gate posts. Beyond the gate a raised open hand stands across the track, stopping it. Nothing is shut; something is held.
what if your software
delivered itself?
It could. We stop before the release. A person
ships it.
✕ refused
everything but the last step — Everything
provable is proved. Putting something into the world is not provable.
A written list with one entry struck out A short list of ruled entries kept inside a margin rule. One entry is dimmed and struck through with a bright line that runs past both of its ends. An arrow beneath points to the right.
what if you could watch your technical debt
go down — and prove it?
Read the proof in the history. No dashboard
required.
■ running
a change, not a dial — Our own shortcuts are
written down. Paying one off means a change you can read.
we build the factories too
The factory ships with the software.
Machinery that makes the
next change cheaper and harder to get wrong. You keep it.
A machine that makes machines An abstract mechanism of broken rings, golden-angle teeth and open spirals. Its aperture emits a smaller, finer and brighter copy of itself, which does the same, six generations over, ending in three at once. No ring closes and no loop returns: the chain only goes forward.
Day one looks like year three
Stand a repository up with the house standard already in
place.
Rules that refuse, not rules remembered
The standard applies whether or not anyone remembered it
today. The build declines the rest.
Bring the standard to code that never had one
The same refusals, installed into an existing repository,
with a record of exactly what changed.
Provenance you can hand to an auditor
Every change says where it came from, and the record cannot
be reshaped afterwards.
Know whether a change to the method helped
We can judge a revision to how we work. We report it. We
never act on it.
Quality read from the source
Read from the code instead of rated by a reader.
What you keep when we leave. →
what we refuse
We record judgment. We never let it decide.
Every mechanism here that
judges writes a report a person reads. Nothing acts on its own score.
A person decides
Judgment is evidence, never authority. A tie is reported as a
tie.
Your work never trains a model
No weight update, ever. What we learn is written down as text
people can argue with.
No number instead of evidence
No score, no dial, no percentage standing in for the thing. We
show you the change.
We name what is unproven
Beside the claim, unasked. A page silent about it reads like a
page that passed.
A person publishes
We could automate the release. We decided a release is a person
deciding.
No loop that closes on itself
Nothing we ship feeds its own judgment back into the work with
nobody in the path.
A score can move for
reasons that are not quality. So we report. We never act.
Everything we refuse →
Strata Horizontal layers stacked from the bottom of the frame upward. Each layer is laid over the one before it, the most recent layer is the brightest and thinnest, and nothing below it is disturbed.
the ambition, stated as one
Advance what machines can engineer.
◇ ambition
Teach machines to engineer software better than we can, including solutions we have
not imagined.
state A goal, not a claim. We keep saying which is which.
heading, not destination Truth is the heading. The gap narrows, and the narrowing is the proof.
the test Knowledge you cannot reach is not knowledge.
Ways to work with us
for customers
Have software to build?
The system you need, the factory behind it, or both. You keep
everything either way.
for collaborators
Help advance the engineering.
For people improving how machines design, build and evaluate
software. Especially people who will tell us we are wrong.