3 ms·
You don't need a committee to build rock solid software. There are all sorts of formal verification and modeling tools for specifying machine checkable specific
by dkarapetyan 13y ago
You don't need a committee to build rock solid software. There are all sorts of formal verification and modeling tools for specifying machine checkable specifications. The overhead in many cases is high so you're not gonna use it when writing a web 2.0 application but not when you're writing software that is a fundamental part of internet infrastructure then the bar needs to be higher. 1000 eyes making all bugs shallow is not the right approach in such cases.
- Aqueous 13y agoWell, the 1000 eyes approach has worked with other open source, mission critical software, like Linux, which also doesn't have an official testing suite. If you have enough people invested in making sure something works, there's a strong incentive to uncover bugs now matter how obscure. Security's always going to be an arms race in software.