Zulip Chat Archive
Stream: LftCM22
Topic: Dinner
Moritz Doll (Jul 13 2022 at 22:09):
@Sam van G @Anatole Dedecker and @Jireh Loreaux and I are going out for dinner. We'll meet at 7:30 outside of the hotel. If anyone wants to join, you are very welcome.
Sam van G (Jul 14 2022 at 20:46):
Who wants to join for a drink somewhere downtown this evening? :tropical_drink:
tagging some people who were there when this was suggested last night but everyone welcome! @Jireh Loreaux @Anatole Dedecker @Jake Levinson @Phil Wood @Moritz Doll
Jireh Loreaux (Jul 14 2022 at 21:24):
Just say what time you want.
Sam van G (Jul 14 2022 at 21:45):
At QED o'clock... finishing a proof...
Sam van G (Jul 14 2022 at 21:45):
Will post here when that is. The plan is to join @Johan Commelin and others at The Guild PVD Beer Garden, they are going there now
Sam van G (Jul 14 2022 at 22:29):
It's QED o'clock!
Phil Wood (Jul 15 2022 at 00:35):
Man---my clock is running slow or something; it seems to be stuck on 1/2 way to QED o'clock! :-/
Kevin Buzzard (Jul 15 2022 at 00:50):
Feel free to post a #mwe
Moritz Doll (Jul 15 2022 at 00:52):
Sam van G said:
Who wants to join for a drink somewhere downtown this evening? :tropical_drink:
tagging some people who were there when this was suggested last night but everyone welcome! Jireh Loreaux Anatole Dedecker Jake Levinson Phil Wood Moritz Doll
I am at the airport in Boston. I am very sorry that I couldn't say goodbye to everyone, but I had to get the train directly after Yury's talk. Enjoy the drinks :grinning:
Jake Levinson (Jul 15 2022 at 01:53):
Phil Wood said:
Man---my clock is running slow or something; it seems to be stuck on 1/2 way to QED o'clock! :-/
Happy to try to help you in the morning!
Last updated: Dec 20 2023 at 11:08 UTC