[isabelle-dev] A proposal for the website

Tobias Nipkow nipkow at in.tum.de
Mon Nov 2 21:15:11 CET 2020

There are two issues here:

- Should we advertise the active zoolip chat? Of course we should, everything 
else is simply ineffective censorship. The isabelle wiki could be unlinked at 
the same time.

- 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.


On 02/11/2020 20:58, Makarius wrote:
> 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?
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20201102/2bdb229c/attachment.bin>

More information about the isabelle-dev mailing list