Distributed Systems retweeted
what the Fuck arxiv.org/html/2603.21852v2
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…
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
🧵
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…
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!
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…
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…
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
Meetup Recording is now available
youtu.be/lsgDQhMC19o
@lemmster
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
Distributed Systems retweeted
We have a location! Thanks to @thoughtworks Bengaluru
meetup.com/distributed-syste…
@lemmster @vaibhaw_vipul @unmeshjoshi @ShripadAgashe
Distributed Systems retweeted
By age 30 you should have a group of friends that talk you out of distributed systems
Distributed Systems retweeted
Going to be in Bengaluru next weekend. Does anybody wants to meet and chat about #tlaplus over coffee?
Distributed Systems retweeted
missing @dist_sys conference!
Distributed Systems retweeted
Testing Distributed Systems
An awesome curated list of resources on testing distributed systems
by @asatarin
asatarin.github.io/testing-d…
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…
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…





















