Foresight Institute Radio cover image

Trent McConaghy & Steve Omohundro: Welcome New Players | Gaming the Future Book Club Chapter 9

Foresight Institute Radio

00:00

How to Use Formalization to Make Software Better

The one-time pad is the oldest cryptographic system that's been analyzed. In fact, it's the only probably secure system. I think of these three mathematical proof is our real powerful tool. And we've talked a lot about in this group how to use it. We had a wonderful talk last week about how do we use proofs to make software better?

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app