Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏 @ShriramKMurthi Twitter profile

Pinned Tweet

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

3 years

It is with immense pleasure that @KathiFisler , Ben Lerner, @joepolitz , and I announce the first version of our new book, DCIC: a Data-Centric Introduction to Computing. This brief thread explains the book a little. 1/10

46

164

784

Last Seen Profiles

@FromovAvem

@ClaytonHSHoops

@NamedSport

@Ecojan86

@isthatmike03

@StoryMazM

@GrSaravanan20

@BrentPoland1

@JohnVignocchi

@filmforjuly

@cascade0x

@DexterStickgirl

@Fusselrolle1

@jimfarmer

@vamppuc

@ZayEmpress

@LESeditorial

@SebeNkambule

@realmikepulman

@Lucas999993

@SEgirlsbsktball

@nuuvem

@DocBerle

@waziirx

@ropheotc

@pengen_stw

@FSerita63128

@Dagora_BNBChain

@dweanjoh

@b88134222

@Zamo15_

@Bondo2z

@basketbox33

@Zeus_j6

@Shturman_kkkkkk

@CHSTrackandFie1

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

I've read multiple times that Reddit 1.0 was written in Lisp. I didn't realize the source is public. It's amazing. You can read the whole thing in one sitting. Even an undergrad could. It's like the essence of a…Reddit. We took a wrong turn w/ software.

GitHub - reddit-archive/reddit1.0

Contribute to reddit-archive/reddit1.0 development by creating an account on GitHub.

github.com

72

763

6K

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

Authors adjusting LaTeX itemize spacing.

Stefan Plattner 💙✌

@splattne

4 years

A perfectionist

469

13K

44K

18

300

2K

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

YOU WON'T BELIEVE what it looks like to have an IDE for the TABLOID programming language!

17

180

1K

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

1/ Many will tell you why Python is great for teaching coding, so I'll tell you ways it's not. State is a bad default. It should be legal but safe & rare. The arc of programming is long and bends towards immutability. Its early use creates messes (eg, "a variable is a box".) ↵

51

174

1K

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

5 years

This line changed my life.

Prof. Feynman

@ProfFeynman

5 years

There's a big difference between knowing the name of something and knowing something.

27

2K

5K

15

191

1K

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

These @rustlang ads are getting out of control.

Ars Technica

@arstechnica

2 years

A bug lurking for 12 years gives attackers root on every major Linux distro by @dangoodin001

14

226

594

11

120

812

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

1/ CW: Holocaust. Since most of you will never visit Erfurt, a short thread on how engineering prowess devoid of humanity can lead to the most evil kinds of technological progress. A warning for all techies. I'll start in the next tweet for those for whom this is too much. ↵

22

276

782

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

Proposal for a new kind of test-of-time award: conferences look at the papers they REJECTED N years ago, find the most impactful, and give it an award. We have the Grammys, Emmys, Tonys…so this one we should call the Oopsies.

26

93

738

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

7 months

Rust module replacing part of a C++ codebase.

16

50

708

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Live view of Haskell programmer: supremely happy and content, barely a ripple of visible side-effect, and using far too much space.

Round Boys

@round_boyz

3 years

Hippo

37

375

2K

17

62

618

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

Just got a paper rejected from SIGCSE for not understanding the literature on program-by-design as personified by /How to Design Programs/ by Felleisen, Findler, Flatt, and Krishnamurthi. (-: [Fun supplement: Reviewer almost certainly outed themselves, in the process.]

26

29

610

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

Jeff Siskind has sent me email with the full account of the development of STALIN and it's every bit as epic as I remember. I would like you to contemplate the absolute beast-mode coding that we are talking about here. I do not joke when I say this should be in a computer museum.

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

I believe Jeffrey Siskind wrote much of the STALIN compiler—one of the most impressive of all time—largely on the moral equivalent of a calculator (a ~3-line LCD), I think while riding the Toronto metro. Absolute God Mode programming. Maybe @BAPearlmutter can confirm.

2

8

126

12

122

590

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

Was curious to see how this would play out. Sure enough: Karikó: "Then years ago I was kicked out from Penn and was forced to retire". Penn's home page: "Katalin Karikó and Drew Weissman, Penn’s historic mRNA vaccine research team, win 2023 Nobel Prize in Medicine"

The Nobel Prize

@NobelPrize

9 months

“Ten years ago I was kicked out and forced to retire.” Our new medicine laureate Katalin Karikó ( @kkariko ) told us how much it means to be awarded the Nobel Prize after a scientific career that has been full of challenges. Ten years ago, Karikó was still doing all her

376

8K

26K

12

65

529

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

5 years

This man literally has no idea what he's talking about. Stay in your lane, dude.

Uncle Bob Martin

@unclebobmartin

5 years

Thus, the testing burden is independent of typing. The number of tests you write and execute is unaffected by the type system of your language.

22

8

54

34

118

511

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

I have just had a paper rejected from arXiv. Ask me anything about academic publication.

22

21

486

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

5 years

I'm the opposite. If there's such a high chance someone else will scoop you, you're working on the wrong problem. Someone else will solve it anyway; move on to something that not enough people are thinking about. Paranoia is unhealthy; if it's necessary, switch problems. Solved.

Jimmy Lin

@lintool

5 years

As I say to my students... be paranoid: someone is working on your idea right now. (what opportune timing since most of the ACL flag plants were just posted moments ago on arXiv)

3

1

15

18

67

485

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

My best guess: Rust got people thinking, I want a lang - with useful types (no Python/C) - not neutered (no Go) - has regular state (no Haskell) - isn't legacy-warped (no Scala) - doesn't cause pain when you don't need it (no Rust) and that leaves… Is that it?

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

@sabine_s_ I'm sort of baffled by the sudden explosion of OCaml in my TL, but given that I've been yelling at people online to learn Standard ML since, oh, 1995, I'm down for it. That said, OCaml sort of is the Rome — more modern, more decadent — to SML's Greece…

10

9

124

45

38

483

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

The way computer science students always obsess about immediate, low-level, peephole-level operations for "efficiency" and completely disregard, e.g., data representations, which have vastly bigger impact, is a great illustration of the availability heuristic/bias.

23

58

467

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

@nameshiv It's going to be great when he's ten minutes late tomorrow.

1

2

444

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

My FAQ on getting a computer science PhD in the USA. Answers to over 35 questions. Happy to hear feedback from faculty who disagree with some of these answers.

22

127

447

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

distributed US systems government 🤝 leader election is hard

10

52

444

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Give me a fucking break Georgia Tech. I'm tired and busy and have a million other things to get done before tomorrow to figure out the difference between 1% and 2% (precision!) in *13* areas. If you don't take my student, be assured it'll be your loss. As my letter says. Read it.

22

12

437

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

We have won. They've literally added a LAMBDA keyword to … Excel. (HT student Paul Biberstein who pointed it out)

Announcing LAMBDA: Turn Excel formulas into custom functions

Today we are releasing to our Beta customers a new capability that will revolutionize how you build formulas in Excel. Excel formulas are the world’s most..

techcommunity.microsoft.com

8

90

401

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

11 months

@MarkMoyou @linylinx "8 papers" is not a "specific skill" — it's not a skill at all. Actual skills (packages, languages, mathematics, concepts, etc.) are. This has clear indications of having been written to obtain a particular pre-selected candidate, given the very specific number.

5

7

405

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

That's a pretty spicy take, Zoom transcription.

19

6

402

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

@paulg 11yo's teacher asked students to go ask parents to change allowance: 1c on day 1, doubling every day, reset end of month. Apparently several parents went for it. (We gave ours a strong glare. She admitted she didn't think we'd fall for it.)

10

19

366

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

7 months

[reads news about Sam Altman] [closes newspaper] [takes a deep pull from pipe] "Well, see, AI's just cost another person their job."

14

29

362

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Live view of C programmer managing resources manually.

Farabalẹ̀

@odala__

3 years

Each second more chaotic than the last

6K

87K

578K

14

36

351

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

Very sad to announce that Eugene Charniak, a statistical NLP pioneer ("Charniak parsing"), inaugural class ACL fellow, etc., passed away this morning. Here's an article written at his retirement, looking back on his career.

The Nature Of Life, The Nature Of Thinking: Looking Back On Eugene Charniak’s Work And Life

After more than forty years at Brown, after publishing four books and dozens of papers and earning some of the highest honors in his field, Eugene Charniak is retiring. “We’ve been extremely...

cs.brown.edu

20

75

333

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

I'm devastated to hear that William Cook passed away on Wed. Much of 1990s OOP was defined by his seminal papers. When he returned after a decade in industry (AppleScript!) I invited him to @BrownCSDept (where he got his PhD from Peter Wegner) and we became friends. Tragic.

22

64

333

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

6 months

Them: What's your name? Me: Shri. Them: Oh, okay.

17

3

315

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

8 months

I read that people were calling the Obsidian note-taking app a "cult", and it seems like every two years there's another new hot note-taking app. My conjecture: the hard part is thinking clearly, and people keep hoping the next one will help with that. (Spoiler: likely won't.)

45

23

314

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

7 months

Think about the day Satya Nadella is having, both Indian cricket and OpenAI disintegrating at the same time. Hopefully he has two monitors.

Deedy

@deedydas

7 months

Indians today are so torn between following tech drama and the cricket world cup.

179

297

5K

16

310

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

5 years

Presumably using Racket.

8

23

296

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Scientific writing.

Jeremy

@HandwavingComic

3 years

Journey

0

60

286

6

33

298

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

7 months

Wait till they hear about Galois.

ali

@_ali_taylor

7 months

holy shit van gogh committed suicide AT 37 YEARS OLD? he created all of that art by 37???

98

16

812

20

19

292

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

I'm excited about the new Verse programming language from epic games, but I'm also terrified about all the awful paper titles it's going to spawn: Verse is Better, For Better or Verse, etc.

21

19

286

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

1/ "What programming language should I teach?" is the least productive question to ask in computing. There's a good reason: it's the wrong question to ask. The reason language wars feel pointless is that they're a symptom of this problem. Here's why: ↵

13

62

289

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 months

Exactly the same for programming contests.

adithya

@00aleph00

3 months

a fascinating take by William Thurston on the effect of math competitions!

18

151

799

14

52

282

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

With others, I've been building programming environments for students for a long time, & I've learned several design principles. I decided to write them up, including an unpublished one that has driven our past few years of work. "What is a Pedagogic IDE?"

18

66

286

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Why do I freakin' love my job? I left open how to do subtraction with Church numerals (having worked up through multiplication), and a student FIGURED IT OUT HERSELF. (Church himself was stumped!) She's applying to some of your PhD programs. (-:

9

11

281

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

I just love watching programmers discover sensible languages. Sure, we've had this for literally decades, but let's welcome such people and grow the community.

29

12

275

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Am I the only person who finds it ludicrous that GitHub Copilot is free for students but not for instructors, who need to test how it will mess up their assignments? Is this Microsoft's idea of being a good citizen and friend of academia?

33

22

268

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

Very few people know this but when designing the original @racketlang logo, we realized the lambda had another meaning, thought about it for a second, and decided all the more reason to go for it. So a pride version of it is…actually especially appropriate—it's always been one.

2

30

264

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 months

1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts: ↵

Forge: A Tool to Teach Formal Methods

blog.brownplt.org

5

60

267

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 months

This has such "Related Work section" energy.

Sheel Mohnot

@pitdesi

4 months

Zuck on the Apple Vision Pro He's still got fire in him, love to see it

2K

6K

73K

12

19

260

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

10 months

Everyone's going to use this just to finally have a clean, simple, installation-hassle-free version of Python.

cephalopod

@macrocephalopod

10 months

sorry what the fuck

178

402

6K

15

16

253

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

5 years

This talk was a labor of love for me. This paper (Felleisen's "On the Expressive Power of Programming Languages") changed my life. I was delighted to revisit it 25 years after reading it. [thread»]

On the Expressive Power of Programming Languages by Shriram Krishna...

PWLConf 2019 Link: https://pwlconf.org/2019/shriram-krishnamurthi/Slides / Captions: https://github.com/papers-we-love/pwlconf-info/tree/master/2019/shriram-...

www.youtube.com

7

61

258

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

@yar_vol Yes, I've written software, thanks. And it's ironic that you would bring up iOS apps, on which Reddit has such a strong reputation for quality…

1

0

248

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

Me, complaining that Jeff Siskind, my laptop is slow, writing STALIN, my keyboard is crap, the world's and the screen could greatest ever perhaps be a bit bigger: optimizing compiler:

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

Jeff Siskind has sent me email with the full account of the development of STALIN and it's every bit as epic as I remember. I would like you to contemplate the absolute beast-mode coding that we are talking about here. I do not joke when I say this should be in a computer museum.

12

122

590

11

23

248

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 months

New blog post: "How to Teach Writing Research Papers"

11

45

252

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

Begging AI courses to step back from their giant linear algebra number crunching machines and ask students to once again implement and play with trivial and puny Eliza.

Lilian Weng

@lilianweng

9 months

Just had a quite emotional, personal conversation w/ ChatGPT in voice mode, talking about stress, work-life balance. Interestingly I felt heard & warm. Never tried therapy before but this is probably it? Try it especially if you usually just use it as a productivity tool.

578

216

3K

18

32

250

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

7 months

As Gary Lineker might have said, "Cricket is a simple game. Twenty-two men chase a ball for 7 hours and at the end, the Australians win."

10

23

248

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Property-based testing is an important upcoming topic in software reliability, but it gets no attention in computing education. We've been trying to fix that. This blog post summarizes our work and points to a recent paper with lots more detail. »

Teaching and Assessing Property-Based Testing

blog.brownplt.org

16

48

245

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

Kid tells me about an optional math homework she chose not to do. I ask why not. K: It's all about order of operations!!! M: So?!? K *rolls eyes*: Just use parentheses and you're done. [exits stage right] #parenting

16

7

243

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

People who complain "CS students today don't even take X!": do you know how much CS has grown? I pulled up the @BrownCSDept course list and marked in yellow all courses that did NOT exist ~20y ago (when many grumblers graduated). YMMV, but there are way, WAY more things to learn.

25

43

241

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

10/ The next generation of computing problems will not be about writing 80s style 5-line for-loops. It'll be about properties, specification, reasoning, verification, prompt eng, synthesis, etc. How will we get there? And no, I will not be taking questions. (-:

12

25

239

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

I love my job. At 9am I taught Dijkstra's algo, at 11 I'm doing Hindley-Milner. Two Turings in one day! H-M is one of the most beautiful algos and yet is ~never done in algo classes. Also illustrates a profound principle: decompose HARD problem into 2 easy steps, one v reusable!

9

5

238

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Serious question: Why do you think recursion is hard? I feel much of the recursion literature in CS Ed is (IMO) pretty crap. I'm interested in hearing what you think makes it difficult to learn or use. (If you never found it hard, I'm not interested in your ramblings. <-;)

187

19

230

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Finally replied to an email from April 2017. My excuse: We had to write a book to include in the reply.

5

2

239

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

@_briidgetk May I suggest doing it AFTER you get your grades?

3

0

237

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Duolingo perfectly capturing the French restaurant experience.

15

12

236

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Yaron (Ron) Minsky

@yminsky

2 years

Jane Street loves Python, and we're looking to hire people with deep experience building dev tools for Python at scale. More here!

9

46

319

5

14

226

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

What a country: It launches people to the stars at the same time that it shoves necks to the ground. One is awe-inspiring, the other beyond disgusting. In that sense 2020 is just like 1968. (Apollo successes happened to a backdrop of King's assassination, the DNC Convention, ….)

14

35

223

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

And that, children, is the difference between static and dynamic scope.

The New York Times

@nytimes

4 years

The Republican Party's 2020 platform is exactly the same as its 2016 platform. That means it condemns the “current” president — who in 2016 was, of course, Barack Obama — and calls the White House a risk to "the survival of the internet."

1K

4K

10K

7

36

220

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 months

1/ Once you look past syntax and "paradigms", many programming languages (Java, Python, Racket, …) share a common semantic core. But students seem to understand it very poorly, which leads to endless confusion (as often seen on here). What to do? ↵

Finding and Fixing Standard Misconceptions About Program Behavior

blog.brownplt.org

5

38

224

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

1/ Several people have asked me to summarize my exploration of the low-code/no-code space. Here's what I learned. Note that this is VERY temporal: what's true today may not be in one month (especially with so much VC money sloshing about). Also, not tagging any companies. 🧵

2

45

223

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

A blog post summarizing our year+-long work on teaching Rust ownership, spearheaded by @tonofcrates and Gavin Gray! Though there are two visualizations that are nice and effective, the post also points to the essential insights (which aren't those).

A Grounded Conceptual Model for Ownership Types in Rust

blog.brownplt.org

2

62

221

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

5 years

Don't patronize us, @TheOfficialACM . We're the "talent" that produce what you sell (and some of us are also the taxpayers who fund the talent). You had a choice and decided to come out on the wrong, wrong side of history. WE ARE STAKEHOLDERS IN EVERY WAY - where's OUR feedback?

Cherri Pancake

@pancakeACM

5 years

@tdietterich @esa Just to clarify, ACM itself has a long and growing list of Open Access initiatives in support of our members and authors: But we support other publishers in protesting a regulatory change that doesn’t involve stakeholder feedback

12

2

3

0

51

217

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Always one of my Happy Places: the Lauterbrunnen Valley.

15

6

220

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Life in a college town (embedded in a medium-size city). Based on my priors, I'd say there's a highly probability this is a faculty member's house. (Though we do also have professional biostatisticians and the like lurking about.) Providence, #RhodeIsland

11

7

218

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Why am I inviting this guy to speak at Brown, again?

11

5

217

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Hugh Lauer's 1972 PhD, Correctness in Operating Systems, is a classic (and spawned great work). Until now it was not online. Hugh has spent two weeks scanning it. Make sure your students know about it—concurrent verification wasn't invented last decade!

6

58

218

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

@Shedletsky I guess I have been misleading myself for the past *checks watch* 34 years.

2

1

210

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

From student Ariel Rotter-Aboyoun.

8

20

216

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

This had to be written sooner or later. I keep thinking I must have written this but I don't seem to have. I'll refine it over time, but here's a draft: How Not to Teach Recursion.

28

50

214

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

The people going on about alcohol at conferences: spend an extra two bucks instead so the vegetarian food isn't "pasta primavera" every day and actually has nutrition, flavor, and a hint of creativity, first. Ffs, the absolute worst thing about conferences.

Vijay Chidambaram

@vj_chidambaram

3 years

Some folks are arguing that conferences *must* include alcohol because otherwise people will just go outside and get a drink. My model of conferences attendees is that they will go where their friends are, not where the alcohol is.

16

4

134

24

9

210

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 months

@oligoglot That's Ethiopian!

21

0

207

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

25/ I have nothing to add to the above. I'm just a tech nerd who worries about tech nerds getting too excited about tech and forgetting about humans. But I have a bit of an addendum about this whole display. ↵

2

13

204

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

6 months

1/ A remarkable book that uses the singular titular document to unlock a much bigger, mostly overlooked story: the US's role in the birth of Bangladesh. Bass argues that Nixon and Kissinger's treatment of Bangladesh has been forgotten by history but shouldn't be. ↵ #BookReview

4

30

210

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

Does anyone have serious, un-ironic, non-mocking ideas for what a coronavirus hackathon could produce of value? (Beyond the obvious "use this app to report a case in your area".) I'm coming up pretty blank; impress me.

Nicole Radziwiłł

@nicoleradziwill

4 years

getting a large group of people together to hack virus response is TOTALLY going to make things safer for everyone

8

5

56

122

29

203

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Here's a productivity technique I've been using for a month and has worked really well. It reduces distraction, focuses effort, and sets targets. It assumes most of your tasks accumulate as emails. I'll explain it in a short thread. ↵

14

33

203

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

5 years

It's worth reading @ArjunGuha 's "acceptance speech" of our Flapjax Test-of-Time Award, because it's basically half of PLMW in a few paragraphs. Grad students: take courage. Your instincts are right.

9

53

200

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Delighted to release the third edition of Programming Languages: Application and Interpretation (PLAI). A complete rewrite based on many years of research and experience. Because that research is still ramping up, this is just the start of many changes.

Programming Languages: Application and Interpretation

www.plai.org

4

55

198

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

The NYT piece about @timnitGebru confirms my hypothesis that her paper was going to embarrass Google (and maybe cause more gov't action). But it also exposes the oxymoron in "industrial research" and shows that there's another Desk Drawer Effect in science that we don't discuss.

3

19

198

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

1 year

Honestly, most excited @sigplan recognized @KathiFisler . I get ample notice but she's worked so well, so hard, on so much, but gets overshadowed. So many others also earned this: @racketlang collabs, @Bootstrapworld co's, @PyretLang co's, former students. I'm just SO darn lucky.

Racket

@racketlang

1 year

Congratulations to Kathi Fisler and Shriram Krishnamurthi for the SIGPLAN Distinguished Educator Award 2023. @KathiFisler @ShriramKMurthi

6

23

122

27

13

196

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

This is not in the *slightest* bit worrisome.

23

43

192

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

For the past two years our kid has been using "FatNums", a slightly different numeral representation we came up with, for all her school arithmetic problems. She thought it'd be nice to write it up and share it. Here goes. #parenting

25

34

197

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

I expect @Popehat can't wait for NIMBYs v Trump on the 2021 Supreme Court docket.

10

18

183

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

Every sufficiently complex API *is* a language, it's a choice of whether to expose it as one or not. My rule of thumb is, any time an API has a "beginX" and "endX" pair, it's basically a language that has chosen to allow { and } to not necessarily match up, with consequences.

Eric Zhang

@ekzhang1

9 months

Why PL — any library with a sufficiently complex API becomes a language. I picture software systems on two sliding scales of internal complexity and external (interface) complexity, where as you move along the second scale, you go from library-ish, to DSL-ish, to language-ish.

10

16

162

6

32

191

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

For people who don't know the Butler Lampson story about the "weight of software", read his Draper Award talk (worth reading anyway; Butler changed my life). Here's the whole thing, but here's the relevant extract.

2

43

189

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

9 months

To people who have kindly inquired about my recovery: x-rays are good, permitted to start putting some weight on the formerly-broken leg. 1. I have forgotten how to walk and am re-learning. 2. Brain has spent 2.5 months keeping foot far from ground, and is now VERY confused.

15

1

191

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 years

OMG you people. There's a Google Sheets plugin that converts tables in Sheets into LaTeX tables. It's not perfect but it's still a game-changer: I'll never hand-create a table again. (The output is readable, so it's easy to clean up.) Thank you caenrigen.

11

31

189

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

I'm just grinning madly at the functional languages—especially the grandparents, OCaml, Haskell, and @racketlang —just smashing the heck out of Python and Co. But please, by all means do tell me about how inefficient functional programming is.

Colm MacCárthaigh

@colmmacc

2 years

This table says it all. One of the reasons we're going big on Rust it because it delivers incredible economies, without trading off safety. On Cloud, sustainability is a big motivator, and on devices battery lifetime is the biggest differentiator.

59

349

2K

20

33

187

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

2/ Rich and robust programming requires a strong understanding of data models and invariants. Python is weak at expressing either of those. You don't notice it until you miss it. ↵

2

186

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

4 months

Holy crap: an Ethereum contract programming language called … Pyramid Scheme. (And yes, of course, Pyramid Scheme is built using Racket. The secret of the long con is out.)

Sorawee Porncharoenwase

@sorawee_p

4 months

@ShriramKMurthi No naming beats Pyramid Scheme.

1

16

7

25

189

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

10 months

Ah, it's open season on long South Indian last names in *checks watch* 2023. Who needs Ann Coulter when we can get this from a supposedly reputed journalist.

Kara Swisher

@karaswisher

10 months

Best nickname I have heard so far for this tech bro: RamaSMARMY. Add yours below — leaving comments open (for now) for this one obvi.

605

329

3K

31

18

184

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

2 years

Mom, a very skilled doctor, hearing of my COVID, asks 3 laser-focused medical questions: - Have you eaten? - Did you eat normally? - Did you finish food? Dad mumbles in background; Mom cuts him off: "No, no, he'll be fine, he's eating". So it sounds like I'll be fine, y'all.

8

2

188

Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏

@ShriramKMurthi

3 years

Admit it: this syllabus is WAY cooler than your syllabus.

7

23

187