Federico Ponzi
@fponzi.me
MSc in Computer Science. SDE @microsoft Distributed systems and operating systems.
My tweets, my opinions
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...
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
🔧 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...
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...
Reposted by Federico Ponzi
Antithesis of a One-in-a-Million Bug: Taming Demonic Nondeterminism
www.cockroachlabs.com/blog/demonic...
www.cockroachlabs.com/blog/demonic...
March 17, 2025 at 12:00 PM
Antithesis of a One-in-a-Million Bug: Taming Demonic Nondeterminism
www.cockroachlabs.com/blog/demonic...
www.cockroachlabs.com/blog/demonic...
Reposted by Federico Ponzi
[ new blog post]
Use of Time in Distributed Databases (part 1)
muratbuffalo.blogspot.com/2024/12/use-...
Use of Time in Distributed Databases (part 1)
muratbuffalo.blogspot.com/2024/12/use-...
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...
muratbuffalo.blogspot.com
December 23, 2024 at 5:34 PM
[ new blog post]
Use of Time in Distributed Databases (part 1)
muratbuffalo.blogspot.com/2024/12/use-...
Use of Time in Distributed Databases (part 1)
muratbuffalo.blogspot.com/2024/12/use-...
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
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...
TIL about the Q# programming language for quantum computers, it's also open source:
learn.microsoft.com/en-us/azure/...
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
TIL about the Q# programming language for quantum computers, it's also open source:
learn.microsoft.com/en-us/azure/...
learn.microsoft.com/en-us/azure/...
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
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
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...
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
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...
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...