alt Hacker NewsIf you can look at what's happening today, and imagine that code will still be generated the same way in 10-15 years as it is today, then your imagination beats mine.
99.9999% of code is not written with compilers that are "formally verified" as immune to code-generation bugs. It's not likely that any code that you and I run every day is.
> 99.9999% of code is not written with compilers that are "formally verified" as immune to code-generation bugs.
Again, that isn't a reason to never check or write tests for your code because an "AI-generated it" or even assuming that an AI will detect all of them.
In fact, it means you NEED to do more reviewing, checking and testing than ever before.
> It's not likely that any code that you and I run every day is.
So millions of phones, cars, control systems, medical devices and planes in use today aren't running formally verified code every day?
Are you sure?