Skip to content
KN-86 Deckline

Wirth — A Plea for Lean Software (1995)

What it is

Section titled “What it is”

The “other language designer” pick. Wirth — who built Pascal, Modula-2, and the entire Oberon system (OS + compiler + language) small enough for one person to hold in their head — argues that software bloats to fill available hardware, and that leanness is a discipline, not an accident. His claims land hard on this project: “reducing complexity and size must be the goal in every step”; a programmer’s competence is “the ability to find simple solutions, certainly not productivity measured in lines per day”; and a system “not understood in its entirety by a single individual should probably not be built.” Oberon was the proof — full functionality on a fraction of the memory and cycles everyone assumed were required.

Key takeaways for KN-86

Section titled “Key takeaways for KN-86”
  • This is the KN-86 hardware thesis stated in 1995. A Pi Zero 2 W, a 32 KB Fe arena, no malloc in hot paths, a fixed cell pool, SDL-free runtime — the device is a plea for lean software made physical. Wirth is the citation for “we chose constrained hardware on purpose,” not as nostalgia but as a forcing function for discipline.
  • “Understood by one individual” is literally the runtime’s shape. libnosh is a single-threaded runtime around one global SystemState (kn-86 CLAUDE.md). That’s not a limitation to apologize for — Wirth argues it’s the precondition for a system that stays correct. Good framing for resisting accidental architecture sprawl as the runtime grows.
  • Pairs with Hickey on a different axis. Hickey fights entanglement (complexity); Wirth fights size (bloat). The KN-86 needs both fights won at once — a lean and un-braided stack — which is exactly the constraint a cartridge-scale embedded Lisp imposes.

Notes

Section titled “Notes”
  • Marketing asset too. “Lean software, on purpose, in your hands” is a positioning line waiting to happen — Wirth lends it a 30-year pedigree.
  • Cross-link Hickey — Simple Made Easy (the complementary anti-complexity argument), Baker 1978 (lean and real-time on constrained serial hardware), and the parent canonical-spec.md Canonical Hardware Spec (the constraints made concrete).