AI Code Correct
Subscribe
Sign in
Home
Notes
Archive
Leaderboard
About
An AADV Glossary
A short list of terminology for a process described as "AI-Assisted Development with Verification."
Apr 24, 2025
•
Jeff Langr
1
2
Latest
Top
Discussions
AADV: Still standing
AADV and architecture
Dec 19, 2025
•
Jeff Langr
5
7
1
Adding Small New Requirements, Revisited
In which I justify re-generating the whole of the (small) stock portfolio system, with a detailed one-shot prompt.
Jul 29, 2025
•
Jeff Langr
2
2
Changing behavior with AADV
Adding new behaviors means regenerating entire modules. How do you begin to accomplish that in a well-designed, multi-module solution?
Jul 3, 2025
•
Jeff Langr
2
1
Examples: The lingua franca of AADV?
In CAX, examples are the basis for compiling intent into code and tests like a compiler produces executable artifacts.
Jun 19, 2025
•
Jeff Langr
Semantic drift in AADV
The cost of unwanted code
Jun 10, 2025
•
Jeff Langr
3
AADV: Better vibes than vibe coding
Vibe coding alone => bad idea. Vibe coding + AAD => Really not that much harder, and will take less time in the long run.
Jun 5, 2025
•
Jeff Langr
4
2
2
Streamlining the CAX cycle
Translating a solution from one language to another, and already have passing tests? You can use these tests to directly generate the production…
May 12, 2025
•
Jeff Langr
See all
AI Code Correct
Discover how AI can help build and verify software through AADV, a practical approach to delivering generated code that does exactly what it's supposed to.
Subscribe
Recommendations
Alex’s Newsletter
Alex Bunardzic
Dmitrii’s Substack
Dmitrii Kuragin
Software Engineering Ecosystem
Klaus Häuptle
AI Code Correct
Subscribe
About
Archive
Recommendations
Sitemap
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
