jeremy.german
2021-6-30 18:58:58
@jeremy.german has joined the channel
jcoo092
2021-6-30 22:48:07
I’m in another Slack where Dr (Professor?) Krishnaswami posts reasonably regularly. Almost everything he talks about goes well over my head…
spdegabrielle
2021-6-30 23:46:11
How cool! Which slack?
jcoo092
2021-6-30 23:57:26
It’s one mainly for programming languages researchers in academia. I don’t think I would be permitted to provide invites to it, though, sorry.