Shrutarshi Basu 🇺🇳

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

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

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

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?

@AustinZHenley What book is this?

Twas the night before…

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

What if we could only code by using examples? How can we integrate AI into actual programming languages? I made a little proof of concept:

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

@basus American exceptionalism blah, blah, but India's constitution is fascinating!

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.

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.

@jeffbigham that just sounds like something Gordon Ramsey would say

@basus cook or get bounced

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

@vbhvsgr Yeah, that sounds about right

@basus my understanding is that it's contextual: "they're cooked" -> bad "they cooked" -> good "let them cook" -> uncertain, to be determined

@moradipegah I can only cook breakfast 😢

@basus in this world, it's cook or get cooked

So is anyone not back-tracking on remote work? Asking for a friend. (It's me, the friend is me)

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

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

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

@basus @Google @dilorenzo_j @Ali_Kherad Yes!

Come work with the #P4 Team! We apply #formalmethods to make @Google 's network #infrastructure more reliable, predictable, and faster to evolve. We have an incredible team, including @dilorenzo_j and @Ali_Kherad. Check out our recent talks to learn more: p4.org/p4_events/2023…

@george_berry Nah, need new blood. Shapiro maybe?

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

@samth I think this basically worked btw. it’s pretty low volume and not every question is a winner, but the site is mostly about interesting things instead of syntax! and it’s attracted people with PL expertise to write the answers. stack exchange model stays winning

I‘ve been participating on langdev.stackexchange.com for the past few days, and it’s been a lot of fun, but the community is badly in need of more people with real knowledge about PL/compilers. This is not a super high bar, and I suspect that many of my followers clear it.

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.