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

Makarius 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 mailing list