logoalt Hacker News

Solvingn the Santa Claus concurrency puzzle with a model checker

14 pointsby simplegeeklast Friday at 1:55 PM2 commentsview on HN

Comments

lala_lalatoday at 6:54 PM

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.

lacooljtoday at 6:46 PM

You just gonna leave the title with a typo?