Shriram Krishnamurthi on nostr

Recent Notes

Shriram Krishnamurthi

@Shriram Krishnamurthi 1777661695

WTF, NATO, it's a *phonetic* alphabet!

Shriram Krishnamurthi

@Shriram Krishnamurthi 1777596332

To make it easier esp. for junior folks (students, postdocs, jr faculty) to talk to me, I'm trying a new thing: open office hours at conferences! Come find me at PLDI 2026, using the public calendar linked to the page below. Please feel free to reshare!
https://cs.brown.edu/people/sk/Contact/Calendar/

Shriram Krishnamurthi

@Shriram Krishnamurthi 1777393765

Back out of the basement and on the road again. Didn't consider how my my new bar tape choice ("pink zebra") might match spring blossoms…

a.k.a. low-profile · 5d

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s0xmhl2 Work it, brother! Don't stop there. Get you a matching saddle bag.

Shriram Krishnamurthi

@Shriram Krishnamurthi 1776269392

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

Shriram Krishnamurthi

@Shriram Krishnamurthi 1776045891

I have a particular fondness for Hungary because I spent a formative time studying there. It was just after The Wall came down. I had so many encounters that conveyed a sense of hope for a bright future. I imagine the squares of Budapest feel like that again right now. ↵

Christine Lemmer-Webber · 4w

"I used AI. It worked. I hated it." by nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq7yf7cxzxz4kwf24zmflvyqqtrylsjwm5q9a074u5ger57rmzz0aqe544dh https://taggart-tech.com/reckoning/ This is a ...

Shriram Krishnamurthi @Shriram Krishnamurthi 1775439517

@nprofile1q... @nprofile1q...
It can also *give* joy in its own way, and I wish that perspective had been presented too. Other than that, I think it's a very fair piece.

Shriram Krishnamurthi

@Shriram Krishnamurthi 1774976933

My work gmail has some ridiculous AI assist now, which includes such gems as suggesting I correct the grammar of "It looked" to … "It looked". Out of curiosity I accepted its suggestion, so it turned the prose into … "It It looked". Everything is just peachy now.

Joshua A.C. Newman · 4w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s0xmhl2 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqswyxvkhew2qcjpgmsf7c4salsxsedx4veavatjd5yzhxhmtk58aq7ua638 It keeps suggesting a double “the”. Probably because it’s so commo...

Shriram Krishnamurthi

@Shriram Krishnamurthi 1774804894

This is the prediction market I'm here for: you can now bet on German train delays. Glorious stuff. Peak trolling.
https://bahn.bet/

Shriram Krishnamurthi

@Shriram Krishnamurthi 1774651923

Two of the most influential books in my life were GEB and EoPL, and it's amazing that both were written in the same department. IU CS knocked out real bangers.

Shriram Krishnamurthi

@Shriram Krishnamurthi 1774058302

RIP Rizzo, the g.o.a.t.est of our pets. Full of life, energy, curiosity, and fun to the very, very end.

J3RN :emacs: :haskell: · 6w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s0xmhl2 Rest easy little buddy ❤️

Shriram Krishnamurthi

@Shriram Krishnamurthi 1773074789

I realize that in 2026, saying the WaPo op-ed page has gotten dumber than a bag of bricks is not saying something novel, but "Your salted caramel mocha latte is destroying society", invoking Edmund Burke, might set a benchmark for the year even though we're only 3 months in.

SoapDog · 7w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s0xmhl2 omg, was that text actually on WaPo? holy fuck... that is so stupid I think my text rendering broke..

Shriram Krishnamurthi

@Shriram Krishnamurthi 1772502321

I may be one of the last generation of students who was exposed to Silvanus Thompson's "Calculus Made Easy"(published in 1910, still floating around Bangalore in the mid-80s). So I was delighted to find this blue plaque for him in Bristol UK. And now you can find it online! https://calculusmadeeasy.org/

J. Nathan Matias 🦣 · 8w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s0xmhl2 <3 perhaps something to add to Wikimedia Commons?

Jack Rusher · 8w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s0xmhl2 🤝