My student Christian Williams has started a community server for category theory, computer science, logic, as well as general science and industry. In just a few days, it has grown into a large and lively place, with people of many backgrounds and interests. Please feel free to join!
(this link will expire in a while) and from then on you can just go here:
If the link for registration has expired, just let me know and I’ll revive it.