From mboxrd@z Thu Jan 1 00:00:00 1970 From: zimoun Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Wed, 12 Feb 2020 15:16:47 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:44771) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j1sp2-0007hj-Pa for guix-devel@gnu.org; Wed, 12 Feb 2020 09:17:01 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j1sp1-0000uR-ID for guix-devel@gnu.org; Wed, 12 Feb 2020 09:17:00 -0500 Received: from mail-qv1-xf2a.google.com ([2607:f8b0:4864:20::f2a]:38395) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j1sp1-0000ti-BH for guix-devel@gnu.org; Wed, 12 Feb 2020 09:16:59 -0500 Received: by mail-qv1-xf2a.google.com with SMTP id g6so978877qvy.5 for ; Wed, 12 Feb 2020 06:16:59 -0800 (PST) In-Reply-To: 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: "Orians, Jeremiah (DTMB)" Cc: "guix-devel@gnu.org" , "vic798@gmail.com" Dear, On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB) wrote: > We also have a scheme bootstrappable from nothing written in C > https://github.com/oriansj/mes-m2 > https://github.com/oriansj/mescc-tools-seed The term "nothing" is mitigated; i.e. "nothing" means: a booted system running a (linux) kernel. Right? Thank you for all your contributions! e.g., hex0 is amazing! :-) All the best, simon