[Lightning] Trusting trust

[Ludovic Courtès]

Ian Grant <address@hidden>
skribis:

> The trick Thompson demonstrates is what I call a _syntactic fixed-point_.
> He basically makes a Y combinator of the C compiler, so that it takes in
> its own source and outputs it again, but that does not mean that the source
> it outputs is the source you read when you look at the source-distribution.
>
> The solution is to establish a _semantic_ fixedpoint.

On that topic, you might like:

  https://lists.gnu.org/archive/html/guix-devel/2013-09/msg00159.html

You’re even welcome to contribute to that effort.  :-)

(I think it doesn’t have much to do with the initial lightning + Guile
discussion, though.)

Ludo’.