Distributed Bytes
3.6K posts
Distributed Bytes
@DistribSystems
I tweet/retweet interesting stuff about #DistributedSystems and #compsci. Suggest links/papers/conversations via DM! Tag for retweets. Run by @federico_ponzi
Katılım Ocak 2017
227 Takip Edilen6.3K Takipçiler
TLA*, Formal verifications, etc. have been in my list of things to learn for more than a decade. I don't think I will ever learn.
Distributed Bytes@DistribSystems
How TLA+ Caught a Silent Data Divergence Bug in Postgres’s pg_rewind multigres.com/blog/tla-pg-re…
English
How TLA+ Caught a Silent Data Divergence Bug in Postgres’s pg_rewind
multigres.com/blog/tla-pg-re…
English
Queues Don't Fix Overload
ferd.ca/queues-don-t-f…
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[..]
English
Distributed Bytes retweetledi
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'.
Distributed Bytes@DistribSystems
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.
English
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.
English
Hypothesis, Antithesis, synthesis
antithesis.com/blog/2026/hege…
Hegel is an attempt to bring the quality of property-based testing found in Hypothesis to every language.
English
Testing for DR Failover Testing
usenix.org/conference/sre…
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.
English
Distributed Bytes retweetledi
[new blog post]
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
muratbuffalo.blogspot.com/2026/03/sysmob…
English
If you want to catch up with past links or want to follow on other social networks, check the homepage: distsys.fponzi.me
English
Distributed Bytes retweetledi
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…
English
