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

[Makarius]

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