<div dir="ltr"><div>Slack is taking over the world because it's particularly well made. I don't like it because it's proprietary (e.g., hosted on Slack's servers, code unavailable) - something like <a href="http://matrix.org">matrix.org</a> (with e.g., riot client) would suit me better. However, similar trade-offs (control versus popularity) occur with GitHub (versus for example GitLab) which we are using. By the way, Matrix has bridges to Slack and IRC, and we are already using the latter bridge. It's like a meta chat system that incorporates all the others.<br><br></div>I joined the Slack channel and am happy to participate. Thanks for grabbing it Magnus! I might look into setting up the Matrix bridge at some point (and would be pleased if someone else did it before me).<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 30 May 2017 at 19:44, Magnus Myreen <span dir="ltr"><<a href="mailto:magnus.myreen@gmail.com" target="_blank">magnus.myreen@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
I grabbed <a href="http://cakeml.slack.com" rel="noreferrer" target="_blank">cakeml.slack.com</a> because it was available. I'm in 4 slack<br>
groups from before and find a nice way to chat with people working on<br>
the same thing. Should we start using slack for CakeML?<br>
<br>
CakeML has an IRC channel, which I guess plays a similar role. I've<br>
occasionally attempted to use IRC but find it inconvenient because of<br>
the poor UI of my client application, I don't see what was said while<br>
I wasn't logged in, and I didn't put the effort into finding the right<br>
tools to use it on my phone.<br>
<br>
Slack works nicely on phones, keeps history, allows for markdown<br>
syntax etc. Of course, slack and IRC are by no means the only<br>
alternatives. Maybe there are even better alternatives that I don't<br>
know about, e.g. Rocket Chat.<br>
<br>
Cheers,<br>
Magnus<br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</blockquote></div><br></div>