What's the problem with the mailing list?It does have an archive that you control.
Slack.com is an alternative if you want yet another web2.0 gadget. Viktor Kuncak <[email protected]> ezt írta (időpont: 2020. jan. 12., Vas 17:17): > 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 >
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
