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?
Australian War Memorial, Canberra.
November 11, 2025 at 7:09 PM
Australian War Memorial, Canberra.
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!)
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...
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.)
Feeling triggered by the ACM.
November 8, 2025 at 1:59 AM
Feeling triggered by the ACM.
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...
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).
Lost my ball-point pen. Went to Staples to get a new one, and felt depressed. Remembered that I had this old box of fountain pens my dad had given me. Decided to revive one of them, impractical as it is. So the Sheaffer inlaid nib it is for now, for the ~10-15 words/month that I write by hand…
November 6, 2025 at 1:12 PM
Lost my ball-point pen. Went to Staples to get a new one, and felt depressed. Remembered that I had this old box of fountain pens my dad had given me. Decided to revive one of them, impractical as it is. So the Sheaffer inlaid nib it is for now, for the ~10-15 words/month that I write by hand…
Popped into a store to get a beer to go with tonight's Game 7, and this seemed rather appropriate given the dramatis personae…
November 1, 2025 at 11:22 PM
Popped into a store to get a beer to go with tonight's Game 7, and this seemed rather appropriate given the dramatis personae…
From reporting about last night's World Series Game 6: This is the kind of amazing act that makes someone a professional. Not only the sensory ability but also the ability to act on it in a fraction of a second. And it completely changed the game's outcome.
November 1, 2025 at 2:44 PM
From reporting about last night's World Series Game 6: This is the kind of amazing act that makes someone a professional. Not only the sensory ability but also the ability to act on it in a fraction of a second. And it completely changed the game's outcome.
OMG!
But what about the flags? (-:
But what about the flags? (-:
October 31, 2025 at 12:27 AM
OMG!
But what about the flags? (-:
But what about the flags? (-:
This is the end-point of extractive AI. First get people to upload everything, then suck everything out of it, then get AI to generate all the answers. I wonder how this cycle continues. (If it means Chegg can't continue the cycle…paint me so sad.)
October 29, 2025 at 9:02 PM
This is the end-point of extractive AI. First get people to upload everything, then suck everything out of it, then get AI to generate all the answers. I wonder how this cycle continues. (If it means Chegg can't continue the cycle…paint me so sad.)
It's forbidden to play this game on the Singapore subway.
[Game designer says "we designed a fast-paced, educational game that teaches players to differentiate durian types while maintaining the original's chaotic fun". www.sgboardgamedesign.com/post/creator... ]
[Game designer says "we designed a fast-paced, educational game that teaches players to differentiate durian types while maintaining the original's chaotic fun". www.sgboardgamedesign.com/post/creator... ]
October 27, 2025 at 11:40 AM
It's forbidden to play this game on the Singapore subway.
[Game designer says "we designed a fast-paced, educational game that teaches players to differentiate durian types while maintaining the original's chaotic fun". www.sgboardgamedesign.com/post/creator... ]
[Game designer says "we designed a fast-paced, educational game that teaches players to differentiate durian types while maintaining the original's chaotic fun". www.sgboardgamedesign.com/post/creator... ]
Kathi asks ChatGPT "how to test a graph algo".
Repeats the query 6 months later…now it mentions PBT.
Huh! We ask it why it mentioned PBT. It cites back…
Our own papers and blog, and specifically mentions our own education research work on why graph algos are a great eg.
Moving the needle!
Repeats the query 6 months later…now it mentions PBT.
Huh! We ask it why it mentioned PBT. It cites back…
Our own papers and blog, and specifically mentions our own education research work on why graph algos are a great eg.
Moving the needle!
October 24, 2025 at 12:54 AM
Kathi asks ChatGPT "how to test a graph algo".
Repeats the query 6 months later…now it mentions PBT.
Huh! We ask it why it mentioned PBT. It cites back…
Our own papers and blog, and specifically mentions our own education research work on why graph algos are a great eg.
Moving the needle!
Repeats the query 6 months later…now it mentions PBT.
Huh! We ask it why it mentioned PBT. It cites back…
Our own papers and blog, and specifically mentions our own education research work on why graph algos are a great eg.
Moving the needle!
Haha, that was great fun!
Which building is that last photo from?
I'm going to visit you in the spring and hard-mode you on pedagogy.
Btw: "Pyret", not "PyRet".
Which building is that last photo from?
I'm going to visit you in the spring and hard-mode you on pedagogy.
Btw: "Pyret", not "PyRet".
October 23, 2025 at 7:19 PM
Haha, that was great fun!
Which building is that last photo from?
I'm going to visit you in the spring and hard-mode you on pedagogy.
Btw: "Pyret", not "PyRet".
Which building is that last photo from?
I'm going to visit you in the spring and hard-mode you on pedagogy.
Btw: "Pyret", not "PyRet".
Huh! It works for me from home. I was doing this from our public library. I don't see how that could have made a difference? I'll just say that the cert I saw there mentioned Amazon and was issued, I believe, on Oct 1 (should have screenshotted!), and the one I see now at home has neither:
October 21, 2025 at 1:38 AM
Huh! It works for me from home. I was doing this from our public library. I don't see how that could have made a difference? I'll just say that the cert I saw there mentioned Amazon and was issued, I believe, on Oct 1 (should have screenshotted!), and the one I see now at home has neither:
It's fun reading this paragraph after having just returned from Singapore.
October 20, 2025 at 2:59 PM
It's fun reading this paragraph after having just returned from Singapore.
Colleges are visiting my kid's school today, and each one does their best to make their name stand out.
October 20, 2025 at 12:00 PM
Colleges are visiting my kid's school today, and each one does their best to make their name stand out.
Was chatting with the guy next to me in the airport lounge in Istanbul. He's a Zürcher, and *he* considers Singapore "too clean". This from a city where people wipe down the outsides of trashcans. But here's one from SG of people vigorously scrubbing escalator steps.
October 19, 2025 at 12:19 PM
Was chatting with the guy next to me in the airport lounge in Istanbul. He's a Zürcher, and *he* considers Singapore "too clean". This from a city where people wipe down the outsides of trashcans. But here's one from SG of people vigorously scrubbing escalator steps.
I got into a great research collaboration thanks to Twitter. I got into another great one thanks to Facebook. There is zero chance I'd have even found those people but for those convos (which were both started by a third party and I stumbled on them). Think I have a third one too?
October 8, 2025 at 8:45 PM
I got into a great research collaboration thanks to Twitter. I got into another great one thanks to Facebook. There is zero chance I'd have even found those people but for those convos (which were both started by a third party and I stumbled on them). Think I have a third one too?