9 ms·
Implying that correctness necessitates a lack of ergonomics is deeply flawed. The distinction between correctness and safety is that safety is willing to suffe
by mattwilsonn888 1y ago
Implying that correctness necessitates a lack of ergonomics is deeply flawed.
The distinction between correctness and safety is that safety is willing to suffer false positives, in pursuit of correctness. Correctness is just correctness.
- charcircuit 1y agoIt's not flawed. Ergonomics are correlated with complexity. If you can remove edge cases by giving up on correctness you can remove complexity.