Ask HN: What moonshots do you wish were being attempted?

Re:Ask HN: What moonshots do you wish were being attempted? by Doctor-R on Friday February 24, 2023 @07:14PM (#34932165)

How to write correct software. With software eating the world, it might be a good idea that the software eats correctly, without bugs.

[ Parent | on HN ]

Re:Ask HN: What moonshots do you wish were being attempted? by nextos on Friday February 24, 2023 @07:40PM (#34932395)

This 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.

Also, I would not expect any dramatic improvements with respect to what we have, e.g. F*.

[ Parent | on HN ]

Re:Ask HN: What moonshots do you wish were being attempted? by bick_nyers on Sunday February 26, 2023 @11:45AM (#34946922)

I'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.

[ Parent | on HN ]