[CakeML-dev] Slack?

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Tue May 30 19:40:05 UTC 2017

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 matrix.org (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

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).

On 30 May 2017 at 19:44, Magnus Myreen <magnus.myreen at gmail.com> wrote:

> Hi all,
> I grabbed cakeml.slack.com because it was available. I'm in 4 slack
> groups from before and find a nice way to chat with people working on
> the same thing. Should we start using slack for CakeML?
> CakeML has an IRC channel, which I guess plays a similar role. I've
> occasionally attempted to use IRC but find it inconvenient because of
> the poor UI of my client application, I don't see what was said while
> I wasn't logged in, and I didn't put the effort into finding the right
> tools to use it on my phone.
> Slack works nicely on phones, keeps history, allows for markdown
> syntax etc. Of course, slack and IRC are by no means the only
> alternatives. Maybe there are even better alternatives that I don't
> know about, e.g. Rocket Chat.
> Cheers,
> Magnus
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170531/165175cc/attachment.html>

More information about the Developers mailing list