This podcast discusses the use of formally verified systems and the importance of having verified security. With a wide range of systems being formally verified, including micro kernels, compilers, and crypto libraries, it's exciting to see the recognition of their importance.