Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows --- Very Stupid
 Mistake or Liars
Date: Thu, 13 Mar 2025 09:55:16 -0400
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <vquo43$39p4p$1@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqqrin$28lh2$4@dont-email.me>
 <vqs9ck$2lqb2$1@dont-email.me> <vqud4e$36e14$3@dont-email.me>
 <vqueuk$idv$1@reader1.panix.com> <vqunb6$392on$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 13 Mar 2025 14:55:16 +0100 (CET)
Injection-Info: dont-email.me; posting-host="416957debdcb20d9b566cd00245152da";
	logging-data="3466393"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+NNoE217lRrPV/fv+q+uAW"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0Jo7CdHNh2HYJsURcpjCUlQU/5c=
Content-Language: en-US
In-Reply-To: <vqunb6$392on$1@dont-email.me>
Bytes: 1577

On 3/13/2025 9:41 AM, olcott wrote:
> I created DDD because
> some of my reviewers are not technically competent
> enough to see that line 2 of DD is unreachable code
> when N steps of DD are correctly simulated by HHH.
> 

But it *is* reachable code when DD is executed directly, and that's what 
the halting problem is about, and that's what everyone wants to know.