From mboxrd@z Thu Jan  1 00:00:00 1970
From: Bengt Richter <bokr@bokr.com>
Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Wed, 12 Feb 2020 21:59:34 +0100
Message-ID: <20200212204332.GA44162@LionPure>
References: <DM6PR09MB5957FF5E863F47FF0418C602C61B0@DM6PR09MB5957.namprd09.prod.outlook.com>
 <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
Reply-To: Bengt Richter <bokr@bokr.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:46179)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <bokr@oz.net>) id 1j1z75-0001eT-6H
 for guix-devel@gnu.org; Wed, 12 Feb 2020 16:00:04 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <bokr@oz.net>) id 1j1z73-0002Bb-So
 for guix-devel@gnu.org; Wed, 12 Feb 2020 16:00:02 -0500
Received: from imta-36.everyone.net ([216.200.145.36]:56594
 helo=imta-38.everyone.net)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <bokr@oz.net>) id 1j1z73-00024H-JN
 for guix-devel@gnu.org; Wed, 12 Feb 2020 16:00:01 -0500
Content-Disposition: inline
In-Reply-To: <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org
Sender: "Guix-devel"
 <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
To: zimoun <zimon.toutoune@gmail.com>
Cc: "guix-devel@gnu.org" <guix-devel@gnu.org>, "vic798@gmail.com" <vic798@gmail.com>, "Orians,
 Jeremiah (DTMB)" <OriansJ@michigan.gov>

Hi Guix,

On +2020-02-12 15:16:47 +0100, zimoun wrote:
> Dear,
> 
> On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB)
> <OriansJ@michigan.gov> 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?
>

ISTR someone made an initrd with guile in it, and "booted to guile."
If that is so, does that not suggest that "from nothing" could
be independent of a running kernel?

Wouldn't that be cool? !! ;-)

> 
> Thank you for all your contributions!
> e.g., hex0 is amazing! :-)
> 
> All the best,
> simon
> 

-- 
Regards,
Bengt Richter