I tweet/retweet interesting stuff about #DistributedSystems and #compsci. Suggest links/papers/conversations via DM! Tag for retweets. Run by @federico_ponzi

Joined January 2017
78 Photos and videos
Queues Don't Fix Overload ferd.ca/queues-don-t-fix-ove… To oversimplify things, most of the projects I end up working on can be visualized as a very large bathroom sink. User and data input are flowing from the faucet, down 'till the output of the system[..]
1
8
99
6,840
Distributed Bytes retweeted
Remy's blog post is good, but I think it severely overstates the simplicity of WSI when compared to traditional SI. What we would agree on: SSI is a little weird, and I see it mostly as a pragmatic historical artifact that the 'right solution'.
Simple and Correct Snapshot Isolation remy.wang/blog/si.html Snapshot isolation (SI) is a popular approach to concurrency control in databases systems. It avoids many forms of anomalies, yet provides a high degree of concurrency, especially for read-heavy workloads.
3
4
82
13,254
Simple and Correct Snapshot Isolation remy.wang/blog/si.html Snapshot isolation (SI) is a popular approach to concurrency control in databases systems. It avoids many forms of anomalies, yet provides a high degree of concurrency, especially for read-heavy workloads.
3
28
14,440
Hypothesis, Antithesis, synthesis antithesis.com/blog/2026/heg… Hegel is an attempt to bring the quality of property-based testing found in Hypothesis to every language.
15
1,119
Testing for DR Failover Testing usenix.org/conference/srecon… A simplified scenario is recovery from a full data centre failure. The Zendesk Chat backend infrastructure operates in a single data centre. The way to be sure that DR works is to perform a real failover.
1
14
945
Top Five Scalability Patterns f5.com/company/blog/top-five…
9
57
2,807
Building A Billion User Load Balancer usenix.org/conference/srecon…
39
468
17,211
What Is Coordination, Really? jhellerstein.github.io/blog/…
56
2,519
A Pretty-printer for TLA blog.fponzi.me/2026-03-30-a-…
27
1,182
Distributed rate limiting of delivery attempts blog.allegro.tech/2017/04/he…
11
167
7,029
Smarter Auto-Scaling for ClickHouse: The Two-Window Approach clickhouse.com/blog/smarter-…
1
4
41
2,001
Distributed Bytes retweeted
[new blog post] SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems muratbuffalo.blogspot.com/20…

4
29
4,390
The absolute beginners guide to databasemaxxing pthorpe92.dev/databasemaxxin…
1
21
227
8,754
If you want to catch up with past links or want to follow on other social networks, check the homepage: distsys.fponzi.me/

3
513
Distributed Bytes retweeted
io_uring easily beats AIO and gets faster with every kernel — until both suddenly get 30% slower. Join a database developer’s unexpected journey into the Linux kernel and IOMMU. medium.com/ydbtech/how-io-ur…
3
30
231
46,464
RocksDB development finds a CPU bug rocksdb.org/blog/2026/02/17/…
10
158
8,959
Three Lenses on Coordination jhellerstein.github.io/blog/…
5
609
Consensus Board Game matklad.github.io/2026/03/19…
3
23
1,300
Distributed Bytes retweeted
Replying to @DistribSystems
Thanks for sharing this! Happy to answer any questions
1
1
1
482