Solvingn the Santa Claus concurrency puzzle with a model checkerwyounas.github.io
14 points by simplegeek 3 days ago | 2 comments