1. Zulip can be self-hosted [1] (*) 2. One can create backups and export all data [2]
3. One could import past mailing list threads into Zulip by simply re-posting them in an e-mail-archive stream. By the way, we already crosspost new mailing list messages to such streams [3, 4] 4. As for the searchable mailing list: there's already a search bar on [5], the same search bar, in theory, should also be available on [6] (both use Pipermail), and one can use a search engine with site filters, e.g. google for "induction site:https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/"; 5. I think the Isabelle Quick Access Links website [7] should be referenced on the website too. It is really helpful to get an overview and to get some ideas on how to get started. Kevin. (*) though I personally would not do that given that it incurs overhead, costs, and I only had very great experiences with the Zulip community so far (prompt bug fixes and support replies) [1] https://zulip.readthedocs.io/en/stable/production/install.html [2] https://zulip.readthedocs.io/en/latest/production/export-and-import.html [3] https://isabelle.zulipchat.com/#narrow/stream/247542-Mirror.3A-Isabelle.20Development.20Mailing.20List [4] https://isabelle.systems/zulip-archive/ [5] https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html [6] https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/ [7] https://isabelle.systems On 02.11.20 23:20, Makarius wrote: > On 02/11/2020 21:15, Tobias Nipkow wrote: >> There are two issues here: >> >> - Should we advertise the active zoolip chat? Of course we should, everything >> else is simply ineffective censorship. > > I do need more research about what Zulip Chat really is. Right now I suspect > we can afford a link to it on the Isabelle website, but I will probably not > join that walled site. > > >> The isabelle wiki could be unlinked at the same time. > > Great. It was never really active anyway. > > >> - Should we try other alternatives? That's up to whoever wants to try them. >> In >> the end the community will vote one way or the other, with their feet. > > We do have some influence on the main and official Isabelle channels: > isabelle-users and isabelle-dev. > > The research so far suggests that Discourse can indeed operate as successor of > Mailman. > > As a start, I will try to make a read-only (searchable) archive of our mailing > lists with it, to be linked on the Isabelle website. Later on, we can figure > out if moving the actual mailing lists is feasible. > > (I am curious to see if we can make moves that are not just gravitational > effects of huge black holes on the Internet. Freedom and independence has > become a scarce resource.) > > > Makarius > _______________________________________________ > 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
