“Yeah. I mean, if you go back to the fundamental notion of…” — The Pragmatic Engineer at 33:16
“Yeah. I mean, if you go back to the fundamental notion of a proof, you are proving something to be correct. Okay. And so the places that we use these proofs, we use them in consistency, where we built a proof across all the different combinatorics to make sure that the consistency”
0:00
1:18:14