AvancéLeçon 5 sur 1240 min · pratique
Verification Loops: Make It Prove Itself
Partie du cours Vibe Coding: Advanced Engineering
Envie d’apprendre Vibe Coding: Advanced Engineering Verification Loops: Make It Prove Itself dans un vrai environnement ?
Cliquez ci-dessous, obtenez une machine Linux avec Vibe Coding: Advanced Engineering prêt, et travaillez sur Verification Loops: Make It Prove Itself avec un tuteur IA qui connaît votre code.
Commencer cette leçonVerification Loops: Make It Prove ItselfCe que vous allez apprendre
- 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