The only reason our online life is insecure is that we let it happen.

A colleague recently described a fun Friday night for his teenage son: staying home and chatting online. Every now and then there's a party where all his friends talk on their laptops.

We're getting more and more used to living in such virtual spaces—yet there's an important distinction to be made between virtual spaces and the actual physical spaces we walk around in. We usually expect that we can walk across a bridge or into a building without the structure collapsing. We don't have that kind of confidence with software programs.

Believe it not, we could, in the not-so-distant future, actually live in a world where software doesn't randomly and catastrophically fail. Our software systems could withstand attacks. Our private social media and health data could be seen only by those with permission to see it. All we need are the right fixes.

The problem with modern software is that we've been building our "skyscrapers" with the same materials and techniques used to build huts. Software began as a collection of bricks: simple procedures, sequences of commands for calculations, games, and curiosities. Decades later, we have millions of procedures interacting with each other on interconnected machines with access to all kinds of secret information. Yet we're still using similar languages and tools.

If we want our systems to have fewer vulnerabilities, we need to use better building materials. The languages people use today make it too easy for the programmer to make mistakes, and they make it too hard to detect the mistakes.

A better way would be to use languages that provide the guarantees we need. The Heartbleed vulnerability happened because someone forgot to check that a chunk of memory ended where it was supposed to. This could only happen in a programming language where the programmer is responsible for managing memory. So why not use languages that manage memory automatically? Why not make the programming languages do the heavy lifting?