If y'all really wanted security you would've picked Wire, not Signal :/

Do you think DALL•E knows certain well-known PL ppl who may or may not currently be at OPLSS

@wilbowma @csgordon that's a shame. they were the only two ppl who really did sized types apart from Sacchini et al, I thought that was why the reviews were so good

Going on a walk at 10:42 pm bc I don't feel like going to bed yet

:cannabis: 

Yeah I didn't take enough lmao
They only came in tiny gummies of 10 mg and it's hard to take like exactly half of the teeny tiny thing

Show thread

:cannabis: 

It's been 45 mins and it hasn't hit yet I'm so impatient

Show thread

@wilbowma @csgordon ö do they manage the admin stuff or do they read the submission too?

:cannabis: 

Achievement get: take edible in a different country

re: OPLSS thread 

truant with no truant friends

Show thread

re: OPLSS thread 

Waiting for lecture to finish so I can join ppl for dinner or whatever post-lecture activity lol

Show thread

I bet logical relations for dependent types would work for tarski universes

@csgordon the reviews weren't signed, but the email was CC'd to three people, and there were three reviewers

"oh gee this paper that is about explicit sized types has just appeared. I'm sure this has nothing to do with the other sized types paper I previously reviewed which criticized implicit sized types"

Show thread

I've selected two people as desired reviewers on the POPL submission and they were both reviewers for our JFP paper. this isn't really gonna be double blind huh literally who else is working on sized types

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.