From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alex Griffin <a@ajgrf.com>
Subject: Re: Publishing an Official Statement on Self-Hosted Compilers
Date: Sat, 21 May 2016 18:22:34 -0500
Message-ID: <1463872954.167486.614816425.5BEFFB4C@webmail.messagingengine.com>
References: <1462459952.3184683.599099897.2F5459D9@webmail.messagingengine.com>
	<87zis37b14.fsf@gnu.org>
	<1462554829.3557989.600286737.0D1BE258@webmail.messagingengine.com>
	<874ma71vno.fsf@gnu.org>
	<1462839088.1794949.602935177.45787E29@webmail.messagingengine.com>
	<87zirs2y27.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:33024)
	by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <a@ajgrf.com>)
	id 1b4GFH-0005Eq-OR
	for guix-devel@gnu.org; Sat, 21 May 2016 19:23:48 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <a@ajgrf.com>) id 1b4GFC-0004wA-Mt
	for guix-devel@gnu.org; Sat, 21 May 2016 19:23:46 -0400
Received: from out2-smtp.messagingengine.com ([66.111.4.26]:42657)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <a@ajgrf.com>)
	id 1b4GFA-0004vb-7n
	for guix-devel@gnu.org; Sat, 21 May 2016 19:23:42 -0400
Received: from compute1.internal (compute1.nyi.internal [10.202.2.41])
	by mailout.nyi.internal (Postfix) with ESMTP id 6ABA9207AF
	for <guix-devel@gnu.org>; Sat, 21 May 2016 19:22:34 -0400 (EDT)
In-Reply-To: <87zirs2y27.fsf@gnu.org>
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: <http://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.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: =?utf-8?Q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Cc: guix-devel@gnu.org

On Thu, May 12, 2016, at 05:05 AM, Ludovic Court=C3=A8s wrote:
> I like it.  :-)
>=20
> I think the bit about the =E2=80=9Ctrusting trust=E2=80=9D attack should =
go under =E2=80=9CThe
> Problem=E2=80=9D. [...]
>=20
> WDYT?
>=20
> We should then discuss it with the repro-builds folks, and probably
> contact a bunch of compiler writers to get initial feedback.

Thanks for the feedback, I agree!

Unfortunately I can't continue working on this right now. Even though
this is not such a large task, it still requires more attention than I
can afford at the moment. I intend to come back to it later, once I am
confident that I can do a good job without neglecting anything more
important. In the meantime, everyone should feel free to work on this
without me if they want.

Thanks for understanding,
--=20
Alex Griffin