How Did Software Get So Reliable Without Proof? (1996) [pdf]

Post by mamon » Thu, Sep 17, 2020, 10:22 PM UTC

amelius wrote: post #41

javiramos wrote: post #5

Earlier quoted context omitted.

Definitely true for my domain, mechanical engineering. Enough reviews and bugs will be found and corrected.

Reminds me of the old jokes that start with "if cars were like computers". https://www-users.cs.york.ac.uk/susan/joke/crash.htm

Post by angel_j » Thu, Sep 17, 2020, 10:33 PM UTC

Post by mixologic » Thu, Sep 17, 2020, 11:00 PM UTC

qlk1123 wrote: post #43

TheOtherHobbes wrote: post #32

Earlier quoted context omitted.

"Given enough projects, all eyeballs are elsewhere."

But most of them have no critical impact on essential infrastructures. Eyeballs are always their for big projects.

Post by Animats » Thu, Sep 17, 2020, 11:20 PM UTC

TheOtherHobbes wrote: post #32

ErikAugust wrote: post #4

One thing I would think helps software is Linus's law: "Given enough eyeballs, all bugs are shallow". https://en.wikipedia.org/wiki/Linus%27s_law As far as I know, this is not something available to other forms of engineering.

"Given enough projects, all eyeballs are elsewhere."

Post by jeffasinger » Thu, Sep 17, 2020, 11:21 PM UTC

7thaccount wrote: post #35

MattGaiser wrote: post #27

Earlier quoted context omitted.

It is also replacing humans most of the time as well, who are prone to making all sorts of errors. Worse, humans can make the same error twice even after being corrected.

Software can also make the same mistake, thousands of times per second or more :)