Stuttering and sensitivity is irrelevant when you're just looking at a single system. When I hike this hour, a minute clock and some load want to compare with something else that things become complicated. If I have a thousand line specification of a system to make it stuttering and sensitive, I add about seven characters to the specification. You know, it doesn't take much. Right. Was this idea in the bakery algorithm? It sounds like it was. No, no, no, it's separate from that. Except for that, that seems to,. if we, real quick, describe your bakery algorithm, we'll I'll try to contextualize it, but it seems like this, at
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!