Five Kinds of Nondeterminism
February 19, 2025 Five Kinds of Nondeterminism Or four kinds, or six kinds, I'm not picky about how you count them No newsletter next week, I'm teaching a TLA+ workshop. Speaking of which: I spend a lot of time thinking about formal methods (and TLA+ specifically) because it's where the source of almost all my revenue. But I don't share most of the details because 90% of my readers don't use FM and never will. I think it's more interesting to talk about ideas from FM that would be useful to