Why discourse. It seems to be commercial too?<br>Email seems to be the least centralised or commercialised solution, but if course doesn't have all these nice advanced features... [1]<br><br>Peter<br><br>[1] like not allowing new users to comment on posts, which ended my engagement with the Isabelle stack overflow community before it really began... <br><div class="quote" style="line-height: 1.5"><br><br>-------- Original Message --------<br>Subject: [isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip<br>From: Makarius <makarius@sketis.net><br>To: isabelle-dev <isabelle-dev@in.tum.de><br>CC: <br><br><br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear isabelle-dev participants,<br><br>I have been ill for almost 2 weeks during the Christmas vacation and have now<br>started to clear out remaining bits from last year.<br><br>Many of the discussion items will become formal "Tasks" on<br>https://isabelle-dev.sketis.net/maniphest (see also general notes on<br>https://isabelle-dev.sketis.net/home/menu/view/20).<br><br><br>A notable new entry is https://isabelle-dev.sketis.net/T9 "Evaluate<br>https://discourse.org as replacement for mailman, stackoverflow, zulip"<br><br>That is rather ambitious: both the good old Mailman and fancy new games like<br>Zulip Chat should be replaced eventually. This requires careful evaluation of<br>the underlying technology first.<br><br>The deeper question behind is: Can we re-unify our canonical forum of<br>discourse for Isabelle users? Or are we already subjects of big corporations<br>like Stackexchange, Zulip, Linked-In etc?<br><br><br>       Makarius<br>_______________________________________________<br>isabelle-dev mailing list<br>isabelle-dev@in.tum.de<br>https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev<br></blockquote></div>