Verification Loops: Make It Prove Itself
Vibe Coding: उन्नत इंजीनियरिंग कोर्स का हिस्सा
मॉडल आपसे कहेगा कि उसका कोड सही है। न वह झूठ बोल रहा है, न वह सही है; उसके पास जानने का कोई ज़रिया ही नहीं। सही होना तो तब तय होता है जब कोड को "सही क्या है" की किसी परिभाषा के सामने चलाया जाए, और एक अनुभवी इंजीनियर के लिए दिलचस्प सवाल यह है कि वह परिभाषा ऐसी कैसे लिखी जाए जो उन्हीं ख़ामियों को पकड़े जो एआई से बने कोड में सचमुच होती हैं। यह पाठ उसी चक्र को पूरा करने के बारे में है, और फिर उसे मॉडल के हाथ में सौंप...
मॉडल से एक फ़ंक्शन और उसके टेस्ट माँगिए, तो आपको उन्हीं मामलों के टेस्ट मिलते हैं जिन्हें वह कार्यान्वयन पहले से संभालता है। यह बदनीयती नहीं है; वही एक जनन-प्रक्रिया, वही एक समझ लेकर, दोनों चीज़ें बना रही है। टेस्ट कार्यान्वयन के अंधे कोने हूबहू विरासत में पा लेते हैं। ...
असली माहौल में Vibe Coding: उन्नत इंजीनियरिंग Verification Loops: Make It Prove Itself सीखना चाहते हैं?
नीचे क्लिक करें, Vibe Coding: उन्नत इंजीनियरिंग के साथ तैयार एक Linux मशीन पाएँ, और AI ट्यूटर के साथ Verification Loops: Make It Prove Itself पर हाथ-से-काम करें जो आपका कोड जानता है।
यह पाठ शुरू करेंVerification Loops: Make It Prove Itselfआप क्या सीखेंगे
- 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
यह पाठ अपनी भाषा में पढ़ें
इस कोर्स के सभी पाठ
12 पाठ- 1Context Is The Whole Game35 मिनट
- 2Pick The Right Brain, Pay The Right Price25 मिनट
- 3Spec-Driven Development35 मिनट
- 4Build Your Harness35 मिनट
- 5Verification Loops: Make It Prove Itself40 मिनट
- 6Reading Generated Code Like A Senior40 मिनट
- 7Legacy Archaeology40 मिनट
- 8Migrations At Scale40 मिनट
- 9Debugging Code You Did Not Write40 मिनट
- 10The Security Model Of An Agent40 मिनट
- 11AI On A Team30 मिनट
- 12Judgment: Knowing When Not To35 मिनट
