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: community: general

Topic: a new chatting platform for discussions in logic

view this post on Zulip সায়ন্তন রায় (Feb 19 2021 at 15:41):

I was wondering about creating a chatting platform for Logic (preferably in Zulip). By the way, I don't know if there already exists a chatting platform for such discussions. In which case please let me know about it.

view this post on Zulip Peter Arndt (Feb 19 2021 at 16:56):

I don't know any.

view this post on Zulip Peter Arndt (Feb 19 2021 at 17:02):

Logic as a whole is an enormous field - I don't know if the nice experience of this place can be scaled to that size... Just imagine the length of the side scrollbar. But of course, if you encounter that kind of problems, it means you have succeeded in creating a vibrant place :smile:

view this post on Zulip সায়ন্তন রায় (Feb 20 2021 at 04:53):

Ok. Maybe I will give it a go and see how it goes.

view this post on Zulip সায়ন্তন রায় (Feb 22 2021 at 06:14):

Sayantan Roy said:

Ok. Maybe I will give it a go and see how it goes.

So, here is the link for the same. Please let me know if you face any difficulties in joining.

view this post on Zulip Matthias Hutzler (Feb 22 2021 at 10:01):

When I go to https://mathematical-logic.zulipchat.com and try to sign in I get "You need an invitation to join this organization.".

view this post on Zulip Matthias Hutzler (Feb 22 2021 at 10:02):

So I guess you need to distribute invite links, @Sayantan Roy ?

view this post on Zulip সায়ন্তন রায় (Feb 22 2021 at 12:34):

Oops! Sorry. Here is the link: https://mathematical-logic.zulipchat.com/join/f6ys7tjx5uzy5e5ulnaonlrz/

view this post on Zulip সায়ন্তন রায় (Feb 22 2021 at 12:35):

Thanks @Matthias Hutzler .

view this post on Zulip সায়ন্তন রায় (Feb 25 2021 at 13:59):

I would like to mention that in creating the new streams (and their descriptions) I am very closely following this platform. I hope no one has any objection(s) :grinning_face_with_smiling_eyes: !

view this post on Zulip John Baez (Feb 25 2021 at 16:14):

Imitation is the highest form of flattery!

view this post on Zulip Matteo Capucci (he/him) (Feb 25 2021 at 16:41):

Just as I was going to patent it snap fingers