3 ms·
just remember blueprints can also be wrong
by moocowtruck 9y ago
just remember blueprints can also be wrong
- hwayne 9y agoYeah, it's extremely important to note that any correctness technique - tests, types, contracts, formal methods - only provides _more_ confidence, not _complete_ confidence. We have to think of defense-in-depth.