The software of the future will be bug-free

The future will be bug-free.

The software of the present is riddled with bugs. From the software in your car to the build system to your website, it behaves in unintended ways all the time.

Things go out of memory, leak secrets, and many things outright crash even during the normal course of operation.

Software is buggy if it behaves in ways it was not intended or designed to behave in. So the window of an airplane opening up mid-flight will be a bug. A commercial airplane not flying at supersonic speeds will not be a bug.

The software of the future will be bug-free in the same way modern commercial aviation is bug-free. Modern commercial aviation is one of the safest modes of transport.

The software of the future will be bug-free because it will be defined in formal methods where each bug can be eliminated class by class instead of instance by instance.

Memory errors, eliminated at compile time. Out of bounds, eliminated at compile time. Your code accidentally leaking user data because we forgot to authenticate it? Well, we will be able to prove that all code paths reading the user's position data are authenticated the same way.

Not that bugs will never occur, but they will be few and far between. And when they occur, we can analyze the current codebase and make sure code never fails in the same manner ever again.