Waqas Younas' blog

Articles

A collection of blog posts covering software, technology, and other topics that interest me.

Exploring All Solutions to LinkedIn Queens Puzzle with a SAT Solver and Two Model Checkers

Jun 6, 2026

How to Solve Santa Claus Concurrency Puzzle with a Model Checker

Jan 10, 2026

Reproducing the AWS Outage Race Condition with a Model Checker

Oct 30, 2025

When the Simplest Concurrent Program Goes Against All Intuition

Jan 13, 2025

How concurrency works: A visual guide

Dec 12, 2024

How Rendezvous Channels Work in PROMELA (SPIN)

Nov 18, 2024

How Control Structures Work in PROMELA (SPIN)

Nov 10, 2024

The Beautiful Simplicity of the Gentzen System

Oct 29, 2024