Hacker News Reader

I 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.

Haha, off course! The three major sources of software failures: off by one errors and race conditions.

race off by one conditions

I hope the brakes in my car don't need developers

I think you underestimate the complexity of modern braking systems.

ABS doesn't just appear organically.

They used to. Now they have systems, standards, and experience. There are only so many ways you can do brakes on the car.