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
re: OPLSS thread
Waiting for lecture to finish so I can join ppl for dinner or whatever post-lecture activity lol
@csgordon oopsie on their part
@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"
Jon(athan)? | ionchy ("YON-tchy") 🏳️🌈
MSc ⇒ PhD student in PL doing type theory things
@ionathanch on most places 🐦
PoGo: 8336 6654 0984
#WaterDrinker 💧
emoji boy of types.pl
I have been blessed with admin powers on this instance and I will do my best not to muck things up
pfp: https://picrew.me/share?cd=6rKy0AQ4I3
header: https://doi.org/10.1145/2578855.2537850