Werner Vogels

Let's use our inventive brains and find solutions to this, because I believe we can, but only if we make it a focus.

And the focus is not that quantum is five years away.

The most important part there is that we need to keep ourselves and our businesses safe.

And if that happened to be quantum or if it happened to be

an alien spaceship that lands from whoever and suddenly turns out to be able to encrypt all our data, decrypt all our data.

That doesn't really matter.

We need to start protecting ourselves.

Yeah, yeah.

No, it's just do the work.

No, no, no.

That is it.

The same goes for everything now.

Let me take a whole different example.

Okay.

When at Amazon S3, we went from eventual consistency to strong consistency.

That was a major change that impacted every piece of technology.

Now, how can you make sure that you touched every edge of this particular problem?

Because it is either 100% or not.

So automatic reasoning plays a role in that.

We are annotating annotations, TLA+, other technologies that you have to prove to yourself that what you've built actually does exactly what you want it to do.