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, 21 Dec 2019 01:48:46 -0500 Message-ID: <877e2qqilt.fsf@gnu.org> References: <87tv616q5s.fsf@posteo.net> 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]:60586) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iiYZH-000688-2k for guix-devel@gnu.org; Sat, 21 Dec 2019 01:48:51 -0500 In-Reply-To: <87tv616q5s.fsf@posteo.net> 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: guix-devel@gnu.org --=-=-= Content-Type: text/plain Hello Guix! Thank you Brett for taking initiative and putting this awesome proposal together on all our behalves, and to everyone else for chiming in and expressing your interest and support! To share some of my (scattered) thoughts on this, as a researcher I think reproducible and verifiable research is a crucially important topic, yet traditionally and often a neglected one. Throughout my graduate studies, too many times I stumbled on papers with interesting claims that I sadly could not reproduce or easily verify for myself. And I think this is especially ironic and painful for those of us doing research in formal methods, computing science, and software engineering; and is where projects like GNU Guix with their awesome efforts in reproducibility could act as role models and show what's possible. For instance, for better or worse many of the tools I have worked with over the last few years are primarily implemented in Java, often in form Eclipse plugins. Suffice to say that release management, bundling, and distribution practices of most of these tools leave a lot to be desired. As part of the Formal Methods in GNU Guix Working Group, I'd love for us to try and get in touch with the developers of these tools and offer to work with them to challenge and improve the status quo, resulting ultimately in more readily and easily accessible tools, greatly useful for verifying and reproducing existing literature. As Brett and I alluded to, there's a large variety of tasks in all shapes and sizes that could use your help, from more "researchy" work like writing a bootstrapping SML '97 compiler, or exploring synthesis and verification for GNU Guile and GNU Guix, to less researchy ones like packaging (even more) formal methods-related software and helping their developers improve their release and package qualities. We would love to hear more from you about this in trying to gradually put together actionable plans. If you'd like to chat with us, please come say hi to us in the #guix IRC channel on freenode. My nick there is bandali, and Brett is brettgilio. Best, amin --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEEObM8jZRIDS3cwqSYi0Sgzce5VvIFAl39wE8QHGJhbmRhbGlA Z251Lm9yZwAKCRCLRKDNx7lW8u9aD/9fXhEHbZvHqaUbPvJDL5uuLQQIGyYvLtEE 7okHo1CuWpHBItE8+pbFTfnsY8YI9t294KgyT8mW2Z5ZSp1fZs5AcLsvIL2Bqw38 7H9xAhFgw2XENcJkgvczX2BQygK/zrNiB5tv4NpiZwihPAES+Lo+LmnV396sA5r4 xLtgtjQ38BKDNo8L0K85u70njE4/xZMGFz7YbUM2gihhXQkkAI032kbdswiQIOEt PvTBi6dDhoH/Fd6l5szre28WdvA/Tz2Gak2vPrjgQX9e6zSSvWS6luTaJV4EEUA8 xgrajnfJZQIj6Dw4hTrg6Bp/WjIKBAAB8Ar9KYo5CKcbpQgv6LYa23OCw4GjQsHH /roCNg/yC+sefUTBBgGFuMIa4NJs+jRSMS+2U2PkMIRuVzZkeLN1kegCdIv6TzYv GDYVFIYEnJoNQPrz/Nn0cnfRF0r8SkQt7CSqc4qqnWbZlKJu5v641AQhCTXtfsqt bDNhAQH5uxwiAfBooneLKwnuchu+X9q60rLGssF7B9CLQDIGbGoMXPHBAAC7BM28 gFNsinEyZ7TV04J1MBZxJbbasKjDCXvXD9JlPpuS++yxkBVd1K+Y1a/Ba+dBdl6Q PTTkgewbJkTLZRe5Zkya+rraJh73mLloRO1IX0pXkfYLaGJEMqyS2xqMr+9+twmr q/81TMh1Tw== =POmq -----END PGP SIGNATURE----- --=-=-=--