I’ve been having some fun with MCP recently, and this felt like a good excuse to revive an old project of mine!

Can you use Claude, MCP, Kubernetes & Caps Lock LEDs to send SOS messages? 👀

nonmonotonic.dev/posts/halp-mcp/

We’ve been systematically evaluating the scalability of our fleet’s control planes, and the recent work on storage layer scalability in the Kubernetes community is going to prove pivotal as we scale further!

Check out what we’ve been upto for the past couple of weeks ♥️

So stoked!!! 💕

Madhav and Ahmet in the office

Glad to have @madhavjivrajani.bsky.social join us at LinkedIn compute team this summer. I’m constantly impressed by the depth of his kube-apiserver expertise.

Stellar set of people ♥️
Hope y’all have a great time!

Shared logs are an extremely powerful abstraction and the work on these systems that has come out of our group at UIUC has been nothing short of elegant and practical. This talk should give an excellent overview of that vision! ♥️

Very impressive and thorough look at the Go runtime internals.

Go Scheduler ↑ ↓

Found this tonight and it's a really solid read on the Go runtime. Definitely a long post but it's got a lot of useful info in it.

Learned a lot about things that I haven't really dug into before from it.

nghiant3223.github.io/2025/04/15/g...

Congratulations!!! 💕

Something Good in the World: Let’s Celebrate Independent Bookstore Day This Weekend I was going to write something else for today’s column, something complain-y but righteous that would allow me to get some stuff off my chest and maybe even get some rage clicks. Shit is bad. But I…

I needed to write about something that’s giving me hope, so I wrote about Independent Bookstore Day which is this Saturday. lithub.com/something-go...

Happy Independent Bookstore Day! Read Maris's piece, then go show your local indie bookstore some love. They're so much more than places to get books--they are places to engage with ideas and others in your community. Staffed by actual humans to help you find the books you didn't know you needed!

Multi-Grained Specifications for Distributed System Model Checking and Verification This EuroSys 2025 paper wrestles with the messy interface between formal specification and implementation reality in distributed systems. T...

[new blog post]

Multi-Grained Specifications for Distributed System Model Checking and Verification

muratbuffalo.blogspot.com/2025/04/mult...

#tlaplus

Hiya! The most useful thing to check out would be this:
cs.brown.edu/~sk/Publicat...

(Cross posting from X) @shriram.bsky.social hey! I remember you mentioning in your talk at MSR Bangalore last year that you had done work on building resources and IDEs for the visually impaired? Is this something you could drop some pointers to? Thank you! ♥️

Bart standing in Nepal near some mountains with Yawan who is a visually impaired young man from Nepal.

Yesterday I met Yawan in Bungamati, Nepal — he’s 18, visually impaired, and wants to learn to code to build tools for others like him.

What are the best dev resources for the visually impaired?

Asking for a friend, and this time for real!

ICYMI, there’s been significant scalability and reliability improvements in the K8s storage layer, join us for a deep dive into Defusing The K8s API Performance Minefield next week #KubeCon!

sched.co/1tx9P

ADORABLE! ♥️

I’m here now too :)

I am looking to meet women interested in having no-BS conversations around personal finance, tech and sustainability! #womenInTech #bayarea #sanfranciso

Today is the last day to register for CIDR 2025 in Amsterdam! The best conference in systems with an awesome lineup this year! cidrdb.org/cidr2025/pro...

wegments 😭

Great opportunity to join the Kubernetes release team and learn what it takes to ship Kubernetes!

Ofc, this doesn’t preclude the fact that there are real difficulties running these systems in production, but hopefully this gives some more insight into what’s happening, and hopefully we can evolve them in a way that benefits most users. Feedback welcome!

But that’s on the etcd side. On the K8s side, there’s been significant work happen to improve the scalability of the storage layer and how things like massive watch and list requests are handled.

- github.com/kubernetes/e...
- github.com/kubernetes/e...
- github.com/kubernetes/k...

The community then spent a little over a year (even collaborating with Jepsen and then building our own simulation testing framework) ensuring etcd is back to being something we can test out reliably. And it’s gotten to a stage where we can actually start looking at making these scale improvements.

Fixing etcd is a little more interesting. We know what to fix, but the reason you may not see these changes happening is that etcd as an open source project was in an unhealthy state up until a couple years back. And because of this, there were quite a few reliability issues that needed addressing.

You could swap it and folks have been able to do so as well. But there’s a contract between K8s and etcd that’s subtle to get right. Doable for sure, but ends up being more difficult than expected and you often onboard some extra tech-debt in doing so.

Agreed! 💯

Always amazes me that you can just reach out to people you admire and look up to and they respond back with the same enthusiasm and encouragement, super willing to help out.

Gotta love the systems community 🥰

Why are Things Associative? The big three algebraic properties that show up in the distributed systems literature are associative, commutativity, and idempotency (EYE-dem-po-ten-see)....

Fun NULL BITMAP today talking associativity. A topic I spend a lot of time thinking about. buttondown.com/jaffray/arch...