10:37in productionCh. 1 · The First Abstraction/ 10:37 · ceiling 15 min
Software · Tech history
John Backus
Backus didn’t write code — he rewrote the contract between humans and machines.
Backus created the first working bridge from human intention to machine execution — not by building faster hardware, but by redefining what ‘intention’ could look like in code.
Speedcoding was the first high-level language built for an IBM computer — the IBM 701.
2:46
The Language That Scaled
FORTRAN was the first high-level language put to broad use — and it worked because it let scientists ignore the machinery.
4:31
The Grammar Engine
BNF gave compilers a precise grammar — not just syntax, but a way to verify it.
6:11
The Power of Constraint
All three inventions succeeded by narrowing scope: one machine, one user class, one grammar class.
Worth your time?
Yes. Study the whole thing.
4.5/ 5
What works
It replaced machine-code tedium with algebraic notation.
It proved high-level languages could compile to efficient machine code.
It gave grammar a role in software engineering — not just linguistics.
What does not
It did not eliminate assembly language.
It did not make programming easy — only less impossible for one domain.
It did not standardise across machines — Speedcoding ran only on the IBM 701; FORTRAN began on the IBM 704.
It did not describe non-context-free languages — BNF’s scope is formally bounded.
Study it if
Compiler engineers
Language designers
Historians of computing
Skip it if
DevOps practitioners
Frontend developers
AI researchers
The written brief1 min read
What it is and the problem it solves
John Backus did not invent a single device or product. He invented three interlocking mechanisms: Speedcoding (1953), FORTRAN (1954), and BNF. They solved the problem of programming difficulty by replacing machine code with human-approachable syntax and formal grammar.
How it works
Backus assembled a team to define and develop FORTRAN for the IBM 704. He developed Speedcoding in 1953 as the first high-level language for an IBM computer — the IBM 701. He invented BNF as a formal notation, published in the UNESCO report on ALGOL 58.
What works
Speedcoding was the first high-level language for an IBM computer. FORTRAN was the first high-level language put to broad use. It made computers accessible to scientists without deep hardware knowledge. BNF was a formal notation able to describe any context-free programming language and was important in compiler development.
What does not
None of the sources claim Speedcoding, FORTRAN, or BNF solved portability, memory efficiency, or real-time constraints. None state they reduced debugging time, improved runtime performance, or lowered hardware costs.
What it changes
FORTRAN made computers practical for scientists without hardware expertise. BNF became foundational for compiler development. Speedcoding established that high-level abstraction could run on IBM hardware — but only the IBM 701.
Is it worth your time
Yes — if you work with programming languages, compilers, or language specification. Backus’s contributions remain embedded in how we define, build, and teach software systems.