Originally posted by TerryDarc
View Post
Here is an article about the reward for finding bugs in TeX: https://tex.stackexchange.com/questi...h-reward-check
This is quite famous. It is for the whole of TeX, which was originally literate programmed Pascal published in a book so it is no small piece of software.
There are people such as these: https://ts.data61.csiro.au/ who develop systems such as this: http://ts.data61.csiro.au/projects/seL4/ which is an operating system microkernel that not only has no bugs but also meets certain performance guarantees as well. Proven, and the proofs are not paper proofs, but proof validated by Isabelle proof assistant.
There are components of complex systems which have no bugs, a LOT more than you might think. For example Ocaml's map data and set data structures were analysed by Coq proof assistant and actually a single failure was found, the tree not being perfectly balanced, which was corrected and only impacted performance not correctness: the analysis proved the code was correct.
My point again is that in environments where it matters, typically mission critical embedded applications, software is often entirely bug free, either by being proven correct, being very thoroughly tested, or simply being written by a really good programmer. I can't claim there were no bugs in the Apollo II software, but it was certainly complex enough and it worked as expected. Here is a picture of the author Margaret Hamilton standing with a listing of the program: https://commons.wikimedia.org/wiki/F...t_Hamilton.gif
Its true, I made a comment about the situation the devs are in and that is a generalisation and assumption. It could be incorrect. It is a guess that they have the same financial problems as most small dev teams in this market and that explains why so many bugs in the rushed AnB. So my guess is that it is not that the devs don't care, but that there is actually a reason for the poor delivery. Perhaps you are right, it was not my place to make such judgements.
Comment