From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 2MAzBvT7sV4KMAAA0tVLHw (envelope-from ) for ; Tue, 05 May 2020 23:51:16 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id yNibJ//7sV6zYgAA1q6Kng (envelope-from ) for ; Tue, 05 May 2020 23:51:27 +0000 Received: from lists.gnu.org (lists.gnu.org [IPv6:2001:470:142::17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id DB0BF940B52 for ; Tue, 5 May 2020 23:51:24 +0000 (UTC) Received: from localhost ([::1]:51474 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jW7LR-0000Ny-C1 for larch@yhetil.org; Tue, 05 May 2020 19:51:25 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53850) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jW7LI-0000NH-8O for guix-devel@gnu.org; Tue, 05 May 2020 19:51:16 -0400 Received: from mx1.riseup.net ([198.252.153.129]:46592) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jW7LG-0006eR-Pf for guix-devel@gnu.org; Tue, 05 May 2020 19:51:15 -0400 Received: from bell.riseup.net (unknown [10.0.1.178]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (Client CN "*.riseup.net", Issuer "Sectigo RSA Domain Validation Secure Server CA" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 49GxM43BxpzFfZZ for ; Tue, 5 May 2020 16:51:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1588722672; bh=0OcDZs00Yo7f7pIB+bOk73ivGGKe3c7XDJbqSUm06Nc=; h=Date:From:To:Subject:In-Reply-To:References:From; b=k86HfT7qC7F8HkGPuTsMT2TJhrXwc9SxqL16OeKpsIFUwfwul0oKVCpsm2fiTztZJ NCE+X2QBluqEZ7RpS2v2EEOFhJYmpTbDLCZjJJMGB3vHGlpPjVmlVBQuu5y1tE/4Zy 8bihqEXCX5yj5ujC+diGj1fuhiMFwMABwdKdoV8w= X-Riseup-User-ID: 3A8AF0F82091EA0A11DC623815438D5CBF77F1CC0E1B52639695FA52F518F94F Received: from [127.0.0.1] (localhost [127.0.0.1]) by bell.riseup.net (Postfix) with ESMTPSA id 49GxM373f1zJmgL for ; Tue, 5 May 2020 16:51:11 -0700 (PDT) Date: Wed, 6 May 2020 01:50:24 +0200 From: raingloom To: guix-devel@gnu.org Subject: Re: Medium-term road map Message-ID: <20200506015024.14cc1872@riseup.net> In-Reply-To: <87mu6zd6tz.fsf@gnu.org> References: <87mu6zd6tz.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@riseup.net; helo=mx1.riseup.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/05/05 19:51:12 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list 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+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 X-Spam-Score: -1.71 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=k86HfT7q; dmarc=pass (policy=none) header.from=riseup.net; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 2001:470:142::17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Scan-Result: default: False [-1.71 / 13.00]; RCVD_VIA_SMTP_AUTH(0.00)[]; GENERIC_REPUTATION(0.00)[-0.4958373738885]; DWL_DNSWL_BLOCKED(0.00)[riseup.net:dkim,2001:470:142::17:from]; R_SPF_ALLOW(-0.20)[+ip6:2001:470:142::/48:c]; IP_REPUTATION_HAM(0.00)[asn: 22989(0.12), country: US(-0.00), ip: 2001:470:142::17(-0.50)]; TO_DN_NONE(0.00)[]; DKIM_TRACE(0.00)[riseup.net:+]; MX_GOOD(-0.50)[cached: eggs.gnu.org]; DMARC_POLICY_ALLOW(-0.50)[riseup.net,none]; MAILLIST(-0.20)[mailman]; FORGED_RECIPIENTS_MAILLIST(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_LAST(0.00)[]; ASN(0.00)[asn:22989, ipnet:2001:470:142::/48, country:US]; MID_RHS_MATCH_FROM(0.00)[]; TAGGED_FROM(0.00)[larch=yhetil.org]; ARC_NA(0.00)[]; R_DKIM_ALLOW(-0.20)[riseup.net:s=squak]; RCVD_COUNT_FIVE(0.00)[6]; FROM_HAS_DN(0.00)[]; URIBL_BLOCKED(0.00)[riseup.net:dkim,gnu.org:email]; FROM_NEQ_ENVFROM(0.00)[raingloom@riseup.net,guix-devel-bounces@gnu.org]; MIME_GOOD(-0.10)[text/plain]; PREVIOUSLY_DELIVERED(0.00)[guix-devel@gnu.org]; HAS_LIST_UNSUB(-0.01)[]; RCPT_COUNT_ONE(0.00)[1]; DNSWL_BLOCKED(0.00)[2001:470:142::17:from]; FORGED_SENDER_MAILLIST(0.00)[] X-TUID: PPASOkca0sYX On Sat, 25 Apr 2020 15:37:44 +0200 Ludovic Court=C3=A8s wrote: > Hello Guix! >=20 > We released 1.1.0, but what=E2=80=99s coming next? What would you like to > see? >=20 > There are many exciting things being developed and great ideas > floating around. For myself, I feel like focusing on =E2=80=9Cconsolidat= ing=E2=80=9D > what we have in the coming weeks. Here are the areas I hope to focus > on (and embarking as many of you as possible :-)): >=20 > 1. Authentication. I want to finally provide a standardized > mechanism to allow channels to be authenticated upon =E2=80=98guix pull= =E2=80=99. > =E2=80=9Cmake authenticate=E2=80=9D was a first milestone, let=E2=80=99s = get it done. See > . >=20 > 2. Performance. There are many things we can improve there, first > and foremost: the =E2=80=9CComputing derivation=E2=80=9D part of =E2=80= =98guix pull=E2=80=99, Guile=E2=80=99s > compiler terrible time and space requirements, further optimizing > core operations like =E2=80=98package-derivation=E2=80=99, as well a= s low-level > stuff as described at . >=20 > Related to that is the question of substitute availability, > another major hindrance to usability. We should address this both in > the build farm (reducing the > time-to-push-to-time-of-substitute-availability, tracking random > build failures), and on the client side (can we provide ways for > users to pull to a commit that won=E2=80=99t require them to build > everything from source, while not compromising on their > security?). >=20 > 3. G-exps. We should really finish the migration to gexps, as in > the =E2=80=98wip-build-system-gexp=E2=80=99 branch, and adjust our APIs a= ccordingly. >=20 > 4. User interface. Let=E2=80=99s get our act together with =E2=80=98gu= ix shell=E2=80=99 and > =E2=80=98guix run-script=E2=80=99, and let=E2=80=99s address other a= nnoyances that > newcomers keep stumbling upon! >=20 > Thoughts? >=20 > Happy hacking! :-) >=20 > Ludo=E2=80=99. >=20 I would love to see better tools for debugging boot time issues and a way to not have to rewrite the entire target directory during a repeated `guix system init` that only changes a few things. I don't want to waste my SSD's write cycles. And it's also pointlessly slow. Right now the debugging experience in the Guile rescue shell is... ugh. Not great. GRUB 0.9 has a CLI that's easier to navigate. What I'd like to see: - tab autocomplete - recovery from errors The latter is quite hard, because certain steps don't work well when run multiple times. For example, if you want to re-run the procedure that mounts essential file systems, it will complain that /dev is already mounted, instead of just realizing that it can skip mounting it. Something equivalent to `arch-chroot` would also be nice, again for debugging. I'm sure there is some way to make modifications to a store on a different device, but it's not easy to find. I've written something simple that adresses the overwriting issue, but since it's a modification to Guix itself, it triggered a full rebuild of the world, and I did not have the patience to sit through that, so I just installed a more minimal system instead.