[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip

Viktor KunĨak vkuncak at gmail.com
Mon Jan 13 12:01:47 CET 2020

Matrix seems one of the most open systems: protocol seems documented and
the clients and servers are open source on github.
So I would not put it in the same equivalence class. I was under impression
that the goal was to avoid being pulled into one of these commercial
services with proprietary servers, which take more than the extra value
they offer?

On Sun, Jan 12, 2020 at 6:53 PM Makarius <makarius at sketis.net> wrote:

> On 12/01/2020 17:15, Viktor Kuncak wrote:
> > Does anyone have experience with Matrix?
> >
> > https://matrix.org/
> > https://matrix.org/clients/
> It is part of this equivalence class (together with Zulip):
> https://alternativeto.net/software/slack
> My general impression from a distance: more entertainment and cool toys,
> rather than useful communication infrastructure.
>         Makarius
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200113/1b8e20c7/attachment.html>

More information about the isabelle-dev mailing list