From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Install FAQ: Only build the non-deterministic packages? Date: Fri, 13 Jan 2017 14:14:24 +0100 Message-ID: <8737gnrtjj.fsf@gnu.org> References: <20160916171100.GA1210@lo.psyced.org> <20170112235802.GA24002@lo.psyced.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:40513) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cS1gd-0005yA-DO for guix-devel@gnu.org; Fri, 13 Jan 2017 08:14:32 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cS1gZ-0001gN-Cs for guix-devel@gnu.org; Fri, 13 Jan 2017 08:14:31 -0500 In-Reply-To: <20170112235802.GA24002@lo.psyced.org> (carlo von lynX's message of "Fri, 13 Jan 2017 00:58:02 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: carlo von lynX Cc: guix-devel@gnu.org Hello! carlo von lynX skribis: > Congrats! ng0 just showed me > https://www.gnu.org/software/guix/packages/reproducibility.html Spoiler alert! :-) (I haven=E2=80=99t mentioned it on the list yet because it=E2=80=99s not fu= lly baked.) > Great file.. and great that I only saw some twenty important > packages that need to be built manually.. most of the stuff > is trustworthy in binary form. EXCELLENT! > > Now the perfect thing would be that this list is actually > part of the Guix OS, gpg-signed by several developers and > parsed automatically so that the *default* behaviour of > the guix installation process is to build the non-reproducible > packages while fetching the reproducible ones directly in > binary form. The problem is that you never know whether a package is reproducible. At best you can tell that a package is *not* reproducible, but that=E2=80= =99s it. On the same topic ;-), you=E2=80=99ll probably enjoy these reports: https://reproducible-builds.org/events/berlin2016/ > By the way, "I hate guile" was a joke. I'm just too dumb for it. Not sure what you=E2=80=99re referring to. However, I can tell that what w= e=E2=80=99re trying to do (and what I=E2=80=99m personally interested in) is to show tha= t we can provide simple interfaces to OS config while not preventing users from =E2=80=9Czooming it=E2=80=9D and digging into implementation details. As such, usability reports are more than welcome, especially from people who are not professional Lispers! Ludo=E2=80=99.