"Architects must rely on personal interaction with developers not documentation to understand the requirements"
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....
12 hours ago
