alt Hacker NewsWell, then the formal verification will be vibe-coded as well, killing the point.
More likely is the rise of test driven development, or spec driven development.
Replies
barishnamazov • today at 7:24 AM
Then should we apply formal verification to the vibe coded formal verification software?
What are the paradigms people are using to use AI in helping generate better specs and then converting those specs to code and test cases? The Kiro IDE from Amazon I felt was a step in the direction of applying AI across the entire SDLC