4 ms·
We demand actual proofs of program correctness, but for some reason we don't even ask for proofs that practices actually work or even that they don't do any har
by pekk 11y ago
We demand actual proofs of program correctness, but for some reason we don't even ask for proofs that practices actually work or even that they don't do any harm. We just take it on intuition and faith, and propagate practices by peer pressure. If it looks fancy, and people like it on HN, it must be better. I don't know in what sense this is "engineering."
- speedkills 11y agoSome people do actually gather evidence in this area. The best collection of it I have found so far is the book Making Software: What Really Works and Why We Believe It.