Shriram Krishnamurthi

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.

See https://mastodon.social/@shriramk/109302532598801863 for longer #intro.

I wish to be searchable by tootfinder

Work Home: https://cs.brown.edu/~sk/
Blog: https://parentheticallyspeaking.org/
ORCID: https://orcid.org/0000-0001-5184-1975

Public Key

npub19zcgum3vlyn4yst4r8frqlc84xhjqwgeqccf764x3au2cpk63npsjjju99

NIP-05 Address

shriramk_at_mastodon.social@momostr.pink

Profile Code

nprofile1qqsz3vywdck0jf6jg963n53s0ur6nteq8yvsvvyld2ng779vqmdgescprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmnts6wzkt

Publishing to

relay.momostr.pink

Author Public Key

npub19zcgum3vlyn4yst4r8frqlc84xhjqwgeqccf764x3au2cpk63npsjjju99

Show more details

Last Notes

2026-08-06 16:40:53 UTC

- reply

Kids running restaurants are super cute and never get old, even if the "food" is sometimes utterly inedible—those are in some sense the most memorable! (I say as in the next room, kid is baking a cake for a neighbor to say thanks for some help he gave. Fortunately the baking is A+.)

2026-05-30 14:26:09 UTC

Stepped out of my office to get some water yesterday, came back and saw my monitor looking like this, and momentarily considered making it my theme.
https://files.mastodon.social/media_attachments/files/116/663/984/349/513/057/original/29aa0f3e7ab6ab43.png

2026-05-21 21:27:31 UTC

Applications for the Secure Program Synthesis Fellowship by Apart Research are now open; you have 10 days to apply. I've listed two of my projects here; one more is heavily based on my work; and the rest are all fun too! Please feel free to share.
https://apartresearch.com/fellowships/the-secure-program-synthesis-fellowship

2026-05-01 10:40:36 UTC

- reply

I'm going to try it first and see how it works out. I feel like we should be rethinking the entire structure of conferences, but I've had no luck getting people to talk about it yet. But it's much easier to do once there's a concrete example.

2026-05-01 00:45:32 UTC

To make it easier esp. for junior folks (students, postdocs, jr faculty) to talk to me, I'm trying a new thing: open office hours at conferences! Come find me at PLDI 2026, using the public calendar linked to the page below. Please feel free to reshare!
https://cs.brown.edu/people/sk/Contact/Calendar/
https://files.mastodon.social/media_attachments/files/116/496/539/791/807/015/original/83ff4e2110089d7c.png

2026-04-13 03:11:29 UTC

- reply

Good lord, I didn't *write* anything with him! This is as close as I got!
But my Erdős number happens to be 3, I think, which happens to also be my Gates (as in Bill Gates) number.

2026-04-13 02:15:29 UTC

- reply

And finally, Paul Erdos (Erdős Pál) visited us and gave a talk, and kindly posed for photos. I was much better with a camera than my roommate, so he got the in-focus snap. (-: Unfortunately, this proximity did not make me any smarter, so here I am.
https://files.mastodon.social/media_attachments/files/116/394/985/133/107/366/original/e609733a2db81c08.png

2026-04-13 02:14:33 UTC

- reply

This, I'm realizing, is from my grunge band album cover photo era. My friends John, Eric, and Jeff pose with me in front of the bas-relief sculpture of the coronation of Szent István in Esztergom. ↵
https://files.mastodon.social/media_attachments/files/116/394/981/499/884/331/original/3e69d6a6626088e4.png

2026-04-13 02:14:09 UTC

- reply

I went into a bin to find old photos I haven't looked at in 30 years. Here's a symbolic one. The flag-with-the-hole was symbolic of the 1956 Hungarian Revolution, and this spot commemorates that event. It was revived after the end of the Soviet Union. I imagine some are flying it again now… ↵
https://files.mastodon.social/media_attachments/files/116/394/979/949/475/613/original/8d4bd971e1f03e01.png

2026-04-13 02:12:04 UTC

- reply

So I suspect it's not easy for many outsiders to understand Hungary. You have to view it both through the lens of its 1100 yr history, including long periods of non-independence, and through its linguistic isolation from its neighbors. And what it did under Nazis, and what was done to it by Soviets. ↵

2026-04-13 02:08:15 UTC

- reply

Also, due to its singular language, Hungary had never been a particularly diverse country. I remember very well how my Jewish friend and brown self would get *stared at, hard* in public places. What I saw in subsequent decades (eg, Jobbik) was a very obvious extension of what I'd experienced. ↵

2026-04-13 02:07:20 UTC

- reply

So it wasn't like HU had been a proper independent democracy that briefly lost independence. Rather, being on the Pannonian plains, it had been invaded from all directions: Mongols, Ottomans, Habsburgs, Nazis, Soviets. So it was like a fledgling trying out figure out what it *meant* to take wing. ↵

2026-04-13 02:06:29 UTC

- reply

It's also important to remember that while some countries were regaining autonomy, Hungary has a very long history of NON-autonomy. Even the Austro-Hungarian empire was A-H in name; the real power was in Vienna. The Hungarians had a definite inferiority complex about it, knowing they were second. ↵

2026-04-13 02:06:13 UTC

- reply

It was almost as if the country had gone into a deep sleep for decades, and then blinked hard at a very bright light. Of course Hungary had always been the most "Western" of the Eastern bloc, but that was still a pale shadow of what was happening in the West. ↵

2026-04-13 02:05:44 UTC

- reply

Within a period of *one month*, I experienced:
- bomb scare at the airport
- Pope's first visit (to a *very* Catholic country)
- Iron Maiden's first visit
- the Russian putsch (Yeltsin on the tanks), which reverberated hard in Hungary
- Unix coming East for the first time ↵

2026-04-13 02:05:24 UTC

- reply

It was an amazing time. Remember how Prague was "cool"? Budapest was the low-fi version of that — more real. Underground bars, street signs being changed, nobody spoke English, absolute mayhem. If it wouldn't be pretentious I'd write a small memoir of that time: ↵

2026-04-13 02:04:51 UTC

I have a particular fondness for Hungary because I spent a formative time studying there. It was just after The Wall came down. I had so many encounters that conveyed a sense of hope for a bright future. I imagine the squares of Budapest feel like that again right now. ↵

2026-03-01 17:03:47 UTC

Certainly picked an interesting day to walk past the Iranian embassy… There's not going to be a lot of quiet in Knightsbridge tonight!
https://files.mastodon.social/media_attachments/files/116/154/987/343/007/872/original/1255f651d9ff665e.png
https://files.mastodon.social/media_attachments/files/116/154/992/332/906/427/original/6fa39bf77f89d474.png

2026-01-29 14:33:22 UTC

View from Manhattan yesterday: the frozen Hudson, and the sun setting over NJ.
https://files.mastodon.social/media_attachments/files/115/978/871/591/569/738/original/896e4fb191f13d57.png

2026-01-25 16:17:04 UTC

Was editing and noticed that if you rotate-left "those" you get "ethos". Was curious how many of these are in English. Big dicts have a lot of junk, and most endings in "s" are for plurals. Here's a good list of rotwords.
https://files.mastodon.social/media_attachments/files/115/956/627/589/420/680/original/86b59bc7480cd611.png

2026-01-24 01:38:04 UTC

Thanks for the helpful auto-complete, Gmail.
https://files.mastodon.social/media_attachments/files/115/947/512/763/869/823/original/93fcca5e14977576.png

2026-01-19 17:47:21 UTC

Twice as many people die in car accidents *every day*.
https://files.mastodon.social/media_attachments/files/115/923/013/436/410/107/original/f6bcf1e7c6de1f4d.png

2026-01-17 17:50:13 UTC

Scheme, the ur programming language, is 50 years old, as Jason Hemann just reminded me.
https://files.mastodon.social/media_attachments/files/115/911/695/916/680/494/original/310cfae5ca80740d.png

2025-12-26 20:32:28 UTC

- reply

That's beautiful! Hope the birds like it as much.
How do you keep the squirrels out, or do you not care?

2025-12-14 16:26:39 UTC

Sorry for not offering this earlier, but if you're a parent of a Brown student and they need help (a ride, a coffee, whatever), please email me and I'm happy to try to help.
https://cs.brown.edu/~sk/Contact/

2025-12-13 23:09:00 UTC

We're all at home and doing fine, thanks for asking. (If you don't know what this is in reference to, don't worry.)
https://theonion.com/no-way-to-prevent-this-says-only-nation-where-this-regularly-happens/

2025-12-01 21:30:43 UTC

- reply

He was actually Czech (Tomáš Sträussler), which put his famous quote ("It's not the voting that's democracy, it's the counting") in perspective; he escaped as a Jewish refugee. He got to the UK via India, where his mom (appropriately) ran a Bata shoe store! Photo from Hermione Lee's biography.
https://files.mastodon.social/media_attachments/files/115/646/431/212/515/346/original/16a380cf336f19e8.png

2025-12-01 21:23:23 UTC

Tom Stoppard has passed away! He could be too clever by half, but at his best he was mind-altering; reading Rosencrantz and Guildenstern Are Dead as a youth was a profound experience. And as he wrote in that play: "Look on every exit as being an entrance somewhere else".

2025-11-09 00:07:27 UTC

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",
https://sites.socsci.uci.edu/~ddhoff/interface.pdf
https://files.mastodon.social/media_attachments/files/115/516/818/230/910/633/original/e66fcb87d26a2e84.png
https://files.mastodon.social/media_attachments/files/115/516/819/761/001/140/original/1a8935fffbb2b3b3.png

2025-09-28 13:47:49 UTC

Didn't expect that the thing I'd get radicalized by in Italy was…focaccia. I've had it in the US and never saw the appeal. But in Italy I popped into a supermarket chain's express store (not some fancy shop), got one, and…wow, I get it. Gonna keep searching for that high, now.

2025-08-04 12:30:05 UTC

TIL (HT @aaroneline) that Brown has one of the "finest private libraries" on magic and related content, the bequest of a collector who "put himself through Brown by giving magic performances". Libraries are amazing places.
https://library.brown.edu/collatoz/info.php?id=104

2025-07-17 00:08:14 UTC

Funny how Google doesn't even offer "Never" as an option — like they just don't want to know. (This is a pop-up on a Google blog page.)
https://files.mastodon.social/media_attachments/files/114/865/659/233/631/018/original/42f285fb204bc1f5.png

2025-06-26 03:34:08 UTC

It's been bothering me for a while, so I created a Racket extension to refer to variables by position: eg,
(define hypotenuse
(lambda 2
(sqrt (+ (square $0)
(square $1)))))
Why not. What fun. No more variable name choice paralysis! 🤣
https://github.com/shriram/lambda-n

2025-06-23 23:47:46 UTC

India arches (top to bottom): Humayun's Tomb (Delhi), Mysuru Palace (Mysuru), Qutub Shahi Tombs (Hyderabad).
https://files.mastodon.social/media_attachments/files/114/735/338/466/023/530/original/670e1170f9ebc2fa.png

2025-03-10 13:53:38 UTC

Providence/greater-Boston-area people: check out this talk on March 18 (register at ICERM site) by Junehyuk Jang, a Brown professor and member of the DeepMind team. A success of neuro-symbolic reasoning!
https://files.mastodon.social/media_attachments/files/114/138/466/081/350/712/original/9218d3644a40f347.png

2025-02-10 12:56:08 UTC

- reply

I really wish articles like this would explain how a "free" system intends to remain maintained, upgraded, and competitive over the coming years. What's the business model?

2025-02-01 17:25:03 UTC

Making steady progress on getting rid of DEIA: Democracy, Ethics, Institutions, and Accountability.

2025-01-07 13:59:09 UTC

- reply

Zoom was a genuine improvement over its predecessors, and is still better than Teams, so I don't think that's fair.

2025-01-06 19:28:28 UTC

Of all the UX improvements Zoom needs, they have decided to make precisely zero and instead enshittify it. Can't wait for someone to do to Zoom what Zoom did to Skype.
EDIT: You can turn this off, instructions here:
https://x.com/ajay9470/status/1876363012011180114
https://files.mastodon.social/media_attachments/files/113/782/923/926/755/520/original/c8b78dc0b476a72a.png
https://files.mastodon.social/media_attachments/files/113/782/924/358/447/939/original/a5c439dabff2b069.png

2025-01-06 14:21:37 UTC

Last year I asked a question about the state of tracing JITs, and it led to a wonderful exchange. @npub1yku…n4mh has written a terrific summary that captures a lot of folk knowledge that would otherwise be lost. Thanks!
https://pypy.org/posts/2025/01/musings-tracing.html

2024-12-12 13:38:27 UTC

- reply

Well, you have the right root!

2024-12-12 00:15:05 UTC

Wife [doing NYT puzzle]: I need a 6-letter word beginning with OO.
Me [having prepared for this moment for a Very Long Time]: OOPSLA!!!!!!
(Yes, I do know the word: ad49aea7bca6ba469c245a7faf84d7f4cbb04cf30d6485b3cb4ef86297401fb8. Don't say it, people might still be doing it.)

2024-12-02 03:19:18 UTC

Sometimes it takes me 22 years (+ one evening) to write a blog post. Here are my thoughts on "homoiconicity" and, as an alternative, "bicameral syntax". (Warning: 4000 words.)
https://parentheticallyspeaking.org/articles/bicameral-not-homoiconic/

2024-11-03 21:24:01 UTC

A while ago I had a Twitter thread encouraging people to write more books. @npub1xv0…tl3w urged me to turn it into a proper blog post, and I just have: "You Too Can Write a Book!"
https://parentheticallyspeaking.org/articles/write-a-book/

2024-10-18 02:02:38 UTC

Pretty certain the single most surprising thing I've learned in the recent past is that the VIKINGS got to BAGHDAD and repeatedly attacked CONSTANTINOPLE. (They used the Volga&Dnieper.) Not a word about it in my entire education! Here's a brief history:
https://www.history.com/news/globetrotting-vikings-the-quest-for-constantinople

2024-10-11 14:40:49 UTC

An absolutely WILD story where almost every paragraph is quotable. Eg, Walgreens spends $184K/month just to power 5400 defunct machines. The machines contain COOLANTS! Each of our "conveniences" hide so much complexity; this opens the (red)box on one.
https://www.wsj.com/business/retail/redbox-vending-machine-kiosk-dvd-movies-4e285ee8?mod=hp_featst_pos5

2024-10-09 12:09:56 UTC

At this point it's obvious that the Nobel for Literature is going to ChatGPT.

2024-09-24 11:36:05 UTC

- reply

I ride so I can snack. But I don't ride enough whereas I definitely snack enough. <-;

2024-09-24 11:31:15 UTC

- reply

But also seems like a good opportunity to sell products by the kind of people whose advertising props up these kinds of magazines? I feel like I've also read my share of "*most* riders don't ride hard enough to need any of this fancy stuff".

2024-09-20 12:23:24 UTC

1/ Recently got access to Google's Illuminate, which AI-generates a ~6min "podcast"-format summary of a research paper. To test it, I gave it 5 of my own recent papers. This thread summarizes the evaluation: ↵

2024-09-16 11:52:59 UTC

- reply

How is this "disruptive"?

2024-08-14 14:26:39 UTC

My colleague Amy Greenwald just sent me this talk slide. It's from Jesús Fernández-Villaverde, an *economist*.
We have so won.
(I mean, I have *thoughts* about this content and his course slides, but also… We have so won.)
https://files.mastodon.social/media_attachments/files/112/960/830/713/619/011/original/208bcb48171896d1.png

2024-08-10 01:01:59 UTC

Wessex Inst of Tech has sent me unsolicited commercial email about their conferences. I will not comment on their quality, but simply encourage everyone to read these classic Wessex papers, which includes maybe the greatest graphics paper ever written.
https://users.cg.tuwien.ac.at/wp/videa-paper.html
https://files.mastodon.social/media_attachments/files/112/935/013/224/874/716/original/e7645e53a95b7465.png

2024-07-31 15:43:04 UTC

After having taken the time to learn to say Eyjafjallajökull correctly, I'm annoyed that Iceland is shoving a new volcano on our menus.
https://files.mastodon.social/media_attachments/files/112/881/866/027/415/668/original/04d2fcfcc56372f3.png