“How do you know that you're strongly consistent? And that…” — The Pragmatic Engineer at 31:21
“How do you know that you're strongly consistent? And that is why we used automated reasoning. What is automated reasoning? For those of us who are not as familiar with this, which will be most people outside of very few domains like S3.”
0:00
1:18:14