Whilst going through MAIHT3K’s backlog, I ended up running across a neat little article theorising on the possible aftermath which left me wondering precisely what the main “residue”, so to speak, would be.
Nondeterminism is used very often in formal specifications, and not just when multi-threading or explicit randomness are involved. This article provides examples, insight into why that is, and more.
RetroFed
Mac
melonpunk