> Naturally I’d prefer professional programmers learn the cognitive tools for manageably reasoning about nondeterminism It’s not an either-or here, though. Par

> Naturally I’d prefer professional programmers learn the cognitive tools for manageably reasoning about nondeterminism It’s not an either-or here, though. Part of the challenge is you’re not always thinking about all the non-determinisms in your code, and the interconnections between your code and other code (whose behavior you can sometimes only assume) can make that close to impossible. Part of that is the “your model of the network” critique, but also part of that is “your model of how people will use your software” isn’t necessarily correct either.