4 ms·
Can we change the title here? It's directly quoting the byline, but it contradicts the article. Title/byline: "A small British firm shows that software bugs ar
by throwaway7767 11y ago
Can we change the title here? It's directly quoting the byline, but it contradicts the article.
Title/byline: "A small British firm shows that software bugs aren't inevitable (2005)"
Article:
"Praxis doesn't claim it can make bug-free software, says Amey, now the company's chief technical officer. But he says the methodology pays off. Bugs are notoriously hard to count, and estimates of how common they are vary hugely. With an average of less than one error in every 10 000 lines of delivered code, however, Praxis claims a bug rate that is at least 50--and possibly as much as 1000--times better than the industry standard."
It's impressive, and I'd like to see more formal verification in software especially for security-critical components. But the title is factually incorrect.
- dang 11y agoI can't think of a better (more accurate and neutral) title right now, but if you or anyone suggests one, we can change it.