@vaas lol. Also we need to get cricket mastodon started here with @sibin and @shriramk

@dev @sibin @shriramk that must already exist no? Otherwise maybe we can just use #cricket to discover posts 😅

@vaas @dev @sibin @shriramk Nothing on INDvBAN so far on #cricket ...

@arpanbg @vaas @dev @sibin If we agree to take over discuss.systems from whatever boring systems and cats things it's currently about, I will move to it. (-:

@arpanbg @vaas @dev @sibin I was at a sysread (systems reading group) talk earlier this semester and mid-way through a talk had enough. "Okay, okay, I get it, it's going to be some boring systems thing, we know your graphs are going to go up, can we get on to the interesting stuff?" Poor Malte Schwarzkopf looked UTTERLY MORTIFIED. "Shriram!", he said, and seemed too shocked to say more.

@arpanbg @vaas @dev @sibin It's true, no? Your graphs all either go up or go down. Which direction depends on which one makes you look good. Otherwise there would be no talk.

PL is full of drama. Yes, you proved the type system sound. But what did the type system actually *cover*? We know it rarely ever covers the interesting parts. But you're not going to say which crucial things you left out. That's the audience's job. So there's a point to going to the talk — to catch the speaker in the act.