Sign up for Zulip

Vampire
https://vprover.zulipchat.com

Vampire ATP hackers + friends.

You need an invitation to join this organization.
OR