| ▲ | charcircuit 3 days ago | |||||||
>Safety is less ergonomic. It's not safety that makes it less ergonomic, it's correctness. | ||||||||
| ▲ | mattwilsonn888 3 days ago | parent [-] | |||||||
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. | ||||||||
| ||||||||