<div dir="auto">What's the problem with the mailing list?It does have an archive that you control.<div dir="auto"><br></div><div dir="auto">Slack.com is an alternative if you want yet another web2.0 gadget.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Viktor Kuncak <<a href="mailto:viktor.kuncak@epfl.ch">viktor.kuncak@epfl.ch</a>> ezt írta (időpont: 2020. jan. 12., Vas 17:17):<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Does anyone have experience with Matrix?<br>
<br>
<a href="https://matrix.org/" rel="noreferrer noreferrer" target="_blank">https://matrix.org/</a><br>
<a href="https://matrix.org/clients/" rel="noreferrer noreferrer" target="_blank">https://matrix.org/clients/</a><br>
<br>
<br>
On 12/01/2020 16:52, <a href="mailto:lammich@in.tum.de" target="_blank" rel="noreferrer">lammich@in.tum.de</a> wrote:<br>
> Why discourse. It seems to be commercial too?<br>
> Email seems to be the least centralised or commercialised solution, but <br>
> 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 <br>
> engagement with the Isabelle stack overflow community before it really <br>
> began...<br>
> <br>
> <br>
> -------- Original Message --------<br>
> Subject: [isabelle-dev] <a href="https://discourse.org" rel="noreferrer noreferrer" target="_blank">https://discourse.org</a> as replacement for <br>
> mailman, stackoverflow, zulip<br>
> From: Makarius <<a href="mailto:makarius@sketis.net" target="_blank" rel="noreferrer">makarius@sketis.net</a>><br>
> To: isabelle-dev <<a href="mailto:isabelle-dev@in.tum.de" target="_blank" rel="noreferrer">isabelle-dev@in.tum.de</a>><br>
> CC:<br>
> <br>
> <br>
>     Dear isabelle-dev participants,<br>
> <br>
>     I have been ill for almost 2 weeks during the Christmas vacation and<br>
>     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>
>     <a href="https://isabelle-dev.sketis.net/maniphest" rel="noreferrer noreferrer" target="_blank">https://isabelle-dev.sketis.net/maniphest</a> (see also general notes on<br>
>     <a href="https://isabelle-dev.sketis.net/home/menu/view/20" rel="noreferrer noreferrer" target="_blank">https://isabelle-dev.sketis.net/home/menu/view/20</a>).<br>
> <br>
> <br>
>     A notable new entry is <a href="https://isabelle-dev.sketis.net/T9" rel="noreferrer noreferrer" target="_blank">https://isabelle-dev.sketis.net/T9</a> "Evaluate<br>
>     <a href="https://discourse.org" rel="noreferrer noreferrer" target="_blank">https://discourse.org</a> as replacement for mailman, stackoverflow, zulip"<br>
> <br>
>     That is rather ambitious: both the good old Mailman and fancy new<br>
>     games like<br>
>     Zulip Chat should be replaced eventually. This requires careful<br>
>     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<br>
>     corporations<br>
>     like Stackexchange, Zulip, Linked-In etc?<br>
> <br>
> <br>
>     Makarius<br>
>     _______________________________________________<br>
>     isabelle-dev mailing list<br>
>     <a href="mailto:isabelle-dev@in.tum.de" target="_blank" rel="noreferrer">isabelle-dev@in.tum.de</a><br>
>     <a href="https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev" rel="noreferrer noreferrer" target="_blank">https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev</a><br>
> <br>
> <br>
> _______________________________________________<br>
> isabelle-dev mailing list<br>
> <a href="mailto:isabelle-dev@in.tum.de" target="_blank" rel="noreferrer">isabelle-dev@in.tum.de</a><br>
> <a href="https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev" rel="noreferrer noreferrer" target="_blank">https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev</a><br>
> <br>
_______________________________________________<br>
isabelle-dev mailing list<br>
<a href="mailto:isabelle-dev@in.tum.de" target="_blank" rel="noreferrer">isabelle-dev@in.tum.de</a><br>
<a href="https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev" rel="noreferrer noreferrer" target="_blank">https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev</a><br>
</blockquote></div>