Stream: coq-community devs & users

Topic: Comparing coq-community to Isabelle


view this post on Zulip Karl Palmskog (Jun 20 2020 at 11:23):

Some interesting observations about project hosting / management / etc. from the Isabelle perspective by Makarius here: https://files.sketis.net/Isabelle_Workshop_2020/Isabelle_2020_paper_7.pdf

He has previously spoken out about Bitbucket's closing here: https://sketis.net/2020/selfhosting-of-mercurial-repositories

However, in my mind, "self-hosting" seems to be quite vulnerable still, in that there will be more concentration of expertise/management among those who actually deal with infrastructure vs. regular users. The bus factor probably becomes higher.

view this post on Zulip Karl Palmskog (Jun 20 2020 at 11:25):

The Isabelle hosting environment using Mercurial and Phabricator here: https://isabelle-dev.sketis.net/

view this post on Zulip Karl Palmskog (Jun 20 2020 at 11:28):

I could definitely see the possibility of completely community-run distributed infrastructure if GitHub becomes unbearable for some reason, e.g., several Git+Phabricator instances


Last updated: Feb 05 2023 at 13:02 UTC