[isabelle-dev] A proposal for the website

Makarius makarius at sketis.net
Mon Nov 2 20:58:49 CET 2020

On 02/11/2020 18:13, Lawrence Paulson wrote:
> I don’t know why we should try to build our own discussion server. Unless we can do it better, we shall struggle to lure people away from the existing options. Even if we could, is this really our priority? We don’t need to reinvent every wheel.

It belongs to the Isabelle philosophy to do things in unconventional ways. You
have started this yourself approx. 1989, and I have always taken this seriously.

Of course, we do reuse existing technologies, but in a manner that serves our
purposes, not the other way round.

> Take a look at https://isabelle.zulipchat.com/ where people have created streams covering a variety of topics and where discussions seem to be going on more or less constantly. It’s actually heartening to see these communities developing spontaneously, with no encouragement on our part.

I might look eventually, but my inclination to enter such "walled gardens"
that are overseen by big corporations is very low.

Are there ways to export all data of such Zulip chat communities and migrate
them to a different system?

Also the other way round: Is it possible to import old Mailman histories into
the system under consideration?


More information about the isabelle-dev mailing list