Verification Loops: Make It Prove Itself
Teil des Vibe Coding: Advanced Engineering-Kurses
Ein Modell wird dir sagen, dass sein Code korrekt ist. Es lügt dabei nicht, aber es hat auch nicht recht, es hat schlicht keine Möglichkeit, das zu wissen. Korrektheit wird dadurch festgestellt, dass man Code gegen eine Definition von "korrekt" laufen lässt, und die interessante Frage für einen erfahrenen Entwickler ist, wie man diese Definition so formuliert, dass sie die Fehler abfängt, die generierter Code...
Bittest du ein Modell um eine Funktion und die dazugehörigen Tests, bekommst du Tests für genau die Fälle, die die Implementierung bereits abdeckt. Das ist keine Böswilligkeit, sondern derselbe generative Prozess, der beide Artefakte aus demselben Verständnis heraus erzeugt. Die Tests erben exakt die blinden Flecken der Implementierung. ...
Möchtest du Vibe Coding: Advanced Engineering Verification Loops: Make It Prove Itself in einer echten Umgebung lernen?
Klick unten, hol dir eine Linux-Maschine mit fertigem Vibe Coding: Advanced Engineering und arbeite Verification Loops: Make It Prove Itself praktisch durch, mit einem KI-Tutor, der deinen Code kennt.
Lektion startenVerification Loops: Make It Prove ItselfWas du lernen wirst
- Properties and invariants instead of example tests
- Generated inputs find what handwritten examples miss
- Shrinking a counterexample before handing it over
- Closing the loop so the model checks itself
Lies diese Lektion in deiner Sprache
Alle Lektionen in diesem Kurs
12 Lektionen- 1Context Is The Whole Game35 Min.
- 2Pick The Right Brain, Pay The Right Price25 Min.
- 3Spec-Driven Development35 Min.
- 4Build Your Harness35 Min.
- 5Verification Loops: Make It Prove Itself40 Min.
- 6Reading Generated Code Like A Senior40 Min.
- 7Legacy Archaeology40 Min.
- 8Migrations At Scale40 Min.
- 9Debugging Code You Did Not Write40 Min.
- 10The Security Model Of An Agent40 Min.
- 11AI On A Team30 Min.
- 12Judgment: Knowing When Not To35 Min.
Weitere Kurse ansehen
