Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: And the Richer Petard Horror Show resumes ... CORRECT
Date: Thu, 10 Oct 2024 07:50:20 -0500
Organization: A noiseless patient Spider
Lines: 99
Message-ID: <ve8iic$354g5$1@dont-email.me>
References: <ve39pb$24k00$1@dont-email.me>
 <39f1a350cac0a8431753486526da1c35f458df65@i2pn2.org>
 <ve6lsa$207d$2@news.muc.de> <ve8289$336c8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 10 Oct 2024 14:50:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="515b45b501ce844a27ace5f6ef725064";
	logging-data="3314181"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/kPporNDXw8f+wzrg9c9P9"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:od6wp3tiSMyXlNIYp+x4O40sO9U=
Content-Language: en-US
In-Reply-To: <ve8289$336c8$1@dont-email.me>
Bytes: 4369

On 10/10/2024 3:11 AM, Mikko wrote:
> On 2024-10-09 19:34:34 +0000, Alan Mackenzie said:
> 
>> Richard Damon <richard@damon-family.org> wrote:
>>> On 10/8/24 8:49 AM, Andy Walker wrote:
>>>> ... after a short break.
>>
>>>>     Richard -- no-one sane carries on an extended discussion with
>>>> someone they [claim to] consider a "stupid liar".  So which are you?
>>>> Not sane?  Or stupid enough to try to score points off someone who is
>>>> incapable of conceding them?  Or lying when you describe Peter?  You
>>>> must surely have better things to do.  Meanwhile, you surely noticed
>>>> that Peter is running rings around you.
>>
>>> In other words, you don't understand the concept of defense of the 
>>> truth.
>>
>> Maybe, but continuously calling your debating opponent a liar, and doing
>> so in oversized upper case, goes beyond truth and comes perilously close
>> to stalking.
> 
> Calling a liar a liar is fully justified. I don't know how often it
> needs be done but readers of a liar may want to know that they are
> reading a liar.
> 

The fact that no one can even point out a single mistake
conclusively proves that any lying is not on my side of
the dialogue.

void DDD()
{
   HHH(DDD);
   return;
}

HHH is an x86 emulation based termination analyzer.
Each DDD emulated by any HHH that it calls never returns.

Each of the directly executed HHH emulator/analyzers that returns
0 correctly reports the above non-terminating behavior of its input.

*Fully operational code is here*
https://github.com/plolcott/x86utm/blob/master/Halt7.c

>> It detracts from the substance of your posts, and makes
>> them, for me at least, thoroughly unpleasant to read.
> 
> You probably needn't read them. As soon you find out that they repeat
> the same over and over, neither correcting their substantial errors
> not improving their arguments you have read enough.
> 

Although it seems that I am repeating myself I am actually
making these same points clearer and clearer so that anyone
with a BSCS can see that I am necessarily correct.

In the last three years I went from providing the machine language
trace of DD emulated by HH to describing the C language trace of
DDD emulated by HHH in a single simple English sentence.

int DD(int (*x)())
{
   int Halt_Status = H(x, x);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

_DD()
[00002142] 55         push ebp
[00002143] 8bec       mov ebp,esp
[00002145] 51         push ecx
[00002146] 8b4508     mov eax,[ebp+08]
[00002149] 50         push eax
[0000214a] 8b4d08     mov ecx,[ebp+08]
[0000214d] 51         push ecx
[0000214e] e8cff2ffff call 00001422
[00002153] 83c408     add esp,+08
[00002156] 8945fc     mov [ebp-04],eax
[00002159] 837dfc00   cmp dword [ebp-04],+00
[0000215d] 7402       jz 00002161
[0000215f] ebfe       jmp 0000215f
[00002161] 8b45fc     mov eax,[ebp-04]
[00002164] 8be5       mov esp,ebp
[00002166] 5d         pop ebp
[00002167] c3         ret
Size in bytes:(0038) [00002167]

void DDD()
{
   HHH(DDD);
   return;
}


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer