Hi, 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 results.
Do Zulip chats appear in search engine results? Mark On Tue, 3 Nov 2020 at 12:11, Jasmin Blanchette <[email protected]> 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 > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev >
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
