4 ms·
It sounds like economists are much more realistic about the feasibility of bug-free immutable software.
by pavlov 5y ago
It sounds like economists are much more realistic about the feasibility of bug-free immutable software.
- dqpb 5y agoIf their argument was about the insanity of no-one doing model checking, I'd be on board. But that's not their argument.
- cblconfederate 5y agoit's not fair to say that all economic transactions are going to have unaccounted contingencies. There are plenty of transactions which are just dead-simple, and when automated they don't need a middleman