<div dir="ltr"><div>Let me try to summarize the discussion so far:</div><div><br></div><div>- 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, <a href="http://matrix.org">matrix.org</a>, ...). 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.<div></div><div>- 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.</div></div><div>- 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.</div><div><br></div><div>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.</div><div><br></div><div>-- Jesper<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 24, 2020 at 11:01 AM Nils Anders Danielsson <<a href="mailto:nad@cse.gu.se">nad@cse.gu.se</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2020-08-21 14:41, Manuel Bärenz wrote:<br>
> Would an alternative with a good email integration (i.e. read threads<br>
> by receiving email, answer & start threads by sending an email) work<br>
> for you?<br>
<br>
I think something based on an open standard sounds more appealing than<br>
something closed (everything else being equal).<br>
<br>
-- <br>
/NAD<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div>