Welcome to my blog where I write about.. computer science for now.

TLA+ Feels Like a Revelation

Reasoning about concurrency using everyday mathematics

April 17, 2026

me at yasiralotaibi dot com