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.
Fabrizio Genovese (Jul 16 2022 at 13:04):Hello all, who's in town atm? Is there some chat/group we can use to coordinate? I'd be down to some pubbing this evening with whoever is around. :smile:
Ralph Sarkis (Jul 16 2022 at 17:11):We used the adjoint school Zulip to coordinate last week, but we should converge to this Zulip for this week.
Nothing has been planned for tonight yet (many people went on hikes and are not back yet).
Fabrizio Genovese (Jul 16 2022 at 17:31):Unfortunately I am not a member of this year's adjoint school
Fabrizio Genovese (Jul 16 2022 at 17:32):But if you are going to go somewhere and it's not an adjoint school-only event please share the information!
Ralph Sarkis (Jul 16 2022 at 19:00):We are probably heading to get food at Mezcal if they have enough room. We will be there in about 15minutes
Fabrizio Genovese (Jul 16 2022 at 19:18):Nice! I'm already having dinner but let me know if you change place, I'll try to join as soon as I'm done. :smile:
Chad Nester (Jul 17 2022 at 09:27):I'll be looking for dinner and drinks tonight if anyone's interested
Fabrizio Genovese (Jul 17 2022 at 11:08):I'm interested:D Going to Edinburgh right now tho, I'll let you know if I'm back in time
Matt Earnshaw (Jul 17 2022 at 12:43):I will join
Nicolas Blanco (Jul 17 2022 at 13:14):+1
Amar Hadzihasanovic (Jul 17 2022 at 14:15):Is anyone here into lockpicking? I locked my suitcase and forgot the key back home :rolling_eyes:
Amar Hadzihasanovic (Jul 17 2022 at 14:15):(Anyway I'd be happy to join for dinner/drinks)
Chad Nester (Jul 17 2022 at 15:27):Hanging around near queen street station for awhile of anyone wants to meet up
Amar Hadzihasanovic (Jul 17 2022 at 15:28):Can you pick a lock Chad
Nicolas Blanco (Jul 17 2022 at 15:31):Oh, I just came back from there :(
Nicolas Blanco (Jul 17 2022 at 15:32):It seems that some people are going to Kelvingrove and then going to the 78.
Chad Nester (Jul 17 2022 at 15:33):Oh okay
Chad Nester (Jul 17 2022 at 15:42):@Amar Hadzihasanovic maybe ask your hotel if maintenance has bolt cutters?
Chad Nester (Jul 17 2022 at 15:42):The 78 sounds good to me if there's room
Fabrizio Genovese (Jul 17 2022 at 16:14):Is it a lock or a combination lock?
Fabrizio Genovese (Jul 17 2022 at 16:14):I don't have my tools with me, but a combination lock may be doable.
Ralph Sarkis (Jul 17 2022 at 16:38):We are in Kelvingrove park here :
Ralph Sarkis (Jul 17 2022 at 16:38):ff25ab44-1dd5-4468-b474-67b19b63c6f6.jpg
Amar Hadzihasanovic (Jul 17 2022 at 16:57):Fabrizio Genovese said:
Is it a lock or a combination lock?
It's an actual lock, but it'a very small flimsy-looking one.
Amar Hadzihasanovic (Jul 17 2022 at 16:58):It would probably open if you bashed it in the right place, but I don't have any tools either.
Amar Hadzihasanovic (Jul 17 2022 at 17:44):Where are you now?
Amar Hadzihasanovic (Jul 17 2022 at 17:44):I can join you.
Amar Hadzihasanovic (Jul 17 2022 at 17:46):(But I don't have mobile data so I would need a certain place :sweat_smile: )
Fabrizio Genovese (Jul 17 2022 at 17:48):On a bus
Fabrizio Genovese (Jul 17 2022 at 17:49):Close to glasgow bus station, telegram me if you need help
Amar Hadzihasanovic (Jul 17 2022 at 17:50):Lol, my question was actually about joining people for dinner. I should have separated it from the lock discussion...
Fabrizio Genovese (Jul 17 2022 at 17:51):We can do both things lol
Chad Nester (Jul 17 2022 at 17:51):I guess we'll head to the 78 soon for dinner
Chad Nester (Jul 17 2022 at 17:51):We're in kelvingrove park now
Fabrizio Genovese (Jul 17 2022 at 17:54):78 is a 30 mins walk from where I am, I guess I'll start heading there
George Kaye (Jul 17 2022 at 17:56):I'm also up for joining, also about a 30 min walk away
Chad Nester (Jul 17 2022 at 18:25):We'll be there in 10m or so
George Kaye (Jul 17 2022 at 18:26):I should stop powerwalking then, I'm nearly there
Ralph Sarkis (Jul 17 2022 at 18:44):The 78 doesn't serve food on Sundays..., We are looking for another option close by
Ralph Sarkis (Jul 17 2022 at 18:48):We settled on the Taphouse
Bruno Gavranović (Jul 17 2022 at 19:31):Let's meet up for pub later
Bruno Gavranović (Jul 17 2022 at 19:32):I suggest somewhere central
Bruno Gavranović (Jul 17 2022 at 19:55):The only place I can think of right now that can accommodate a group of our size seems like Waxy O Connor
Bryce Clarke (Jul 17 2022 at 19:56):Bruno Gavranovic said:
The only place I can think of right now that can accommodate a group of our size seems like Waxy O Connor
What time are you thinking? I might try and join
Bruno Gavranović (Jul 17 2022 at 19:59):In about 15 minutes. We're on our way
Fabrizio Genovese (Jul 17 2022 at 20:02):We're also coming there. "We" is still vaguely defined tho
Chad Nester (Jul 18 2022 at 13:18):Is someone transcribing the subtitles or is it machine-generated?
Chad Nester (Jul 18 2022 at 13:18):It's impressive.
Jade Master (Jul 18 2022 at 13:42):It's machine generated
Chad Nester (Jul 18 2022 at 13:54):Neat!
Sébastien Maurice Mattenet (Jul 18 2022 at 16:53):Who wants to eat together for dinner?
Sébastien Maurice Mattenet (Jul 18 2022 at 16:54):Is there a whatsapp group for that already?
Sébastien Maurice Mattenet (Jul 18 2022 at 16:58):Here's the watsapp group
shared_qr_code.png
Sébastien Maurice Mattenet (Jul 18 2022 at 16:59):