Skip to content

“But the thing the proof can do that tests can't is to…” — The Pragmatic Engineer at 58:43

The Pragmatic Engineer Designing Data-intensive Applications with Martin Kleppmann

“But the thing the proof can do that tests can't is to consider absolutely every possible thing that could happen. And that's really important in a security context.”

0:00 1:25:00