Both Discourse and Zulip are open-source software, just like Phabricator. They may have a commercial entity behind them but that means they should be more sustainable than having a one-person development "team".
Keep in mind that Discourse is forum/mailing list software, not a chat replacement. However, Phabricator has a built-in chat function which could potentially replace Zulip assuming you don't use Zulip's threading and topic features. I believe it's also possible for Phabricator's Maniphest to act as a kind of mailing list (e.g. you can add email addresses which can create tasks in a particular Space which you can then reply to etc.). However - if you are looking for forum software which can be shaped to your requirements (and act like a mailing list) then Discourse is a very good option. J On 12/01/2020 15: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 >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
