­jonoodle­ @ionchy@types.pl

Disclaimer: /s

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

oh so NOW it

nvm I gotta charge my phone lmao

@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

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

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

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

Achievement get: take edible in a different country

truant with no truant friends

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

@csgordon oopsie on their part

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

done work... what shall I do now

@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"

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

@wilbowma ​