<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">On Fri, Aug 21, 2020 at 1:23 PM Jesper Cockx <<a href="mailto:Jesper@sikanda.be">Jesper@sikanda.be</a>> wrote:</span><br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><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.<br></div><div></div></div></blockquote><div><br></div><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">IRC is a weapon from a more civilized age.</div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><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></blockquote><div><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Slack has one big disadvantage: it silos you, and having multiple slack systems open isn't that useful in the long run. It completely fails to accept cross-interaction between different communities.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>- Gitter: Is well integrated with Github but feels otherwise quite barebones compared to Slack.</div></div></blockquote><div><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Skipping this one, never tried it.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><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></blockquote><div><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Discord is in many ways the spiritual successor to IRC. It allows a single account to be a member of multiple servers, ie., the hierarchy is Server->Channel->Message, whereas the Slack hierarchy is missing the "Server" part.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><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/" target="_blank">https://zulipchat.com/for/open-source/</a>). The HoTT community also seems to be using it quite effectively.</div><div></div></div></blockquote><div><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Skipping this one as well, since I've never tried it. Seems to get a lot of traction however.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">You usually want:</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">* Async communication, since people live all over the world and they don't always have time, so catching up with older discussions are important.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">* Low latency communication. Email is acceptable for high-latency.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">* Since this is Agda: probably unicode support and also support for going fully bazonk on notation hell should be built in.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">* Threading/Topic'ing. Because they tend to form and go on a tangent.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">* Ability to be part of multiple communities at the same time. Otherwise, people end up having to make a choice, which silos people and slashes through cross-community building.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">* Search indexing which work(tm). Slack has had a long history of being weak in this regard.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div></div><div><br></div>-- <br><div dir="ltr" class="gmail_signature">J.</div></div>