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.
WTF Apple. (On Kagi, this is a hapax legomenon: there's only one textual link, to a TikTok.)
November 21, 2025 at 9:56 PM
WTF Apple. (On Kagi, this is a hapax legomenon: there's only one textual link, to a TikTok.)
Reposted by Shriram Krishnamurthi
Reposted by Shriram Krishnamurthi
Every year, near the end of my accelerated intro class (0190), I've done the Halting Problem and briefly mentioned Rice's Theorem. It's finally(!) dawned on me that Rice's is more fundamental. Re-jigging class design! Also great to tie it up with, e.g., code.pyret.org .
November 19, 2025 at 1:41 PM
Every year, near the end of my accelerated intro class (0190), I've done the Halting Problem and briefly mentioned Rice's Theorem. It's finally(!) dawned on me that Rice's is more fundamental. Re-jigging class design! Also great to tie it up with, e.g., code.pyret.org .
I grew up a kilometre from MTR in one direction and Vidyarthi Bhavan in the other. That's better food culture in a 1km radius than entire countries have. (-: (BLR have plenty of slop, too, but you'd rather look at the most beautiful masala dosa in the world in your timeline.)
November 18, 2025 at 6:47 PM
I grew up a kilometre from MTR in one direction and Vidyarthi Bhavan in the other. That's better food culture in a 1km radius than entire countries have. (-: (BLR have plenty of slop, too, but you'd rather look at the most beautiful masala dosa in the world in your timeline.)
Reposted by Shriram Krishnamurthi
I have been thinking about this line today, on the value of editors, from the late great John Bennet, for no reason in particular.
November 18, 2025 at 2:14 PM
I have been thinking about this line today, on the value of editors, from the late great John Bennet, for no reason in particular.
Reposted by Shriram Krishnamurthi
If you want to solve a problem, you can't just think outside the box, you should first convene a college of cardinals to define exactly what the box is and then decide in its licit or illicit uses. You know. Lateran thinking.
November 18, 2025 at 2:29 PM
If you want to solve a problem, you can't just think outside the box, you should first convene a college of cardinals to define exactly what the box is and then decide in its licit or illicit uses. You know. Lateran thinking.
Reposted by Shriram Krishnamurthi
“Gentlemen, with these GPUs we are at last in a position to achieve a scientific goal that has eluded this company for decades. We’re finally going to crush those white-coated Garnier bastards and their goddamn Laboratoire.”
November 18, 2025 at 10:45 AM
“Gentlemen, with these GPUs we are at last in a position to achieve a scientific goal that has eluded this company for decades. We’re finally going to crush those white-coated Garnier bastards and their goddamn Laboratoire.”
It's extremely frustrating to be sitting on one of the best ways to give students an intuition for NP-completeness, and have only a few dozen students at one university able to take advantage of it. (Hint: PBT.)
November 17, 2025 at 7:46 PM
It's extremely frustrating to be sitting on one of the best ways to give students an intuition for NP-completeness, and have only a few dozen students at one university able to take advantage of it. (Hint: PBT.)
Reposted by Shriram Krishnamurthi
The Ashes - known to me as my biennial attempt to pass myself off as a cricket fan - gets underway this week.
There's something really very wonderful about 5 day, unlimited over test cricket that, for me at least, cannot be reproduced in T20, ODIs or any other audience friendly format.
There's something really very wonderful about 5 day, unlimited over test cricket that, for me at least, cannot be reproduced in T20, ODIs or any other audience friendly format.
November 17, 2025 at 8:35 AM
The Ashes - known to me as my biennial attempt to pass myself off as a cricket fan - gets underway this week.
There's something really very wonderful about 5 day, unlimited over test cricket that, for me at least, cannot be reproduced in T20, ODIs or any other audience friendly format.
There's something really very wonderful about 5 day, unlimited over test cricket that, for me at least, cannot be reproduced in T20, ODIs or any other audience friendly format.
Was not expecting this plot twist in a Tina Brown interview.
![https://www.nytimes.com/2025/11/15/magazine/tina-brown-interview.html
Tina Brown: I’m always being asked by young people, How do I get into journalism? Often I say you should go to India, because India, in fact, has a very vibrant literary culture.
Interviewer: I can’t believe your advice is go to India.
Tina Brown: [Laughs] Yeah, it’s not popular. When I say that, you do see the light fade from the eyes.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ucjqs5d4mfb2bii7ta7cpur2/bafkreidc7pdkee3vmhb4wunsfkcwtivtnxeeks4wpae4xyhkcdnrfeoqqu@jpeg)
November 16, 2025 at 12:08 PM
Was not expecting this plot twist in a Tina Brown interview.
OMG it's @chazfirestone.bsky.social !
November 13, 2025 at 2:34 AM
OMG it's @chazfirestone.bsky.social !
The city with lots of artists and hence proper art stores came through, tyvm.
November 13, 2025 at 1:13 AM
The city with lots of artists and hence proper art stores came through, tyvm.
Just for the fun of it, I coded and posted Jensen's Device to my class today. (We are now in the non-SMoL part of the course. Miss conventional eager evaluation yet?)
Oh, of course I write my Algol code in @racket-lang.org , don't you?
Oh, of course I write my Algol code in @racket-lang.org , don't you?
![The following Racket program will print 5050 and then 338350.
#lang algol60
begin
integer procedure Sum(k, l, u, ak);
value l, u;
integer k, l, u, ak;
begin
integer s;
s := 0;
for k := l step 1 until u do
s := s + ak;
Sum := s
end;
integer i, idx;
integer array V[1:100];
for idx := 1 step 1 until 100 do
V[idx] := idx;
i := 1;
printnln(Sum(i, 1, 100, V[i]));
printnln(Sum(i, 1, 100, V[i] * V[i]));
end](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ucjqs5d4mfb2bii7ta7cpur2/bafkreigrsynwu7z5cdbqeoblodng4lwdmyapxovzgayuoilpc6m5uu4vzi@jpeg)
November 12, 2025 at 12:55 PM
Just for the fun of it, I coded and posted Jensen's Device to my class today. (We are now in the non-SMoL part of the course. Miss conventional eager evaluation yet?)
Oh, of course I write my Algol code in @racket-lang.org , don't you?
Oh, of course I write my Algol code in @racket-lang.org , don't you?
TFW your social media stream intersects with your university's colloquium stream: @chazfirestone.bsky.social is at Brown today!
today.brown.edu/events/20282...
today.brown.edu/events/20282...
Today@Brown
today.brown.edu
November 12, 2025 at 11:17 AM
TFW your social media stream intersects with your university's colloquium stream: @chazfirestone.bsky.social is at Brown today!
today.brown.edu/events/20282...
today.brown.edu/events/20282...
Australian War Memorial, Canberra.
November 11, 2025 at 7:09 PM
Australian War Memorial, Canberra.
Reposted by Shriram Krishnamurthi
One to get your mind working on a Monday #DailyCricketQuiz
November 10, 2025 at 4:00 AM
One to get your mind working on a Monday #DailyCricketQuiz
The first time I saw the Milky Way was actually when I was over 25. I'd lived in cities all my life. We want camping to New Mexico, and that first night out in the wilderness, I looked through our tent's mesh roof, said "wait, wtf", went out, and said, "Oh, *that's* what the ancients saw!!!"
Yeah. I knew that light pollution was a thing, but *seeing* lack of it firsthand is a different experience
November 10, 2025 at 1:55 AM
The first time I saw the Milky Way was actually when I was over 25. I'd lived in cities all my life. We want camping to New Mexico, and that first night out in the wilderness, I looked through our tent's mesh roof, said "wait, wtf", went out, and said, "Oh, *that's* what the ancients saw!!!"
Not sure about other places, but for those contributing, the PVD food drive we're contributing to says the things they are most short on are:
- cooking oil
- instant mashed potatoes
- instant coffee
- instant cake mix
(Unsurprisingly, food pantries are full of canned goods…)
- cooking oil
- instant mashed potatoes
- instant coffee
- instant cake mix
(Unsurprisingly, food pantries are full of canned goods…)
November 10, 2025 at 1:47 AM
Not sure about other places, but for those contributing, the PVD food drive we're contributing to says the things they are most short on are:
- cooking oil
- instant mashed potatoes
- instant coffee
- instant cake mix
(Unsurprisingly, food pantries are full of canned goods…)
- cooking oil
- instant mashed potatoes
- instant coffee
- instant cake mix
(Unsurprisingly, food pantries are full of canned goods…)
A good chunk of (the East Side of) Providence lost power tonight, and I'm super annoyed because it would have been one of the best urban star-watching nights in Providence in literally decades, but…we had clouds. (Maybe correlated, we had rain, which may have knocked out some equipment?)
November 10, 2025 at 12:52 AM
A good chunk of (the East Side of) Providence lost power tonight, and I'm super annoyed because it would have been one of the best urban star-watching nights in Providence in literally decades, but…we had clouds. (Maybe correlated, we had rain, which may have knocked out some equipment?)
Belgium has entered the chat.
Posts like this make me wonder if people have ever seen what happens in other countries. You don't have to *imagine* the counterfactual; you can literally just look it up. (It's not that I think 2-party is better than all others, but the trade-offs are in plain sight!)
Posts like this make me wonder if people have ever seen what happens in other countries. You don't have to *imagine* the counterfactual; you can literally just look it up. (It's not that I think 2-party is better than all others, but the trade-offs are in plain sight!)
November 9, 2025 at 11:23 PM
Belgium has entered the chat.
Posts like this make me wonder if people have ever seen what happens in other countries. You don't have to *imagine* the counterfactual; you can literally just look it up. (It's not that I think 2-party is better than all others, but the trade-offs are in plain sight!)
Posts like this make me wonder if people have ever seen what happens in other countries. You don't have to *imagine* the counterfactual; you can literally just look it up. (It's not that I think 2-party is better than all others, but the trade-offs are in plain sight!)
The especially irritating version of this is "email me for a preprint". In this, the year of our lord 2025, when the World Wide Web is 30+ years old, I have to use SMTP instead of HTTP?!? Is it really that hard to stand up a Web page, something teens could do on MySpace 25 years ago?
Scholars - if you're publishing articles behind a paywall, why not make your work accessible to everyone by also publishing a preprint version?
November 9, 2025 at 11:17 PM
The especially irritating version of this is "email me for a preprint". In this, the year of our lord 2025, when the World Wide Web is 30+ years old, I have to use SMTP instead of HTTP?!? Is it really that hard to stand up a Web page, something teens could do on MySpace 25 years ago?
Reposted by Shriram Krishnamurthi
Scholars - if you're publishing articles behind a paywall, why not make your work accessible to everyone by also publishing a preprint version?
November 9, 2025 at 10:14 PM
Scholars - if you're publishing articles behind a paywall, why not make your work accessible to everyone by also publishing a preprint version?
My lord, to be able to write science this well. This is like the opening of an econ or law paper.
From Donald Hoffman's "The Interface Theory of Perception",
sites.socsci.uci.edu/~ddhoff/inte...
From Donald Hoffman's "The Interface Theory of Perception",
sites.socsci.uci.edu/~ddhoff/inte...
November 9, 2025 at 12:07 AM
My lord, to be able to write science this well. This is like the opening of an econ or law paper.
From Donald Hoffman's "The Interface Theory of Perception",
sites.socsci.uci.edu/~ddhoff/inte...
From Donald Hoffman's "The Interface Theory of Perception",
sites.socsci.uci.edu/~ddhoff/inte...
Reposted by Shriram Krishnamurthi
Tech guys six months ago: haha yes we’re cutting all this WASTEFUL spending by eliminating medical research and USAID
Tech guys now: yes I think taxpayers will be excited to bailout my non consensual pornography machine
Tech guys now: yes I think taxpayers will be excited to bailout my non consensual pornography machine
November 8, 2025 at 11:02 PM
Tech guys six months ago: haha yes we’re cutting all this WASTEFUL spending by eliminating medical research and USAID
Tech guys now: yes I think taxpayers will be excited to bailout my non consensual pornography machine
Tech guys now: yes I think taxpayers will be excited to bailout my non consensual pornography machine