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 ms0.migadu.com with LMTPS id OGYdK1Au0GEHRwEAgWs5BA (envelope-from ) for ; Sat, 01 Jan 2022 11:34:56 +0100 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 WLPfI1Au0GFgSAEAG6o9tA (envelope-from ) for ; Sat, 01 Jan 2022 11:34:56 +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 239FD16537 for ; Sat, 1 Jan 2022 11:34:56 +0100 (CET) Received: from localhost ([::1]:51802 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n3biw-0000oG-3P for larch@yhetil.org; Sat, 01 Jan 2022 05:34:55 -0500 Received: from eggs.gnu.org ([209.51.188.92]:42960) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n3bi8-0000O6-OS for guix-devel@gnu.org; Sat, 01 Jan 2022 05:34:05 -0500 Received: from [2a00:1450:4864:20::443] (port=37397 helo=mail-wr1-x443.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n3bi7-0000A2-9q for guix-devel@gnu.org; Sat, 01 Jan 2022 05:34:04 -0500 Received: by mail-wr1-x443.google.com with SMTP id t26so59963430wrb.4 for ; Sat, 01 Jan 2022 02:34:02 -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=ZEh926hK4cHN46HR8LYhuqfHsyBSkShdtTxMjmilV5c=; b=IX0snq+QFjzQehs2vEr8nYuuBlBohJPoovWVvxY8e4uMFMBrjqz4w+8SVWjPedCYc6 KkLFy9CaRQaDfKDBObX48u4j/JVFif/wBB1ygndYN3VBj09GzBE++Dg69HpBFzsV6Wer ait87CNL25rgVi5iO6dtC43CxQp/rEu88iV/QGIa7Q31Cben8SjkebNPoXp75VTbG7ej yD1n04alk1DDbdPbCu48ckl2hE9DgDBxcRN2Dw90y6N+QY1k0j4wBcYa5X4wGKjpBIAy HNCkijKzWQSq0aEQLiWIFl/XD0xd/g8HwgfMzsLoV09j8xMhMPtw8YdgiOZg3vzVkbsK JqFg== 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=ZEh926hK4cHN46HR8LYhuqfHsyBSkShdtTxMjmilV5c=; b=UdeL39EZqZ8oZmkuzJ4gEh8Ob7gHcV20DgDI/zWa//DJ6SE1mr3/MATT9//rJVCJFk MX3Ml/OIecv3dECAVJTiKMVHW0uJLbgW/VKjVvE+PVHm0yOZTo+sI5VRCnuAkHNmiF8s v0Ww+wcuGGFl5vu0kbji4KFFqiZJZMC393H0A7k9y1zy+Uf6Uh3Bsv3zBg1mreFUI+PI tnYXJg1wntzV2RSYfM1e1iC1n+vjXI04gw2zvTpx05lpVO8fEbDuiyBJImMeRwj01Bqq 7Yx84IYacJc6Oi4orvd3yyycQwjqS8qnmR5nSSRKkZsPGJJkkFQLuBU6wgdTrfBztAx5 301Q== X-Gm-Message-State: AOAM532DA1i54eWcvqBLFQ1aG0H702j0e9RKKAUBtNSgAkWAl8Occlq1 QY9H+1+Hvem0UP7JlQ6x7Q8= X-Google-Smtp-Source: ABdhPJwqDl7IV59f1ASGh/NEit5WFaS55e0V+6pFzuHFoOXoH/1v0zkRwb30FE3VTJAtNsf9dibM0A== X-Received: by 2002:adf:80ca:: with SMTP id 68mr30996283wrl.528.1641033241479; Sat, 01 Jan 2022 02:34:01 -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 l7sm29143486wms.1.2022.01.01.02.34.00 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 01 Jan 2022 02:34:00 -0800 (PST) Message-ID: <9362c6fb7e34ded5d009c3f79cd18300d6cd539c.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: Sat, 01 Jan 2022 11:33:59 +0100 In-Reply-To: <87y240kq2i.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> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::443 (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::443; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x443.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=1641033296; 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=ZEh926hK4cHN46HR8LYhuqfHsyBSkShdtTxMjmilV5c=; b=MXzNvkVwBWcrtbkjTpSNWjoi3xCfYrG0A+vkZ5xyU6W4DU6+U8N6sMBvuVFeczYvMm5GLa ld0hNYkV5Z2KTesEXde4IpVBwhAAyEmTl0LYb30VTlvHKlZgrn0ZoL5TtdQp349J2LnJvQ 4o2K5zgkodcTCLuowVvd37lxc6ocvIMPWcvIWTW8E+P0MKj945KM0BgwdfZQ94W1I9BfcZ BzkfD/5RXoHQKs45MWUIZnuITXP2qrw4VeUq+7tXm+2CeJfk1Hhnn6V3VDOaxNIZdgZGrv 2u/L8Qtpn1GXTuhmmUcWwqgmas/AA+PGZucx2pT7iSJwwyvMRLCDzkJEkC/Rgw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641033296; a=rsa-sha256; cv=none; b=t1yFCMPuWtQ1MINK/e3lHAD2WuRA1dxDe+JGwny5GT45Iq7kq/Ci0Bif8r1SixNh+FYutz 11rxbvzvyBzTGWYaMPF1j2KRIVSXieBblURr0/9wMoU5x/vCaxs1+skbqMoIeL/z7Py+1t Krc2gq0ELA4Sg+sO1TM/GXxwQ3cHbd7QSKFrpnn04/tvPv4sU0dpylu4Gb1X2qdLYnKFAY LyOglKDHBy5E6aLK3js72yNuS49U2JGcfNsxKyMs1HsshR5hDPPI2Q2fVl4jN5CjpMuXwx lQghKA4l5Hg8i4VAxj+a7gj6mp0j/9TrbdcWLljVYPUxWTgRu/zbtUQB5fggNg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=IX0snq+Q; 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.28 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=IX0snq+Q; 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: 239FD16537 X-Spam-Score: -4.28 X-Migadu-Scanner: scn1.migadu.com X-TUID: tPfTSue6/zNp > 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.