Shriram Krishnamurthi
LightNews LightNews
banner
shriram.bsky.social
Shriram Krishnamurthi
@shriram.bsky.social
4.7K followers 740 following 7.8K posts
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.
Posts Replies Media Videos
shriram.bsky.social
"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.)
https://smws.com/fair-winds-and-following-seas/
February 8, 2026 at 4:20 PM
shriram.bsky.social
Coos everywhere, @silkyweineck.bsky.social — from shop windows to my hotel floor.
February 7, 2026 at 11:02 PM
shriram.bsky.social
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
shriram.bsky.social
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.)
Amtrak shows departure time as 3.71666666…6667, i.e., it's using floating points to represent times.
February 6, 2026 at 2:43 PM
shriram.bsky.social
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.)
https://bsky.app/profile/conitzer.bsky.social/post/3ma4u3txebk2z https://bsky.app/profile/conitzer.bsky.social/post/3m7yiunfsrc2v https://bsky.app/profile/conitzer.bsky.social/post/3mba2bnihqs2c https://bsky.app/profile/conitzer.bsky.social/post/3mbbynetdd22w
February 4, 2026 at 11:53 PM
shriram.bsky.social
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...
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
shriram.bsky.social
New talk abstract dropping. I just hope I can write a talk to live up to it by *checks watch* *gulp* Monday.
Generative AI and Computing Education for Novices Generative AI (GenAI) has sowed havoc in computing education, especially introductory computing. As AI models grow in sophistication, it is increasingly difficult to find problems that cannot be comprehensively solved by AI. Even "defeat devices" like obscure programming languages have limited viability, due to technical reasons like one-shot learning, temporal reasons such as training, and basic educational considerations like what we want students to learn. I claim that the recent rise of agentic coding, in particular, is a major technological turning point that forces a deep re-examination of computing curricula. However, I come with a hopeful message rather than a pessimistic one. I believe there is a profound opportunity here for computing educators; the challenge is to not ignore these trends but rather understand how they can enhance us and what we have to offer. I will try to lay out all these issues. This is not a research talk, where I describe a set of crisp technical results that have been deeply vetted with proofs and experiments. Rather, in the spirit of the topic, I am trying to express a vibe. But I am not just idly speculating; I will base my comments on ongoing observations and experiments. I hope to spur lots of discussion, but also provide a sense of optimism. The one guarantee I do provide is that the talk content and slides were written entirely by a human.
February 4, 2026 at 1:46 AM
Reposted by Shriram Krishnamurthi
dbellingradt.bsky.social
Politics in the 2020s be like:
englishcivilwar.bsky.social English Civil War @englishcivilwar.bsky.social · 5d
(Please note: ALL activities shown are undertaken safely by trained historical reenactors under close and careful supervision.)
February 3, 2026 at 1:53 PM
shriram.bsky.social
Not all heroes wear capes; some just wear ∀s and ∃s.
forum.cspaper.org/topic/191/ic...
February 3, 2026 at 1:08 PM
Reposted by Shriram Krishnamurthi
jilltwiss.bsky.social
WHERE IS THE RODENT WHO WILL TELL ME HOW MANY WEEKS OF AMERICA WE HAVE LEFT
February 2, 2026 at 9:58 PM
Reposted by Shriram Krishnamurthi
design-law.bsky.social
"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:"
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: You may hear voices in this land say that there is only one true American religion. Do not believe it. As an American you may freely and openly be a Christian, a Jew, a Hindu, a Bhuddist, a Muslim, or you may adhere to any other religion, or you may be an agnostic or an atheist.You may hear voices in this land say that there is only one true American way to think and believe about political matters, economic matters, and social matters. Do not believe it. As an American you may freely and openly adhere to political, economic, and social views on the right, on the left, or anywhere in between. You may hear voices in this land say that there is only one true American set of values. Do not believe it. As an American you may openly hold beliefs and values greatly different from those of others – even if those of others are shared by many and yours are shared by few. Simply stated, there is no single American way to think or believe. Indeed, conformity of thought and belief would be contrary to the underlying principles of this great nation.
February 2, 2026 at 1:13 PM
shriram.bsky.social
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!
| Date | Day | Venue | | ------ | ------ | --------------------- | | Feb 09 | Mon | U Edinburgh | | Feb 10 | Tue | U Edinburgh | | Feb 11 | Wed | SPLS @ St. Andrews | | Feb 12 | Thu PM | Strathclyde | | Feb 13 | Fri | U Glasgow | | Feb 17 | Tue | Imperial College | | Feb 18 | Wed | King's College London | | Feb 19 | Thu PM | Cambridge U | | Feb 20 | Fri | Cambridge U | | Feb 23 | Mon | U Oxford | | Feb 25 | Wed | S-REPLS @ Bristol | | Feb 26 | Thu | U Bristol |
February 2, 2026 at 1:36 PM
Reposted by Shriram Krishnamurthi
sophie.huiberts.me
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.
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
Reposted by Shriram Krishnamurthi
jilltwiss.bsky.social
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
Reposted by Shriram Krishnamurthi
mcmillen.dev
Okay, I've gotta admit the Boston Globe headline writer knocked this one out of the park

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
Reposted by Shriram Krishnamurthi
idontevencara.bsky.social
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 ⚛️🧪
A plot showing the locations of stars around the stellar stream GD-1. There's clearly a dense filament there where the stream is, but there are some plainly visible gaps too. Image made with data from https://zenodo.org/records/1295543 ( 10.5281/zenodo.1295542, Ana Bonaca and Adrian Price-Whelan), CC-BY 4.0
February 1, 2026 at 9:12 PM
Reposted by Shriram Krishnamurthi
patri.xyz
Rescue, Capture, Kill: the hot new social media meme, where the answer is always Matt Damon.
February 1, 2026 at 5:18 PM
Reposted by Shriram Krishnamurthi
maryscottoconnor.com
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.
February 1, 2026 at 5:15 PM
shriram.bsky.social
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...
January 31, 2026 at 7:08 PM
shriram.bsky.social
Good thread. Also, one of the most brilliant tech things I've seen in a while is
www.jmail.world
January 31, 2026 at 1:26 PM
Reposted by Shriram Krishnamurthi
galaxykate.bsky.social
You can test new tech ideas using the Seinfeld Test

Would the product eliminate the plot of an episode? (Google maps, cell phones, paypal, battery packs)

Good tech.

Would the product inspire new Seinfeld plots? (NFTs, AI chatbots, crypto currency, blindboxes, metaverse land sales)

Bad tech.
January 31, 2026 at 6:57 AM
shriram.bsky.social
What a paragraph.
India’s Ministry of Labour and Employment did not respond to multiple emails and phone calls from Rest of World. Nasscom, the industry lobby, did not respond to questions about worker treatment and stress. “AI is fundamentally reshaping the structure of work across sectors, but the current disruption is better understood as role compression and redesign rather than broad-based job elimination,” a Nasscom spokesperson said in an emailed statement. The new labor marketplace prioritizes senior roles over “low-complexity” roles made up of “routine, entry-level tasks such as code generation, testing, documentation, and standardized customer service journeys,” the spokesperson said. “Hiring has therefore shifted from volume-led intake to skills-based, selective recruitment, with flatter headcount growth but rising revenue per employee, reflecting early non-linearity rather than contraction.”
January 31, 2026 at 12:42 PM
shriram.bsky.social
We don't praise government when it works, so I want to call out the UK's ETA app (I used the Android version): it exceeded every expectation in the best possible way. The whole thing was done in about a minute, and I had an ETA in about two. (Now I can actually get into the UK!)
January 31, 2026 at 1:25 AM
Reposted by Shriram Krishnamurthi
wickstrom.tech
Today I’m announcing and open-sourcing the Bombadil project — a brand new property-based browser testing framework.

wickstrom.tech/2026-01-28-there-and-back-again-from-quickstrom-to-bombadil.html
There and Back Again: From Quickstrom to Bombadil
wickstrom.tech
January 29, 2026 at 9:21 PM
shriram.bsky.social
View from Manhattan yesterday: the frozen Hudson, and the sun setting over NJ.
January 29, 2026 at 2:33 PM