“That is right. And we use formal methods in many different…” — The Pragmatic Engineer at 32:00
“That is right. And we use formal methods in many different places in S3. But one of the first places that we adopted was for us to feel good that we actually had delivered strong consistency across every request. So what we did is we proved it, right? We basically built a proof for it.”
0:00
1:18:14