[isabelle-dev] A proposal for the website

[Lawrence Paulson]

These are interesting points. Chat (i.e. brief, ephemeral discussions) is quite different from mailing list, where heavyweight announcements are made. That means we need both, and also that it would make no sense to migrate material from the mailing list to the chat, unless some unimaginable technology could separate the chat-like exchanges from the announcements.

Larry

> On 3 Nov 2020, at 12:10, Jasmin Blanchette <j.c.blanchette at vu.nl> wrote:
> 
>> One could even imagine retiring the mailing list. I wonder how Zulip avoid the scourge of cross-posting
> 
> It's just physically impossible (except via copy-paste).
> 
>> and irrelevant conference announcements?
> 
> All conversations are part of a stream and have a topic. Users can choose which streams they follow; think of them as separate mailing (sub)lists if it helps. E.g. for our own automated-reasoning-oriented Zulip (https://sneeuwbal.zulipchat.com), we have a stream called "shameless (but AR-related) announcements". So far we're not on any spammer's radar, though, so the announcements are pretty relevant.
> 
> It's really a glorified chat.
> 
> Jasmin
>