> 1. First, I use the assistant to come up with the success condition program > ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		degamad 43 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream > 1. First, I use the assistant to come up with the success condition program > 2. Then I use the assistant to solve the original problem by asking it to check with the success condition program This sounds a lot like Test-Driven Development. :)

arjie 43 days ago [–]

It is the exact same flow. I think a lot of things in programming follow that pattern. The other one I can think of is identifying the commit that introduces a regression: write the test program, git-bisect.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact