Modeling Chess as a Concurrent System: Invariants and Interleaved Execution
By
ingve
Hot, fresh, and worth queueing round the block for.
Summary
The article discusses chess as a concurrent system with interleaved execution (turn-based play) and introduces the concept of modeling such systems to distill their invariants. It draws parallels between chess rules (castling, en passant, pawn promotion, etc.) and concurrent system modeling in computer science, suggesting that proper setup and definitions in a paper can make the rest write itself.
Key quotes
· 3 pulledChess is a lot trickier than it looks.
It is a concurrent system, but with a very specific kind of concurrency: interleaved execution.
In a CS or math paper, if you write 'Section 2: Model and Problem' well enough, the rest of the paper writes itself.
You might also wanna read
A computer scientist's quest to find a chess position with 218+ possible moves
A computer scientist describes their pursuit to settle the question of the maximum number of playable moves in a reachable chess position, b
lichess.org·8mo ago
Exploring Structured Concurrency and Its Parallels with Imperative Synchronous Languages
The article discusses Structured Concurrency (SC), a concept supporting nested coroutines with tied lifetimes, and highlights its similariti
A Formal Proof That Jira Is Turing-Complete via Minsky Machine Implementation
This article provides a formal proof that Jira (Atlassian's project-tracking tool) is Turing-complete by demonstrating how to build a Minsky
A Formal Proof That Jira Is Turing-Complete via Minsky Machine Implementation
This article provides a formal proof that Jira (Atlassian's project-tracking tool) is Turing-complete by demonstrating how to build a Minsky
Voxel Space: The 1992 Terrain Rendering Engine That Pushed 3D Graphics Forward
This article discusses the Voxel Space terrain rendering engine, a groundbreaking 3D graphics technology developed by NovaLogic for the 1992
Voxel Space: The 1992 Terrain Rendering Engine That Pushed 3D Graphics Forward
This article discusses the Voxel Space terrain rendering engine, a groundbreaking 3D graphics technology developed by NovaLogic for the 1992