Comment by fulafel
18 days ago
Race conditions, effects of memory safety and other integrity bugs, behaviours of distributed systems, etc.
18 days ago
Race conditions, effects of memory safety and other integrity bugs, behaviours of distributed systems, etc.
Ah sorry I read your comment wrong. Yes I agree we can and do make probabilistic systems; we've just to date been using deterministic tools to do so.