> 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 <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 [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
