Federico Ponzi
fponzi.me
Federico Ponzi
@fponzi.me
MSc in Computer Science. SDE @microsoft Distributed systems and operating systems.
My tweets, my opinions
Reposted by Federico Ponzi
🔧 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...
GenAI-accelerated TLA+ challenge
The TLA+ Foundation, in collaboration with NVIDIA, is pleased to announce the GenAI-accelerated TLA+ challenge—an open call for submissions that explore the intersection of TLA+ and generative AI. Thi...
foundation.tlapl.us
May 6, 2025 at 12:36 PM
Reposted by Federico Ponzi
Antithesis of a One-in-a-Million Bug: Taming Demonic Nondeterminism
www.cockroachlabs.com/blog/demonic...
March 17, 2025 at 12:00 PM
Reposted by Federico Ponzi
Reposted by Federico Ponzi
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...
Snapshot Isolation vs Serializability - Marc's Blog
brooker.co.za
December 18, 2024 at 5:22 PM
TIL about the Q# programming language for quantum computers, it's also open source:
learn.microsoft.com/en-us/azure/...
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.
learn.microsoft.com
December 14, 2024 at 6:40 PM
Reposted by Federico Ponzi
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
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...
arxiv.org
November 26, 2024 at 8:27 AM
Reposted by Federico Ponzi
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...
Testing Distributed Systems
Curated list of resources on testing distributed systems
asatarin.github.io
November 19, 2024 at 5:26 AM