Email Gateway (Apr 08 2021 at 09:12): Email Gateway (Apr 08 2021 at 09:12):From: Marco David <mdavid8101@gmail.com>
Dear all,
Recently, I have found myself wanting to add something I newly learned
to the community-managed Isabelle Cheat Sheet on the wiki, at
https://isabelle.in.tum.de/community/Isabelle_Cheat_Sheet. Two years
ago, I used to have an account (which you need to edit) but my log-in
doesn't work anymore. After searching a bit, I found the publicly
available users list
<https://isabelle.in.tum.de/community/Special:ListUsers>, which
unfortunately only lists one default and one admin account.
Who is in charge of the wiki, and would it be possible to re-gain
editing rights? Maybe one should even consider making edits much easier
for people (even publicly accessible?) so that pages like the above
Cheat Sheet or the "Tips and Tricks" page can continue to grow. I'm
convinced (as we also published previously) that this is one of the key
tools, together with a database of questions on StackOverflow (rather
than on this mailing list, maybe – although that's a different
discussion), to make Isabelle accessible to newcomers, be it students or
researchers of mathematics or computer science or yet other disciplines.
Or, should the wiki be no longer maintained for good, is there an
alternative where such content can be / will be statically hosted?
Thanks in advance!
All the best,
Marco
Email Gateway (Apr 08 2021 at 09:59):From: Makarius <makarius@sketis.net>
On 07/04/2021 18:12, Marco David wrote:
Recently, I have found myself wanting to add something I newly learned to the
community-managed Isabelle Cheat Sheet on the wiki, at
https://isabelle.in.tum.de/community/Isabelle_Cheat_Sheet.Who is in charge of the wiki, and would it be possible to re-gain editing
rights? Maybe one should even consider making edits much easier for people
(even publicly accessible?) so that pages like the above Cheat Sheet or the
"Tips and Tricks" page can continue to grow.
I can't remember a time when this experimental MediaWiki instance was actually
up-to-date, but I do remember an initial motivation to collect unconnected
snippets without ambitions to keep things in proper form.
I'm convinced (as we also
published previously) that this is one of the key tools, together with a
database of questions on StackOverflow (rather than on this mailing list,
maybe – although that's a different discussion), to make Isabelle accessible
to newcomers, be it students or researchers of mathematics or computer science
or yet other disciplines.
StackOverflow was once very hot, but has lost a lot of its initial appeal. The
really hot thing is now Zulip Chat.
But I don't want to participate in any real-time channel, and especially not
on an outsourced server where you don't "own your data".
Eventually, I would like to see just one place where all the relevant
information exchange happens.
A candidate for that is a self-hosted Discourse instance. I see more and more
such servers for high-end projects. But this is not for free: it requires
serious efforts to maintain the content and the community. (Like we do already
on this old-fashioned Mailman list.)
For example, see the combined Forum + Wiki of the extraordinary Caddy
Webserver project, which is a potential successor of both Apache and Nginx:
https://caddy.community
Or see the more conventional Nextcloud project https://help.nextcloud.com with
rubriques like "News", "How to", "Support".
Makarius
Email Gateway (Apr 08 2021 at 10:40):From: Lukas Stevens <lukas.stevens+isabelle-users@in.tum.de>
Simon Wimmer and I started a GitHub repository [1] to replace the old
wiki some time ago. If you want, you can put the content there. The
repository is in need of better maintenance and more content, though.
Greetings,
Lukas
[1] https://github.com/isabelle-prover/cookbook
Last updated: Jul 15 2022 at 23:21 UTC