Solvingn the Santa Claus concurrency puzzle with a model checker(wyounas.github.io)

16 pointsby simplegeek5 tháng trước2 comments

wyounas.github.io

Solvingn the Santa Claus concurrency puzzle with a model checker

https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/

3 comments

lala_lala5 tháng trước

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.

[deleted]5 tháng trước

lacoolj5 tháng trước

You just gonna leave the title with a typo?