@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

@lenary @koronkebitch
- make an aeropress
- check email, grimace
- close email without replying to anything

@lenary @koronkebitch
- install a proof assistant you haven’t used since you got this computer (this one is an all day activity)