[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius at sketis.net
Mon Jan 13 12:16:23 CET 2020
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
More information about the isabelle-dev