[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip

[Viktor Kuncak]

Does anyone have experience with Matrix?

https://matrix.org/
https://matrix.org/clients/


On 12/01/2020 16:52, lammich at in.tum.de 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 <makarius at sketis.net>
> To: isabelle-dev <isabelle-dev at in.tum.de>
> 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
>     isabelle-dev at in.tum.de
>     https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>