From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 4YaNGxsJ0WHLDwAAgWs5BA (envelope-from ) for ; Sun, 02 Jan 2022 03:08:27 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id WBqFFxsJ0WH1hwAAauVa8A (envelope-from ) for ; Sun, 02 Jan 2022 03:08:27 +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 2139A6828 for ; Sun, 2 Jan 2022 03:08:27 +0100 (CET) Received: from localhost ([::1]:43608 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n3qIK-0000Vg-NR for larch@yhetil.org; Sat, 01 Jan 2022 21:08:26 -0500 Received: from eggs.gnu.org ([209.51.188.92]:59130) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n3qI3-0000Sy-A3 for guix-devel@gnu.org; Sat, 01 Jan 2022 21:08:07 -0500 Received: from imta-37.everyone.net ([216.200.145.37]:47262 helo=imta-38.everyone.net) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n3qI1-00038C-9B for guix-devel@gnu.org; Sat, 01 Jan 2022 21:08:06 -0500 Received: from pps.filterd (omta004.sj2.proofpoint.com [127.0.0.1]) by imta-38.everyone.net (8.16.0.43/8.16.0.43) with SMTP id 20224VmG004155; Sat, 1 Jan 2022 18:07:58 -0800 X-Eon-Originating-Account: 9cAvU2bC1Rh3m5IB7SHamPnb53BnWkWabMH3151I-i0 X-Eon-Dm: m0117124.ppops.net Received: by m0117124.mta.everyone.net (EON-AUTHRELAY2 - 53b924e0) id m0117124.6195d1ae.32357e; Sat, 1 Jan 2022 18:07:56 -0800 X-Eon-Sig: AQMHrIJh0Qj8n47q4QIAAAAD,9e9f79e4f2f8b2855621fc53a70546f3 X-Eip: kY3ZG2YZnMTj6dVJw4c0QDJFykYA0pLRgdp_9hovzMk Date: Sun, 2 Jan 2022 03:07:47 +0100 From: Bengt Richter To: Liliana Marie Prikler Subject: Re: On raw strings in commit field Message-ID: <20220102020747.GA9039@LionPure> References: <6e451a878b749d4afb6eede9b476e5faabb0d609.camel@gmail.com> <87k0fm7v3k.fsf@netris.org> <871r1smdu6.fsf@netris.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.10.1 (2018-07-13) X-Proofpoint-ORIG-GUID: j277w3IFHNrMQWVEox_KqUa3CB7mIe0H X-Proofpoint-GUID: j277w3IFHNrMQWVEox_KqUa3CB7mIe0H X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.425, 18.0.790 definitions=2022-01-01_06:2022-01-01, 2022-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxscore=0 spamscore=0 priorityscore=1501 impostorscore=0 suspectscore=0 mlxlogscore=815 adultscore=0 phishscore=0 bulkscore=0 lowpriorityscore=0 clxscore=1034 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2110150000 definitions=main-2201020012 Received-SPF: pass client-ip=216.200.145.37; envelope-from=bokr@oz.net; helo=imta-38.everyone.net X-Spam_score_int: 3 X-Spam_score: 0.3 X-Spam_bar: / X-Spam_report: (0.3 / 5.0 requ) HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, 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: , Reply-To: Bengt Richter Cc: guix-devel@gnu.org 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=1641089307; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc: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; bh=2MMW3ZW1pJUT2GoB9sFPA9YS8lypq6J71pTeUniK5sA=; b=a1dw9ySf03OwqBOJxBVSsrzP6PgMHxehI0rj0E+jzb+/9x4sXrz0+UZr7DDA9NrxG/E6lu /jyeE3qWygHgJWeIPK9kFTYlMwDlcAU+BvqtfXLHxQsjkS/hl/8G1EErpVg+bpwSvn20Zg p911/74WwzuiSIiHHATT96AHQXCEtVEvjwOobmlS4DruRm65OSa7C6EXC2aYr1TyHGmckr FmbvczEuWBfkQfAbPUVzZ3FgtDDvfPt5AYqemAGA8r7iea8WyW7o+S0nQPugDRS5kYw+Xm ZDL5wrU6s8JMp2bxe6ZVfjt81U17jlHInHRljjmIsD6gCZpVaL1ozSV2XBD0fA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641089307; a=rsa-sha256; cv=none; b=Yu+g8DKKnN4fhQ9oHvGH9wJPVbiSo7qFFoewzBilIlSy2NE33VTJKWx4odn28IhLuNtFR9 g7+Vt1zr0RneNGFQlgvs0AJcRmNTIVROol370nt2uYOLBDmi9zAvqDhwlkS0o392CEo/K6 PJjFKiflO838TV0gX7w9aNdOLlpReufMzxCxfeTIjPY7lvgBAXsExb3+SeijFceIVTNzoo lHdh2WGXHxXOjLOJ9o7unCpeSpHMbMOq3utjb2D//1boJEbBdV7tbXcQmcyZeH9LYlig7y y9PJ9dgzxOjZnw52vTLYCMu5RICp3VWQylLUcAG7f6YvtUrN3odC4DGRjYEIvA== 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: -2.58 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: 2139A6828 X-Spam-Score: -2.58 X-Migadu-Scanner: scn1.migadu.com X-TUID: gqG3JWoddw+C [0] https://cdn.quotesgram.com/img/31/40/532049644-676813c5150a0168ad089c40202f742e.jpg On +2022-01-01 12:12:33 +0100, Liliana Marie Prikler wrote: > Am Freitag, dem 31.12.2021 um 20:41 -0500 schrieb Mark H Weaver: > > I disagree with the last line above.  What makes you think that I'm > > presupposing that the tag does change? > > > > There's a difference between "presupposing that the tag does change" > > and "not assuming that the tag will not change".  Do you see the > > difference? > I'm pretty sure ¬assume(¬X) = assume(¬¬X) in this concept. You have to > start with some assumptions and while ideally we'd like to encode "I > don't care", we do not have a system that allows us to do so. > > > > However, if we are always talking about more than one possible > > > "1.2.3" (with the included future tag that we have yet to witness), > > > we lose the basis by which we currently assign "1.2.3" as the > > > version > > > > I see what you're getting at here, but still I disagree.  Our basis > > for associating version "1.2.3" with commit XYZ is simply that > > upstream had indicated that version "1.2.3" was commit XYZ.  That > > historical fact is immutable. > History is a social construct, it's not immutable. > --8<---------------cut here---------------start------------->8--- “When I use a word,” Humpty Dumpty said in rather a scornful tone, “it means just what I choose it to mean — neither more nor less.” “The question is,” said Alice, “whether you can make words mean so many different things.” “The question is,” said Humpty Dumpty, “which is to be master – – that’s all.” --8<---------------cut here---------------end--------------->8--- -- Regards, Bengt Richter