@madhavjivrajani.bsky.social
Systems @ UIUC | Helping Maintain The Kubernetes Project | GopherCon Co-Chair | ♥️ Theory + Systems | Views are my own.
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/
Can you use Claude, MCP, Kubernetes & Caps Lock LEDs to send SOS messages? 👀
nonmonotonic.dev/posts/halp-mcp/
Claude, Can You Halp? - Learning Non-monotonically
nonmonotonic.dev
July 16, 2025 at 10:37 PM
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/
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 ♥️
Check out what we’ve been upto for the past couple of weeks ♥️
As we test Kubernetes clusters beyond the supported 5,000+ nodes limit at LinkedIn, we're finding out 'List API' calls are a bottleneck in cluster reliability. So I'm publishing a deep dive about why this is a problem and what you can do about them. ahmet.im/blog/kuberne...
July 9, 2025 at 10:13 PM
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 ♥️
Check out what we’ve been upto for the past couple of weeks ♥️
Reposted
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.
June 23, 2025 at 4:36 PM
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.
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! ♥️
Prof. Ram Alagappan's research group at the University of Illinois has been building new abstractions and designs to address latency in shared logs.
In this talk, learn about the motivation, design, and benefits of two of them––LazyLog and SpecLog.
In this talk, learn about the motivation, design, and benefits of two of them––LazyLog and SpecLog.
May 23, 2025 at 4:12 PM
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! ♥️
Reposted
Very impressive and thorough look at the Go runtime internals.
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...
Learned a lot about things that I haven't really dug into before from it.
nghiant3223.github.io/2025/04/15/g...
Go Scheduler
↑ ↓
nghiant3223.github.io
May 18, 2025 at 5:03 PM
Very impressive and thorough look at the Go runtime internals.
Reposted
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...
Learned a lot about things that I haven't really dug into before from it.
nghiant3223.github.io/2025/04/15/g...
Go Scheduler
↑ ↓
nghiant3223.github.io
May 18, 2025 at 5:59 AM
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...
Learned a lot about things that I haven't really dug into before from it.
nghiant3223.github.io/2025/04/15/g...
Reposted
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...
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…
lithub.com
April 24, 2025 at 11:46 AM
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...
Reposted
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!
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...
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…
lithub.com
April 26, 2025 at 2:38 PM
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!
Reposted
[new blog post]
Multi-Grained Specifications for Distributed System Model Checking and Verification
muratbuffalo.blogspot.com/2025/04/mult...
#tlaplus
Multi-Grained Specifications for Distributed System Model Checking and Verification
muratbuffalo.blogspot.com/2025/04/mult...
#tlaplus
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...
muratbuffalo.blogspot.com
April 22, 2025 at 6:18 PM
[new blog post]
Multi-Grained Specifications for Distributed System Model Checking and Verification
muratbuffalo.blogspot.com/2025/04/mult...
#tlaplus
Multi-Grained Specifications for Distributed System Model Checking and Verification
muratbuffalo.blogspot.com/2025/04/mult...
#tlaplus
Reposted
Hiya! The most useful thing to check out would be this:
cs.brown.edu/~sk/Publicat...
cs.brown.edu/~sk/Publicat...
Adapting Student IDEs for Blind Programmers
(Short Paper.)
cs.brown.edu
April 22, 2025 at 11:46 PM
Hiya! The most useful thing to check out would be this:
cs.brown.edu/~sk/Publicat...
cs.brown.edu/~sk/Publicat...
Reposted
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!
What are the best dev resources for the visually impaired?
Asking for a friend, and this time for real!
April 22, 2025 at 6:11 AM
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!
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
sched.co/1tx9P
March 27, 2025 at 4:36 PM
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
sched.co/1tx9P
Reposted
I am looking to meet women interested in having no-BS conversations around personal finance, tech and sustainability! #womenInTech #bayarea #sanfranciso
November 17, 2024 at 6:44 AM
I am looking to meet women interested in having no-BS conversations around personal finance, tech and sustainability! #womenInTech #bayarea #sanfranciso
Reposted
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...
CIDR 2025 – Program
CIDR 2024 Program Information
cidrdb.org
December 19, 2024 at 5:10 PM
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...
Reposted
Great opportunity to join the Kubernetes release team and learn what it takes to ship Kubernetes!
✨ Release Team shadow application is now open until January 8th. Apply and join us to help shape v1.33! forms.gle/3xn8fajX1waA...
Kubernetes 1.33 Release Team Shadow Application
Thank you for applying to be a shadow on the Kubernetes v1.33 Release Team!
This questionnaire is to learn a little bit more about you, your journey with Kubernetes, your understanding of the Release...
forms.gle
December 18, 2024 at 8:43 PM
Great opportunity to join the Kubernetes release team and learn what it takes to ship Kubernetes!
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 🥰
Gotta love the systems community 🥰
December 18, 2024 at 5:15 AM
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 🥰
Gotta love the systems community 🥰
Reposted
Fun NULL BITMAP today talking associativity. A topic I spend a lot of time thinking about. buttondown.com/jaffray/arch...
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)....
buttondown.com
December 16, 2024 at 8:52 PM
Fun NULL BITMAP today talking associativity. A topic I spend a lot of time thinking about. buttondown.com/jaffray/arch...
Excellent post-mortem by the #OpenAI team on the recent outage! We’ve had some work gone in recently to prevent control plane overwhelm in Kubernetes, super curious about what versions of K8s they’re on and if these features could have helped 👀
status.openai.com/incidents/ct...
status.openai.com/incidents/ct...
API, ChatGPT & Sora Facing Issues
OpenAI's Status Page - API, ChatGPT & Sora Facing Issues.
status.openai.com
December 13, 2024 at 5:04 PM
Excellent post-mortem by the #OpenAI team on the recent outage! We’ve had some work gone in recently to prevent control plane overwhelm in Kubernetes, super curious about what versions of K8s they’re on and if these features could have helped 👀
status.openai.com/incidents/ct...
status.openai.com/incidents/ct...
Reposted
#Kubernetes v1.32 is released! Thank you 1.32 release team led by Frederico Muñoz and thank you release managers and thank you contributors — so much hard work goes into each release
kubernetes.io/blog/2024/12...
kubernetes.io/blog/2024/12...
Kubernetes v1.32: Penelope
Editors: Matteo Bianchi, Edith Puclla, William Rizzo, Ryota Sawada, Rashan Smith
Announcing the release of Kubernetes v1.32: Penelope!
In line with previous releases, the release of Kubernetes v1.32 i...
kubernetes.io
December 11, 2024 at 10:58 PM
#Kubernetes v1.32 is released! Thank you 1.32 release team led by Frederico Muñoz and thank you release managers and thank you contributors — so much hard work goes into each release
kubernetes.io/blog/2024/12...
kubernetes.io/blog/2024/12...
Reposted
The energy here at #KubeConIndia is unlike anything I've ever seen at a KubeCon. People are excited and thirsty to learn. So glad I got to experience the first KubeCon in India!
December 12, 2024 at 2:12 AM
The energy here at #KubeConIndia is unlike anything I've ever seen at a KubeCon. People are excited and thirsty to learn. So glad I got to experience the first KubeCon in India!
Reposted
The PaPoC workshop is once again accepting submissions on distributed consistency. Deadline 15 January papoc-workshop.github.io/2025/cfp.html
Call for Papers
The 12th Workshop on Principles and Practice of Consistency for Distributed Data
papoc-workshop.github.io
December 6, 2024 at 10:37 AM
The PaPoC workshop is once again accepting submissions on distributed consistency. Deadline 15 January papoc-workshop.github.io/2025/cfp.html
Reposted
We have a strong background in formal methods and system reliability. So we’ve been surgically applying these techniques to scale our correctness efforts at Feldera. We’ve found them quite effective at catching bugs early during development, long before they can manifest in production.
Correctness at Feldera
In this blog post, we briefly describe our efforts and development processes that ensure Feldera's engine is correct.
www.feldera.com
December 5, 2024 at 5:08 PM
We have a strong background in formal methods and system reliability. So we’ve been surgically applying these techniques to scale our correctness efforts at Feldera. We’ve found them quite effective at catching bugs early during development, long before they can manifest in production.
Reposted
@madhavjivrajani.bsky.social I really liked this presentation of yours www.youtube.com/watch?v=rdO_... The most enjoyable part was how smoothly you combined philosophy, physics, psychology and computer sciences.
Fireside Talk - Looking at Computing Systems as a Conspiracy Theorist by Madhav Jivrajani
YouTube video by Harini Anand
www.youtube.com
December 5, 2024 at 9:54 AM
@madhavjivrajani.bsky.social I really liked this presentation of yours www.youtube.com/watch?v=rdO_... The most enjoyable part was how smoothly you combined philosophy, physics, psychology and computer sciences.
Thank you so much!
That’s definitely one of my favourite talks, super glad you enjoyed it! 💕
That’s definitely one of my favourite talks, super glad you enjoyed it! 💕
@madhavjivrajani.bsky.social I really liked this presentation of yours www.youtube.com/watch?v=rdO_... The most enjoyable part was how smoothly you combined philosophy, physics, psychology and computer sciences.
Fireside Talk - Looking at Computing Systems as a Conspiracy Theorist by Madhav Jivrajani
YouTube video by Harini Anand
www.youtube.com
December 5, 2024 at 2:10 PM
Thank you so much!
That’s definitely one of my favourite talks, super glad you enjoyed it! 💕
That’s definitely one of my favourite talks, super glad you enjoyed it! 💕
Kinda bummed I’m going to miss the first #KubeCon happening in India but also super excited to see all the wonderful things that come out of it ♥️
Make someone feel included if you’re a veteran and as a friendly reminder, remember the Pac-Man rule: www.ericholscher.com/blog/2017/au...
Make someone feel included if you’re a veteran and as a friendly reminder, remember the Pac-Man rule: www.ericholscher.com/blog/2017/au...
December 5, 2024 at 5:54 AM
Kinda bummed I’m going to miss the first #KubeCon happening in India but also super excited to see all the wonderful things that come out of it ♥️
Make someone feel included if you’re a veteran and as a friendly reminder, remember the Pac-Man rule: www.ericholscher.com/blog/2017/au...
Make someone feel included if you’re a veteran and as a friendly reminder, remember the Pac-Man rule: www.ericholscher.com/blog/2017/au...