Ideen & Einblicke

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

Warum Version Eins nie das Problem ist: KI-Coding und langfristige Wartung

KI-Coding-Werkzeuge glänzen beim Generieren von Version Eins. Die eigentliche technische Herausforderung beginnt bei Version Vier, wenn das Team etwas ändern muss, ohne alles andere zu brechen.

Jede KI-Coding-Demo folgt demselben Ablauf. Jemand promptet ein Modell. Eine funktionierende App materialisiert sich. Das Publikum ist beeindruckt. Und das…

KI-generierter Code und das Ersetzbarkeits-Prinzip

Das wahre Maß für die Qualität von KI-generiertem Code ist nicht, ob er am ersten Tag funktioniert. Es ist, ob man ihn am dreißigsten Tag ersetzen kann, ohne alles andere neu schreiben zu müssen.

Die meisten Gespräche über die Qualität von KI-generiertem Code konzentrieren sich auf Korrektheit zum Zeitpunkt der Generierung. Kompiliert die Ausgabe?…

Deterministische Leitplanken für KI-Codebases

Menschliches Review ist inkonsistent. KI-Review ist schlechter. Die einzige skalierbare Verteidigung für KI-generierte Codebases ist deterministisches Enforcement: Regeln, die den Build fehlschlagen lassen, keine Vorschläge, die ignoriert werden.

Der Standardrat für KI-generierten Code lautet „prüfe ihn sorgfältig." Dieser Rat ist korrekt und im großen Maßstab nutzlos. Ein Entwickler, der KI-Ausgaben…

Rust-Runtime-Contracts können in Release-Builds kostenlos sein, aber der Compiler macht das nicht für dich

Rust entfernt Debug-Assertions automatisch, aber echtes Design-by-Contract braucht mehr als debug_assert!. So baust du zero-cost runtime contracts, die aus deinem Release-Binary verschwinden.

Rust kann runtime contracts in der Entwicklung erzwingen und sie komplett aus Release-Builds entfernen. Die Einschränkung ist, dass die Sprache contracts nicht…

Null, Eins oder Zwölf: Wie viele Assertions eine Funktion im Production-Code wirklich braucht

Entwickler verteilen Assertions entweder wie Konfetti oder meiden sie komplett. Hier ist das Entscheidungs-Framework, das nützliche Invariants von Production-Crash-Triggern unterscheidet.

Die meisten Production-Codebases gehören zu einem von zwei Lagern. Lager A behandelt als dekoratives Gewürz, streut es in jede zweite Zeile, bis die Funktion…

Im AI-Zeitalter wird Code Review zur Spezifikationsprüfung

Wenn AI aus einer Spezifikation Implementierung, Tests und contracts generieren kann, verlagert sich die menschliche Arbeit mit der größten Hebelwirkung weiter nach vorn. Am genauesten geprüft werden muss dann die Spezifikation selbst.

Wenn du seit mehr als ein paar Wochen mit AI shipst, kennst du dieses Gefühl wahrscheinlich. Du öffnest einen Pull Request. Der Code ist sauber genug. Das…

Der AI Safety Stack: Types, Contracts, Property Tests und Mutation Gates

Wenn AI-generated code in Produktion bestehen soll, reicht Code Review nicht. Du brauchst einen gestuften Safety Stack von Type Constraints bis Mutation Testing und Runtime Containment.

Das Gefährliche an AI-generated code ist nicht, dass er immer falsch ist. Das Gefährliche ist, dass er oft gerade gut genug aussieht, um gemergt zu werden.…