From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Debugging info unavailability Date: Sat, 06 May 2017 14:21:16 +0200 Message-ID: <87fugixjk3.fsf@gnu.org> References: <20170423020206.41aac1a2@scratchpost.org> <87d1brk1ul.fsf@gnu.org> <87shknnrfm.fsf@gmail.com> <87pofr0xjs.fsf@gnu.org> <87zieu7d8n.fsf@gmail.com> <87bmrah2s3.fsf@elephly.net> <87tw52uu51.fsf@gnu.org> <87r3066k4c.fsf@gmail.com> <87efw3yrj3.fsf@gnu.org> <8760hf3ri6.fsf@elephly.net> 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]:35207) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d6yiA-0007kn-Hb for guix-devel@gnu.org; Sat, 06 May 2017 08:21:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d6yi7-0005Z3-BI for guix-devel@gnu.org; Sat, 06 May 2017 08:21:22 -0400 In-Reply-To: <8760hf3ri6.fsf@elephly.net> (Ricardo Wurmus's message of "Fri, 05 May 2017 23:47:45 +0200") 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: Ricardo Wurmus Cc: guix-devel@gnu.org, Maxim Cournoyer Ricardo Wurmus skribis: > Ludovic Court=C3=A8s writes: > >>> What good is a substitute server if it doesn't hold the stuff I need >>> *now*? :) On the other side, it really makes me want to look at GNUnet, >>> which seems like the better long term solution. >> >> Though GNUnet doesn=E2=80=99t solve the fact that one needs a lot of CPU= and >> storage to build and store all this. :-) > > FWIW I=E2=80=99m working on setting up a Guix+Cuirass build farm at the M= DC, and > the goal is to eventually make it available to the public. Initially we > will restrict building to a subset that we use most often (all the > science stuff), but this will result in extra substitutes for packages > lower in the graph. Excellent. If you=E2=80=99re using a GuixSD config like that of bayfront.guixsd.org, perhaps your experience will help us streamline that, such that we can eventually provide, say, a guix-build-farm service that does the right thing. > Ultimately, though, we ought to distribute the workload better, and > =E2=80=9Cguix publish=E2=80=9D already helps with this. Agreed! Ludo=E2=80=99.