4 ms·
I hope the developers of, say, the brakes in my car don't interpret 'software correctness' the way you do. Added, later: hey you changed your comment, added a
by repelsteeltje 5mo ago
I hope the developers of, say, the brakes in my car don't interpret 'software correctness' the way you do.
Added, later: hey you changed your comment, added a whole paragraph.
- deleted 5mo ago[deleted]
- atiedebee 5mo agoI hope the brakes in my car don't need developers
- pixl97 5mo agoI think you underestimate the complexity of modern braking systems.
- arcticbull 5mo agoABS doesn't just appear organically.
- throw1234567891 5mo agoThey used to. Now they have systems, standards, and experience. There are only so many ways you can do brakes on the car.
- perching_aix 5mo agoI added the second paragraph about formal verification at the same time you posted, in anticipation that you'd immediately dig your heels into it otherwise, despite me highlighting that the other methods are merely empirical. I was immediately proven right once I pressed "update". That said, I have now deleted my snarky response that followed. Not in the game of capitalizing off of the human equivalent of a race condition. I should make a browser addon to delay posting, this is the 2nd time this happens in the past few days. Edit: Nevermind, it's already a feature built into the site. Turned it on. I wonder if it applies to edits also... Nope, doesn't seem to. Oh well, should still help.
- repelsteeltje 5mo agoHaha, off course! The three major sources of software failures: off by one errors and race conditions.
- fragmede 5mo agorace off by one conditions