Pretty-printer for TLA+ I've contributed a TLA+ formatter to the official tlatools. It is also integrated into the VS Code extension. In this article I want to share a few...

I've contributed a TLA+ formatter to the official tlatools. It is also integrated into the VS Code extension. In this article I want to share a few thoughts on what I've learnt along the way about what it takes to write a formatter: blog.fponzi.me/2026-03-30-a...

🔧 GenAI-Accelerated #TLAplus Challenge is live!
Use GenAI to enhance TLA⁺ specs, tools, or workflows.
Submit your project for a chance to win a prize.
Details: foundation.tlapl.us/challenge/in...

Antithesis of a One-in-a-Million Bug: Taming Demonic Nondeterminism
www.cockroachlabs.com/blog/demonic...

Use of Time in Distributed Databases (part 1) Distributed systems are characterized by nodes executing concurrently with no shared state and no common clock. Coordination between nodes a...

[ new blog post]

Use of Time in Distributed Databases (part 1)

muratbuffalo.blogspot.com/2024/12/use-...

New blog post, diving a little deeper on Snapshot Isolation and Serializability, through the lens of the coordination required to implement them: brooker.co.za/blog/2024/12...

Introduction to the Quantum Programming Language Q# - Azure Quantum This article introduces Q#, a programming language for developing and running quantum algorithms, and the structure of a Q# program.

TIL about the Q# programming language for quantum computers, it's also open source:
learn.microsoft.com/en-us/azure/...

New command for the TLA+ vscode extension? 🤓

A Framework for Consistency Models in Distributed Systems We define am axiomatic timeless framework for asynchronous distributed systems, together with well-formedness and consistency axioms, which unifies and generalizes the expressive power of current appr...

A very significant preprint just surfaced in ArXiv, for the understanding of consistency models in distributed systems. Including a new tradeoffs theorem “the CLAM theorem is practically stronger than the CAP theorem”. arxiv.org/abs/2411.16355

Testing Distributed Systems Curated list of resources on testing distributed systems

Hello, Bluesky users!

I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.

asatarin.github.io/testing-dist...