From: ludo-mXXj517/zsQ@public.gmane.org (Ludovic Courtès)
To: lightning-mXXj517/zsQ@public.gmane.org
Cc: guile-devel-mXXj517/zsQ@public.gmane.org
Subject: Trusting trust
Date: Tue, 26 Aug 2014 00:56:02 +0200 [thread overview]
Message-ID: <874mx0govx.fsf_-_@gnu.org> (raw)
In-Reply-To: CAKFjmdxt4jWAHAYXjzwPeUw+dTUBTPC94YJDNifsO7JVkNHjTQ@mail.gmail.com
Ian Grant <ian.a.n.grant@googlemail.com>
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’.
_______________________________________________
Lightning mailing list
Lightning@gnu.org
https://lists.gnu.org/mailman/listinfo/lightning
next prev parent reply other threads:[~2014-08-25 22:56 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <CAKFjmdzP89qSD03_MGqS1UawQvaq6yvme-abKcmLuA8DfUQE+A@mail.gmail.com>
[not found] ` <E1XKsRt-0002zo-64@fencepost.gnu.org>
[not found] ` <CAKFjmdyUphk2LmDdDE_7gkDSKAu4COurtvafBwO5XwCgyM1OfA@mail.gmail.com>
[not found] ` <E1XLP5I-0005zC-Sn@fencepost.gnu.org>
[not found] ` <E1XLP5I-0005zC-Sn-iW7gFb+/I3LZHJUXO5efmti2O/JbrIOy@public.gmane.org>
2014-08-25 20:59 ` GNU Thunder Ian Grant
2014-08-25 22:56 ` Ludovic Courtès [this message]
[not found] ` <CAKFjmdxt4jWAHAYXjzwPeUw+dTUBTPC94YJDNifsO7JVkNHjTQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2014-08-31 0:20 ` Richard Stallman
[not found] ` <E1XNssG-00083e-BB-iW7gFb+/I3LZHJUXO5efmti2O/JbrIOy@public.gmane.org>
2014-09-03 1:52 ` Ian Grant
2014-09-03 12:50 ` Richard Stallman
[not found] ` <E1XPA13-0002hD-Kp-iW7gFb+/I3LZHJUXO5efmti2O/JbrIOy@public.gmane.org>
2014-09-04 1:53 ` Ian Grant
[not found] ` <CAKFjmdyc0D5vYBK=rQKzKNK+WRmWhkkL-RXqBMSHvhOzX3fHiw-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2014-09-05 1:50 ` Richard Stallman
[not found] ` <E1XPifZ-0004g6-KA-iW7gFb+/I3LZHJUXO5efmti2O/JbrIOy@public.gmane.org>
2014-09-06 1:40 ` Ian Grant
[not found] ` <CAKFjmdwEs8TtPZjXWDYKoQXz4FEKy6p3T9+8jWLMY87Onn=VaQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2014-09-06 8:32 ` William ML Leslie
[not found] ` <CAKFjmdzzRoTdzWxAOh2byRbWDtszWZtt8Z2k0eLCFYR+qmAC9g@mail.gmail.com>
[not found] ` <CAKFjmdzzRoTdzWxAOh2byRbWDtszWZtt8Z2k0eLCFYR+qmAC9g-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2014-09-07 1:39 ` William ML Leslie
2014-09-07 13:18 ` Taylan Ulrich Bayirli/Kammer
[not found] ` <87iokzefgv.fsf-uVHYNzLEwI3da1iInxiBqA@public.gmane.org>
2014-09-09 1:00 ` Ian Grant
2014-09-06 15:09 ` GNU Thunder [Comments on Subversins from Ian Grant and Richard Stallman of GNU] Dr. Roger R. Schell
2014-09-06 17:49 ` GNU Thunder Ian Grant
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=874mx0govx.fsf_-_@gnu.org \
--to=ludo-mxxj517/zsq@public.gmane.org \
--cc=guile-devel-mXXj517/zsQ@public.gmane.org \
--cc=lightning-mXXj517/zsQ@public.gmane.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).