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

[Gergely Buday]

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> 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 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
> >
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200112/d64ef4d5/attachment-0001.html>