paulette d. koronkevichFeb 28, 2024
"you're gonna do a demo of your research? what are you gonna do write in a notebook at em?"
Show threadSamFeb 28, 2024
@koronkebitch we should make a list of CS research activities:
- facepalming at a type checker error
- finding out the whiteboard pen you just picked up is empty
- staring into space and thinking really hard
- lunch, i guess
Show threadchris martensFeb 28, 2024
@lenary @koronkebitch
- make an aeropress
- check email, grimace
- close email without replying to anything
Show threadchris martens
@lenary @koronkebitch
- install a proof assistant you haven’t used since you got this computer (this one is an all day activity)
Feb 28, 2024 at 1:44pmWeb
Show threadchris martensFeb 28, 2024
@lenary @koronkebitch
- look through ACM Computing Classification System tags to figure out what to put on your paper, realize you don’t know what discipline you work in and have an existential crisis
Show thread🇨🇦 D'Arcy NormanFeb 28, 2024
@chrisamaphone @lenary @koronkebitch @janeadams I hear that. my ACM submissions were all met with various polite (or less-polite) versions of "what the hell is this? it doesn't fit here. or there. keep moving.”
Show thread(Vita)soy BoyFeb 28, 2024
@chrisamaphone @lenary @koronkebitch corollary: update a proof assistant you haven't used since...