On 13/02/2021 12:12, Makarius wrote: > > Generally, the Heptapod / Octobus / Clevercloud is rather small and run by a > few smart people, see also https://octobus.net/#people mainly in France.
One of these guys is Raphaël Gomès https://octobus.net/#rgomes He recently had some public attention on the Mercurial mailing list (and other channels) due to some conference talks about "Rust-ing" or "oxidation" of Mercurial. Here is a version of the talk delivered in virtual Australia Jan-2021: https://lca2021.linux.org.au/schedule/presentation/49 https://static.octobus.net/talks/Speeding-up-Mercurial-2021-01-LINUXCONFAU.pdf https://youtu.be/MBQLL3uCQ4I Let's see how Mercurial will look like in 1-3 years. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
