All pages
Every page on this site.
Nothing has moved. If you had a link to a page here, it still works.
What we do
Proof
For government
Inside the factory
Writing
- Field notes
- Ghillie and TheReefink
- The duck factory builds provable software
- The fourteen-pence run
- Congratulations. You’re on the floor.
- The factory wrote the bug and blamed the workers
- The new model wrote the old bug
- The bridges nobody had built
- The cobbler’s children
- A new model arrived. Our promise didn’t change.
- Old code, new code, the numbers.
- What 96 per cent means when the spec actually says something
- Where the prover pushes back hardest
- Tens of thousands of lines of Fortran, modernised
- The Senior Service
- Press