Slack is a proprietary walled-garden chat service. I'd advise against it. Zulip might not look quite as shiny but has more features and is far more flexible - and is open-source.
On 12/01/2020 16:22, Gergely Buday wrote: > 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] <mailto:[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] <mailto:[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] <mailto:[email protected]>> > > To: isabelle-dev <[email protected] > <mailto:[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] <mailto:[email protected]> > > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev > > > > > > _______________________________________________ > > isabelle-dev mailing list > > [email protected] <mailto:[email protected]> > > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev > > > _______________________________________________ > isabelle-dev mailing list > [email protected] <mailto:[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
