Distributed systems, like interrupts, are something you can’t bullshit and get right. The author is right though that nondeterminism makes systems easier to rea

Distributed systems, like interrupts, are something you can’t bullshit and get right. The author is right though that nondeterminism makes systems easier to reason about if you have the right cognitive tools (ie, math). Here[1] is an example of what rigorous reasoning about distributed systems looks like. the non-deterministic algorithm emerges when, abstracting from their mutual differences, we concentrate on what the many algorithms of the class have in common. [1] https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD687a.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD687...