Solvingn the Santa Claus concurrency puzzle with a model checker
by simplegeek on 1/30/2026, 1:55:16 PM
https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/
Comments
by: lala_lala
Looks 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.
2/2/2026, 6:54:01 PM
by: lacoolj
You just gonna leave the title with a typo?
2/2/2026, 6:46:39 PM
by:
2/2/2026, 5:41:36 PM