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

[Jonathon Fernyhough]

Both Discourse and Zulip are open-source software, just like
Phabricator. They may have a commercial entity behind them but that
means they should be more sustainable than having a one-person
development "team".

Keep in mind that Discourse is forum/mailing list software, not a chat
replacement. However, Phabricator has a built-in chat function which
could potentially replace Zulip assuming you don't use Zulip's threading
and topic features.

I believe it's also possible for Phabricator's Maniphest to act as a
kind of mailing list (e.g. you can add email addresses which can create
tasks in a particular Space which you can then reply to etc.).

However - if you are looking for forum software which can be shaped to
your requirements (and act like a mailing list) then Discourse is a very
good option.

J

On 12/01/2020 15: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
> 

-------------- 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/887fb83c/attachment.sig>