From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id kGriMYFiNGX6XAEA9RJhRA:P1 (envelope-from ) for ; Sun, 22 Oct 2023 01:45:05 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id kGriMYFiNGX6XAEA9RJhRA (envelope-from ) for ; Sun, 22 Oct 2023 01:45:05 +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 51D2F50875 for ; Sun, 22 Oct 2023 01:45:05 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=cD2B5848; dkim=pass header.d=wolfsden.cz header.s=mail header.b=VWQU6iFl; 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"; dmarc=pass (policy=none) header.from=wolfsden.cz ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1697931905; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc: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=6F2enUxnDozlKry3z02AyHNJKzAC4p4ijkgkfZSaz2M=; b=h6Xk6EMATLf5GaKOL3t+ckgUFC6VqtZrHuMSmuJIy33Zt30YNX9UZ+FrXKnD8Gpg53q85d bRSfhRbnS+T/x5H0XN++cP7eRQnuVXDHbyIbWDGgxGF5fVdktnqwCfuD1HAYUAAsdixqcJ i9E/VO5vqCTZ1/8OoZ6gXOqXkHkZC7tuYP7u7vmOL11i2oc4/WjKFqDwffuV1Gc3BuIMkR OgFdOJlIyHnLSUQZcV7vb/4vh5lMaCJk1W++RiSUW96uKHRrtOQ7IbkDFtHK9+yLucX/1c LCkaIOaoWF0maOxjiXt/yH+3sZix2uF5Waj2FBLTO4qhQeio891gv1QhBOf9ow== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1697931905; a=rsa-sha256; cv=none; b=AjRa8gOim5aIZmsOk7IEMkcrUw25Tktvt8Xk1h8LpItlbTYru68xCxv5BaOX69+zx4tREc mZpNTGox8x+j8FNn+DHTgfC7JQ0pTF/KhBda0xeADA+3SwAsYGqFVj1r9+4j4MNZde9WIb UpZSX1SoNiNivLhUUTZQSTRbrSrrzhXPdi3tncTzWNVWjfyafOR5ECstZhNKxschW4flnl Er7qsb26EBqvALbhnElR2M6Q+toSLZtgmvWu7tf+39KCBxDt2DolF7i1PbY4fst8zMyax5 +zOzrvofQEOyWO16AM43NoKO7ENiDT3SsJhW1UXiag3b/vCX82jVk21/RZGxsw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=cD2B5848; dkim=pass header.d=wolfsden.cz header.s=mail header.b=VWQU6iFl; 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"; dmarc=pass (policy=none) header.from=wolfsden.cz Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1quLdp-0005J4-Nf; Sat, 21 Oct 2023 19:44:25 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1quLdo-0005Iw-Nf for guix-devel@gnu.org; Sat, 21 Oct 2023 19:44:24 -0400 Received: from wolfsden.cz ([37.205.8.62]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1quLdj-0008M7-So for guix-devel@gnu.org; Sat, 21 Oct 2023 19:44:24 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 6BF25271609; Sat, 21 Oct 2023 23:44:14 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1697931854; bh=tO5E+LaEEptBamA5K2ycayza2UNr4XGhVj6gdNh1CpI=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=cD2B5848rFbeuvKPkD8RCwRXTwpgNVuNiFBcfc6JNVZveYe/FfUbZkYE4Js8uZy8q ENLjZMXgDl5m4Fi/m9JePXrJysXOgh7CenOiLhzEXADlXD2upgDot6m1Puu1rBs7UR idHQXTWsPIgx9I3Q+n7LbCw0WiX61x2CvWGoUUSjbtGINwcnb84Tk7OgCKvZpsChLy qX3b7goQqPAxicwpauHl5Fd0fYQ9K9N4av2VxFgnh213GSIkblfVdqtuMtm596Z1Rs ITsuDhyhVmW0b/YGYSKc2P6wF9MzD+oGzNGnyO3loUXky7a9kxDHGz6xaqjEet5eWW IjUwZANXa3x8MQ4fmtXbWJ9xfihDrxneixxmYwb5xLg4edr2ByvsMWSdJS2hgiEkeH uaY1JdstBVme2GSG54t0OtqKrA6bzE4nH3OAu4G4mWImytxBAgU5vkQh3pbdOqOKed goHHJphSyvxSj+k4BcCqgKMFOSZYQZptq/giG7+QLrOL9aBw6nhQio2GcC0kAvQRdq pl9tID9dpRYidNjKYz8BDRyA+qiJmOzUuPDTVPSj+OkB0rlKSp5S7yDFrfhGQvVC/e j2XVg/8Tw7tHj8cCwYcAOzyLuHnKIFTdVV8ciASIvY+PdIfPR6FLWBGTako9HgSa5a E4v2cVoqtV5j5H+s6MB6kSqc= Received: from localhost (unknown [193.32.127.156]) by wolfsden.cz (Postfix) with ESMTPSA id D36E226F2EB; Sat, 21 Oct 2023 23:44:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1697931845; bh=tO5E+LaEEptBamA5K2ycayza2UNr4XGhVj6gdNh1CpI=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=VWQU6iFl0KfF8KO1WlCYP/sa9LMDo3Pui7YGsTSKhsRBEZuS7wzKkrgXvMv4DDunG df7zQdYfghg8r/g2pIKr3f72gI+8xoHbCaJWNZ/aWwBLo7bfVigEPvA+G7rvQdQlgc ifxodUr/G/JkNJHkCkdSfnzIdZIa44+BvGBuSJ8hHSifWeQhm8vL/ZiozfdKGuet20 igihffdGUVRn/T7Bfdfn5tE+B+8VT9MJFRDmlzHX53/+eE042Jgt7hDfOb88QXzZd8 3zL6gRBlLV9ngaqdesqR20BTVwJHvsDnEK0xemgJL7T/hqiM3JoLv8KG/XzXsZ6gJ7 D/8Yff5YLNIz85I4ecO5Dd9YFpQDIOh7V6l6BI13bFxCj8F41tsWtNLFgQt8AXktkQ Co//7P/LrSTvSOvJambxpxHVLzfsfXqc1YuEbxRMyVDmxXY8uuectQF516Fu3CqxWT tCi6bT0PLRAcgbAgTdHC3Jur2PklUGughka3Rqft1UX0ladW4j6CTAPMYYqy2y9/Mi VC7baxZNUjIun4mVg/YKaeMh0BsIeskKSjXt8hlIMXr3hZhnjsjrYe4/VqDeb/HIBS qdAq76Xat0B1p1UykII42h8lohBIIFzx33SpGRHqlc3Z9BhxVccVtS0ByJo5WNuhc1 7BFOJwEckNm6x3JSzo4UDPrU= Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id 255af8c7; Sat, 21 Oct 2023 23:44:03 +0000 (UTC) Date: Sun, 22 Oct 2023 01:44:03 +0200 From: Tomas Volf To: Ricardo Wurmus Cc: Maxim Cournoyer , Liliana Marie Prikler , guix-devel@gnu.org Subject: Re: Re-evaluating the practice of automating user configuration Message-ID: Mail-Followup-To: Ricardo Wurmus , Maxim Cournoyer , Liliana Marie Prikler , guix-devel@gnu.org References: <15a91f7c5fb5fce23d0863548f8a1ab39d91cb69.camel@gmail.com> <87il70dog3.fsf@gmail.com> <875y30j8gi.fsf@elephly.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="o+TnvLT8Q/XSF9wg" Content-Disposition: inline In-Reply-To: <875y30j8gi.fsf@elephly.net> Received-SPF: none client-ip=37.205.8.62; envelope-from=ws@wolfsnet.cz; helo=wolfsden.cz X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.25, SPF_HELO_PASS=-0.001, SPF_NONE=0.001, UNPARSEABLE_RELAY=0.001 autolearn=no 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Spam-Score: -6.73 X-Migadu-Queue-Id: 51D2F50875 X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -6.73 X-TUID: Uz4SAtKi2aal --o+TnvLT8Q/XSF9wg Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On 2023-10-21 17:32:13 +0200, Ricardo Wurmus wrote: >=20 > Maxim Cournoyer writes: >=20 > > All in all, I guess my position is unchanged: despite the potential for > > surprises, automating and enforcing these configs provide benefits that > > outweigh the cons, in my experience/opinion. >=20 > I concur. >=20 > In light of efforts to reduce cognitive overhead, I think it is a good > idea to automatically use the default configuration. Contributors can > opt out, How can I do that? > but I prefer not to have to think about yet another important > piece of configuration here. >=20 > --=20 > Ricardo >=20 --=20 There are only two hard things in Computer Science: cache invalidation, naming things and off-by-one errors. --o+TnvLT8Q/XSF9wg Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEt4NJs4wUfTYpiGikL7/ufbZ/wakFAmU0YkMACgkQL7/ufbZ/ wanC7Q//WDFu0xZ9lUyOqSPRPY86y3b4V6iUyM8rj5Y6Ez8QLPdI8VoUsAVvt9hR Mz92CrAHMhC+7LLLQa8+4AaZGStLWMk3inNX5U7S9zPtGDZegqrO0w2o5TvFI5gC 106WkpAkIQUNZaCbYpLcBJd6a+81RGN63U48kZ7z5e9QXk86fmgGWZMVPs0jr/aX u8NKwv0Ei2aTZchsa2a+3ilQXiWgBeQMtrWdZfSi5RDHB1r8gAdVQBce3LB+DqOY go4a86JS+2p75mAsiJ0VXThrlQ5fGkfRubYVyR870hPKe6O5rIM1tnwfS3dUuZmR XDMzKtGrt26NkuM0/wMhAhnshnwy6RsUFLSvP35AN0g+dTfbZLi6oHCeIes7fwlH 6Co7KuYxDGkYPT/Zv5wJWmcF/s1jgFy2pTxRBNqYCuuU75BgCErzKM+ZLFQQfHBu XfYNA7VWyYKBIHgR6v565gfn8YmHrA3NFJgxi4pO2uMqSEEWlSt8n82A7G+ilTik RvBLQQCy+tPQcjObbdRN8Ac0s9PcHyQV0igjcC6hwNGrWjUSU93kmBIS7sYoOaH4 a9Qg076DLY+Io9FXmEjJJp/mLDBw9x1DXgYAf8ti4QQKoLbOAELpm61JII8LO6WX ZBuhWvyv+BH29IGEP1eE/xUymyR/NEn+R2Zoc4bJFwg1Fxxu8gE= =qUxW -----END PGP SIGNATURE----- --o+TnvLT8Q/XSF9wg--