Shrutarshi Basu 🇺🇳

Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.

[Shrutarshi Basu 🇺🇳 @basus]

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).

[Shrutarshi Basu 🇺🇳 @basus]

Caught a stomach bug and now I have a craving for toast with Nutella.

[Shrutarshi Basu 🇺🇳 @basus]

What the hell happened to the iOS control panel? Looks like someone shotgunned icons across a bunch of screens at random.

[Shrutarshi Basu 🇺🇳 @basus]

As I've been diving into compilers, I (re-)discovered C--. But it looks like it died out in the mid-2000s (except maybe for GHC). Can anyone provide a reason or context around this?

[Shrutarshi Basu 🇺🇳 @basus]

@AustinZHenley What book is this?

[Shrutarshi Basu 🇺🇳 @basus]

@AustinZHenley This is pretty cool! All the CEGIS guys must be going crazy right about now.

[Shrutarshi Basu 🇺🇳 @basus]

@natefoster we may not have a right to bear arms, but you can use the constitution itself as a blunt weapon in a pinch

[Shrutarshi Basu 🇺🇳 @basus]

All this election nonsense reminds me that one of my "someday" projects is to do a comparative study of national constitutions, starting with India & the USA. And yes, seeing if/how much they can be formalized using modern tools like Lean.

[Shrutarshi Basu 🇺🇳 @basus]

This is the first time in my life that I'm making a big change, but no direction so far has felt 100% right. Not sure if that's just a side effect of getting older, or something more fundamental.

[Shrutarshi Basu 🇺🇳 @basus]

@jeffbigham that just sounds like something Gordon Ramsey would say

[Shrutarshi Basu 🇺🇳 @basus]

So, is "cooked" good or bad? Asking for me and my fellow confused millennials.

[Shrutarshi Basu 🇺🇳 @basus]

@vbhvsgr Yeah, that sounds about right

[Shrutarshi Basu 🇺🇳 @basus]

@moradipegah I can only cook breakfast 😢

[Shrutarshi Basu 🇺🇳 @basus]

So is anyone not back-tracking on remote work? Asking for a friend.

(It's me, the friend is me)

[Shrutarshi Basu 🇺🇳 @basus]

Born to be a hobbit, need to be a Ranger.

[Shrutarshi Basu 🇺🇳 @basus]

Ok, funemployment was fun, but now I’m bored, so I’d like a job and to come back to Boston ASAP please.

[Shrutarshi Basu 🇺🇳 @basus]

@steffensmallcar @Google @dilorenzo_j @Ali_Kherad I'll send email

[Shrutarshi Basu 🇺🇳 @basus]

@george_berry Nah, need new blood. Shapiro maybe?

[Shrutarshi Basu 🇺🇳 @basus]

@lexi_lambda @samth I came across some of your answers there, I think on denotational semantics, and really enjoyed reading them!

[Shrutarshi Basu 🇺🇳 @basus]

Womp womp passed final round interviews for a research position at a certain big tech company, but doesn't look like they can find me a matching team, so guess I'm still looking for gainful employment.