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.
If anyone ever tries to recruit me to move to London, they can wine and dine and try to impress me, or they can just take me to my favorite bookstore, Foyles, and remind me that these two stacks are next to each other.
February 15, 2026 at 5:06 PM
If anyone ever tries to recruit me to move to London, they can wine and dine and try to impress me, or they can just take me to my favorite bookstore, Foyles, and remind me that these two stacks are next to each other.
Hey @silkyweineck.bsky.social — look what I found *face out* in Foyles last night!
February 15, 2026 at 4:43 PM
Hey @silkyweineck.bsky.social — look what I found *face out* in Foyles last night!
It is difficult to understand how Avanti West Coast could have made the process of getting a delay refund *this* difficult. Truly impressive piece of sludge engineering. Who says the British can't innovate in interface design?
February 15, 2026 at 4:20 PM
It is difficult to understand how Avanti West Coast could have made the process of getting a delay refund *this* difficult. Truly impressive piece of sludge engineering. Who says the British can't innovate in interface design?
Reposted by Shriram Krishnamurthi
If you're interested in diving deeper, this is still a pretty good gist (shared each time another part of the world decides to do age verification...)
gist.github.com/mary-ext/6e2...
gist.github.com/mary-ext/6e2...
Bluesky's age assurance sucks, here's how to work around it.
Bluesky's age assurance sucks, here's how to work around it. - bluesky-osa.md
gist.github.com
February 11, 2026 at 9:27 AM
If you're interested in diving deeper, this is still a pretty good gist (shared each time another part of the world decides to do age verification...)
gist.github.com/mary-ext/6e2...
gist.github.com/mary-ext/6e2...
Please don't DM me on Bluesky. I'm in the UK and I'm apparently required due to some law to verify my age (to read DMs, but not to read Bluesky?) which seems none of Bluesky's business. I don't intend to do this, but until I do I can't read the two new DMs since yesterday sitting in my inbox.
February 11, 2026 at 7:41 AM
Please don't DM me on Bluesky. I'm in the UK and I'm apparently required due to some law to verify my age (to read DMs, but not to read Bluesky?) which seems none of Bluesky's business. I don't intend to do this, but until I do I can't read the two new DMs since yesterday sitting in my inbox.
"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.
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.
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.)
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.)
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...
New talk abstract dropping. I just hope I can write a talk to live up to it by *checks watch* *gulp* Monday.
February 4, 2026 at 1:46 AM
New talk abstract dropping. I just hope I can write a talk to live up to it by *checks watch* *gulp* Monday.
Reposted by Shriram Krishnamurthi
Politics in the 2020s be like:
(Please note: ALL activities shown are undertaken safely by trained historical reenactors under close and careful supervision.)
February 3, 2026 at 1:53 PM
Politics in the 2020s be like:
Not all heroes wear capes; some just wear ∀s and ∃s.
forum.cspaper.org/topic/191/ic...
forum.cspaper.org/topic/191/ic...
February 3, 2026 at 1:08 PM
Not all heroes wear capes; some just wear ∀s and ∃s.
forum.cspaper.org/topic/191/ic...
forum.cspaper.org/topic/191/ic...
Reposted by Shriram Krishnamurthi
WHERE IS THE RODENT WHO WILL TELL ME HOW MANY WEEKS OF AMERICA WE HAVE LEFT
February 2, 2026 at 9:58 PM
WHERE IS THE RODENT WHO WILL TELL ME HOW MANY WEEKS OF AMERICA WE HAVE LEFT
Reposted by Shriram Krishnamurthi
"In 2009, Judge Pratt helped launch an annual Fourth of July naturalization ceremony coinciding with Iowa Cubs Baseball games. He administered an oath that was circulated among federal judges and commonly welcomed new citizens to the country with the following:"
February 2, 2026 at 1:13 PM
"In 2009, Judge Pratt helped launch an annual Fourth of July naturalization ceremony coinciding with Iowa Cubs Baseball games. He administered an oath that was circulated among federal judges and commonly welcomed new citizens to the country with the following:"
If you want to say hi during my UK trip, I'll be visiting/speaking at the following places. Grab a slot on my schedule!
February 2, 2026 at 1:36 PM
If you want to say hi during my UK trip, I'll be visiting/speaking at the following places. Grab a slot on my schedule!
Reposted by Shriram Krishnamurthi
The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast.
We invented a new algorithm analysis framework to find out.
We invented a new algorithm analysis framework to find out.
Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book
Narrowing the gap between theory and practice is a longstanding goal of the algorithm analysis community. To further progress our understanding of how algorithms work in practice, we propose a new alg...
arxiv.org
October 27, 2025 at 1:43 AM
The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast.
We invented a new algorithm analysis framework to find out.
We invented a new algorithm analysis framework to find out.
Reposted by Shriram Krishnamurthi
you could tell me that there are anywhere from two to nineteen Skarsgard men in Hollywood and I would believe you
February 1, 2026 at 8:42 PM
you could tell me that there are anywhere from two to nineteen Skarsgard men in Hollywood and I would believe you
Reposted by Shriram Krishnamurthi
Okay, I've gotta admit the Boston Globe headline writer knocked this one out of the park
www.bostonglobe.com/2026/01/30/w...
www.bostonglobe.com/2026/01/30/w...
We went to Greenland to tell a very serious story. Then we met a Donald Trump impersonator licking an iceberg. - The Boston Globe
Trump’s takeover talk has cooled. Greenland is left with the consequences.
www.bostonglobe.com
February 1, 2026 at 8:50 PM
Okay, I've gotta admit the Boston Globe headline writer knocked this one out of the park
www.bostonglobe.com/2026/01/30/w...
www.bostonglobe.com/2026/01/30/w...
Reposted by Shriram Krishnamurthi
Stars in our galaxy aren’t distributed evenly. Collisions with smaller galaxies or clusters make “stellar streams,” which are long, thin trails of stars. They form as the smaller object stretches while it falls into the Milky Way.
So… why does this stream have a MASSIVE hole in it??
1/7 ⚛️🧪
So… why does this stream have a MASSIVE hole in it??
1/7 ⚛️🧪
February 1, 2026 at 9:12 PM
Stars in our galaxy aren’t distributed evenly. Collisions with smaller galaxies or clusters make “stellar streams,” which are long, thin trails of stars. They form as the smaller object stretches while it falls into the Milky Way.
So… why does this stream have a MASSIVE hole in it??
1/7 ⚛️🧪
So… why does this stream have a MASSIVE hole in it??
1/7 ⚛️🧪
Reposted by Shriram Krishnamurthi
Rescue, Capture, Kill: the hot new social media meme, where the answer is always Matt Damon.
February 1, 2026 at 5:18 PM
Rescue, Capture, Kill: the hot new social media meme, where the answer is always Matt Damon.
Reposted by Shriram Krishnamurthi
Between Saving Private Ryan (BUDGET: $70M), Interstellar (BUDGET: $165M), The Martian (BUDGET: $108M), and the Bourne films (COMBINED BUDGETS: $500M)...
America has spent almost a BILLION DOLLARS trying to rescue, capture, or kill Matt Damon.
America has spent almost a BILLION DOLLARS trying to rescue, capture, or kill Matt Damon.
February 1, 2026 at 5:15 PM
Between Saving Private Ryan (BUDGET: $70M), Interstellar (BUDGET: $165M), The Martian (BUDGET: $108M), and the Bourne films (COMBINED BUDGETS: $500M)...
America has spent almost a BILLION DOLLARS trying to rescue, capture, or kill Matt Damon.
America has spent almost a BILLION DOLLARS trying to rescue, capture, or kill Matt Damon.
For all the people here getting worked up about the name "Wambsganss", I feel obliged to remind you that Bill Wambsganss had the only triple-play — unassisted! — in World Series history, in 1920.
en.wikipedia.org/wiki/Bill_Wa...
en.wikipedia.org/wiki/Bill_Wa...
January 31, 2026 at 7:08 PM
For all the people here getting worked up about the name "Wambsganss", I feel obliged to remind you that Bill Wambsganss had the only triple-play — unassisted! — in World Series history, in 1920.
en.wikipedia.org/wiki/Bill_Wa...
en.wikipedia.org/wiki/Bill_Wa...
Good thread. Also, one of the most brilliant tech things I've seen in a while is
www.jmail.world
www.jmail.world
January 31, 2026 at 1:26 PM
Good thread. Also, one of the most brilliant tech things I've seen in a while is
www.jmail.world
www.jmail.world