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
29.10.2025 17:01 โ ๐ 11 ๐ 4 ๐ฌ 1 ๐ 2
My amazon order for it just came in!
04.05.2025 17:54 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Looks interesting! Anyone know of any projects/examples where benchmark data gets exported into a Grafana graph-able store?
06.12.2024 21:48 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
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...
19.11.2024 05:26 โ ๐ 198 ๐ 48 ๐ฌ 6 ๐ 2
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...
20.11.2024 22:08 โ ๐ 8 ๐ 1 ๐ฌ 0 ๐ 1