On 13/01/2020 12:01, Viktor Kunčak wrote:
> 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?
OK, I will take a closer look at Matrix as well.
There are two goals:
* avoiding "software-as-a-service" black holes (such as Github)
* having a communication system that is closer to old-school mailing lists
than real-time messenging
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
