“Yeah, it's I mean, S3 uses automated reasoning all over…” — The Pragmatic Engineer at 31:33
“Yeah, it's I mean, S3 uses automated reasoning all over the place. And automated reasoning is a specialized form of computer science. Okay. And girly, if you kind of think about if computer science and math got married and had kids, right, it would be automated reasoning.”
0:00
1:18:14