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.
Matteo Capucci (he/him) (Mar 16 2021 at 09:45):Hello @everyone, let me advertise this poll here for a birthday meetup we're organizing for March 23rd (next Tuesday).
If you'd like to have an informal chat with people here, vote!
Christian Williams (Mar 16 2021 at 18:01):The server is turning 1 next week! We're getting together for a social video call and everyone is invited.
Matteo Capucci (he/him) (Mar 16 2021 at 19:26):Right, it's not my birthday :grinning_face_with_smiling_eyes:
Christian Williams (Mar 22 2021 at 18:24):We will use GatherTown, a better kind of video meeting where we can walk around in a nice space and socialize like we normally would. We're going to meet in https://gather.town/app/Wey6FRUZhwzTYxgO/CT%20Zulip%201st%20Birthday tomorrow @ 8am UTC and/or 4pm UTC. So you have a morning and evening option. Hope to see you there!
Matteo Capucci (he/him) (Mar 22 2021 at 18:25):here's better :)
Matteo Capucci (he/him) (Mar 22 2021 at 18:25):Bring cake, drinks and party hats!
Matteo Capucci (he/him) (Mar 23 2021 at 08:25):We are in the room!
Morgan Rogers (he/him) (Mar 23 2021 at 15:35):I'm looking forward to this, see you in half an hour or so
Jules Hedges (Mar 23 2021 at 15:38):I definitely won't have time to join, after all this preparation... I already had to cancel a 2 hour meeting today because I didn't have time for it, nor have I had time to go outside for a walk...
Jules Hedges (Mar 23 2021 at 15:39):This term isn't quite done with me yet
Christian Williams (Mar 23 2021 at 15:55):The second time will start in five minutes. Hope you can join.
Joe Moeller (Mar 23 2021 at 15:57):Christian Williams said:
We will use GatherTown, a better kind of video meeting where we can walk around in a nice space and socialize like we normally would. We're going to meet in https://gather.town/app/Wey6FRUZhwzTYxgO/CT%20Zulip%201st%20Birthday tomorrow @ 8am UTC and/or 4pm UTC. So you have a morning and evening option. Hope to see you there!
Christian Williams (Mar 23 2021 at 16:23):If you have trouble with Firefox, you can try Chrome.
Spencer Breiner (Mar 23 2021 at 17:17):Firefox (v78, Linux) worked fine for me.
Christian Williams (Mar 23 2021 at 19:24):it was great! thanks for coming. hope we do this more often. Screenshot-from-2021-03-23-09-19-14.png
David Michael Roberts (Mar 27 2021 at 11:38):In the end I forgot to even double check the times in case I was awake and free to pop in :-)