Email Gateway (Aug 23 2022 at 08:45): Email Gateway (Aug 23 2022 at 08:45):From: Makarius <makarius@sketis.net>
Gerwin is responsible for the moves of AFP after this genocide by Bitbucket of
approx. 3% of its members. There are still a few weeks left.
For the Isabelle infrastructure proper, I have already everything set in
place, see also these blog entries:
https://sketis.net/2019/isabelle-phabricator-server-setup
https://sketis.net/2020/selfhosting-of-mercurial-repositories
Moreover there is a private instance https://vcs.sketis.net for myself and my
collaborators / co-authors --- I now prefer that over Github, Gitlab,
Bitbucket. All my former public Bitbucket repositories are already at
https://makarius.sketis.net/repos (when deleting a repository at Bitbucket it
allows to specify a follow-up link, and everything of worth points to my own
server now).
Concerning the status of the Mercurial community, I have done a lot of
research in the post few months. It is actually more alive and active than I
expected, with paid professionals doing maintenance and further conceptual
development. Thus Mercurial is slightly more stable than Isabelle itself.
So we can continue with Mercurial quitely and peacefully without having to
subscribe to the noise and aggression of the Git guys. Somehow the attitude of
"total world domination" from the Linux kernel crew has been inherited by Git,
but without the opposition of other powers like Microsoft. This might also
explain the idea that to "have won" one has to kill everybody else. But this
would also prevent conceptual progress that is still required in the area of
versioning: Git cannot be the last word on it.
So for the sake of peace and technological progress, we can be glad that the
non-git world still continues.
Makarius
Email Gateway (Aug 23 2022 at 08:45):From: Max Haslbeck <max.haslbeck@gmx.de>
So you are now the main developer AND responsible for hosting the complete development infrastructure of Isabelle. What if you can’t continue working on Isabelle?
Email Gateway (Aug 23 2022 at 08:45):From: Makarius <makarius@sketis.net>
On 21/03/2020 13:55, Max Haslbeck wrote:
So you are now the main developer AND responsible for hosting the complete development infrastructure of Isabelle.
Self-hosting in a broad sense has been part of the Isabelle approach from
early on.
Doing more and more of it myself saves me a lot of time: it avoids tedious
negotiations with other administrative entities (and erratic decisions by big
players). Moreover, I learn how it actually works: self-hosting is easy and
fun, if done with a proper sense for simplicity and adequacy --- just like
everything else in Isabelle.
What if you can’t continue working on Isabelle?
Then it will be dead within approx. 5 years. We have been living with such a
situation already in the past 20 years -- seriously.
Users who are worried about that can come up with creative ideas to find
funding, both or myself and for David Matthews (the grand master behind
Poly/ML). Even small amounts help, e.g. "software maintenance contracts"
associated as "materials" for research projects. Of course, bigger amounts
help more.
Makarius
Last updated: Apr 26 2024 at 04:17 UTC