Sergey Fedorov
@sergefdrv.bsky.social
Independent Research Engineer | @replica-io.bsky.social https://github.com/sergefdrv
Life is a dialogue between the living being and the rest of the world.
— Is it real? — Definitely. — But how much is it real? — I don't know…
"You must understand, young Hobbit, it takes a long time to say anything in Old Entish. And we never say anything unless it is worth taking a long time to say." — J.R.R. Tolkien, The Two Towers (The Lord of the Rings, #2)
“We don't see things as they are, we see them as we are.” —Anaïs Nin
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
"Fear leads to anger. Anger leads to hate. Hate leads to suffering." — Yoda, Star Wars: Episode I – The Phantom Menace (1999)
What we call justice is often just disciplined greed in pursuit of long-term gain.
Everything is nothing, but any fraction of that is something as opposed to the rest.
Bitcoin & Co promised us better money. Though perhaps what we need is not yet another version of money but something better than money.
We may conceive a universe with no consciousness in it, but can we conceive conceiving anything without consciousness?
Ultimately, there's only you and absolute, endless eternity...
Perhaps each individual is smarter than the whole humanity. There are around 16 billion individual neurons in the human brain's cerebral cortex, whereas there are less than 8.5 billion individual people on Earth. 😄
"the desire to know in order to live inevitably turns into the desire to live in order to know" - Strugatsky, Noon: 22nd Century
"‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard" - interesting 🤔 www.quantamagazine.org/reverse-math...
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard | Quanta Magazine
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.
quantamagazine.org
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 vouchers I have to Protocol Berg are only valid until tomorrow. Please drop me a message if you'd like to get one 😉
Sergey Fedorov@sergefdrv.bsky.social · last yr.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 😉 👇
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! 📡