Reuben
@anonymouskangaroo.bsky.social
Distributed Systems Engineer @synadia.bsky.social
*Posts are periodically deleted
*Posts are periodically deleted
Reposted by Reuben
For everyone interested in data infra, want to get a quick sense of how big data works, how data systems are designed, and what the tradeoffs are, start with this share from @xiangpeng.systems, really nice intro!
intro-data-system.xiangpeng.systems
intro-data-system.xiangpeng.systems
October 29, 2025 at 5:01 PM
For everyone interested in data infra, want to get a quick sense of how big data works, how data systems are designed, and what the tradeoffs are, start with this share from @xiangpeng.systems, really nice intro!
intro-data-system.xiangpeng.systems
intro-data-system.xiangpeng.systems
Reposted by Reuben
Death threats was not on my bingo card for this week but here we are. My response to the CNCF blog.
www.synadia.com/blog/synadia...
www.synadia.com/blog/synadia...
Looking Ahead with Clarity and Purpose for NATS.io
Synadia has always championed open source, and this foundational principle remains unwavering.
www.synadia.com
April 25, 2025 at 8:26 PM
Death threats was not on my bingo card for this week but here we are. My response to the CNCF blog.
www.synadia.com/blog/synadia...
www.synadia.com/blog/synadia...
Reposted by Reuben
Hello, Bluesky users!
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...
Testing Distributed Systems
Curated list of resources on testing distributed systems
asatarin.github.io
November 19, 2024 at 5:26 AM
Hello, Bluesky users!
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...
I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.
asatarin.github.io/testing-dist...
Reposted by Reuben
I love seeing formal methods being used in the wild.
TLA+ and lightweight methods are already ready for mainstream use. That said, I'm eagerly hoping full-system verification becomes practical within the next decade.
www.datadoghq.com/blog/enginee...
TLA+ and lightweight methods are already ready for mainstream use. That said, I'm eagerly hoping full-system verification becomes practical within the next decade.
www.datadoghq.com/blog/enginee...
How we use formal modeling, lightweight simulations, and chaos testing to design reliable distributed systems
Learn how we used formal modeling and simulation to analyze a distributed, multi-tenant queueing system.
www.datadoghq.com
November 20, 2024 at 10:08 PM
I love seeing formal methods being used in the wild.
TLA+ and lightweight methods are already ready for mainstream use. That said, I'm eagerly hoping full-system verification becomes practical within the next decade.
www.datadoghq.com/blog/enginee...
TLA+ and lightweight methods are already ready for mainstream use. That said, I'm eagerly hoping full-system verification becomes practical within the next decade.
www.datadoghq.com/blog/enginee...