Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows --- posthumous reviewers
Date: Sun, 16 Mar 2025 12:48:32 +0200
Organization: -
Lines: 59
Message-ID: <vr6aa0$1kmk0$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> <vqpv2u$23vhr$1@dont-email.me> <Ny-dnRlMHcVpA036nZ2dnZfqnPqdnZ2d@brightview.co.uk> <vqrjrn$2h4l2$1@dont-email.me> <nESdnUfJxdhoTkz6nZ2dnZfqnPSdnZ2d@brightview.co.uk> <vqsl7c$2ok91$1@dont-email.me> <f7b6995ae3e79db00fa5070d9be8126b7ea5ae78@i2pn2.org> <vqt99l$2spcd$5@dont-email.me> <vqu84v$363tm$1@dont-email.me> <vqvgpn$3s1qt$4@dont-email.me> <vr3kgj$3avig$1@dont-email.me> <vr4sun$bkso$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 16 Mar 2025 11:48:33 +0100 (CET)
Injection-Info: dont-email.me; posting-host="2e28bd486efac3f7270b2c3baf822b20";
	logging-data="1727104"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+jmk5yWbH1pI3NHQTlnqWr"
User-Agent: Unison/2.2
Cancel-Lock: sha1:+BhI+AWxJIHGRtp38vla+GUzR+k=
Bytes: 3392

On 2025-03-15 21:54:31 +0000, olcott said:

> On 3/15/2025 5:24 AM, Mikko wrote:
>> On 2025-03-13 20:56:22 +0000, olcott said:
>> 
>>> On 3/13/2025 4:22 AM, Mikko wrote:
>>>> On 2025-03-13 00:36:04 +0000, olcott said:
>>>> 
>>>>> 
>>>>> void DDD()
>>>>> {
>>>>>    HHH(DDD);
>>>>>    return;
>>>>> }
>>>>> 
>>>>> int DD()
>>>>> {
>>>>>    int Halt_Status = HHH(DD);
>>>>>    if (Halt_Status)
>>>>>      HERE: goto HERE;
>>>>>    return Halt_Status;
>>>>> }
>>>>> 
>>>>> When HHH correctly emulates N steps of the
>>>>> above functions none of them can possibly reach
>>>>> their own "return" instruction and terminate normally.
>>>> 
>>>> Nevertheless, assuming HHH is a decider, Infinite_Loop and Infinite_Recursion
>>>> specify a non-terminating behaviour, DDD specifies a terminating behaviour
>>> 
>>> _DDD()
>>> [00002172] 55         push ebp      ; housekeeping
>>> [00002173] 8bec       mov  ebp,esp  ; housekeeping
>>> [00002175] 6872210000 push 00002172 ; push DDD
>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>> [0000217f] 83c404     add  esp,+04
>>> [00002182] 5d         pop  ebp
>>> [00002183] c3         ret
>>> Size in bytes:(0018) [00002183]
>>> 
>>> What is the sequence of machine language
>>> instructions of DDD emulated by HHH such that DDD
>>> reaches its machine address 00002183?
>>> 
>>> Any failure to answer with the sequence of machine
>>> addresses will be construed as
>>> YOU KNOW THAT YOU ARE LYING OR DON'T UNDERSTAND THE QUESTON
>> 
>> That a question is not answered is not a lie.
> 
> It is when the claim that I am incorrect is repeated
> many many times with many requests for supporting
> reasoning showing how I am wrong are totally ignored.

Not according to any dictionary I have seen.

-- 
Mikko