3 ms·
> So we'd get better software, but only 1/10 as much of it How much software do you think we need? 10x less sounds about right to me.
by __MatrixMan__ 3y ago
> So we'd get better software, but only 1/10 as much of it
How much software do you think we need? 10x less sounds about right to me.
- galaxyLogic 3y agoYou can produce formally verified software with more expense than Java-Scripting. But is it software that does what we need it to do? Verification proves that software works according to its "spec". But is the spec "correct"? Writing NON-formally-verified software 10 x faster means you have a much better chance of figuring out how you should fix your spec.