3 ms·
How to write correct software. With software eating the world, it might be a good idea that the software eats correctly, without bugs.
by Doctor-R 4y ago
How to write correct software. With software eating the world, it might be a good idea that the software eats correctly, without bugs.
- bick_nyers 4y agoI'm very hopeful that AI will be able to bridge this gap. Even if 100% correctness is too difficult to describe for most projects, being able to stand up 99%+ coverage in a matter of minutes with AI test generation would be game changing.
- nextos 4y agoThis is one of my favorite moonshots. The problem is that it is hard to monetize, so it should in principle be funded by grants and not by VC.