udonchy Dec 1
AUGH OOPSLA REVIEWS OUT
Show threadudonchy Dec 1
I'm in the middle of class lmao
Show threadudonchy Dec 1
THREE ACCEPTS
Show threadudonchy Dec 1
I didn't know OOPSLA doesn't have reviewers self-assign expertise level
I kinda wish I knew lol
Show threadudonchy 
my first non-dependent types paper accepts across the board first try... does this community not want me to do dependent types lmao
Dec 1 at 7:40pmWeb
Show threadd@nny disc@ mc²Dec 1
@ionchy my first paper interrogating distance metrics was repeatedly rejected; i would wager more that reviewers are deeply biased against dependent types
Show threadudonchy Dec 1
@hipsterelectron I think a lot of the type theory people just are very particular about how to do dependent types and if you don't do it the way they want you to then they 👎
Show threadd@nny disc@ mc²Dec 1
@ionchy alzheimer's cabal!!!