[CakeML-dev] Slack?

Hugo Férée H.Feree at kent.ac.uk
Wed May 31 11:16:33 UTC 2017

Gitlab also has an (open) alternative to Slack called Mattermost. The
interface is very similar and it seems integrated to gitlab, although it
can be used separately.

Le 30/05/2017 à 20:40, Ramana Kumar a écrit :
> 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 <http://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 others.
> 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
> <mailto:magnus.myreen at gmail.com>> wrote:
>     Hi all,
>     I grabbed cakeml.slack.com <http://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 <mailto:Developers at cakeml.org>
>     https://lists.cakeml.org/listinfo/developers
>     <https://lists.cakeml.org/listinfo/developers>
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers

More information about the Developers mailing list