"‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard" - interesting 🤔 www.quantamagazine.org/reverse-math...

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?...

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

The vouchers I have to Protocol Berg are only valid until tomorrow. Please drop me a message if you'd like to get one 😉

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...

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