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 distsys.fponzi.me Joined January 2017

Tweets

4K
Followers

6K
Following

238
Likes

780

Aleksey Charapko @AlekseyCharapko

4 weeks ago

Fall 2025 Distributed Systems Reading Group list: charap.co/fall-2025-read… We are resuming on September 11th after a summer break!

7 42 350 25K 400

Distributed Bytes @DistribSystems

4 weeks ago

Understanding Paxos the intuitive way relentless-leader.com/dive-deep-into…

1 12 145 8K 179

Download Image

Distributed Bytes @DistribSystems

a month ago

Murat Demirbas and Aleksey Charapko read and discuss the HotOS paper""Real Life Is Uncertain. Consensus Should Be Too!"

0 4 25 2K 9

Download Image

PODC-DISC @podc_disc

3 months ago

2025 Edsger W. Dijkstra Prize in Distributed Computing will be awarded to Moni Naor and Larry Stockmeyer (1948–2004) for their paper "What Can Be Computed Locally?" Congratulations! doi.org/10.1137/S00975…

0 3 26 1K 12

Distributed Bytes @DistribSystems

3 months ago

Learning about distributed systems: where to start? muratbuffalo.blogspot.com/2020/06/learni… A principled, from the foundations-up, studying of distributed systems, which will take a good three months in the first pass, and many more months to build competence after that.

0 23 160 7K 187

Download Image

Marc Brooker @MarcJBrooker

3 months ago

Interested in how we test our systems at Amazon? In @CACMmag, @ankushpd and I write about the evolution of systems correctness and testing practices at AWS. We cover a mix of classic approaches, formal approaches, and new techniques like deterministic simulation.

Communications of the ACM @CACMmag

3 months ago

0 7 41 20K 18

Download Image

4 20 145 18K 71

Distributed Bytes @DistribSystems

3 months ago

FLP Result: Impossibility of Distributed Consensus with One Faulty Process (1985) groups.csail.mit.edu/tds/papers/Lyn…

0 0 7 617 4

Marc Brooker @MarcJBrooker

3 months ago

In honor of yesterday's Aurora DSQL GA, I wanted to talk about some of the lessons from nearly 20 years of operating AWS we've built into DSQL, and how they help you build more reliable applications. 🧵

3 39 226 16K 156

Distributed Bytes @DistribSystems

3 months ago

Just make it scale: An Aurora DSQL story allthingsdistributed.com/2025/05/just-m… a few weeks ago, at our internal dev conference I watched a talk from two of our PEs on building DSQL. I asked if they’d be willing to turn their insights into a deeper exploration of DSQL’s development.

0 2 27 1K 9

Download Image

Distributed Bytes @DistribSystems

3 months ago

Reasoning about Distributed Protocols with Smart Casual Verification decentralizedthoughts.github.io/2025-05-23-sma… Reasoning about distributed algorithms is hard at the best of times, with state split across remote nodes, asynchrony, concurrency, and non-determinism in the order that event occur.

0 4 43 2K 24

Download Image

abc3 🇺🇦 @abc3erl

4 months ago

Btw, updated my naive iceberg + elixir lib. Still far from prod ready, but fun to experiment with github.com/abc3/ex_iceber…

Distributed Bytes @DistribSystems

4 months ago

Btw, updated my naive iceberg + elixir lib. Still far from prod ready, but fun to experiment with github.com/abc3/ex_iceber…

0 26 134 5K 113

Download Image

0 3 9 583 2

Distributed Bytes @DistribSystems

4 months ago

Apache Iceberg Internals Dive Deep On Performance relentless-leader.com/apache-iceberg… Apache Iceberg is an ACID table format designed for large-scale analytics workloads.

0 26 134 5K 113

Download Image

Distributed Bytes @DistribSystems

4 months ago

Concurrency bugs in Lucene: How to fix optimistic concurrency failures elastic.co/search-labs/bl… Debugging concurrency bugs is no picnic, but we're going to get into it. Enter Fray, a deterministic concurrency testing framework, that turns flaky failures into reproducible ones.

0 12 72 3K 44

Download Image

Distributed Bytes @DistribSystems

4 months ago

Erlang’s not about lightweight processes and message passing… stevana.github.io/erlangs_not_ab… To me it’s clear that the big idea there isn’t lightweight processes2 and message passing, but rather the generic components which in Erlang are called behaviours.

0 5 45 2K 24

Download Image

Murat Demirbas (Distributolog) @muratdemirbas

4 months ago

[new blog post] Modular verification of MongoDB Transactions using TLA+ muratbuffalo.blogspot.com/2025/05/modula…

0 15 37 3K 21

Distributed Bytes @DistribSystems

4 months ago

So, You Want to Learn More About Deterministic Simulation Testing? pierrezemb.fr/posts/learn-ab… A curated collection of resources about deterministic simulation testing for distributed systems.

0 12 55 2K 27

Download Image

Shako @ShahriyarRzayev

4 months ago

"Distributed Key-Value Storage implemented in Python" github.com/ShahriyarR/py-… If you are in search of educational material about Distributed Systems Patterns but written in Python, here is the progress of the repo: > README is quite extensive, so give it a try.

1 9 21 717 17

Distributed Bytes @DistribSystems

4 months ago

May thy bits chip and shatter: Patterns for Building High-Performance Observability Pipelines at Scale sumercip.com/posts/patterns…

0 22 120 4K 82

Download Image

@[email protected] @lemmster

4 months ago

🔧 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/inde…

0 5 16 854 4

Distributed Bytes @DistribSystems

4 months ago

Parallel, Concurrent and Distributed Programming ilyasergey.net/YSC4231/ This course on basic concurrent and parallel algorithms has been taught by Ilya Sergey at Yale-NUS College in 2019-2024.