[isabelle-dev] A proposal for the website

Mark Wassell mpwassell at gmail.com
Tue Nov 3 13:22:23 CET 2020


A benefit of the email list and Stack Overflow is that they are stores of
wisdom, as well as being a medium for asking questions and getting answers.
We get this 'for free' as emails and SO posts appear in search engine

Do Zulip chats appear in search engine results?


On Tue, 3 Nov 2020 at 12:11, 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
> _______________________________________________
> 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/20201103/afc8e92a/attachment.htm>

More information about the isabelle-dev mailing list