<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Although I agree with the intent, I suspect that trying to
convince the entirety of the community to consolidate on a single
platform is bound to fail.<br>
For example, the #agda freenode channel is not going anywhere
soon. Another example that I only became aware of: the
functional-programming slack (functionalprogramming.slack.com) has
an #agda channel with 400 members, and is also on zulip (<a
class="moz-txt-link-freetext"
href="https://funprog.zulipchat.com/login/#narrow/stream/215389-Agda">https://funprog.zulipchat.com/login/#narrow/stream/215389-Agda</a>).<br>
<br>
That being said, you can certainly ensure that the Agda website
etc. picks one solid medium that can be used for all casual
communications besides the mailing list and the issue tracker. Do
not just spawn a new one; make sure you move the conversation and
kill off the ones managed by the Agda team that are then
deprecated (slack, gitter, ...).<br>
<br>
Personally, I'd like to vouch for Discord---but am not against
Zulip perse, since I have no experience with it.<br>
Communities like <a class="moz-txt-link-freetext"
href="https://discord.com/invite/reasonml">https://discord.com/invite/reasonml</a>
are extremely easy access and heavily used by programmers.<br>
Slack is slow and tedious nowadays.<br>
<br>
(Sorry Jesper, I intended to reply to the list)<br>
</p>
<div class="moz-cite-prefix">On 8/21/20 1:23 PM, Jesper Cockx wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAEm=boxKefSNidZjM_zZaU7x7VfXXOUnjkew8kmp+Sg04ArOug@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div>Dear Agdakkers,</div>
<div><br>
</div>
<div>In his recent mail, Jacques raised an important point that
got lost in the rest of the conversation:</div>
<div><br>
</div>
<div>> - the community ought to pick a single communication
system (Slack, Discord, Zulip, gitter, whatever, but just
one!)</div>
<div><br>
</div>
<div>I wholeheartedly agree with this! Github does a reasonable
job of keeping track of issues and feature requests, and this
mailing list works well for broadcasting messages to the
broader community, so these two we should definitely keep. But
it would be nice to consolidate all other discussions and
questions on a single platform.</div>
<div><br>
</div>
<div>Here are some of the current options with my opinion on
them:</div>
<div><br>
</div>
<div>- IRC: An open system but based on archaic technology. I'm
having a hard time browsing the history of a channel when I'm
not always connected.</div>
<div>- Slack: Seems to be the de facto standard for many people
and we used it successfully during the latest Agda meeting.
However, it is commercial software and keeping a full history
is not free.</div>
<div>- Gitter: Is well integrated with Github but feels
otherwise quite barebones compared to Slack.</div>
<div>- Discord: Many features are more aimed at gamers than
programmers. Some people used it for screensharing during the
Agda meeting. It is commercial software and we'd have to pay
for certain features</div>
<div>- Zulip: Has a nice threaded interface to conversations
that can take a while to get used to. It is 100% open source
software and is explicitly aimed at open source communities (<a
href="https://zulipchat.com/for/open-source/"
moz-do-not-send="true">https://zulipchat.com/for/open-source/</a>).
The HoTT community also seems to be using it quite
effectively.</div>
<div>- MatterMost, RocketChat, Matrix.org, ...: These are other
open source alternatives to Slack, but they seem to be less
popular than Zulip in the type theory / formalized math
circles.<br>
</div>
<div><br>
</div>
<div>My personal preference would be to centralize all
communication (other than Github and the mailing list) on
Zulip. But since this is an important decision, I would very
much like to hear other opinions as well before we decide on
anything.</div>
<div><br>
</div>
<div>Cheers,</div>
<div>Jesper<br>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
</blockquote>
</body>
</html>