Path: ...!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: Sat, 15 Mar 2025 12:24:19 +0200
Organization: -
Lines: 56
Message-ID: <vr3kgj$3avig$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Mar 2025 11:24:20 +0100 (CET)
Injection-Info: dont-email.me; posting-host="d2e2de52757e195a20d9010a48424fcd";
	logging-data="3505744"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18lSQjm3sgBV1x1GWirAwfq"
User-Agent: Unison/2.2
Cancel-Lock: sha1:G4UQwFJxeeLjfgSEHhJ+ZJ+tqjU=
Bytes: 3158

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. That is unfortunate as if
iit were it would be much easier to point out that you are a liar. But
it isn't so we can only call you a liar when you actually say sometning.

If you really want to be called a liar when you don't answer some
question then say so and tell why so that we may try to find some
solution.

-- 
Mikko