4 ms·
> correctness underpins /everything/ Correctness is a spectrum, not a boolean. Failures of correctness are, equally, a spectrum of risk. And risk is measured p
by preseinger 4y ago
> correctness underpins /everything/
Correctness is a spectrum, not a boolean. Failures of correctness are, equally, a spectrum of risk. And risk is measured primarily by impact on business goals. Consequently an incorrect program that satisfies its business-level responsibilities is definitionally better than a correct program which does not.