41554 blogs · [
{
"id": "01a08c64-9779-71c0-afc6-feb01c0bfaf2",
"title": "Finding All Solutions to LinkedIn Queens with a SAT Solver and Model Checkers",
"url": "https://wyounas.github.io/wyounas.github.io//model-checking/puzzles/2026/06/06/finding-all-solutions-to-linkedin-queens-with-a-sat-solver-and-model-checkers/",
"published_at": "2026-06-06T04:00:00+00:00"
},
{
"id": "01a08c64-9779-71c0-afc6-feb01c768a5d",
"title": "How to Solve Santa Claus Concurrency Puzzle with a Model Checker",
"url": "https://wyounas.github.io/wyounas.github.io//puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/",
"published_at": "2026-01-10T05:00:00+00:00"
},
{
"id": "01a08c64-9779-71c0-afc6-feb01d00b02a",
"title": "Reproducing the AWS Outage Race Condition with a Model Checker",
"url": "https://wyounas.github.io/wyounas.github.io//aws/concurrency/2025/10/30/reproducing-the-aws-outage-race-condition-with-model-checker/",
"published_at": "2025-10-30T04:00:00+00:00"
},
{
"id": "01a08c64-9779-71c0-afc6-feb01dcacfa5",
"title": "When the Simplest Concurrent Program Goes Against All Intuition",
"url": "https://wyounas.github.io/wyounas.github.io//concurrency/2025/01/13/when-a-simple-concurrent-program-goes-against-all-intuition/",
"published_at": "2025-01-13T05:00:00+00:00"
},
{
"id": "01a08c64-9779-71c0-afc6-feb01e9eb661",
"title": "How concurrency works: A visual guide",
"url": "https://wyounas.github.io/wyounas.github.io//concurrency/2024/12/12/how-concurrency-works-a-visual-guide/",
"published_at": "2024-12-12T05:00:00+00:00"
},
{
"id": "01a08c64-9779-71c0-afc6-feb01f308d19",
"title": "How Rendezvous Channels Work in PROMELA (SPIN)",
"url": "https://wyounas.github.io/wyounas.github.io//spin,/model-checking,/formal-methods/2024/11/18/how-rendezvous-channels-work-in-promela-spin/",
"published_at": "2024-11-18T05:00:00+00:00"
},
{
"id": "01a08c64-9779-71c0-afc6-feb01ff700f2",
"title": "How Control Structures Work in PROMELA (SPIN)",
"url": "https://wyounas.github.io/wyounas.github.io//spin,/model-checking,/formal-methods/2024/11/10/how-control-structures-work-in-promela/",
"published_at": "2024-11-10T05:00:00+00:00"
},
{
"id": "01a08c64-9779-71c0-afc6-feb0203db1b4",
"title": "The Beautiful Simplicity of the Gentzen System",
"url": "https://wyounas.github.io/wyounas.github.io//cs/2024/10/29/gentzen-system/",
"published_at": "2024-10-29T04:00:00+00:00"
}
] posts Claim your blog