Right. No doubt he is thinking he doesn’t want a cosmic ray hitting his friendly algorithm, and turning it into an unfriendly one. That means robustness—or error detection and correction. Determinism seems to be a reasonable approach to this which makes proving things about the results about as easy as possible.
Right. No doubt he is thinking he doesn’t want a cosmic ray hitting his friendly algorithm, and turning it into an unfriendly one. That means robustness—or error detection and correction. Determinism seems to be a reasonable approach to this which makes proving things about the results about as easy as possible.