Get the latest tech news

Solvingn the Santa Claus concurrency puzzle with a model checker

Welcome to Waqas' blog

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Santa Claus

Santa Claus

Photo of model checker

model checker

Photo of Solvingn

Solvingn

Related news:

How to track Santa Claus this Christmas Eve using AI

Reproducing the AWS Outage Race Condition with a Model Checker

You can make ChatGPT sound like Santa Claus for the holidays

« Todd C. Miller – Sudo maintainer for over 30 years

They lied to you. Building software is hard »