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

[Jonathon Fernyhough]

Yes - it's a decentralised chat service.

If you want an IRC-style chat then Matrix can work well.

On 12/01/2020 16:15, Viktor Kuncak wrote:
> 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 --------------
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/c52ac056/attachment.sig>