4 ms·
> The second part is going to be the hard part for complex software and systems. Not going to. Is. Actually, always has been; it isn’t that coding solutions wa
by baq 9mo ago
> The second part is going to be the hard part for complex software and systems.
Not going to. Is. Actually, always has been; it isn’t that coding solutions wasn’t hard before, but verification and validation cannot be made arbitrarily cheap. This is the new moat - if your solutions require time consuming and expensive in dollar terms qa (in the widest sense), it becomes the single barrier to entry.
- avmich 8mo agoThere was recent discussion about how making AI to write the validation for the code is a good approach. If you have formal proofs for your code, your QA needs go down.