Shriram Krishnamurthi
banner
shriram.bsky.social
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.
110%. I wrote a small thread on this:
bsky.app/profile/shri...
Indeed: bitcoin, lottery, betting, all the same phenomena. I just think sports betting offers a special opportunity to demonstrate "edge" as opposed to pure luck or hope (assuming you don't believe in "lucky numbers", influencers, etc.). ↵
CC @samth.bsky.social @cscheid.net
November 22, 2025 at 3:12 AM
November 21, 2025 at 3:29 AM
We cursed, swore, and threatened the (teen!) kid about maintaining the second trio of rats.

Guess how well that worked out.

Thinking your kids will do the work is at a level of delusion akin to thinking your parrot will not rapidly learn to imitate the sound that most irritates you.
November 21, 2025 at 3:24 AM
Confirmation: everything is terrible (in MN).
November 20, 2025 at 12:01 PM
Fwiw, I reference (parrot?) your parrot advice on a regular basis, and was recently mentioning it to someone we mutually know (quite likely Milda Zizyte). The rats have been splendid. A few months after the last of our first trio passed away, we got a second trio!
November 20, 2025 at 2:49 AM
Thanks! The language has also grown a lot, but in a very conservative, "do we really need this for education" (as opposed to "let's write a paper about this!") way. On the home page, click the "Major Features" button. You can actually run all of them right now in your browser!
Pyret
The Pyret programming language
pyret.org
November 19, 2025 at 10:00 PM
Of course — we have tens of thousands of users every year, and growing!

And yes, as of this year, excellent offline support too!
pyret.org#devs

All almost entirely thanks to @joepolitz.bsky.social .
Pyret
The Pyret programming language
pyret.org
November 19, 2025 at 7:48 PM
Reposted by Shriram Krishnamurthi
November 19, 2025 at 5:17 PM
I used to do this all very abstractly. I made it way more concrete these year, referring to the Stop button in CPO, for instance, and the type-checker, and so on, so the flow was infinitely better.
November 19, 2025 at 5:51 PM
Ah — I did the HP first, *then* Rice's theorem. But instead of the latter being like the last 10 mins, I figured out how to do the first part better so I could split the time evenly.

Also, didn't do "proofs" (intro class!), I basically use the reduction here:
en.wikipedia.org/wiki/Rice%27...
Rice's theorem - Wikipedia
en.wikipedia.org
November 19, 2025 at 5:51 PM
I think it's not at all a coincidence that so much PL and verification work happened at Rice University.
November 19, 2025 at 5:49 PM
Hundreds an hour, no less. Every one a masterpiece.
November 19, 2025 at 2:41 AM
But the article clearly says "the top three best-selling cars in the region last year—the Dacia Sendero, the Renault Clio, and the Volkswagen Golf—were all good old-fashioned hatchbacks". This seems to be a statement about Ford, not Yurop? Also, the BYD models I saw in DE were pretty reasonable…
November 18, 2025 at 1:37 PM
No, you may have been overly sophisticated. (-:
November 18, 2025 at 2:51 AM
Haha, thanks for the offer! If I could just publish my class video, I'd be all set! But I can't. )-: Let me think about how best to produce this. Conversation won't b as crisp as I'd like it to be. It's critical that what I present be the truth…but of course it won't be the whole truth.
November 17, 2025 at 10:47 PM
I'm no good at this YouTube business. Maybe I'll write a blog post over winter break…
November 17, 2025 at 9:08 PM
Ah, not at all!
November 17, 2025 at 9:08 PM
Property-based testing.
November 17, 2025 at 8:01 PM