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.
Tobias 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 [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
