[CakeML-dev] Slack?

Magnus Myreen magnus.myreen at gmail.com
Wed May 31 07:45:22 UTC 2017

OK, so let's use Slack for a while at least. I've sent direct invites
to the people listed as "active developers" on the CakeML website, but
others are more than welcome to join too. Here's a link that anyone
can use to join:


The link is only active for 29 days, but I (and anyone else who has
joined) can produce new links when necessary.


On 30 May 2017 at 21:40, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:
> 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 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> 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

More information about the Developers mailing list