[tal8d]

Yes, but they will be dealing with a currency that has mathematical guarantees - which changes things entirely. Imagine a scenario in which self driving cars are not only the norm, but they've achieved a perfect safety record due to an open source, formally verified, code-base. In that scenario, do you think the National Highway Traffic Safety Administration still needs 600 employees and a 900 million dollar budget? I have no doubt that it would still exist, but it would be addressing an infinitely simpler problem - and the reduction in resource requirements would cut it down to a skeleton crew that would operate much like stubcode in the wake of a refactor.

[arcticbull]

600 employees is nothing. That’s a skeleton crew already. Yeah they’d probably still keep them on payroll to work on developing and maintaining safety standards.

That aside you’re not operating with facts just speculation. You’ve not quantified what you think the fully realized cost is today or what it would go down to in the future.