Does anyone have experience with Matrix?
https://matrix.org/
https://matrix.org/clients/
On 12/01/2020 16:52, [email protected] wrote:
Why discourse. It seems to be commercial too?
Email seems to be the least centralised or commercialised solution, but
if course doesn't have all these nice advanced features... [1]
Peter
[1] like not allowing new users to comment on posts, which ended my
engagement with the Isabelle stack overflow community before it really
began...
-------- Original Message --------
Subject: [isabelle-dev] https://discourse.org as replacement for
mailman, stackoverflow, zulip
From: Makarius <[email protected]>
To: isabelle-dev <[email protected]>
CC:
Dear isabelle-dev participants,
I have been ill for almost 2 weeks during the Christmas vacation and
have now
started to clear out remaining bits from last year.
Many of the discussion items will become formal "Tasks" on
https://isabelle-dev.sketis.net/maniphest (see also general notes on
https://isabelle-dev.sketis.net/home/menu/view/20).
A notable new entry is https://isabelle-dev.sketis.net/T9 "Evaluate
https://discourse.org as replacement for mailman, stackoverflow, zulip"
That is rather ambitious: both the good old Mailman and fancy new
games like
Zulip Chat should be replaced eventually. This requires careful
evaluation of
the underlying technology first.
The deeper question behind is: Can we re-unify our canonical forum of
discourse for Isabelle users? Or are we already subjects of big
corporations
like Stackexchange, Zulip, Linked-In etc?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
