From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pierre Neidhardt Subject: Re: How to present Guix to a wider audience Date: Wed, 15 Jan 2020 09:57:59 +0100 Message-ID: <87eew1w0yw.fsf@ambrevar.xyz> References: <878smq41kg.fsf@ambrevar.xyz> <874kwyp9hi.fsf@ambrevar.xyz> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:49676) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ireV4-0006H9-Mi for help-guix@gnu.org; Wed, 15 Jan 2020 03:58:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ireV0-0002Kl-Bl for help-guix@gnu.org; Wed, 15 Jan 2020 03:58:05 -0500 Received: from relay9-d.mail.gandi.net ([217.70.183.199]:40435) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ireV0-0002K6-5C for help-guix@gnu.org; Wed, 15 Jan 2020 03:58:02 -0500 In-Reply-To: List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane-mx.org@gnu.org Sender: "Help-Guix" To: Josh , help-guix@gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Josh writes: > http://wiki.c2.com/?TheKenThompsonHack > > https://www.quora.com/What-is-a-coders-worst-nightmare/answer/Mick-Stute?= srid=3DRBKZ&share=3D1 It's a nice story, I may just include it as well in the references. > https://en.wikipedia.org/wiki/Backdoor_(computing)#Compiler_backdoors I've already included this link. > I think some of the buildup to the logical proof can be omitted, with=20 > just the assertion that with the elements of FLOSS, Reliability, and=20 > Trust are required and guix is designed to guarantee those would be=20 > sufficient for the audience. Could you be more specific as to which part can be omitted? =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl4e1BcACgkQm9z0l6S7 zH9zZwgAm9EZngGftNU+ymW+v1x2NcvaYe1pdltr+zuJlVzacMhdE8PD0oCVtfjH JDESv8G0xAKNv1Op6tg+YIsWDZV0783iK1TIFTHG52IRYFULrg3dkN3txQx48LJG j6HhLUbcMZINsMaEgo0h1vwFRQ2nyry55aVR7HYUXXBY9zYLE7icxrh0ncziK6Wu ANy9Kc/IkTjbl1yTSBe0z2bVTthXOvoH/9U3fyTHjmNlM4R2IXEJnXAr3glfr3dW jlCGtZGTzixtI1Ft+V2HRwqw+Mbgao5zRVA3IdnaAVouE0gqoZKKQsVyacjyYqpJ JuEyR0TS2/ImyaNAy2N9XEEqf2uOVA== =li1a -----END PGP SIGNATURE----- --=-=-=--