From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id WOf5OYkVdGKb4gAAbAwnHQ (envelope-from ) for ; Thu, 05 May 2022 20:20:58 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id qIAHOYkVdGKSOgAAG6o9tA (envelope-from ) for ; Thu, 05 May 2022 20:20:57 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.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 910E59D88 for ; Thu, 5 May 2022 20:20:57 +0200 (CEST) Received: from localhost ([::1]:36366 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nmg5w-0003l7-C5 for larch@yhetil.org; Thu, 05 May 2022 14:20:56 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34844) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nmfmO-0005PO-1y for guix-devel@gnu.org; Thu, 05 May 2022 14:00:44 -0400 Received: from baptiste.telenet-ops.be ([2a02:1800:120:4::f00:13]:48722) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nmfmM-00039S-2r for guix-devel@gnu.org; Thu, 05 May 2022 14:00:43 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by baptiste.telenet-ops.be with bizsmtp id T60e270054UW6Th0160epS; Thu, 05 May 2022 20:00:38 +0200 Message-ID: <03221fd1743fb50325dff2604f7b4fc3ae450c1b.camel@telenet.be> Subject: Re: Multiple profiles with Guix Home From: Maxime Devos To: Liliana Marie Prikler , Andrew Tropin , guix-devel@gnu.org Date: Thu, 05 May 2022 20:00:33 +0200 In-Reply-To: References: <8735hqvh4a.fsf@trop.in> <8a42a0c84d35231b360a421fe0b846c8e1aa3d2c.camel@gmail.com> <8b66e609b7c9d5183017ccf7fef47c818fcea231.camel@gmail.com> <25e0ca9be4053c94d12461ec42f1985cd6730a8f.camel@gmail.com> <07907034239128b36890690703fe6cb6b4ce958e.camel@telenet.be> <53eabd93a0e41723ad3e0238314e630e713f8cfe.camel@gmail.com> <4bb446ca24b57f648d1dd4f0083010d9ee35c40f.camel@telenet.be> <28dcab6db488b73a95bfe349a3e97a3f4f5ec345.camel@telenet.be> <330265fe1014a4015dc64ec645f6c1171771b1df.camel@gmail.com> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-sOLDX6cabMPT4ZmDX8KI" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1651773638; bh=J7PUTwdkEY7fE3ev7Js+YoJYVt0QBq/ISjIkR49kV54=; h=Subject:From:To:Date:In-Reply-To:References; b=fGZat2R02Q7MBpnjn5NrP2IXLDbxDjDZTfKRXOs5Gv0cCTagomQykzrBfAqPgM4lO UvqhihTMmIbA5FdrwFx/aE4ugJpFlzv5A1WZcc+uDL+1YLoWp/F3gDCaX6k7PcBBCA sbJxAKkHTmoD2ULk4Sa0HW9uUZzhCs9ifV5Er8M9z4+cP4g9X1ADCuO3Tcu67ZJsrj e6JVDYcr8DyehPLQQ975MG90LhJOcO8X4NRrj6wOwT5MqjPS0juckWX05xcyUF7HoM RQ6mKgLanudOIJRL9rECKISK5JYZFsnjNOna6db5pU7rIsSGW/T2wNy6Mtth0dnNAb ylkt4TswpN7MA== Received-SPF: pass client-ip=2a02:1800:120:4::f00:13; envelope-from=maximedevos@telenet.be; helo=baptiste.telenet-ops.be 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 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-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1651774857; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=J7PUTwdkEY7fE3ev7Js+YoJYVt0QBq/ISjIkR49kV54=; b=OvEboVYmvTxmnzgD8DtAuQJl92kBIOlCccE0sAnUbMKpNd+lgLTg4EPs7orQdonMJhs6DD BCRbRcYct51/7wPEEEvS01ql3jnLNIN/sphyyK7LB4m/9/IB4GVZVUbfxSpNgLx0oKPr+5 QhyfdD+i7TALeaoc0wNsAidPdI/4ZYy+26EPPwFySfCdjVzBkQMlmHIFgUlryp25qqW/R+ JI9lNdoOQoC+J4w02ZoVklm79gHwzTKk6JSg81gt1kMv/wNxd+n5QLUefysRl+HSpdtgu1 FJAKVuZ+JBJZjZpOe3NGKQzo+fvx90E4ygm/7HK5N1HGbmuRTt8PgcsDgKLsoQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1651774857; a=rsa-sha256; cv=none; b=NrKStmHMVFQkcSE0vXJJqvizHHK11T1emKj7JAg9+mVtNeW5r/hvijinFdQuZz+OW/5i80 oQR51ZXlyh8xbnl83nz3nyxR4ZeiFzytp1+dcH2KGHZCBaXo9zP8TzcK8/ghzc3tOt6wXp DvRnrbMcpBWN3trumiEyWS+AXtDHZZ4NQGzqPu8toXSiB8Q0vsn+hUnfQpeo/5EqqBr/Wf 4eW76AOadjsavGghANGVGqksozaFTsJDnpUxXaADt3gD2deReWb25lOUbkoCxMcrfFi1pe VWrOOq5PuCixUJ3lIMCHlmdde8pRJnbuvK/I/IWXxXcH3/xPQAOCqK/2yAoChg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=telenet.be header.s=r22 header.b=fGZat2R0; dmarc=pass (policy=none) header.from=telenet.be; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -11.49 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=telenet.be header.s=r22 header.b=fGZat2R0; dmarc=pass (policy=none) header.from=telenet.be; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 910E59D88 X-Spam-Score: -11.49 X-Migadu-Scanner: scn0.migadu.com X-TUID: uaW/5fTwSqe/ --=-sOLDX6cabMPT4ZmDX8KI Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Liliana Marie Prikler schreef op do 05-05-2022 om 19:27 [+0200]: > > I'm not sure what you mean here, what cause and what effect are you > > referring to here?=C2=A0 And I'm not sure what the connection between > > =E2=80=98for > > small n, O(n) =3D O(1)=E2=80=99 and the previous sentences is (I guess > > something about profile building times and small profiles -> fast > > building, but I don't see any connection to cause and effect ...)? > You get the fast builds because you have small inputs to union-build. > You can't get small inputs to union-build without splitting your > profile and if everything goes into one profile, you need union-build > in the end. I assume you mean =E2=80=98cause =3D tinier profiles=E2=80=99 and =E2=80=98= effect =3D faster build times=E2=80=99 here? That's one method for faster builds, but you'll get even faster builds by also making union-build O(n lg n) instead of O(n=C2=B2), and the latter optimisation will help everyone and not only Guix Home users. And the O(n)=3DO(1) doesn't seem quite right here to me -- individual profiles will be smaller and hence faster, but there will also be _more_ profiles. Maybe if you sum over the profiles, you'll get to O(n) instead of O(n=C2=B2) (where n =3D number of store items in the profiles), but this doesn't take in account the _user_'s time cost of having to figure out some kind of thematic split that doesn't break search paths. Or worse, if the user doesn't know what search paths are and when they can break. Also, I still don't see the relation to > > I am not debating any legitimacy ( is not some > > government), I am discussing the reasons, and whether some of the > > features (e.g. faster profile building) can be implemented more > > generally (not Guix Home-exclusive), without manual configuration. > > [...] -- I mention the phrase =E2=80=98faster profile building=E2=80=99 here, but= I don't think I'm implying here that faster build times cause tinier profiles, or that tinier profiles don't help or such? Is there some specific phrase in that paragraph you disagree with? Is there some point you consider to be already addressed or not yet addressed or some point you consider to not have to be addressed? I don't know what we are disagreeing about here? Greetings, Maxime. --=-sOLDX6cabMPT4ZmDX8KI Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYnQQwRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7rfZAQDsF10TIcm132Dv4362h6e4G3a/ PGCLz5LEbn4l2WZFswEAi1HzceQw8mF6B+XSyH+rHyYnadVyw0lBkjdNZFnFJw8= =CDwm -----END PGP SIGNATURE----- --=-sOLDX6cabMPT4ZmDX8KI--