Ideen & Einblicke

AI-First-Entwicklung, Coding-Leitplanken und die Architektur der Entsorgbarkeit erkunden.

IBMs Zero-Defect Process lieferte 0,1 Bugs pro KLOC. Die Industrie hat ihn trotzdem aufgegeben.

IBMs Cleanroom Engineering erreichte Defektraten, die 100-mal besser waren als der Industriedurchschnitt, und verschwand dann in der Bedeutungslosigkeit. Das Verschwinden hatte nichts damit zu tun, ob es funktionierte.

Der Cleanroom Software Engineering Process von IBM lieferte 0,1 Defekte pro tausend Zeilen Code. Der Industriedurchschnitt zu dieser Zeit lag zwischen 10 und…

Hat tatsächlich jemand 10.000 Zeilen mit null Defekten verifiziert? IBM hat es getan, und die Methodik ist seltsamer als das Ergebnis.

Cleanroom software engineering versprach inkrementelle Zero-Defect-Releases durch mathematical verification statt Debugging. Wir betrachten die tatsächlichen IBM-Projektdaten, um zu sehen, ob die Behauptung standhielt.

Der Branchendurchschnitt der Softwareindustrie in den 1980er Jahren lag bei 30 bis 60 Defekten pro tausend Codezeilen. Das IBM Cleanroom-Team lieferte einen…

Dein Modul hat drei Schichten. Du hast wahrscheinlich nur eine geschrieben.

Box Structures zwingen dich, das Verhalten eines Moduls, seinen Zustand und seine Implementierung als drei separate, überprüfbare Schichten zu definieren. So eliminiert Cleanroom das Debugging.

Du schreibst zuerst den Code, dann die Tests, und stellst fest, dass der Code falsch war. Das ist der Standard-Loop. Deshalb frisst Debugging die Hälfte der…

IBM lieferte Software mit 0,1 Defects pro KLOC aus – indem Entwickler ihren eigenen Code nicht ausführen durften

IBMs Cleanroom-Engineering-Prozess erreichte Defect-Raten, die 100-mal besser waren als der Industriedurchschnitt, indem Bugs verhindert statt gefunden wurden. So funktionierte es, warum fast niemand es nutzt und was du heute davon übernehmen kannst.

IBM lieferte ein NASA-Satellitenkontrollsystem mit 0,1 Defects pro tausend Zeilen Code aus. Der Industriedurchschnitt zu dieser Zeit lag zwischen 10 und 50.…

Ihr literates Programm ist kaputt, bis CI es ohne Sie tanglen kann

Literate Programming verspricht eine einzige Quelle der Wahrheit, aber manuelle Weave- und Tangle-Schritte brechen die CI/CD-Pipeline. So automatisieren Sie Extraktion und Dokumentationsgenerierung, damit Ihre Markdown-Dateien kanonisch bleiben.

Wenn Ihre Build-Pipeline nicht laufen kann, ohne dass Sie ein Terminal öffnen und eintippen, haben Sie kein literates Programm. Sie haben ein Tagebuch mit…

Ich habe aufgehört, Code in Docs zu kopieren, indem ich Tests, Code und Prosa in einer Markdown-Datei halte

Literate Programming hält Dokumentation, Tests und Implementierung synchron, indem eine Markdown-Datei zur single source of truth wird. So lässt es sich in dreißig Zeilen Python umsetzen.

Ihre Docs, Tests und Code sind drei Dateien, die dieselbe Geschichte schlecht erzählen. Sie aktualisieren die Funktionssignatur im Source. Sie vergessen das…

Ihr Claude-Thread ist bereits Dokumentation. Er stirbt nur in zwölf Stunden.

LLM-Konversationen enthalten Absicht, abgelehnte Alternativen und funktionierenden Code. Genau das sollte Dokumentation sein. So verwandeln Sie flüchtigen Chat in dauerhafte, durchsuchbare Docs, ohne die Erzählung zu verlieren.

Sie haben fünfundvierzig Minuten mit Claude damit verbracht, einen Retry-Circuit zu entwerfen. Sie haben die Failure Modes erklärt, exponentielles Backoff…

Texteditoren erlauben das Schreiben von ungültigem Code. Tree-Editoren würden das nicht tun.

Jeder Compiler sieht deinen Code als Baum, aber dein Editor lässt dich rohen Text bearbeiten. So sieht strukturiertes Editieren tatsächlich aus, warum es sich nicht durchgesetzt hat und wie du seine Vorteile nutzen kannst, ohne Tools zu wechseln.

Jede Programmiersprache hat eine formale Grammatik. Dein Compiler liest sie, baut einen Parse-Tree auf und verwirft alles, was nicht passt. Dein Editor…

Donald Knuth wollte, dass Programme wie Literatur gelesen werden. Der Compiler hatte andere Pläne.

Literate Programming versprach, dass Code erst für Menschen und dann für Maschinen geschrieben werden sollte. Vier Jahrzehnte später schreibt fast niemand so. Hier ist, warum die eleganteste Idee der Software-Dokumentation die Art und Weise, wie wir arbeiten, nicht verändern konnte.

1984 veröffentlichte Donald Knuth einen Aufsatz, der eine radikale Umkehrung vorschlug. Programme sollten nicht für Compiler geschrieben und für Menschen…