@dab41b40 Some of the same folks behind Sourcehut are also behind https://harelang.org. I've been pretty active with that language recently to further support the ecosystem and vision.