Hi Brett, Brett Gilio <bre...@gnu.org> skribis:
> 1. Just as the bootstrappability and guix-hpc projects have their own > websites documenting their efforts, I think it would be nice to have > https://fm.guix.gnu.org/ which would host a Haunt-generated > website. This website would be hosted in the Savannah project structure > for GNU Guix. This would document who is active in the coordination and > oversight of this working group, and would express a clear and mutual > relationship with the GNU Guix / Guix System project. Like I wrote in another message, the only question will be the domain name, but other than that it sounds great. > 2. Perhaps we should adopt a particular tag for the Guix Debbugs > tracker, so as to be able to clearly delineate that this particular > patch or bug is in relation with the formal methods working > group. Maybe something like [FM]. I’d say let’s figure it out when it becomes an issue. :-) > 3. It was suggested that maybe a #guix-fm IRC channel might be useful, > but we have had a mixed bag of opinions on this. I personally think that > keeping everything together is the better solution, but I'd still like > to hear acceptance or criticism of this idea. Keeping everything on #guix for now sounds like the right thing to me. > 4. A lot of documenting working group milestones (Working on a Coq > sub-importer for OPAM, writing a bootstrapping compiler for SML97, > doing regular packaging duties for formal methods projects, > communicating upstream about distribution package quality, and perhaps > even trying to do formal methods work via synthesis in GNU Guile / GNU > Guix would be likely best expressed on the mailing list, and the > https://fm.guix.gnu.org/ website, but this likely rests in the hands of > the GNU Guix maintainers, of which I am not. > > 5. Additionally, maybe making an introductory post on the > https://guix.gnu.org/ blog about the preliminary goals of the working > group, after having our own subdomain established, would be a good way > to attract some attention to the project by distributing links to it on > HackerNews, Reddit, and Formal Methods/Functional Programming-related > mailing lists. Sounds like a great plan to me! Ludo’.
