Shriram Krishnamurthi
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Please, Adam, children are reading these posts and then linking to them in internal group Zulip chats on what coffee machines to order. Less gaggiuino, more gag orders, please.
February 10, 2026 at 8:09 AM
Please, Adam, children are reading these posts and then linking to them in internal group Zulip chats on what coffee machines to order. Less gaggiuino, more gag orders, please.
*bows in reverence*
February 10, 2026 at 7:55 AM
*bows in reverence*
And he definitely used to be amongst the peatiest!
February 9, 2026 at 7:39 AM
And he definitely used to be amongst the peatiest!
Oh, I've had the pleasure. (-: (That's near Glencoe.)
February 8, 2026 at 4:22 PM
Oh, I've had the pleasure. (-: (That's near Glencoe.)
"Give me the peatiest thing you have that I can't get in the US." She did not disappoint. (Peaty whisky + Philip Wadler, a winning combination, 10/10 would recommend.)
February 8, 2026 at 4:20 PM
"Give me the peatiest thing you have that I can't get in the US." She did not disappoint. (Peaty whisky + Philip Wadler, a winning combination, 10/10 would recommend.)
Coos everywhere, @silkyweineck.bsky.social — from shop windows to my hotel floor.
February 7, 2026 at 11:02 PM
Coos everywhere, @silkyweineck.bsky.social — from shop windows to my hotel floor.
Hi Valeria. # of people on the PC does not reflect the people who were *invited*.
Maybe this is better taken to email for a more sober discussion.
Maybe this is better taken to email for a more sober discussion.
February 6, 2026 at 5:08 PM
Hi Valeria. # of people on the PC does not reflect the people who were *invited*.
Maybe this is better taken to email for a more sober discussion.
Maybe this is better taken to email for a more sober discussion.
Well, right now I'm stuck between Stamford and NYC because there's a problem with the train in front of us, so… )-:
Luckily I was scheduled to get into the airport 7 hours before the flight, so I won't panic yet for another 2-3 hours. (-:
Luckily I was scheduled to get into the airport 7 hours before the flight, so I won't panic yet for another 2-3 hours. (-:
February 6, 2026 at 5:06 PM
Well, right now I'm stuck between Stamford and NYC because there's a problem with the train in front of us, so… )-:
Luckily I was scheduled to get into the airport 7 hours before the flight, so I won't panic yet for another 2-3 hours. (-:
Luckily I was scheduled to get into the airport 7 hours before the flight, so I won't panic yet for another 2-3 hours. (-:
Amused by now reading/listening to women and then looking them up has led me to their brothers doing cricket podcasts. Bettany Hughes on Istanbul ⭢ @theanalyst1.bsky.social Inside Cricket, and Helen Zaltzman's Allusionist ⭢ Andy Zaltzman (+ @jarrodkimber.bsky.social) Cricket Sadist Hour.
February 6, 2026 at 4:09 PM
Amused by now reading/listening to women and then looking them up has led me to their brothers doing cricket podcasts. Bettany Hughes on Istanbul ⭢ @theanalyst1.bsky.social Inside Cricket, and Helen Zaltzman's Allusionist ⭢ Andy Zaltzman (+ @jarrodkimber.bsky.social) Cricket Sadist Hour.
It's all continuations all the way down!
February 6, 2026 at 2:46 PM
It's all continuations all the way down!
I think I'll know a lot more in about a month. @kfisler.bsky.social and I are running a course precisely with the goal of learning more about this question. We've already learned a lot and it's fascinating!
cs.brown.edu/courses/csci...
cs.brown.edu/courses/csci...
Agentic Coding
cs.brown.edu
February 6, 2026 at 2:45 PM
I think I'll know a lot more in about a month. @kfisler.bsky.social and I are running a course precisely with the goal of learning more about this question. We've already learned a lot and it's fascinating!
cs.brown.edu/courses/csci...
cs.brown.edu/courses/csci...
WTF @amtrak.com this is an entirely new level of train delay. (Courtesy @kfisler.bsky.social who's tracking my trip and wondering why I'm floating.)
February 6, 2026 at 2:43 PM
WTF @amtrak.com this is an entirely new level of train delay. (Courtesy @kfisler.bsky.social who's tracking my trip and wondering why I'm floating.)
Beats me! I'm learning slowly that UK academics don't really schedule things the way US ones do (-:. I barely know where I'm going next Monday! But several of my talks are here, if any are of interest:
www.youtube.com/playlist?lis...
www.youtube.com/playlist?lis...
Shriram Krishnamurthi: My Talks - YouTube
Collection of my talks, from various sources.
www.youtube.com
February 5, 2026 at 11:52 AM
Beats me! I'm learning slowly that UK academics don't really schedule things the way US ones do (-:. I barely know where I'm going next Monday! But several of my talks are here, if any are of interest:
www.youtube.com/playlist?lis...
www.youtube.com/playlist?lis...
Sorry, what does that mean? "I am.typing" isn't finding me anything…
February 5, 2026 at 11:50 AM
Sorry, what does that mean? "I am.typing" isn't finding me anything…
This is my way of maximizing the value of my CO2 footprint: when I fly to a country, I try to visit as many places as possible, traveling by rail within (sadly, couldn't pull that off in India…). I get to meet a bunch of people, learn about a bunch of cool things, and also capture the national vibe.
February 4, 2026 at 11:56 PM
This is my way of maximizing the value of my CO2 footprint: when I fly to a country, I try to visit as many places as possible, traveling by rail within (sadly, couldn't pull that off in India…). I get to meet a bunch of people, learn about a bunch of cool things, and also capture the national vibe.
TBH you mostly just invite yourself over and academics are too nice and distracted to say no, that's most of the magic of it. (-:
February 4, 2026 at 11:54 PM
TBH you mostly just invite yourself over and academics are too nice and distracted to say no, that's most of the magic of it. (-:
Wait wait, you don't want to subject L&S to ramblings about AI! Let's talk about formal methods instead!
February 4, 2026 at 11:53 PM
Wait wait, you don't want to subject L&S to ramblings about AI! Let's talk about formal methods instead!
Inspired by a comment by @mlittman.bsky.social, using several of @conitzer.bsky.social's skeets in an upcoming talk! (First time I'm using skeets in addition to tweets in a talk.)
February 4, 2026 at 11:53 PM
Inspired by a comment by @mlittman.bsky.social, using several of @conitzer.bsky.social's skeets in an upcoming talk! (First time I'm using skeets in addition to tweets in a talk.)
Also, have you considered renaming Oxbridge to 0xBridge Maybe get Jane Street to pay for it in return for slapping their name on both universities? @yminsky.bsky.social whaddaya waiting for.
February 4, 2026 at 10:23 PM
Also, have you considered renaming Oxbridge to 0xBridge Maybe get Jane Street to pay for it in return for slapping their name on both universities? @yminsky.bsky.social whaddaya waiting for.
Also, I hope your college doesn't expect me to dress up, all I gots is jeans and a (thin) puffy jacket. The Ivy League rolls differently than Oxbridge.
February 4, 2026 at 10:22 PM
Also, I hope your college doesn't expect me to dress up, all I gots is jeans and a (thin) puffy jacket. The Ivy League rolls differently than Oxbridge.
We have made so much progress in computing. In the 50s, people told Grace Hopper they wouldn't use her compiler because "computers could only do arithmetic; they could not do programs". Now, LLMs can do easily do programs, what they can't do is arithmetic.
www.computinghistory.org.uk/det/5487/Gra...
www.computinghistory.org.uk/det/5487/Gra...
Grace Hopper completes the A-0 compiler - Event - Computing History
In 1952, Grace Hopper completes her first compiler, known as the A0.In 1952, Grace Hopper completes her first compiler, known as the A0. The A0 System was a set of instructions that could translate...
www.computinghistory.org.uk
February 4, 2026 at 10:16 PM
We have made so much progress in computing. In the 50s, people told Grace Hopper they wouldn't use her compiler because "computers could only do arithmetic; they could not do programs". Now, LLMs can do easily do programs, what they can't do is arithmetic.
www.computinghistory.org.uk/det/5487/Gra...
www.computinghistory.org.uk/det/5487/Gra...
Would be delighted! But can someone please please try to organize at the Cam end? Can you ping Jeremy perhaps and buy him dinner and whatever later else in return for the trouble you've caused him? (-:
February 4, 2026 at 9:29 PM
Would be delighted! But can someone please please try to organize at the Cam end? Can you ping Jeremy perhaps and buy him dinner and whatever later else in return for the trouble you've caused him? (-:
The real problem is @anil.recoil.org invited me and has decamped to India at the same time (-:. Blackwell told me to just email everyone individually… I'm hoping maybe someone like Jeremy Y. can help me coordinate? He offered to have me speak at the L&C symposium, but obvs. not about this. (-:
February 4, 2026 at 5:49 PM
The real problem is @anil.recoil.org invited me and has decamped to India at the same time (-:. Blackwell told me to just email everyone individually… I'm hoping maybe someone like Jeremy Y. can help me coordinate? He offered to have me speak at the L&C symposium, but obvs. not about this. (-:
I doubt this one will be, it's to the Edinburgh CS teaching faculty. Might do an online version of it later if there's interest…
February 4, 2026 at 1:57 PM
I doubt this one will be, it's to the Edinburgh CS teaching faculty. Might do an online version of it later if there's interest…
Not sure! But I'm going to be in Cambridge on Fri Feb 20 (and latter part of 19th)!
Unfortunately nobody seems to actually be in charge of my schedule (seems to be a problem at every UK university, but even more so at Cambridge), and I'm having difficulty trying to schedule it all myself… )-:
Unfortunately nobody seems to actually be in charge of my schedule (seems to be a problem at every UK university, but even more so at Cambridge), and I'm having difficulty trying to schedule it all myself… )-:
February 4, 2026 at 1:56 PM
Not sure! But I'm going to be in Cambridge on Fri Feb 20 (and latter part of 19th)!
Unfortunately nobody seems to actually be in charge of my schedule (seems to be a problem at every UK university, but even more so at Cambridge), and I'm having difficulty trying to schedule it all myself… )-:
Unfortunately nobody seems to actually be in charge of my schedule (seems to be a problem at every UK university, but even more so at Cambridge), and I'm having difficulty trying to schedule it all myself… )-: