“The last category is the kind I work in, which is asking…” — The Pragmatic Engineer at 24:55
“The last category is the kind I work in, which is asking, okay, what if instead of verifying the entire real system, which is a nightmare as we discussed, we create a simplified version system and verify that.”
0:00
1:23:42