From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id AIAwLHIo+GWn2gAAqHPOHw:P1 (envelope-from ) for ; Mon, 18 Mar 2024 12:41:38 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id AIAwLHIo+GWn2gAAqHPOHw (envelope-from ) for ; Mon, 18 Mar 2024 12:41:38 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=HYLJhUFF; 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=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1710762098; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=4C2L7vt69SHQ4leFDciUu047QUR2PGsUJ+FBV0zNNPw=; b=B3o7Yajq40+v7lM+HFDPlD+9IdxOQWT98zx3fLEqAhnchd5sYdtzVTUTKJKK2mxNDhvicm Gx2XSSNGfzEp5efYPgIkPVosL1KHzsQ3soxagJ//yhObBkO/rr+qUv64ojXisnKhdXUPY5 22gGCpVjk5KXHdx/w73CcQfqTJH+0WKjKVq272JCJJ9yaImDj3Jeu1z7gkdoG1MsBoYVgZ eZMWmHUE1BEcy6gRT/aLinUbyx/xKiEA7dzqkJs9s/raC0E4X7RV6s/d4UgOQcZbzGvcxT NqQRPZuxHTewul3EWAeQBbJs1Dr7AsX1fUHON3S2/OxIinPcXrMFcTJX2a3bDA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=HYLJhUFF; 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=gmail.com ARC-Seal: i=1; s=key1; d=yhetil.org; t=1710762098; a=rsa-sha256; cv=none; b=fblhvuBQET04N6+GhqM1uPxsfb8xtue07BrAPyo5NbUuqdwIndI4zQTvm0sHsFV8rVqDrA LTsRUyFx2n+ML4Z1iX6UFuS8O5hMMFKrihr5WM0oXC5febehWH3S5cZKMwBnsEoiLK7ot1 XApRCumBYNsKFeXtpf5kKvorW4FLqPgnKLi1CPMRkwIfh7TkbrtPZVDSMZrh00vYwFTjce gYUNJp+oFUQ05UdM51A5cCjCtn2Wxxi8ENwNUiyn0bLzswygITLNoC/aFdiXU74VbrzSuh Bfys/dw7ALB4y5f5TBZQir8klPhkS91owdMLTLwYXPEjeybVRkLnNgWGEQ7TVA== 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 886833BE9C for ; Mon, 18 Mar 2024 12:41:38 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rmAy9-0005QL-J5; Mon, 18 Mar 2024 07:15:53 -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 1rmAxY-0004rF-2o for guix-devel@gnu.org; Mon, 18 Mar 2024 07:15:20 -0400 Received: from mail-lf1-x133.google.com ([2a00:1450:4864:20::133]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rmAxV-0001k2-3b for guix-devel@gnu.org; Mon, 18 Mar 2024 07:15:15 -0400 Received: by mail-lf1-x133.google.com with SMTP id 2adb3069b0e04-513e8bf8228so175294e87.1 for ; Mon, 18 Mar 2024 04:15:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710760511; x=1711365311; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:to:from:from:to:cc:subject:date:message-id :reply-to; bh=4C2L7vt69SHQ4leFDciUu047QUR2PGsUJ+FBV0zNNPw=; b=HYLJhUFFAKzjntGuxqRa0whB2UNJGouU2EzidybOYmH7yXTzh+5tJrzNYvzRDQgX3b eG+lzJmvunGhBXvfQyJUgmBsbLJGalHYdwtEbva+QzHHzAdaFP0/BkfaTDADeHTWnp+i X8FExR8S+Q+uqom6Z3UsYaC9SBWO94HlGkF7rgJVRjGyTCv4o+TGVnjsxJdHVUWH/IHt ubIOu2WgXh7fC6uxwQFj43MH7RTDvicFCvlKcF8pWx6FbZmUhBBx2jE4D0XD9/Pj7HhM D/AvYBqBTbbZG5SbTd/XGpLSHqdPI+h8D4MakXfl2fporwPUEJgPAhCwp33TE1EE563M FjmA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710760511; x=1711365311; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:to:from:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=4C2L7vt69SHQ4leFDciUu047QUR2PGsUJ+FBV0zNNPw=; b=EUYYnu9lgS2ZLI7zg9EFWb8UfIpnkPYA/xMCKb/jY9xBUb8xw+qbE7tAw4VkbkV7CE BOly3fltE8tLxfWB1l12Xg8InQtP4e7Pjp89loc1T9BVrktz/tOUKCgMnfhW2uv7IOT5 m2YAMK/YJAgZv2MVY+zDkbk/eypqeUOJ2YoBtO5dKLoSYHuPPUrAyzY2KvscII2Q6E0P 6R53M3mJd9bKgQhJyO0KEZtrn4lRgAxoJXu93POFyyNhOgeLfFzcQmMhD0e6sDaZexdf 5GDRgn/WlcXKpYVRvG/gXqXXa2AsaScIj8mAYbWKPsc3H9AM3OKdOY9lgv/OlpjVyIV+ WxEQ== X-Forwarded-Encrypted: i=1; AJvYcCWIwPxMryNimsrzHzJo2kZKjA+DHVhIwBE9zsNGBKrOnOgX6Gz8B9oLbi+1qRJulBtWXGA8BQSG4Z8K0lrbbi2x/S0= X-Gm-Message-State: AOJu0YzBFiu2l6ZFAKp8spN/D8ihemjm+/ZWmD6qME8xdRtAKFLgrJzz jWR4AOBDoQP6vyirKhy2gynDvbVZaDDr3ReP4ohCpzavOsg8oCjNzBltUR9t X-Google-Smtp-Source: AGHT+IHsNXAlskqY2aXPUrgXDMTCHQ4jt9eOSOFceiembFJdkrZau+MJK9zVai60Wc6ggnkm8jI5vQ== X-Received: by 2002:a05:6512:1c6:b0:513:ec32:aa87 with SMTP id f6-20020a05651201c600b00513ec32aa87mr1215488lfp.6.1710760510504; Mon, 18 Mar 2024 04:15:10 -0700 (PDT) Received: from lili (roam-nat-fw-prg-194-254-61-43.net.univ-paris-diderot.fr. [194.254.61.43]) by smtp.gmail.com with ESMTPSA id w9-20020a05600c474900b0041408af4b34sm7078866wmo.10.2024.03.18.04.15.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 18 Mar 2024 04:15:10 -0700 (PDT) From: Simon Tournier To: Ian Eure , guix-devel Subject: Content-Addressed system and history? In-Reply-To: <87il1mupco.fsf@meson> References: <87il1mupco.fsf@meson> Date: Mon, 18 Mar 2024 12:14:59 +0100 Message-ID: <87zfuvx03w.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::133; envelope-from=zimon.toutoune@gmail.com; helo=mail-lf1-x133.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_NONE=-0.0001, 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -8.59 X-Spam-Score: -8.59 X-Migadu-Queue-Id: 886833BE9C X-Migadu-Scanner: mx13.migadu.com X-TUID: NIKvBkmO/tCK Hi, On sam., 16 mars 2024 at 08:52, Ian Eure wrote: > I was also distressed to see how poorly they treated a developer=20 > who wished to update their name:=20 > https://cohost.org/arborelia/post/4968198-the-software-heritag=20 > https://cohost.org/arborelia/post/5052044-the-software-heritag This asks two questions, IMHO. 1. Can the future you decide who were the past you? 2. What is Content-addressed system? About #1, that=E2=80=99s somehow a philosophical question. :-) That=E2=80=99s what the question about changing the public identity asks: y= ou can act on who you are and who you want to be but because the time is not reversal, sadly, you cannot change who you were. It is not possible to collectively rewrite the history. Allowing such process leads to dangerous consequences, IMHO. That=E2=80=99s another story. :-) Do not take me wrong. That=E2=80=99s still an open question and the right = to be forgotten is a topic by itself, e.g., legal. We will not address it in the Guix project. About #2, that=E2=80=99s a technical question. By definition of a Content-Addressed system, the key associated to the value is computed by a procedure depending only on the content itself. Therefore, change the content then change the key. Git [1] is probably the tool that have popularized that. Consider a project using Git and you clone it. Now, you have a complete copy of many keys associated to many contents, and also many links between the keys themselves. For instance, the key of the object =E2=80=99Git commit= =E2=80=99 depends on its content which depends on the key of the object =E2=80=99Git tree=E2=80=99. Now, if you rewrite any content, then it rewrites the key. As pointed, this change might propagate. All the question becomes the authority. Because I also have another copy/clone with the initial set of keys and you have now modified ones, how do we agree what are the right ones? Well, at the size [2] of linked posts, the Git history rewriting is affordable. Now, I am not convinced that the person would try =E2=80=93 or= even think of =E2=80=93 such if this project would have hundreds of contributors= and thousands of users. That=E2=80=99s my opinion and I agree it is not an argument. :-) At the level of Guix, allowing a mutable history implies a random availability of binary substitutes. To be explicit, rewrite the Git history of Guix implies the break of: + local Git repositories of Guix developers + regular Guix users and the trust mechanism =20 Somehow, a Content-Addressed system is designed around immutable content. And if one know how to implement a Content-Addressed system relying on mutable content, I would be very interested to know more about it. Cheers, simon 1: https://git-scm.com/book/en/v2/Git-Internals-Git-Objects 2: https://github.com/rspeer/python-ftfy/graphs/contributors