<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
span.EmailStyle18
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-CA" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">We should not let this die with no action. I personally agree with Jesper’s analysis below.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">The Agda community is already using email and github effectively and successfully. Those should stay as is, IMHO.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Jacques<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Agda <agda-bounces@lists.chalmers.se>
<b>On Behalf Of </b>Jesper Cockx<br>
<b>Sent:</b> August 25, 2020 5:33 AM<br>
<b>To:</b> Nils Anders Danielsson <nad@cse.gu.se><br>
<b>Cc:</b> agda list <agda@lists.chalmers.se><br>
<b>Subject:</b> Re: [Agda] On IRC, Slack, Gitter, Discord, and Zulip (re: Hanging out with the Lean crowd)<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal">Let me try to summarize the discussion so far:<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<div>
<p class="MsoNormal">- 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.<o:p></o:p></p>
<div>
<p class="MsoNormal">- 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.<o:p></o:p></p>
</div>
</div>
<div>
<p class="MsoNormal">- 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.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<div>
<p class="MsoNormal">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.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<div>
<p class="MsoNormal">-- Jesper<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal">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:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<p class="MsoNormal">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" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><o:p></o:p></p>
</blockquote>
</div>
</div>
</div>
</body>
</html>