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

[Jonathon Fernyhough]

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 <viktor.kuncak at epfl.ch <mailto:viktor.kuncak at epfl.ch>> 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, lammich at in.tum.de <mailto: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 <mailto:makarius at sketis.net>>
>     > To: isabelle-dev <isabelle-dev at in.tum.de
>     <mailto: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 <mailto: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 <mailto: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 <mailto: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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200112/28f27b7e/attachment-0001.sig>