4 ms·Solvingn the Santa Claus concurrency puzzle with a model checker16 points by simplegeek 8mo agodeleted 8mo ago[deleted]lacoolj 8mo agoYou just gonna leave the title with a typo?lala_lala 8mo agoLooks interesting. Like that the author modeled the failure scenario first before the correct one, it’s instructive. As other commenter pointed, a small typo in the title.