Quite interesting post (hello Andrea!), I found the second part more compelling than the intro. Surprised there was no mention of the Lamport Timestamp. [0] F

Quite interesting post (hello Andrea!), I found the second part more compelling than the intro. Surprised there was no mention of the Lamport Timestamp. [0] Fun side story: during one of my CS exams, distributed systems, I studied the Lamport timestamp even if it wasn't part of the curriculum. I masterfully mentioned it during the oral exam to the professor, and he was very excited to hear something different than the usual stuff, and asked me to describe it. The final score was quite good. Many years later I had a chance to meet Leslie Lamport in person, in Palo Alto. I can't share details of our discussion, but it was an interesting moment of my professional life. [0]: https://en.wikipedia.org/wiki/Lamport_timestamp https://en.wikipedia.org/wiki/Lamport_timestamp