From mboxrd@z Thu Jan 1 00:00:00 1970 From: Maxim Cournoyer Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Mon, 13 Jan 2020 14:27:50 -0500 Message-ID: <87r203rwax.fsf@gmail.com> References: <87tv616q5s.fsf@posteo.net> <141B1FAE-6518-4E0C-8E69-C96BCB540545@lepiller.eu> <878smxegxp.fsf@gnu.org> <87tv5ls8kj.fsf@gnu.org> <871rspe3x3.fsf@gnu.org> <875zi1qhoc.fsf@gnu.org> <87o8vp1os4.fsf@gnu.org> <87blrlse36.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:37267) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ir5Np-0001LZ-9E for guix-devel@gnu.org; Mon, 13 Jan 2020 14:28:19 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ir5Nn-0007wg-V8 for guix-devel@gnu.org; Mon, 13 Jan 2020 14:28:17 -0500 In-Reply-To: <87blrlse36.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Thu, 02 Jan 2020 23:11:57 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org, bandali@gnu.org, GNU Guix maintainers Hello, Ludovic Court=C3=A8s writes: > Hello! > > (Cc: maintainers.) > > Brett Gilio skribis: > >> Dec 30, 2019 3:34:22 PM Ludovic Court=C3=A8s : >> >>> Guix-HPC is =E2=80=9Cinstitutional=E2=80=9D, that=E2=80=99s part of the= reason behind this. >>> Regarding gitlab.inria.fr, that=E2=80=99s because it used to be hosted = at Inria. >>> Also, is a channel developed >>> by colleagues at Inria, so it=E2=80=99s more convenient to have it ther= e. >> >> >> Hey Ludo, thanks for the explanation. >> >> It makes sense why Guix-HPC lives somewhere else. Given this, what >> do you propose for initiating the conversation on where the formal >> methods haunt page should live with the other maintainers? I >> personally think the repository should live on Savannah, but the >> address needs to be discussed. > > It=E2=80=99s fine to host the repo on Savannah: we can ask for a new repo= under > the Guix umbrella, the downside being that access control will be the > same as for the other repos (we can only grant access to all the repos > or none of them.) If you plan to open it more to formal methods people > that do not yet contribute to Guix, it might be easier to use a separate > repo. You tell us! > > As for the domain name: I think it would be fine to use > formal-methods.guix.gnu.org as long as the web site follows GNU and Guix > policy, which mostly means referring only to free software, avoiding the > phrase =E2=80=9Copen source=E2=80=9D to describe it, and probably avoidin= g institution > logos and such (I don=E2=80=99t think there=E2=80=99s any written policy = but I would > personally find it out of place on gnu.org.) Anyway, the two of you are > webmasters so you probably know this better than I do. IOW, if you want > to flatter your employers and labs, you might want to opt for a separate > web site. :-) > > Maintainers, what do you think? I haven't followed the discussion of a formal methods work group associated with Guix as closely as I should have, but I'm thrilled that such an initiative is taking off! > Anyway, step #1 is to get a web page ready. :-) Agreed. Maxim