We just have to accept the trade-offs of functionality. Things like airplane autopilot systems and medical equipment are probably pretty close to perfect, but that level of correctness in your browser, much less your operating system, much less your hardware - would be very costly.
Even if every computer was running an operating system that was developed as carefully as equipment in charge of people's lives, I'm sure there'd still be vulnerabilities. The low hanging fruit is relative, and there'll always be people cracking computers.
Even if every computer was running an operating system that was developed as carefully as equipment in charge of people's lives, I'm sure there'd still be vulnerabilities. The low hanging fruit is relative, and there'll always be people cracking computers.