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
