From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.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 YO1yIedp02GCZwEAgWs5BA (envelope-from ) for ; Mon, 03 Jan 2022 22:25:59 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id gKsfHudp02H8GAAAauVa8A (envelope-from ) for ; Mon, 03 Jan 2022 22:25:59 +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 4FDF24522E for ; Mon, 3 Jan 2022 22:25:59 +0100 (CET) Received: from localhost ([::1]:41032 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n4Uq5-0002pB-RG for larch@yhetil.org; Mon, 03 Jan 2022 16:25:57 -0500 Received: from eggs.gnu.org ([209.51.188.92]:57442) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n4Upl-0002om-Na for guix-devel@gnu.org; Mon, 03 Jan 2022 16:25:40 -0500 Received: from [2a00:1450:4864:20::441] (port=37773 helo=mail-wr1-x441.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n4Upk-0005SI-Df for guix-devel@gnu.org; Mon, 03 Jan 2022 16:25:37 -0500 Received: by mail-wr1-x441.google.com with SMTP id t26so72136526wrb.4 for ; Mon, 03 Jan 2022 13:25:35 -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=A2kCcyhoeSwQeb7vvqQsmWm4O5B98iBteML9VNAqadE=; b=abcvSmLY+7cwMkidC8Xt4AK6dTz7rp59vcTxec4UjFoWKvBYczX+qOGoQAusUIGX7J EHGw5VLb5TSQNtMTosb8+hEYXqtfr4J22Eu+6XbZMcwFefvWpFI/1kPyuk1ZVtlSrhap 13Xj0wBN9c8MLaVMOQk158qHuSdP+qfEo+PHbN9qnQMuhMNLt3NbwqkRwzJ5a30cXE8Q MPCez8CPyIPLALCj4xp9RAZTlIKlxb5TAoqbyZcTq3XtGIKTiPbpas5zG1FF8iJBI/OM j1EyLP8Ru5D5cpCb5BzV7yQtkZE9sWskbvMcrjPB42sxjhwGtAxYuhG/YyAocI66VOF2 8UnQ== 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=A2kCcyhoeSwQeb7vvqQsmWm4O5B98iBteML9VNAqadE=; b=di0LIPNzcMkbBdNrD4pR8a0lyptGT3zVPld5ow1jtejP2mXH0BpTahn3VSPSMvHwYj tAFUy3qrKsRgSIzmHR79Bq6U/Q7hJWsIvyFGPOhgYYm6Jkb3/Y9TnMDUteDUEWyAkTUK Jeo4w3pWKmGlQZQU/N9oddlkpZ6y/ZfvsuGFpaj2ioJjRUdZz2ggnKzSQ9VHWlNPWvFY RBnEBdfpr7tBRnNgXJRoTX+2C7a4Z6BQPWz3dQlvYlGisQlncun9qZPtkBfBwXVBoJ7k IxfTdCsZZFEv4IovVM10fAoZG/vYnlI3Ak9tPrv8E/x6Qd3GEHv/qYPe2gJYkVceLwm1 dHKw== X-Gm-Message-State: AOAM533X6oeDx8T52qUjy2rUY8Oo14STj/1SdFNXaWgDIdqSeu1v0l3t WPK+rClk0folDO1jxyjPpkI= X-Google-Smtp-Source: ABdhPJzaB1sBUGfJPf9oc9sQxqFHjyU6rLDZ7QIaNzZOlbukTsiWK5kW5mHIaISMWji4VnPWsYDQjg== X-Received: by 2002:a5d:46c1:: with SMTP id g1mr39632398wrs.554.1641245135175; Mon, 03 Jan 2022 13:25:35 -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 n4sm36422339wrc.1.2022.01.03.13.25.34 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 03 Jan 2022 13:25:34 -0800 (PST) Message-ID: Subject: Re: On raw strings in commit field From: Liliana Marie Prikler To: Mark H Weaver , zimoun , guix-devel@gnu.org Date: Mon, 03 Jan 2022 22:25:33 +0100 In-Reply-To: <87r19pbv8y.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> 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::441 (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::441; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x441.google.com X-Spam_score_int: 6 X-Spam_score: 0.6 X-Spam_bar: / X-Spam_report: (0.6 / 5.0 requ) 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=1641245159; 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=A2kCcyhoeSwQeb7vvqQsmWm4O5B98iBteML9VNAqadE=; b=IaLACfMqzK3LHJfAP+04ggTr0rChgJaoH3HBmW6mZgS7d5bZrfx7gVPPEEqDHbpeOXMeCY dGN4mJvQuFRd+nUEuQi2YrPcw2nveJ6XWG58MAfM0EyFZ94mO6yc8rUtxWnBW3PPLjkr+R N7vuxDTSOye29h/pEh2GozVG3Tg/0cXy/aX/jKojZ2oQxR7xcn2Zr1MC47TzTOA4NHwQbj ihoO+YU7of8nRzEKz52xbzFWsETP74M/AHaTrM4TwIHklVbWuZha0P2xIAE4QLEO+j728c eepdDpER6Q9p80zSZQyJb/e+ODhPgHC2rZcmSuFnNTCctWSBvghazlt6Xo3iHw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641245159; a=rsa-sha256; cv=none; b=tzapvZGoR4+CQsrm5VnQqlOboizqN9XjjdT6LSc8DfWNFbzkhBnMqMDl7PrWTDU2S///kc w/J3RyMaLSJ1G502Wfuw5tbLQCAW0rGKINCXFa44lxIP0tJlrpKwemsCUDX4gJFK9aWBoQ l1uGkrJc0S+OxqS7nOafUDPRmDSq0WdcnrAYdcEL/NSmRmaxwT8rCfoUHWqzJcDwykKndS xBxNsTpK2pb0OkiQefyEENAIyqUC2ft/Fpx2yPW5WQE2w3I4pnLrh8/qNpLkB/VlK8YQKK TsmULZhhjT9ni7jlOuw8Z8gTtYXYDDteOTSab1IWiszvZMi3VTKyBhIiWUoXQA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=abcvSmLY; 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.29 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=abcvSmLY; 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: 4FDF24522E X-Spam-Score: -4.29 X-Migadu-Scanner: scn1.migadu.com X-TUID: UwuAYGbKOzVo Am Sonntag, dem 02.01.2022 um 17:57 -0500 schrieb Mark H Weaver: > Hi Liliana, > > Liliana Marie Prikler writes: > > > Am Samstag, dem 01.01.2022 um 15:37 -0500 schrieb Mark H Weaver: > > > Liliana Marie Prikler writes: > > > > > Where is the Cantor-style diagonalization argument that you > > > > > spoke of? > > > > You skipped over it, read again.  The key point is that you're > > > > referencing the thing you think will be invalidated to create > > > > your scheme. > > > I've carefully read your message at least 4 times, but I've been > > > unable to find anything resembling Cantor's diagonalization > > > argument in there.  Does anyone else see it?  Perhaps my powers > > > of recognition are too weak. > > Can I help your powers of recognition by describing everything in > > terms of Turing machines? > > How about pointing out what acts as the diagonal in your reasoning? If you are talking specifically about the uncountability of real numbers, that'd be quite deep down (as in an uncountability of push actions to a particular Git repo, particularly if we also allow reinitialization). My overview was admittedly too high-level; I jumped ahead to the "this sentence is a lie" statement, which is "I trust, that this tag which I don't trust, resolves to a particular commit". Mea culpa.