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.
Bob Coecke (Jul 09 2020 at 11:16):Today @ ACT, I will be in Linguistics Jitsu 2-3 UTC and in Quantum Jitsu 3-4 UTC.
Paolo Perrone (Jul 09 2020 at 12:19):Here are the addresses (of those and more rooms):
- Coffee – casual chatting
- Pub – casual chatting
- Dynamical – things occurring in time, Petri nets, robotics, etc.
- Quantum – all things quantum
- Linguistics – language, NLP
- Types – type theory, programming language theory
- Probability - random topics are welcome and encouraged
- Philosophy – what is behind it all?
- Tools – what software do we need? how do we design it?
- PureCT – pure category theory discussions
- AppliedApplied – like actually applied
- Flourish – strategies for the flourishing of ACT
- Ethics – what makes a good world and how do we fit into that?
Jules Hedges (Jul 09 2020 at 12:21):Everyone spelling Jitsi wrong, probably because of autocorrect.... just in case anyone is searching to download it.....
Jorge Soto-Andrade (Jul 09 2020 at 16:40):Hi Paolo, I just sent you a message that seems to have been lost in translation, asking whether it would be possible to create a
jitsi room devoted to theoretical biology, alchemy (algebraic chemistry) , cognitive science, etc, so a sort of soft and wet ACT jitsi room?
Congrats for the organization, by the way!
Paolo Perrone (Jul 09 2020 at 18:27):Hi Jorge. With Jitsi you can create your own room, so feel free :)
B.A. Cohen (Jul 10 2020 at 17:45):Just learned of this now, how active are have these Jitsi rooms been so far?
Paolo Perrone (Jul 10 2020 at 18:08):going to the pub right now!
Eigil Rischel (Jul 10 2020 at 18:16):A bunch of people are hanging out here, too: https://gather.town/n3WuxZO61Xq9p1Gq/act2020
John Baez (Jul 10 2020 at 21:22):We had a fun chat in the "pub" yesterday.
Tomáš Jakl (Jul 11 2020 at 18:54):B Cohen said:
Just learned of this now, how active are have these Jitsi rooms been so far?
From my experience there weren't active at all outside of coffee breaks or, in other words, anytime I remembered to try :slight_smile: . I have no data if they were used much during the designated times.