Yes - it's a decentralised chat service. If you want an IRC-style chat then Matrix can work well.
On 12/01/2020 16:15, Viktor Kuncak wrote: > 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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
