Fly.io — Juli 2026

AWS fand mit TLA+ einen Bug, dessen kürzester Fehlerpfad 35 Schritte umfasste und durch Design-Reviews sowie Tests unentdeckt blieb. Für verteilte Systeme mit Race Conditions bietet formale Spezifikation schnelles Feedback – für den Alltag empfiehlt Wayne Property-based Testing als pragmatischen Kompromiss.

Coding-Modelle optimieren auf SWE-Bench-ähnliche Benchmarks und verschlechtern dabei langfristig die Codebase-Architektur – unreviewed AI-Code führt nachweislich binnen Monaten zu unkontrollierbaren Systemen. Context-Compaction via Markdown-Dokumente und das Einhalten von Kontext-Heuristiken (300–400K Token für 1M-Fenster) sind konkrete Techniken, die Builder heute einsetzen können.

Beck argumentiert, dass Coding nur ein kleiner Teil von Software Engineering ist und der Rest nicht automatisierbar bleibt. Sein „Explore, Expand, Extract"-Framework soll Entwicklern helfen, den Wandel durch KI-Agenten zu navigieren.