<div dir="ltr"><div>Hi,<br></div><div><br></div><div>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.</div><div><br></div><div>Do Zulip chats appear in search engine results?<br></div><div><br></div><div>Mark<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 3 Nov 2020 at 12:11, Jasmin Blanchette <<a href="mailto:j.c.blanchette@vu.nl" target="_blank">j.c.blanchette@vu.nl</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div><blockquote type="cite"><div><div>One could even imagine retiring the mailing list. I wonder how Zulip avoid the scourge of cross-posting</div></div></blockquote><div><br></div><div>It's just physically impossible (except via copy-paste).</div><br><blockquote type="cite"><div><div> and irrelevant conference announcements?<br></div></div></blockquote><div><br></div></div>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 (<a href="https://sneeuwbal.zulipchat.com" target="_blank">https://sneeuwbal.zulipchat.com</a>), 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.<div><br></div><div>It's really a glorified chat.<br><div><br></div><div>Jasmin</div><div><br></div></div></div>_______________________________________________<br>
isabelle-dev mailing list<br>
<a href="mailto:isabelle-dev@in.tum.de" target="_blank">isabelle-dev@in.tum.de</a><br>
<a href="https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev" rel="noreferrer" target="_blank">https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev</a><br>
</blockquote></div>