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.
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
Reposted by Shriram Krishnamurthi
Yes!!!!! This is such a wonderful moment in history.
Hit for six: why India’s Women’s Cricket World Cup win is victory for equality
Sacrifices made to reach final – defying social stigma, lack of resources and juggling jobs between training – makes victory still more extraordinary
www.theguardian.com
November 7, 2025 at 7:15 PM
Yes!!!!! This is such a wonderful moment in history.
First new bar tape pattern in ~15 years. My LBS was out of my customary orange, so instead of ordering, I went with this Italian 90s-retro pink-zebra look. Also to celebrate having visited the Giro this year. (Taped by LBS, not me, that's why it looks so good! I'm a clumsy oaf.)
November 8, 2025 at 4:17 PM
First new bar tape pattern in ~15 years. My LBS was out of my customary orange, so instead of ordering, I went with this Italian 90s-retro pink-zebra look. Also to celebrate having visited the Giro this year. (Taped by LBS, not me, that's why it looks so good! I'm a clumsy oaf.)
I think the problem is that without more knowledge, TWO readings are valid: it could be a list of 3 items, or it could be two items with a parenthetical. In both cases a comma would help, but in only one would it be an Oxford comma. And either way, adding it still wouldn't disambiguate. Amazing!
November 8, 2025 at 2:12 PM
I think the problem is that without more knowledge, TWO readings are valid: it could be a list of 3 items, or it could be two items with a parenthetical. In both cases a comma would help, but in only one would it be an Oxford comma. And either way, adding it still wouldn't disambiguate. Amazing!
My bike came back earlier than expected so it's time to get a new winter virtual trainer subscription. I love(d) FulGaz: high-quality videos, great locales, zero gamification if you want it, good display. Has Rouvy broken that? Any similar alternatives? Otherwise I'm going to default back to them…
November 8, 2025 at 2:07 PM
My bike came back earlier than expected so it's time to get a new winter virtual trainer subscription. I love(d) FulGaz: high-quality videos, great locales, zero gamification if you want it, good display. Has Rouvy broken that? Any similar alternatives? Otherwise I'm going to default back to them…
Feeling triggered by the ACM.
November 8, 2025 at 1:59 AM
Feeling triggered by the ACM.
Opened my todo list to discover that earlier today, I'd added an entry that reads "Max design". I have no idea what this is referring to. Wrong answers only please.
November 8, 2025 at 12:32 AM
Opened my todo list to discover that earlier today, I'd added an entry that reads "Max design". I have no idea what this is referring to. Wrong answers only please.
For what it's worth, today I got a new SRAM big chainring for my bike chain. It's all RAMs and chains all the way down.
I have bought
the RAM
that was in
the supply chain
and which
you were probably
saving
for AI
Forgive me
it was delicious
so sweet
and so cold
the RAM
that was in
the supply chain
and which
you were probably
saving
for AI
Forgive me
it was delicious
so sweet
and so cold
November 7, 2025 at 11:45 PM
For what it's worth, today I got a new SRAM big chainring for my bike chain. It's all RAMs and chains all the way down.
Good ol' Roger Williams makes it into the London Review of Books! www.lrb.co.uk/the-paper/v4...
November 7, 2025 at 9:25 PM
Good ol' Roger Williams makes it into the London Review of Books! www.lrb.co.uk/the-paper/v4...
Reposted by Shriram Krishnamurthi
I have bought
the RAM
that was in
the supply chain
and which
you were probably
saving
for AI
Forgive me
it was delicious
so sweet
and so cold
the RAM
that was in
the supply chain
and which
you were probably
saving
for AI
Forgive me
it was delicious
so sweet
and so cold
November 7, 2025 at 6:18 PM
I have bought
the RAM
that was in
the supply chain
and which
you were probably
saving
for AI
Forgive me
it was delicious
so sweet
and so cold
the RAM
that was in
the supply chain
and which
you were probably
saving
for AI
Forgive me
it was delicious
so sweet
and so cold
Reposted by Shriram Krishnamurthi
If sandwich shops don’t start offering a sandwich named “the acquittal” then what are we even doing
November 6, 2025 at 9:27 PM
If sandwich shops don’t start offering a sandwich named “the acquittal” then what are we even doing
Oh good! Someone from the @racketlang community can weigh in on the benefits.
Oh wait…
Anyway, sooner or later the time for computable reals will come. I'm still HODLing stock in continued fractions (and teaching them every year to my first-year students).
Oh wait…
Anyway, sooner or later the time for computable reals will come. I'm still HODLing stock in continued fractions (and teaching them every year to my first-year students).
November 6, 2025 at 7:33 PM
Oh good! Someone from the @racketlang community can weigh in on the benefits.
Oh wait…
Anyway, sooner or later the time for computable reals will come. I'm still HODLing stock in continued fractions (and teaching them every year to my first-year students).
Oh wait…
Anyway, sooner or later the time for computable reals will come. I'm still HODLing stock in continued fractions (and teaching them every year to my first-year students).