[CakeML-dev] Slack?

[Hugo Férée]

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
>