A chat with Byron Cook on automated reasoning and trust in AI systems

Byron Cook on using automated reasoning to prove AWS authorization, cryptography, and virtualization, then applying the same methods to agentic systems.

We are not affiliated with Werner Vogels or Amazon. This unofficial audio edition is available to listen to and share for free. Read the originals on All Things Distributed.