[isabelle-dev] A proposal for the website

Kevin Kappelmann kevin.kappelmann at tum.de
Tue Nov 3 00:12:49 CET 2020

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

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.


(*) 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
[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
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list