Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: event: CT20->21

Topic: stream events


view this post on Zulip Notification Bot (Aug 28 2021 at 10:22):

Stream created by Matteo Capucci (he/him).

view this post on Zulip Matteo Capucci (he/him) (Aug 29 2021 at 10:06):

@Beppe Metere here

view this post on Zulip Fabrizio Genovese (Aug 29 2021 at 13:28):

So, for whoever is attending in person, let's start assessing the most important problem: Where do we go for beers tonight?

view this post on Zulip Beppe Metere (Aug 29 2021 at 13:31):

https://www.tripadvisor.it/Restaurant_Review-g187823-d8133961-Reviews-Scurreria_Beer_and_Bagel-Genoa_Italian_Riviera_Liguria.html

view this post on Zulip Fabrizio Genovese (Aug 29 2021 at 13:37):

Top, I'll arrive around 22:30 so I'll join after dinner tho :smile:

view this post on Zulip Nicolas Blanco (Aug 29 2021 at 13:54):

Great! I was advised by a friend to try out this place. I will arrived in Genova around 19:00 but I have to check in the hotel before joining.

view this post on Zulip Beppe Metere (Aug 29 2021 at 14:10):

I hope I can join, but I think I'll be busy tonight.
In case, please drink one beer for me!

view this post on Zulip Chad Nester (Aug 29 2021 at 14:37):

That's pretty close to where I'm staying!

view this post on Zulip Chad Nester (Aug 29 2021 at 14:38):

I'm going to take a nap but will check back later and join you all there :smile:

view this post on Zulip Nicolas Blanco (Aug 29 2021 at 15:05):

I will arrive later due to train issues. I won't be there before 9

view this post on Zulip Matteo Capucci (he/him) (Aug 29 2021 at 15:44):

9pm works for me too :)

view this post on Zulip Joshua Wrigley (Aug 29 2021 at 15:52):

Myself and @Morgan Rogers (he/him) will be joining too hopefully!

view this post on Zulip Chad Nester (Aug 29 2021 at 17:21):

9pm it is then

view this post on Zulip Nicolas Blanco (Aug 29 2021 at 17:22):

Still another train issue. I will join when/if I can :sweat_smile:

view this post on Zulip Fabrizio Genovese (Aug 29 2021 at 17:49):

Nicolas Blanco said:

Still another train issue. I will join when/if I can :sweat_smile:

Lol, welcome to Italy :stuck_out_tongue:

view this post on Zulip Fabrizio Genovese (Aug 29 2021 at 17:51):

We have a longstanding tradition of train times being "indicative" at best. Old people are nostalgically reminescent of Mussolini's time when "at least trains would arrive on time". Clearly it was absolutely false and the result of propaganda, trains were late all the time back then too.

view this post on Zulip Matteo Capucci (he/him) (Aug 29 2021 at 19:00):

@everyone Scurrerie is closed, suggestions for another place?

view this post on Zulip Matteo Capucci (he/him) (Aug 29 2021 at 19:00):

It's me and @Chad Nester here

view this post on Zulip Matteo Capucci (he/him) (Aug 29 2021 at 19:06):

For drinking & eating & fun we could text on https://t.me/joinchat/1c88dKyYD94yNzE0

view this post on Zulip Nicolas Blanco (Aug 29 2021 at 19:09):

Haha. To be fair the issues started in France where a train never arrived, it was cancelled without any announcement...

view this post on Zulip Notification Bot (Oct 21 2023 at 14:31):

Nathanael Arkor changed the access permissions for this stream from Public to Web-public.

view this post on Zulip Notification Bot (Oct 31 2023 at 10:52):

Matteo Capucci (he/him) renamed stream conference: CT20->21 to event: CT20->21.