|
|
|
|
|
by _pdp_
138 days ago
|
|
Nothing changes in terms of how to make reliable software. You need the same things like unit tests, integration tests, monitoring tools, etc. Basically AI now makes every product operate as if it has a vibrant open-source community with hundreds of contributions per day and a small core team with limited capacity. |
|
It just changes in terms of doubling the work you have to do in order verify your system rather than you writing the code from scratch, because you have to figure out whatever code your AI agent spitted out before beginning the formal verification process.
With you having written the code from scratch, you already know it beforehand and the verification process is more smoother.