From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alexandru-Sergiu Marton Subject: [Proposal] The Formal Methods in GNU Guix Working Group Date: Thu, 23 Jan 2020 19:17:26 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:58592) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iuhy9-0004nJ-96 for guix-devel@gnu.org; Thu, 23 Jan 2020 14:16:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iuhy8-0006ih-65 for guix-devel@gnu.org; Thu, 23 Jan 2020 14:16:45 -0500 Received: from mail-vk1-xa2b.google.com ([2607:f8b0:4864:20::a2b]:44551) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iuhy8-0006hy-0K for guix-devel@gnu.org; Thu, 23 Jan 2020 14:16:44 -0500 Received: by mail-vk1-xa2b.google.com with SMTP id y184so1299739vkc.11 for ; Thu, 23 Jan 2020 11:16:43 -0800 (PST) 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: brettg@posteo.net, guix-devel@gnu.org Hi all, I know I'm a bit late to the party but I want to express my support for this initiative. I have very little knowledge about formal methods - extracted from this thread, a few conversations with Brett and from skimming through the Wikipedia page. Despite this, I find the idea of a Formal Methods Working Group in GNU Guix being very interesting and I think this environment suits such a trade very well. You have my support (like from a cheerleader, because I don't have the technical knowledge to provide other kinds of support). I'm looking forward to hearing more about this working group and it's activity. Cheers, Sergiu