From mboxrd@z Thu Jan 1 00:00:00 1970 From: Amin Bandali Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Sat, 28 Dec 2019 02:20:53 -0500 Message-ID: <87png8apbe.fsf@gnu.org> References: <87tv616q5s.fsf@posteo.net> <141B1FAE-6518-4E0C-8E69-C96BCB540545@lepiller.eu> <878smxegxp.fsf@gnu.org> <87tv5ls8kj.fsf@gnu.org> <871rspe3x3.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:45743) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1il6PA-0003K3-OT for guix-devel@gnu.org; Sat, 28 Dec 2019 02:20:57 -0500 In-Reply-To: <871rspe3x3.fsf@gnu.org> 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.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Ludo=E2=80=99, all, Thanks for your vote(s) of confidence, Ludo=E2=80=99; it=E2=80=99s great to= hear! Ludovic Court=C3=A8s writes: > Hi! > > Brett Gilio skribis: > >> 100% Agreed. Amin is also working on packaging the Lean prover and I am >> taking an interest in seeing if we can extend the OPAM importer to have >> a subimporter for Coq. > > That=E2=80=99d be nice! > I just sent in the very first patch inspired (in part) by this proposal to guix-patches: https://issues.guix.gnu.org/issue/38770 :-) > >> Ludo, what do you think about an https://fm.guix.gnu.org/ URL hosting a >> haunt webpage designed by Amin and I (and maybe others) to detail the >> purpose, goal, and maybe institutional use cases (research papers) of >> GNU Guix in the formal methods community? > > The domain name would have to be discussed with others (other > maintainers in particular; perhaps a better choice would be > formal-methods.guix.info or fm.guix.info, next to hpc.guix.info), but > the idea sounds great to me! > Sure! I=E2=80=99d love to hear from others (esp. other maintainers) about = this. Personally, being a GNU maintainer, webmaster, and Savannah hacker, I=E2=80= =99m (almost by definition :-)) partial to using *.gnu.org and various pieces of the GNU infra (lists, Savannah source repositories, =E2=80=A6) for GNU w= ork whenever possible. As such, I naturally like fm.guix.gnu.org better as the domain, and would prefer to use Savannah for hosting our sources, e.g. the Haunt sources for the Guix-FM site. What do you think? Like Brett, I=E2=80=99d be curious to hear the reasons for using *.guix.inf= o and a non-Savannah repository forge for Guix-HPC. > > Thanks, > Ludo=E2=80=99. Best, amin --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEEObM8jZRIDS3cwqSYi0Sgzce5VvIFAl4HAlUQHGJhbmRhbGlA Z251Lm9yZwAKCRCLRKDNx7lW8maJD/9XjdX+Jqn4rkXEtT522O7I6CG+9jY0+4mK UqTCUNCPAtLrfZ9jwGR4VNX4A3M+fTMmN2CuuRMMPYZsu9AfWkhfRVMEmiNVSVqt 8ZMfDebss0BXClzqUS9/aPe+xpIMYCTlSeVimwy6072tp5JgKYaVpUdkfIkLPJR2 sAidJsEe5M2WEsFVmTumPuRJerOluf5Y7sa1gTdgFNFotHWeUSkRbvnow11zbD4w U4t5Ybm71BoUgc/W8ETZkor5VhraH+w97j4QhJ/pegLhabEn916QefUEoGuAvqUN hAvDy91PeJ/ZfHPd3sZ3jp+GOC5oty/Jk1SJjhge91FboZwlv4ZDdG6Wx/K7FTkL FI59qrmOlV91flqRkxhmI6C4rYhN2xAAzZ1AUVmmPvG4WT1ItxCIDVQB0nitq54P 8Mhv/HI62N7EaFW75Qn5+gXCdwXUaOmvn4v0+VW0A32faLR3PIBG0CZT4OIRtm3i ISqe1RwTtvwRrWQSMD8ib91B7wq+3TsT7OQz/x3tMYpghsaaF1STD4zp7hgVKSF1 j0dR9rvFfjOgEw9sCjYhtOvfYiyC2LeqLZiB3QcdpqPtTmHVKrISJ9gltXp3pblr PmwtPWew9lNwWdUQfUiN1qFXwN4dxyUeqYE2gBX4A2A+LuQ7UsVmElGUogpMqMO2 yFKtP/rveQ== =wG9W -----END PGP SIGNATURE----- --=-=-=--