4 ms·

Programming today is fundamentally designed to function rather than be correct. correctness is the second stage that any programmer experiences when you rewrite

Programming today is fundamentally designed to function rather than be correct. correctness is the second stage that any programmer experiences when you rewrite a naive implementation and get a performance boost or behaviour that is less likely to fail. but really all that has happend is any first completely new implementation has unknown unknowns and rewriting it improves your code and turns them into known unknowns. but there is still tons of stuff that I dont understand that will fail for unknown reasons. There's just hopefully less of them.

zoomablemind 6y ago
> Programming today is fundamentally designed to function rather than be correct... As long as such code is coupled with reasonably complete tests for the expected behavior (think of fuzzing as one of such tests), it's a quite valid and "safe" approach. Of course, it's possible to write "unsafe" code, yet pass most of business-related tests. But this is equally possible with any programming language. Unsafe assumptions will lead to unsafe implementation.