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 came up with a phrase that encapsulates how I feel about people posting obviously genAI comments in replies just because they had to go ask the AI about something: "we don't need you to claude that for us"

Am I the only one who thinks there's something extremely artificial-looking about the report? I really am not judging her personal appearance, just that there's a whiff of something very weird. Especially if you compare w/ how she looks in the last 2-3 seconds. Feels like it's not just lighting…

WPRI 12@wpri12.bsky.social · 2d ago

Wednesday marked the start of early voting in Rhode Island. Sophia Szabo spoke to the top three contenders for governor after yesterday's 12 News/Emerson College poll: https://www.wpri.com/news/elections/early-voting-for-rhode-island-general-election-begins/ 

Pleased to announce shplait/liquid, a liquid-typed version of shplait, the language of my book PLAI. This version adds liquid-typing, a form of refinement types. It's primarily meant to be a small language for pedagogic purposes to induce people to try grown-up ones later. ↵

After months of getting things done w/ Claude Code, I've spent ~5 days programming by hand in Lean and a liquid typed language and it's…SO GREAT? I love living in a world where I can get 1000s of mindless LOC in a minute, but also spend an hour on 10 gorgeous handcrafted lines.

Season 2 of @jarrodkimber.bsky.social's Double Century is one of the best abbreviated reports on race in cricket. Ostensibly about Basil D'Oliveira, it goes over a much longer history, even talking about US sports. This is the last episode, but listen to all 5. pocketcasts.com/podcast/comm...

2.05 - The Greatest Hundred

The conclusion to our story on race in cricket and the Basil D’Oliveira story. This is the final episode of this season. - This podcast is brought to you by our supporters at Patreon, if you like…

pocketcasts.com

Per this article, Google's electricity use grew ~40% in 2025 to 43 TWh. (Note: *all* of Google, which is much more than AI or US.) For context, I believe 43 TWh ~= everyone in the US • leaving one 14W LED light on all year, or • using 14 min of microwave/kettle per day. ketanjoshi.co/2026/07/01/g...

Google’s exponential path to climate-wrecking digital bloat

Google’s latest report reveals a completely unprecedented rise in energy consumption – more than any of us expected. Generative AI is a climate carbon bomb.

ketanjoshi.co