[Agda] On IRC, Slack, Gitter, Discord, and Zulip (re: Hanging out with the Lean crowd)

[Carette, Jacques]

We should not let this die with no action.  I personally agree with Jesper’s analysis below.

The Agda community is already using email and github effectively and successfully. Those should stay as is, IMHO.

The question is trying to try a ‘single’ real-time synchronous channel, i.e. have it be somehow the ‘official’ channel. It does indeed look like Zulip and Matrix.org are the leading candidates. I’m slightly partial to Zulip (as I’m already involved in 2 streams already), but willing to try Matrix.org if there is a strong push for that. AFAIK, both are open.

Jacques

From: Agda <agda-bounces at lists.chalmers.se> On Behalf Of Jesper Cockx
Sent: August 25, 2020 5:33 AM
To: Nils Anders Danielsson <nad at cse.gu.se>
Cc: agda list <agda at lists.chalmers.se>
Subject: Re: [Agda] On IRC, Slack, Gitter, Discord, and Zulip (re: Hanging out with the Lean crowd)

Let me try to summarize the discussion so far:

- One important point is that there is a fundamental difference between slow-form asynchronous communication channels (e.g. email, github, reddit, discourse) and real-time synchronous channels (e.g. IRC, slack, discord, zulip, matrix.org<http://matrix.org>, ...). While some of these systems can also been used for the other purpose, the general requirements seem different enough that  having two separate platforms is warranted.
- For asynchronous communication, email is very ingrained and difficult to replace completely. It would be interesting to investigate alternatives such as discourse at some point, but I won't push for that at the moment.
- From all the synchronous channels, the two that got the most positive reaction are Zulip and Matrix.org. Zulip seems to be mature and well-loved for its integrations and threaded conversations. Matrix is the only truly open platform and does more or less everything that Slack does.

I would like to try out either Zulip or Matrix during the next online Agda meeting (in place of Slack). Personally I would prefer Zulip, since the integration with Github is rather nice, and I've come to like the threaded model of conversation. For the kind of conversations we had on the Slack channel so far, these features seem to be more important than the possibility to connect via different clients offered by Matrix.

-- Jesper

On Mon, Aug 24, 2020 at 11:01 AM Nils Anders Danielsson <nad at cse.gu.se<mailto:nad at cse.gu.se>> wrote:
On 2020-08-21 14:41, Manuel Bärenz wrote:
> Would an alternative with a good email integration (i.e. read threads
> by receiving email, answer & start threads by sending an email) work
> for you?

I think something based on an open standard sounds more appealing than
something closed (everything else being equal).

--
/NAD
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se<mailto:Agda at lists.chalmers.se>
https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200831/9088988e/attachment.html>