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

[Viktor Kunčak]

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?
  Viktor

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>