I want software that works.
Yet the economics of the software industry, and perhaps the economy as a whole, seem to inexorably push toward the former.
There's some bad news: it's never been a non-probablistic engineering.
A key word is Failt-tolerance.
The engineering has never been fully deterministic. Same as running the systems.
So nothing's changed in this area.