A new chatting platform has been created in Zulip for discussing in logic and related things. Here is the latest invite link: https://mathematical-logic.zulipchat.com/join/iuv3cqule3dh45y3rqqxyo2g/ This link can be used to join for 7 days only. After that, feel free to email me at sayantanr@iiitd.ac.in for a fresh invite link.