HNNewShowAskJobs
Built with Tanstack Start
Solvingn the Santa Claus concurrency puzzle with a model checker(wyounas.github.io)
16 points by simplegeek 4 days ago | 3 comments
  • lala_lala19 hours ago

    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.

  • 20 hours ago
    [deleted]
  • lacoolj19 hours ago

    You just gonna leave the title with a typo?