Shrutarshi Basu 🇺🇳 @basus Twitter profile | Pikagi

Pikagi

Shrutarshi Basu 🇺🇳

@basus

1,133

Followers

1,624

Following

207

Media

26,454

Statuses

Faculty @middlebury CS. Formerly PhD @CornellCIS & post-doc at Harvard. Exploring the intersection of computing & law. Go to therapy, folks. He/him.

Cambridge, MA

https://t.co/iOuxCizhaw

Joined October 2007

Don't wanna be here? Send us removal request.

Pinned Tweet

@basus

Shrutarshi Basu 🇺🇳

2 years

Maybe we've become too enamored of the notion of value and worth as applied to people, and it's time to give it a break. Here's my hot take: people don't have value (or worth), they have rights and responsibilities. People's skills, abilities and assets have value (or worth).

0

2

8

Last Seen Profiles

@EssexSenior

@Quepourstalker

@utubo_ashu111

@djolder

@UnivParis8

@hkg294

@NoorChat

@True_BlacK_

@_LightRoomLDN

@TrinityFilm1

@zomato

@damehova9

@TLH_Football

@haechieeee

@Nationaliste_1

@pratykumar

@KaviKabilan2

@AisaAlaa

@UnnecRoughness

@harupyon_hirata

@hajahajjoq

@Logical_Girll

@snipez9x

@JohnMDArcy

@lnglngfi366195

@eatrockcity

@Afnanes_

@thibvult

@wwboxnyc

@tp_sophia

@GARRY2070

@HoopsMitchell

@Junjke

@polish_protein

@oniontaker

@Maria_Vaniaa

@basus

Shrutarshi Basu 🇺🇳

1 month

Every time I teach a new session of my Intro to Computer Science class, I am increasingly convinced that Python is in fact a really bad first programming language.

246

138

4K

@basus

Shrutarshi Basu 🇺🇳

7 years

Black Panther by @tanehisicoates is turning out to be political fiction as much as it is a comic book. Required reading for our times.

Tweet media one

17

211

707

@basus

Shrutarshi Basu 🇺🇳

1 month

@pumplekin that is a big part of the problem: an "introduction to the CS major/discipline" should be a very different course from a "learn enough programming to be useful and increase your earning potential", and right now they're not.

11

14

496

@basus

Shrutarshi Basu 🇺🇳

7 years

Happening now on Quora:

Tweet media one

4

133

189

@basus

Shrutarshi Basu 🇺🇳

3 years

@jacasiegel @edenmtweets I read this to my prosecutor roommate and he laughed out loud for a minute

0

0

94

@basus

Shrutarshi Basu 🇺🇳

4 years

New gig, who dis? Happy to announce that I'll be teaching Compilers at Tufts University in the Fall. Yes, it'll be fully online. Send me all your teaching (especially teaching compilers) hot takes.

4

4

77

@basus

Shrutarshi Basu 🇺🇳

2 years

As a Doctor of Computers my professional opinion is: do not put computers in things, and most definitely do not network them.

@JoePompliano

Joe Pompliano

2 years

This is wild — BMW is now selling a monthly subscription service for heated seats in your car. • Monthly fee: $18 • Annual fee: $180 The car will come with all the necessary components, but payment is needed to remove a software block. Welcome to microtransaction hell.

6K

26K

207K

1

31

65

@basus

Shrutarshi Basu 🇺🇳

8 years

With an intro by @neilhimself ! Might grab a copy for myself#

0

10

55

@basus

Shrutarshi Basu 🇺🇳

6 years

As of Monday I am officially a Postdoctoral Fellow in Computer Science at Harvard University. This wouldn't have happened without the support of many people over the years including @natefoster , @el33th4xor and @grimmelm .

8

0

43

@basus

Shrutarshi Basu 🇺🇳

2 years

Looks like Microsoft's excellent Rise4fun site is gone, along with the go-to Z3 tutorial? Is there a good tutorial I can point Z3 newcomers to?

8

1

39

@basus

Shrutarshi Basu 🇺🇳

1 year

Had my first cases of students in intro programming not knowing how files and folders worked today. So this class is also a "how to computer" class now. And this account is a "reporting from the teaching front lines" account.

7

1

40

@basus

Shrutarshi Basu 🇺🇳

8 years

This @brainpicker piece is like a bright, warm beam of sunlight on a cold, cloudy winter morning:

0

9

36

@basus

Shrutarshi Basu 🇺🇳

4 years

I have this continual feeling that I'm dodging bullets and it's only a matter of time before I get hit by one.

@owenarden

Owen Arden

4 years

I would like to have one week go by where I don't have to worry about my students getting fired, arrested, or deported.

2

36

482

0

3

36

@basus

Shrutarshi Basu 🇺🇳

6 years

Interesting thread on something I've thought about over the years: programming languages are tools of thought and a medium of human expression, but they leave out much of what is important in human communication (analogies, stories, common group knowledge).

@PLT_cheater

Multiple Systems

6 years

Recently someone asked me what I liked about Haskell and if I thought it was the best language. I said I liked it, but it wasn't the best. The gist of it was this tweet by @DRMacIver . (thread)

2

18

38

1

19

36

@basus

Shrutarshi Basu 🇺🇳

4 years

The Expanse is really good, but not aligning Season breaks with (I think) book breaks makes things awkward. Also, Shohreh Aghdashloo should get all the prizes.

6

1

29

@basus

Shrutarshi Basu 🇺🇳

5 months

Rust is mostly an uglier OCaml. Fight me.

5

1

29

@basus

Shrutarshi Basu 🇺🇳

1 month

@joepolitz I would definitely consider Pyret if I had a choice in it. I admire the work and design choices put into it!

0

0

27

@basus

Shrutarshi Basu 🇺🇳

4 years

Academics complain about multitasking, but my lawyer roommate is currently in two different Zoom calls with two different courts, at the same time.

0

1

26

@basus

Shrutarshi Basu 🇺🇳

16 days

Why do I love programming languages so much? Because they are the embodiment of the idea that you can use languages, words and symbols to **build things**. How cool and powerful is that?!

0

3

25

@basus

Shrutarshi Basu 🇺🇳

5 years

I am going to be running Harvard's Security, Programming Languages and Systems seminar fall the Fall 2019. If you are going to be in the Cambridge, MA area and would like to give a talk in those areas, please reach out to me. 1/

2

4

26

@basus

Shrutarshi Basu 🇺🇳

1 month

@ShriramKMurthi would if I could

1

0

25

@basus

Shrutarshi Basu 🇺🇳

3 years

Come to our Programming Languages & the Law workshop at POPL and join us merrily wading into semantic minefields such as these.

@mengwong

Meng Weng Wong

3 years

@doriantaylor @computational @basus Law's traditions were established well before modern mathematical logic was invented. It enjoys the flexibility of pseudo-code; but pseudo-code is subject to the cognitive bias of "surely any reasonable person would interpret this as I do"—the first thing to go in a dispute!

1

0

6

2

4

23

@basus

Shrutarshi Basu 🇺🇳

4 years

A friend's mother started asking me about my PhD work after friend's pipe organ recital. Turned out she worked at Xerox and programmed the original Altos in Smalltalk.

@justinesherry

billions of packets

4 years

Remembering the first time I met @jkkummerfeld 's mother and learned that she -- full professor of HCI -- still works in the terminal and prefers vi to vim! My parents are not a software engs and so the idea that this would be family lunch convo made my mind explode (joyfully).

3

0

33

1

5

23

@basus

Shrutarshi Basu 🇺🇳

2 years

I realized last night that a large part of what I like professionally is to make elegant and beautiful things and use elegant and beautiful tools. Unfortunately that's not a job description.

4

0

23

@basus

Shrutarshi Basu 🇺🇳

6 years

@mattmight If you're running Vim emulation in Emacs, you're clearly a pantextual.

1

1

22

@basus

Shrutarshi Basu 🇺🇳

2 years

Getting a Christmas tree all for myself was the best decision I've made all year.

Tweet media one

1

0

22

@basus

Shrutarshi Basu 🇺🇳

4 years

@devonzuegel Serious considering what your life means and who you are without any externalities.

0

0

22

@basus

Shrutarshi Basu 🇺🇳

5 years

Currently stressed out by a paper deadline, another project I'm behind on and a number of practical life things that I really need to get done this week. Do early-career academics ever feel not stressed out by all the things they have to get done?

8

2

21

@basus

Shrutarshi Basu 🇺🇳

2 years

I'm happy to announce that our paper, “Notational Programming for Notebook Environments: A Case Study with Quantum Circuits” (led by @IanArawjo ) has earned an Honorable Mention award at UIST 2022!

0

2

20

@basus

Shrutarshi Basu 🇺🇳

4 years

So after a week of virtual conferencing and #pldi2020 , I've decided that I don't like virtual conferences very much. I miss the social aspects of a physical conference, and the online options don't come close to capturing the experience. 1/

1

1

20

@basus

Shrutarshi Basu 🇺🇳

4 years

@CriminelleLaw I would not go to a restaurant right now, because you literally can’t eat with a mask on. The rest are probably fine as long as everyone in the premises is actually wearing a suitable mask all the time.

0

0

19

@basus

Shrutarshi Basu 🇺🇳

3 years

As a non-citizen, I approve this tweet.

@AnaCabrera

Ana Cabrera

3 years

NEW: President Biden wants to remove the word "alien" from US immigration laws and replace it with the word "noncitizen"

3K

12K

135K

3

0

20

@basus

Shrutarshi Basu 🇺🇳

4 years

Yes, I'm going to be glued to #bostonprotest all night, and hoping that it doesn't get violent. I'm not a praying man, but if I were, I'd be praying very hard right now.

0

0

17

@basus

Shrutarshi Basu 🇺🇳

2 years

I'm in my faculty office for the first time today. I'm having all the feels.

1

0

19

@basus

Shrutarshi Basu 🇺🇳

3 years

OCaml sucks, use JavaScript, types are overrated, move fast and break things.

2

1

19

@basus

Shrutarshi Basu 🇺🇳

2 years

This is probably as good a time as any to note that I am on the academic job market, and would love to find a long-term home where I can continue to pursue this sort of interdisciplinary and very interesting work.

@DMerigoux

Denis Merigoux

2 years

In "Legal Calculi", @basus et al. from Harvard and other institution will compare related work in legal programming language design and make the case for a modular notion of legal calculi that could be used as a semantic base for future work!

1

0

4

1

3

18

@basus

Shrutarshi Basu 🇺🇳

3 years

I was going to send a couple of “when should we meet” emails, but no.

1

0

17

@basus

Shrutarshi Basu 🇺🇳

5 years

Since I am a Doctor of the Philosophy of Computer Science I feel like I am qualified to say that computers should be used sparingly and as little as possible.

@XandaSchofield

Xanda Schofield (she/her)

@XandaSchofield

5 years

Few things were lower on my list of things I wanted to do today than "reinstall all of LaTeX on my computer," yet here we are.

3

0

42

1

0

17

@basus

Shrutarshi Basu 🇺🇳

3 years

CW: purrs, violins, a spoilt brat being spoiled even more.

1

1

17

@basus

Shrutarshi Basu 🇺🇳

3 years

Sorry ladies, my heart is taken.

Tweet media one

0

0

16

@basus

Shrutarshi Basu 🇺🇳

2 years

Very impressed with the diversity of talks and speakers at #prolala today, all over time, space, cultures, and jurisdictions!

1

2

15

@basus

Shrutarshi Basu 🇺🇳

6 years

#splash18 was absolutely awesome. Lots of great people, talks and discussions. It was great to meet new people like @sarahchasins , and old friends like @cmeik , @feldmanmolly , @biboudis & @heathercmiller . And I finally met @mattmight in person.

0

1

15

@basus

Shrutarshi Basu 🇺🇳

2 years

I’m so sorry I didn’t buy any @middlebury swag, I shall rectify this oversight at the earliest.

0

0

15

@basus

Shrutarshi Basu 🇺🇳

7 years

@tferriss I'm skeptical about running a discussion based book club at scale. They're great in small groups, don't know if they would be useful online.

1

0

15

@basus

Shrutarshi Basu 🇺🇳

5 years

Traveling is great, but have you ever stayed at home for a whole weekend and done absolutely nothing?

1

0

15

@basus

Shrutarshi Basu 🇺🇳

6 years

@GouletPens I would love to see a list of modern authors who still use fountain pens.

12

4

15

@basus

Shrutarshi Basu 🇺🇳

4 years

@el33th4xor Depends. How much is the 1/7th worth? How hard is it to dig? Are other people also rushing to dig it?

0

0

13

@basus

Shrutarshi Basu 🇺🇳

4 years

Just had the (first?) remote PC meeting for the PLDI Artifact Evaluation Committee and I AM EXCITED. Very happy to see artifact evaluation increasingly become mainstream.

0

0

14

@basus

Shrutarshi Basu 🇺🇳

3 years

Currently have 1 paper in submission, have 1 in the works, and today found a possible venue for a third (both need a lot of work). Also got some good news regarding my current position today. Starting to feel good about 2021 (I say, while firmly touching my wooden coffee table).

0

0

14

@basus

Shrutarshi Basu 🇺🇳

8 years

@cemerick because we wear our ability to deal with shitty software as a badge of honor rather than actually fixing things.

1

2

14

@basus

Shrutarshi Basu 🇺🇳

3 years

Dear #PLtwitter , is there literature on running parsers "in reverse"? Once you write a parser, you should be able to extract a pretty-printer going in the opposite direction, as well as use the parser internals for tool support like autocomplete, right?

7

4

14

@basus

Shrutarshi Basu 🇺🇳

5 years

I've been cooking more since finishing my PhD and have become increasingly appreciative of the wonders of a properly sharp knife.

0

0

14

@basus

Shrutarshi Basu 🇺🇳

3 years

My dad got vaccinated today, so that’s good.

0

0

14

@basus

Shrutarshi Basu 🇺🇳

3 years

Talked to two separate people who wanted to be academics, but without the all-in commitment an R1 tenure track position requires. I doubt they are outliers. Somewhere there is hopefully an institution that can capitalize on this.

1

0

14

@basus

Shrutarshi Basu 🇺🇳

3 years

First time in 4 years I’ve seen a notice of immigration-related policy change and not felt terrified.

@evelyndouek

Evelyn Douek

3 years

So nice to see this and not feel absolute panic

Tweet media one

3

2

52

0

0

13

@basus

Shrutarshi Basu 🇺🇳

3 years

I'm not super looking forward to getting the second Pfizer shot because I think I'll have a strong immune reaction to it. The first shot knocked me out for almost a day. But I am looking forward to being able to get back to the gym a few weeks after that.

5

0

13

@basus

Shrutarshi Basu 🇺🇳

2 years

Much sadder than I thought I would be with a couple of students dropping my compilers class 😢

1

0

13

@basus

Shrutarshi Basu 🇺🇳

4 years

My linguist roommate told me about the notion of "pragmatics" in linguistics that can be used to understand utterances when syntax and semantics aren't enough. I feel like this idea has a counterpart in programming languages that could be very powerful

5

1

12

@basus

Shrutarshi Basu 🇺🇳

3 years

Is there some law that says that new academic buildings must have some big obvious flaws that somehow went unnoticed by people building them?

3

1

13

@basus

Shrutarshi Basu 🇺🇳

4 years

Mom wants to know why I'm not dating anyone. I dunno mom, maybe because there's a global pandemic going on and I haven't left the house in four months?

3

0

13

@basus

Shrutarshi Basu 🇺🇳

2 years

I hope whoever invented coffee lived a long and happy life and then died a peaceful death as the oldest, wisest and most respected member of their tribe. Or something.

1

2

12

@basus

Shrutarshi Basu 🇺🇳

5 years

How do people ever manage to ignore/push aside their personal problems long enough to get any work done?

3

0

12

@basus

Shrutarshi Basu 🇺🇳

5 years

If I ever have a lab and grad students I'm getting everyone decorated lab coats. No, I don't care that we mostly sit around in front of computers and whiteboards all day.

@MaribethLatvis

Maribeth Latvis

@MaribethLatvis

5 years

You guys. My grad student asked if she could decorate a lab coat. It was returned hand-embroidered with prairie natives! Note the side oats grama, buffalo grass, purple coneflower, and goldenrod!! 🌾🌿🌼

Tweet media one

Tweet media two

Tweet media three

130

2K

18K

0

1

12

@basus

Shrutarshi Basu 🇺🇳

5 years

I am so excited for this. If you're at Harvard, or nearby, you should be too!

@roboticwrestler

Elena Glassman

@roboticwrestler

5 years

I'm so thrilled with @nadamin 's and my course flyer design skills. Fall semester is coming!!

Tweet media one

7

4

89

0

2

12

@basus

Shrutarshi Basu 🇺🇳

4 years

I’m attending an online seminar, and man, I really, really miss being in the same room with other academics.

0

1

12

@basus

Shrutarshi Basu 🇺🇳

2 years

Hashtag Vermont in the Fall.

Tweet media one

0

0

12

@basus

Shrutarshi Basu 🇺🇳

3 years

@ShriramKMurthi but then how will they quietly shut it down in 2-5 years time?

1

0

12

@basus

Shrutarshi Basu 🇺🇳

4 years

Survived teaching my class. No major snafus (some minor ones), hopefully got people excited about learning to build compilers.

0

0

12

@basus

Shrutarshi Basu 🇺🇳

6 years

@analog_ashley something something machine learning data science big data something something

1

0

11

@basus

Shrutarshi Basu 🇺🇳

3 years

I hereby move that we cancel Mondays indefinitely and make all weekends 3 days long. All in favor, say aye.

1

0

11

@basus

Shrutarshi Basu 🇺🇳

4 years

@krismicinski I think it's a mistake to think of them as "conferences, just online". We need to start with what we want out of them, and then work backwards. A good format might be having the talks available online first for a while, then the conference time is extended QA with authors.

2

0

11

@basus

Shrutarshi Basu 🇺🇳

4 years

Are you kidding me? I'm not even going to the gym *in my own building*. One of my best friends cancelled her trip to come see me. My roommates are terrified about their parents' safety. This is not a drill, joke or hoax, America.

@WDWNT

WDW News Today

4 years

Current crowds at the Magic Kingdom for tonight's showing of Happily Ever After... #DisneyWorld

Tweet media one

Tweet media two

4K

2K

8K

1

0

11

@basus

Shrutarshi Basu 🇺🇳

3 years

LLVM was one of the projects that helped me become interested in working on programming languages and compilers. This year I taught (a simplified version of it) to my first students.

@llvmorg

llvm.org

3 years

LLVM started 20 years ago today! From humble beginnings at UIUC, it has grown to include contributions from hundreds of people and powers countless products and impactful languages. How have you used LLVM, contributed to it, or been touched by a product using it? #CelebrateLLVM

18

192

923

0

2

10

@basus

Shrutarshi Basu 🇺🇳

4 years

Hang in there grad students, one day you too could be living the awesome professor life like @krismicinski

@krismicinski

Kristopher Micinski

4 years

So this picture got taken last night

Tweet media one

4

0

17

2

0

11

@basus

Shrutarshi Basu 🇺🇳

2 years

New favorite spot

Tweet media one

1

0

11

@basus

Shrutarshi Basu 🇺🇳

3 years

@katiedimartin

0

0

11

@basus

Shrutarshi Basu 🇺🇳

3 years

Got Pfizered! Even as I speak the mRNA in the vaccine is telling my body to create tiny 5G chips, that provide cell reception and fight the virus all at the same time! Many thanks to all the scientists, medical professionals and competent government officials that made it happen.

1

0

11

@basus

Shrutarshi Basu 🇺🇳

3 years

@RwoltX @brentsimmons surprised no one's mentioned @reederapp . It's probably by most regularly used. There's also the @mimestream client for gmail which is in it's early days, but already pretty good.

0

0

11

@basus

Shrutarshi Basu 🇺🇳

6 years

@sehurlburt Yes, definitely. I think it's easy to swing between extremes of depressed inaction or avoidance-based overwork, and it's hard to find a healthy middle ground where you're actually dealing with your problems.

0

0

11

@basus

Shrutarshi Basu 🇺🇳

3 years

I just realized: meditation is a basic health practice for the Information Age. It teaches you to think of your mind and your emotions as senses, and buffer and filter perceptions accordingly (something the Buddhists discovered long ago).

0

1

10

@basus

Shrutarshi Basu 🇺🇳

4 years

Regexes are good, regex syntax and tools are almost uniformly bad.

@hillelogram

Inactive; Bluesky is @hillelwayne(dot)com

4 years

Lukewarm takes: regexes are good, actually

6

3

74

0

1

10

@basus

Shrutarshi Basu 🇺🇳

2 years

I wish it were easier to build mini-IDEs and programming environment. The students in my compilers class get a bunch of stubs, tests and tooling, but in practice it's far less elegant and useful than I'd like it to be.

2

1

10

@basus

Shrutarshi Basu 🇺🇳

3 years

I feel personally attacked.

@daisyldixon

Daisy Dixon

3 years

Tweet media one

63

1K

15K

0

0

10

@basus

Shrutarshi Basu 🇺🇳

5 years

@katierandall @krwedemeyer Sames! This describes me so well. I will often put off medium-to-large projects until the very last moment and they do them all at once. As a result I am continually stressed, and the result is more often than not of lower quality than what I would be happy with.

0

0

10

@basus

Shrutarshi Basu 🇺🇳

6 years

This #twithaca storm better take down the temperature and not the power.

0

1

10

@basus

Shrutarshi Basu 🇺🇳

4 years

I know this is a sign of my privilege, but I brought my fancy desk chair home from the office and five minutes later both my body and mind are much happier.

1

0

10

@basus

Shrutarshi Basu 🇺🇳

3 years

@alpha_convert I'm proud of you and I don't even know you

1

0

10

@basus

Shrutarshi Basu 🇺🇳

4 years

@krismicinski Hello... Yes? Prof. Micinski sir, I would like help falling in love with a barista, or just falling in love in general. Actually, with having people fall in love with me too probably. Kthxbai

2

0

10

@basus

Shrutarshi Basu 🇺🇳

4 years

Should I order Indian food tomorrow evening and livetweet me watching the new Indian Matchmaker show on Netflix?

4

0

10

@basus

Shrutarshi Basu 🇺🇳

4 years

So say we all.

@krismicinski

Kristopher Micinski

4 years

Thankful for coffee

2

0

11

0

0

10

@basus

Shrutarshi Basu 🇺🇳

7 years

So close to a full month with @calm

Tweet media one

2

0

9

@basus

Shrutarshi Basu 🇺🇳

5 years

@justinesherry You may pay me to send you passive aggressive emails close to conference deadlines.

0

1

10

@basus

Shrutarshi Basu 🇺🇳

6 years

@lambda_calculus I find Bret Victor's ideas on programming languages very hard to take seriously. They make for great demos, and might be useful for developing games, or for teaching, but I can't see how you would go about debugging a Paxos implementation with his techniques.

3

3

10

@basus

Shrutarshi Basu 🇺🇳

7 years

@raichoo Personally, I've always thought of Uncle Bob as a methodology peddler than as an expert programmer.

0

0

10

@basus

Shrutarshi Basu 🇺🇳

5 years

I second this recommendation. And not just new graduate students, everyone should at least try therapy.

0

0

10

@basus

Shrutarshi Basu 🇺🇳

4 years

Same bro, same. cc @TaliaRinger

@Trevornoah

Trevor Noah

4 years

Actual video footage of me starting off the week!

362

2K

19K

0

1

10

@basus

Shrutarshi Basu 🇺🇳

2 years

IME Compilers is a sleeper hit for a lot of students.

Tweet media one

@josecalderon

José Manuel Calderón Trilla

2 years

Looks like Compilers has become one of the more popular courses at UMD. When I first taught it, I had ~60 students. Next semester we've had to find a bigger room for next semester for 230 students. The curriculum that @lambda_calculus has devised is top-notch, folks.

5

3

138

0

0

9

@basus

Shrutarshi Basu 🇺🇳

2 years

Met some of my fellow new(-ish) faculty members at @Middlebury and I gotta say it's still kinda surreal that I'm actually a professor.

0

0

9

@basus

Shrutarshi Basu 🇺🇳

3 years

@rickasaurus OCaml

1

0

9

@basus

Shrutarshi Basu 🇺🇳

4 years

After reading @lindsey 's post about her course streaming setup I'm tempted to start an NSFW programming stream on Twitch. It will mostly be me pounding on my keyboard, muttering expletives and complaining about whatever programming language or tool I'm using at the time.

3

0

9