Reuben

My amazon order for it just came in!

Looking Ahead with Clarity and Purpose for NATS.io Synadia has always championed open source, and this foundational principle remains unwavering.

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

Looks interesting! Anyone know of any projects/examples where benchmark data gets exported into a Grafana graph-able store?

Testing Distributed Systems Curated list of resources on testing distributed systems

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

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.

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