undefined | Better HN

0 pointsGenerocUsername12y ago0 comments

Fear monger. What if what if what if... I'm not saying it couldn't happen, I'm just saying that possible new issues are no reason to persist the old issues

0 comments

sukuriant12y ago

No. It's a car, and has the power to kill people on software malfunction, making it a critical system. Critical systems are tend to go through a much greater and more robust form of testing.

stcredzero12y ago

The destructive potential of a car exceeds that of a lot of handguns one can buy.

There have long been techniques for writing software as formal proofs of correctness. As far as I can tell, they haven't been popular with mainstream programmers because they are simply too different.

sukuriant12y ago

That is a really neat bit of fact; but, what does that have to do with what I was talking about? I really would like to know, it sounds like a really important insight, I'm just not sure what train of thought led to that.

throwaway204812y ago

This is utter nonsense, "possible new issues" are every reason to carefully evaluate and weight new options.

Fomite12y ago

No, but "Cars do uncomfortable things at high velocity" is not exactly an edge case.

j / k navigate · click thread line to collapse

0 comments

sukuriant12y ago

No. It's a car, and has the power to kill people on software malfunction, making it a critical system. Critical systems are tend to go through a much greater and more robust form of testing.

stcredzero12y ago

The destructive potential of a car exceeds that of a lot of handguns one can buy.

sukuriant12y ago

throwaway204812y ago

This is utter nonsense, "possible new issues" are every reason to carefully evaluate and weight new options.

Fomite12y ago

No, but "Cars do uncomfortable things at high velocity" is not exactly an edge case.

j / k navigate · click thread line to collapse