Verification Loops: Make It Prove Itself
Bagian dari kursus Vibe Coding: Advanced Engineering
Sebuah model akan mengatakan kepadamu bahwa kodenya benar. Ia tidak sedang berbohong dan ia juga tidak sedang benar; ia sama sekali tidak punya cara untuk tahu. Kebenaran adalah sesuatu yang ditegakkan dengan menjalankan kode terhadap sebuah definisi tentang apa itu benar, dan pertanyaan yang menarik bagi seorang insinyur senior adalah bagaimana menulis definisi itu supaya ia menangkap kegagalan yang sungguh-sungguh...
Minta sebuah fungsi beserta tesnya dari sebuah model, dan yang kamu dapat adalah tes untuk kasus-kasus yang sudah ditangani implementasinya. Ini bukan niat jahat, ini akibat dari proses pembuatan yang sama menghasilkan kedua artefak itu dari pemahaman yang sama. Tesnya mewarisi titik buta implementasinya secara persis. ...
Ingin belajar Vibe Coding: Advanced Engineering Verification Loops: Make It Prove Itself di lingkungan nyata?
Klik di bawah, dapatkan mesin Linux dengan Vibe Coding: Advanced Engineering siap pakai, dan kerjakan Verification Loops: Make It Prove Itself secara praktik dengan tutor AI yang memahami kodemu.
Mulai pelajaran iniVerification Loops: Make It Prove ItselfYang akan kamu pelajari
- 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
Baca pelajaran ini dalam bahasamu
Semua pelajaran di kursus ini
12 pelajaran- 1Context Is The Whole Game35 mnt
- 2Pick The Right Brain, Pay The Right Price25 mnt
- 3Spec-Driven Development35 mnt
- 4Build Your Harness35 mnt
- 5Verification Loops: Make It Prove Itself40 mnt
- 6Reading Generated Code Like A Senior40 mnt
- 7Legacy Archaeology40 mnt
- 8Migrations At Scale40 mnt
- 9Debugging Code You Did Not Write40 mnt
- 10The Security Model Of An Agent40 mnt
- 11AI On A Team30 mnt
- 12Judgment: Knowing When Not To35 mnt
Lihat kursus lain
