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 <[email protected]> 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 >
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
