A chat with Byron Cook on automated reasoning and trust in AI systems
Over the past decade, Byron's team has proven the correctness of our authorization engine, our cryptographic implementations, and our virtualization layer. Now they're taking those same techniques and applying them to…