Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows --- Semantic
 Property of Finite String
Date: Wed, 12 Mar 2025 22:19:44 +0000
Organization: Fix this later
Lines: 15
Message-ID: <vqt1a0$2pao4$1@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me>
 <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me>
 <E6mcnWv3nMa66036nZ2dnZfqnPWdnZ2d@brightview.co.uk>
 <vqqnk5$28jtr$1@dont-email.me> <vqqonm$28lh2$1@dont-email.me>
 <vqqq09$28kp8$1@dont-email.me> <vqqq7s$29buv$2@dont-email.me>
 <vqqqu3$28kp8$2@dont-email.me> <vqqrl7$29meg$2@dont-email.me>
 <vqqror$29k3n$1@dont-email.me> <vqqrv9$29meg$4@dont-email.me>
 <vqqs14$29k3n$3@dont-email.me> <vqqs5j$29meg$6@dont-email.me>
 <vqqs8p$29k3n$4@dont-email.me> <vqqshn$29meg$7@dont-email.me>
 <vqsmid$2onvs$1@dont-email.me> <vqsqqu$2pu66$1@dont-email.me>
 <vqss8u$2po1m$1@dont-email.me> <vqsus5$2qopi$1@dont-email.me>
 <vqt0ao$2q8jp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 12 Mar 2025 23:19:45 +0100 (CET)
Injection-Info: dont-email.me; posting-host="1e46a42d02300691bd0ac693a83620d5";
	logging-data="2927364"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/L9Eb0x7DR074AMfRfe9MoZIqeJ1eHt/9ZkWdmj4n+OQ=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ipOHzYso5RwdL/+rSa5iphlObhs=
Content-Language: en-GB
In-Reply-To: <vqt0ao$2q8jp$1@dont-email.me>
Bytes: 2312

On 12/03/2025 22:03, dbush wrote:
> Again, the implementation of HHH has nothing to do with the 
> description given to it or the required mapping.

Indeed, the idea of an implementation is rather bizarre in the 
context. Cutting code for this would be like getting your ruler 
out to measure the sides of a triangle when proving Pythagoras. 
All the heavy lifting is done in the thought experiment.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within