There's a way it should be, and there's a way it is. Replica_IO's project description has been thoroughly reworked and now much more accurately captures what this effort turned out to be. Check it out at replica-io.dev

Replica_IO

An open-source project rethinking distributed replication and coordination — from first principles to a practical framework.

replica-io.dev

The recording of my talk at @web3summit.com in Berlin sharing some insights into distributed and concurrent programming is available on YouTube now. This is an extended version of the talk that I gave at Protocol Berg in June. youtu.be/GFYIFLd97DI?...

New insights into distributed and concurrent programming - Sergey Fedorov - Web3 Summit 2025

YouTube video by Web3 Foundation

youtu.be

Sergey Fedorov@sergefdrv.bsky.social · last yr.

Looking forward to giving a talk and sharing some insights into distributed and concurrent programming at @Web3summit in Berlin next week!

Looking forward to giving a talk and sharing some insights into distributed and concurrent programming at @Web3summit in Berlin next week!

The recording of my talk at Protocol Berg in Berlin sharing some insights into distributed and concurrent programming is available now: watch.protocol.berlin/65a90bf47932... Slides are available here: cfp.protocol.berlin/media/protoc...

New insights into distributed and concurrent programming

Designing, verifying, correctly implementing and later improving core distributed protocols like consensus, which are critical for safety and reliability of decentralized systems, is notoriously diffi...

watch.protocol.berlin

Next week I'll be giving a short talk at Protocol Berg in Berlin sharing some insights into distributed and concurrent programming. For those who cannot attend in person, it will be streamed and recorded, but I have a couple of ticket vouchers. Please drop me a message if you'd like to get one 😉 👇

📣 A new blog post is out sharing preliminary results of elaborating the idea of reversible deterministic concurrency! We try to make those ideas a little more concrete and apply them to modelling some well-known distributed protocols. Check it out! 👉 replica-io.dev/blog/2025/05...

A Sketch of Reversible Deterministic Concurrency for Distributed Protocols | Replica_IO

A post sharing first result of elaborating the idea of reversible deterministic concurrency

replica-io.dev

Replica_IO is on Bluesky! From now on, will be also sharing project updates here. Stay tuned! 📡