3 ms·
> The point is that if you are trying to replace millions of developers, you will obviously require something on the order of quadrillions of spec writers. Why
by naasking 4y ago
> The point is that if you are trying to replace millions of developers, you will obviously require something on the order of quadrillions of spec writers.
Why do you think you need orders of magnitude more spec writers than coders rather than the other way around?
- marcosdumay 4y agoThat is an intrinsic feature of software verification. You either have a formal system or you have an exponentially growing amount of corner cases to verify.
- naasking 4y agoWhat kind of verification is done without a formal system?
- marcosdumay 4y agoWe usually call those "tests", but some people do really like non-formal linter rules too. (Personally, I abhor checking rules with high false positive odds.) AFAIK, those are the only ones in common use, but differently from formal ones, non-formal things tends to come on a multitude of widely different types. So I wouldn't be surprised if people have invented many more.