From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id AOVCAIPS1mEdaQAAgWs5BA (envelope-from ) for ; Thu, 06 Jan 2022 12:29:07 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id iCGQNILS1mH3agAAG6o9tA (envelope-from ) for ; Thu, 06 Jan 2022 12:29:06 +0100 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 83776174C0 for ; Thu, 6 Jan 2022 12:29:05 +0100 (CET) Received: from localhost ([::1]:55692 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n5Qx6-0005EQ-I9 for larch@yhetil.org; Thu, 06 Jan 2022 06:29:04 -0500 Received: from eggs.gnu.org ([209.51.188.92]:43368) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n5QuB-0002z0-Ey for guix-devel@gnu.org; Thu, 06 Jan 2022 06:26:04 -0500 Received: from [2a00:1450:4864:20::442] (port=36831 helo=mail-wr1-x442.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n5Qu9-0004Lz-7x for guix-devel@gnu.org; Thu, 06 Jan 2022 06:26:03 -0500 Received: by mail-wr1-x442.google.com with SMTP id r17so4157541wrc.3 for ; Thu, 06 Jan 2022 03:25:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:subject:from:to:date:in-reply-to:references:user-agent :mime-version:content-transfer-encoding; bh=8KYbG/QJKRR3kMD/QMP7dQ+M0FLWKI3P05zfXO/3PfI=; b=a13d3Yx5zFj5yMZAizDxQcYjBs0Bmveahss4dQgOCP68hdqC8hZdSkMUuGSEq7jfaa ZQbGaB1/MYjfAQG1h1PR7Khf0vhLix3kZEDQovmX9ggXxEE5C81Fn37wnW8+nPVVQ9cY CpMf+IQisn/j1WKooAUJ9dPKGvJnINRtVSdiUuwEmHmutCabFPRQGQB3DIuzeRIUtM9n +j33olrIjOIxRkERAQtiXzgEcnru3AKq8b+n/No7unp9YomFgPerCjJ+xYqqWYecScoq HpvblG/tUL8fVfKyfwfV7Cu8Ti4s8KkzCFMOz/E9SEsWi0Nfm17B+WMCybGY2+CtYJNB W5jA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=8KYbG/QJKRR3kMD/QMP7dQ+M0FLWKI3P05zfXO/3PfI=; b=5tBP0Sb+QrIhLCiagjxNSEs8zGbBBtx3j7s8bmxxkc889E/3kRE3l81AgWfrEXYjiV NhEFvkw+ixWlKsO1TNIV3qkg4pN30UlIdPOGPxYQmEgmiULPEeU9nIE1I4AHuA5eYdK4 6BMh/xydKv8TVknbkJANC7023Uqlu+kEPRMqmoTaiW1VJDphgLgzMP97C5tRcAZHimsn oBdzMEl+9lsE9yPZREzudF+lWYqsir9gihq9jikhNqZiSmJTI8gpHtCxoggLxLEbiu69 6kzYI2EkSQtaKupmohVNbo4jWwqH0YH3tqnDkxsFOF/vb0I6H+0dE2/XmxIElcmApElr K+pA== X-Gm-Message-State: AOAM5337F8n4SR2IAmCmejVkiDdLznF9f3z0yRWja8G+X5S7NAqJEEvn Fxi4C2kH0P3U8X4aMrkmjww= X-Google-Smtp-Source: ABdhPJzX34j7iQrOdjYZ0mGRseHPpQQ3zMRWmZ3cvCkOmlBDqZjUdRFp8vBsJ4RxC69U3FZ7IveUzg== X-Received: by 2002:a05:6000:18cd:: with SMTP id w13mr23614508wrq.199.1641468355676; Thu, 06 Jan 2022 03:25:55 -0800 (PST) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id c7sm2025011wri.21.2022.01.06.03.25.54 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 06 Jan 2022 03:25:55 -0800 (PST) Message-ID: <163e0747c34b79054be05c0cf0109fc0c617f743.camel@gmail.com> Subject: Re: On raw strings in commit field From: Liliana Marie Prikler To: Mark H Weaver , zimoun , guix-devel@gnu.org Date: Thu, 06 Jan 2022 12:25:53 +0100 In-Reply-To: <87a6g99mim.fsf@netris.org> References: <6e451a878b749d4afb6eede9b476e5faabb0d609.camel@gmail.com> <86y243kdoo.fsf@gmail.com> <899587fb6a76ddfa37d197d3d0fd23cdc7ad8592.camel@gmail.com> <867dbmi7pf.fsf@gmail.com> <3d448fe42f0c43574db96fa26aecd7da5fd5a95d.camel@gmail.com> <877dbkmjm9.fsf@netris.org> <762e9fb7116c442bf0f8f63221bf32fa2b77f2cf.camel@gmail.com> <87y240kq2i.fsf@netris.org> <9362c6fb7e34ded5d009c3f79cd18300d6cd539c.camel@gmail.com> <87r19rkx9h.fsf@netris.org> <87r19pbv8y.fsf@netris.org> <87mtkcbedc.fsf@netris.org> <3f947861672144d202a8c736d5e8f2b905c31b66.camel@gmail.com> <871r1nawz8.fsf@netris.org> <87h7aia5ug.fsf@netris.org> <47d713d7bbfb4673c25398e0d6c62a47b4f490f4.camel@gmail.com> <87a6g99mim.fsf@netris.org> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::442 (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::442; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x442.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-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" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1641468545; 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=8KYbG/QJKRR3kMD/QMP7dQ+M0FLWKI3P05zfXO/3PfI=; b=II2Iyr2FjwBQ/uspTqzFX4Aw0xXEXCES2pyTXz/tYIqSSnHQUEBX8F8A4pzpAe2VpfBDwH jg2b//mVmNcp26NoWhTHm92CQX9v8dyOSNOgUPGHB12xwDaQ4n4BnvR70HgGSz2baoNgpr GN3/V1y1rSypGakNoi44XBIS55j/Utf+1dQvgfh1meWobLyFtc29/H6CVO9WuRd/dF5bXA iIxxnVssTqefKQ3HrsRYxVmUg2PuQarAhD1A19qdTPVMf+RVgBOTWA9/vCrcWnWun/ePBW tBwJ16ZhtJCMxold1GE7SDSqFxexTcbGx0FJwgvS87Up6R6j9lG5t7cloKemKQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641468545; a=rsa-sha256; cv=none; b=IttlIy+z5Pvp/qzocpdbNHfGa0o2FTSl9t+uhRxDSl93oo7nWZIKVe4eIdgecCzbrWkS1G Cw216xPwM6sF8qUha89+uZ2h4XHC+ZATHFAqMv0EubcSN5eXraRV8BgW/wBPcmLFQFG22W nTWbXC/vEyGlrBVzsWVDVDJhKjEB0jywVirAfj930kQZSqsQKxUubQfRKmH1elPlxEixCy QZC7RUX+QlDqBFdLc+5BpvQg1TFurpv5oSdw0FKz+n2WgqsX9JiF9KuuRuVlbfDPXJaiB6 ApZdz0pq9DDc7x7KSawzqOJSfjh7tkCp15m4iGNHjy1vULd13ZxtoNSctv0FIQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=a13d3Yx5; dmarc=pass (policy=none) header.from=gmail.com; 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: -4.30 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=a13d3Yx5; dmarc=pass (policy=none) header.from=gmail.com; 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: 83776174C0 X-Spam-Score: -4.30 X-Migadu-Scanner: scn1.migadu.com X-TUID: +iOc3sb+hxBG Hi, Am Donnerstag, dem 06.01.2022 um 05:38 -0500 schrieb Mark H Weaver: > > From here on, I will assume that each individual push action is > > finite as you did, but I don't think that using communications of > > finite length are a helpful building block here. > > Really?  You don't think communications of finite length are a > helpful building block here? > > Note that in the real world, every observable time interval is > finite. The reason I don't is because if we go all the way back to what we actually want to do, we're invoking claims of an uncertain future. At the time of pushing a package description to guix.git, we already ran whatever tests we had for the upstream and determined what we believe to be a safe course of actions. In theory, this belief could be shattered mere seconds after. > You referred to "Git" here.  That's why my proof was about Git.  You > didn't say that you were talking about some theoretical variant of > Git that supports "push actions" that literally *never* end, and that > runs on a theoretical machine with infinite memory that can never be > built. Now to be sure, we're both talking about Git here, the porting to Turing machines is only relevant because if we go that deep to Computer Science basics, we might as well use them. The scary parts of Git, that we use to make robustness claims are: 1. In the future, upstream might delete the repo. 2. In the future, upstream might update or delete a branch. 3. In the future, upstream might update or delete a tag. 4. In the future, upstream might update or delete a commit. > > No, that's incorrect.  The set of lists of booleans is countable. > Moreover, for any type T, if the set of objects of type T is > countable, then the set of _lists_ of objects of type T is also > countable. > Note that lists are finite, by definition. I'm pretty sure that there's bounded and unbounded lists, but perhaps I am confusing the latter for infinite streams as you've pointed out. > If you intend to claim that by "push actions", you meant to include > infinite streams of push actions: this has no relevance to the real > world. > > Even if we live in an open universe, the fact remains that at any > arbitrary point in time, the age of any git repository is always > finite. Therefore, no one can ever observe the result of an > infinite-length "push action" in the real world.  They can only ever > observe the result of some finite prefix of that so-called "push > action". Even in a closed universe, we can only jump to arbitrary points in time of which we've already collected a snapshots. Statements regarding anything else always carry uncertainty. That's also a reason to bring Turing machines into this equation. A Turing machine would try to observe an infinite stream of push actions if we program it that way. This raises the Halting and Non-Halting problems among others. Cheers