[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Blog post on the Full-Source Bootstrap

From: Janneke Nieuwenhuizen
Subject: Re: Blog post on the Full-Source Bootstrap
Date: Fri, 28 Apr 2023 15:14:46 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)

Simon Tournier writes:

Hi Simon,

> On mer., 26 avril 2023 at 16:12, Janneke Nieuwenhuizen <> 
> wrote:
> Really cool!

Yeah, thanks!

> Maybe I misread the wording:
>         If you run guix pull today, you get a package graph of more than
>         22,000 nodes rooted in a 357-byte program
> or
>         First, while the package graph is rooted in a 357-byte program,
> Well, without being the accountant, considering the “more than 22,000
> nodes”, the revision fa685c8 contains ~23,000 packages and more than
> 1700 packages depends on GHC (Haskell) which is not bootstrapped from
> this 357-byte program, AFAIK.

Yeah, IWBN if someone would fix that and make the story more accurate

> $ guix refresh -l ghc@9.2 | cut -f1 -d':'


> In addition, that’s similar for ~450 packages relying on OCaml.
> Bah, I am nitpicking.  Am I? :-)

Yeah, but most enjoyably so :-)  Also, it's nice to know that someone
checked we're not telling too big a lie.

> What achievement this bootstrap story!  Thanks to all the people
> involved.  Back on FOSDEM 2017, I remember “Mes -- Maxwell's Equations
> of Software An attempt at dissolving bootstrap binaries” [1].  Thanks to
> this talk, I had this kind of revelation:
>         Yes, that was the big revelation to me when I was in graduate
>         school—when I finally understood that the half page of code on
>         the bottom of page 13 of the Lisp 1.5 manual was Lisp in
>         itself. These were “Maxwell’s Equations of Software!”
>                                                             – Alan Kay – 
> Then, I got the point with Yogurt metaphor [2] on FOSDEM 2019.  Anyway!

Lovely.  Thanks for you comments, most appreciated!


Janneke Nieuwenhuizen <>  | GNU LilyPond
Freelance IT | Avatar®

reply via email to

[Prev in Thread] Current Thread [Next in Thread]