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 iJInMVmUz2GMNAEAgWs5BA (envelope-from ) for ; Sat, 01 Jan 2022 00:38:01 +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 QIHEKVmUz2ENfQEAG6o9tA (envelope-from ) for ; Sat, 01 Jan 2022 00:38:01 +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 6540414A6F for ; Sat, 1 Jan 2022 00:38:01 +0100 (CET) Received: from localhost ([::1]:57220 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n3RTE-0008Rn-Fe for larch@yhetil.org; Fri, 31 Dec 2021 18:38:00 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56250) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n3RSv-0008RO-TL for guix-devel@gnu.org; Fri, 31 Dec 2021 18:37:41 -0500 Received: from world.peace.net ([64.112.178.59]:54386) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n3RSu-0007Tp-Bx for guix-devel@gnu.org; Fri, 31 Dec 2021 18:37:41 -0500 Received: from mhw by world.peace.net with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1n3RSi-0005z3-JZ; Fri, 31 Dec 2021 18:37:28 -0500 From: Mark H Weaver To: Liliana Marie Prikler , zimoun , guix-devel@gnu.org Subject: Re: On raw strings in commit field In-Reply-To: <3d448fe42f0c43574db96fa26aecd7da5fd5a95d.camel@gmail.com> References: <6e451a878b749d4afb6eede9b476e5faabb0d609.camel@gmail.com> <86y243kdoo.fsf@gmail.com> <899587fb6a76ddfa37d197d3d0fd23cdc7ad8592.camel@gmail.com> <867dbmi7pf.fsf@gmail.com> <3d448fe42f0c43574db96fa26aecd7da5fd5a95d.camel@gmail.com> Date: Fri, 31 Dec 2021 18:36:51 -0500 Message-ID: <877dbkmjm9.fsf@netris.org> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=64.112.178.59; envelope-from=mhw@netris.org; helo=world.peace.net X-Spam_score_int: 0 X-Spam_score: 0.0 X-Spam_bar: / X-Spam_report: (0.0 / 5.0 requ) SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=unavailable 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=1640993881; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=t6RiWhFKSMfAxtGJz9IIXOys40YAinliYk78B2GWfdc=; b=DfXe302l4In1h6WFPO67rvYOzA5qHvPNzA1zqEp4Kcrg3kNXcWhoyeJm1QvtCEE9cH+6tn UXP8foyOPyyEdPe5esLSxYovPLZFtzdXHlEb3BTktTBejT6k6H48IgHz1nYwEqjtVDgCRX OSmaSoZzryD2BW9oBFYkrNuj71YhJdm4DETtT943i5Wkwtpz5fpXss8jud2d7BvwnbSNg5 /4HfZByiQXaSnS1+s8lUtMNARqjSEwUK4JY9t5xP1Lvft5WfD49rw00wtzuL3wYbeaO6qE 8lHb2emBmvtRbVxZ3atN1kfuWDmH51LDas+aqvfY/YakGDVlyobFrEd2lX2woA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1640993881; a=rsa-sha256; cv=none; b=Aiud4fw4/ndQqcEdO2PfQeeZ7eAR0R4r9KND2raxg2QNBAWoazY9ppXUUr2aVGMRudv1Bb 9QeAoy4jBYHQn1mTjV95m3E6AGL68XQBjsoalSSdo/g3y+Mll38V8nNU61+Qv7tpbN4y8F PmyqsbTbZjs/s/9ZMUOQbghmrx/X0RaqKIGnBES/LbePkMrhfVWPSjwm50R7vAEVlqPkuB l9M3dksT7qZOPdE9ai7pF+lpXq3W+SPmm5UUAiMl/TEcTS0iWzz+08HBoluMKZvGVk14ez XKFt8udtSsDw1mV2/MEcY4WGVXp7NW6+sVSsITMPOSi1xtX8EGApeiczbyxSlw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; 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: -3.08 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; 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: 6540414A6F X-Spam-Score: -3.08 X-Migadu-Scanner: scn0.migadu.com X-TUID: Z4A3zMetUGur Hi Liliana, Liliana Marie Prikler writes: > In my personal opinion, the version+raw commit style can be discredited > using Cantor's diagonal argument. You've mentioned Cantor's diagonalization argument at least twice in this thread so far, but although I'm familiar with that kind of argument for showing that certain sets are uncountable, I don't understand how it applies here. Can you please elaborate? Thanks, Mark -- Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about .