Hard problems in distributed systems, AI, and observability. Memes + hot takes + deep dives. Building resilient systems at scale. 🔥

Joined May 2017
Distributed Systems retweeted
186
765
202
7,740
1,127,149
Distributed Systems retweeted
« Don’t ever make the mistake [of thinking] that you can design something better than what you get from ruthless massively parallel trial-and-error with a feedback cycle. That’s giving your intelligence much too much credit. » (Linus Torvalds) « In my field of research (machine learning, and especially deep learning & neural nets), [theory lags practice] is a truth I have experienced first-hand. » (Yoshua Bengio) Watt invented the engine long before scientists conceived thermodynamics. We built electric circuits before scientists founded electromagnetism. We hacked computers together and then founded computer science. We created large language models and in the future, we will understand why they work. Daniel Lemire, "Theory lags practice," in Daniel Lemire's blog, January 7, 2015, lemire.me/blog/2015/01/07/th…
25
139
20
1,235
77,254
Distributed Systems retweeted
New work: Do transformers actually do Bayesian inference? We built “Bayesian wind tunnels” where the true posterior is known exactly. Result: transformers track Bayes with 10⁻³-bit precision.
And we now know why. I: arxiv.org/abs/2512.22471 II: arxiv.org/abs/2512.22473
🧵
56
237
56
1,752
423,396
Distributed Systems retweeted
I wrote a few words to mark the publication of @unmeshjoshi's excellent book after a fruitful four-year journey martinfowler.com/books/patte…
8
35
1
193
65,927
Distributed Systems retweeted
If databases and their internals fascinate you -- this is quite a treasure trove of lectures from 2014 to now! db.cs.cmu.edu/seminar2023/ Especially the Time-Series one from 2017!
5
17
2,166
Distributed Systems retweeted
Thrilled by the insightful @dist_sys meetup at @nutanix Pune office, July 2023! 🚀 A shout-out to all participants for making it remarkable. Exciting lineup in store for upcoming meetups. Stay tuned for your next meetup - meetup.com/Distributed-Syste…
2
4
11
1,704
Distributed Systems retweeted
Replying to @dist_sys
@dist_sys We’re setting up a Distributed System Testing group in London and will be having our first event on 21st June. If you would like to meet like minded people, check out the details and sign up! meetup.com/innovations-in-so…
1
3
520
Distributed Systems retweeted
Thoroughly enjoyed attending this demo of TLA+ by Markus who works on it at MSR. I liked how he incrementally built up the problem and its pitfalls, how TLA+ scores over manual reasoning and tests, implications of state space explosion, invariants, liveness, starvation ... etc
3
4
Distributed Systems retweeted
If you're starting out TLA+ or Alloy and want me to give your spec a quick once-over for obvious improvements feel free to reply or DM me, I like helping beginners
1
12
49
Distributed Systems retweeted
And we are on! It was fun coordinating the meet-up with @dist_sys. I am so excited to spend more time on TLA+.
All set for the distributed systems in Bengaluru meet-up with @lemmster on TLA+. Thanks for organizing @dist_sys
Distributed Systems retweeted
All set for the distributed systems in Bengaluru meet-up with @lemmster on TLA+. Thanks for organizing @dist_sys
1
1
1
11
Distributed Systems retweeted
By age 30 you should have a group of friends that talk you out of distributed systems
48
164
28
1,918
Distributed Systems retweeted
Going to be in Bengaluru next weekend. Does anybody wants to meet and chat about #tlaplus over coffee?
3
3
1
10
Distributed Systems retweeted
missing @dist_sys conference!
1
4
Distributed Systems retweeted
So what did people settle on for service discovery?
24
1
2
27
Testing Distributed Systems An awesome curated list of resources on testing distributed systems by @asatarin asatarin.github.io/testing-d…
3
52
182
Distributed Systems retweeted
For those that want to see TLA+ in action (this Friday): xitter.cf/dist_sys/status/148477…
We have a talk next week by @lemmster on TLA+! Excited to host him. Do shoot your questions on this thread or post on the meetup group here meetup.com/Distributed-Syste…
6
10
Distributed Systems retweeted
This is going to be an interesting event to attend.
We have a talk next week by @lemmster on TLA+! Excited to host him. Do shoot your questions on this thread or post on the meetup group here meetup.com/Distributed-Syste…