Re: Failure to meet this challenge proves that all of my reviewers are wrong

Liste des GroupesRevenir à theory 
Sujet : Re: Failure to meet this challenge proves that all of my reviewers are wrong
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.lang.c comp.lang.c++
Suivi-à : comp.theory
Date : 02. Mar 2025, 20:06:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vq2a8d$t7sh$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 3/2/2025 12:38 PM, Fred. Zwarts wrote:
Op 02.mrt.2025 om 15:42 schreef olcott:
HHH is an emulating termination analyzer that emulates
the x86 machine code located at the address of a function
using a fully functional x86 emulator.
>
When HHH recognizes a non-terminating pattern in the
execution trace of its emulated input it aborts this
emulation and returns 0.
>
typedef void (*ptr)();
int HHH(ptr P);
>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
_DD()
[00002133] 55         push ebp      ; housekeeping
[00002134] 8bec       mov ebp,esp   ; housekeeping
[00002136] 51         push ecx      ; make space for local
[00002137] 6833210000 push 00002133 ; push DD
[0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
[00002141] 83c404     add esp,+04
[00002144] 8945fc     mov [ebp-04],eax
[00002147] 837dfc00   cmp dword [ebp-04],+00
[0000214b] 7402       jz 0000214f
[0000214d] ebfe       jmp 0000214d
[0000214f] 8b45fc     mov eax,[ebp-04]
[00002152] 8be5       mov esp,ebp
[00002154] 5d         pop ebp
[00002155] c3         ret
Size in bytes:(0035) [00002155]
>
I challenged everyone here to provide the machine address
by machine address (AKA line by line) execution trace
of DD correctly emulated by HHH that reaches its own
"ret" instruction.
 Olcott could as well challenge everyone to draw a correct square circle.
 
>
No one made any attempt to do this because they know that
this would prove that they are stupidly wrong to say that
my trace is incorrect.
>
 No one will attempt to draw a square circle. Does that imply that it is wrong to say that another failed attempt to draw a square circle is incorrect?
 Similarly, HHH cannot possibly simulate itself correctly.
This C code conclusively proves that HHH does correctly
emulate self emulating DD correctly.
https://github.com/plolcott/x86utm/blob/master/Halt7.c
That you lack the technical capability to understand
that code is far less than no actual rebuttal at all.

Olcott's HHH is incorrect, but a correct HHH that simulates itself does not exist. Therefore, it is very stupid to challenge everyone to correct HHH.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
2 Mar 25 * Failure to meet this challenge proves that all of my reviewers are wrong21olcott
2 Mar 25 +* Re: Failure to meet this challenge proves that all of my reviewers are wrong6joes
2 Mar 25 i`* Re: Failure to meet this challenge proves that all of my reviewers are wrong5olcott
2 Mar 25 i +* Re: Failure to meet this challenge proves that all of my reviewers are wrong3joes
2 Mar 25 i i`* Re: Failure to meet this challenge proves that all of my reviewers are wrong2olcott
2 Mar 25 i i `- Re: Failure to meet this challenge proves that all of my reviewers are wrong1joes
2 Mar 25 i `- Re: Failure to meet this challenge proves that all of my reviewers are wrong1Fred. Zwarts
2 Mar 25 +- Re: Failure to meet this challenge proves that all of my reviewers are wrong1olcott
2 Mar 25 +* Re: Failure to meet this challenge proves that all of my reviewers are wrong9Fred. Zwarts
2 Mar 25 i`* Re: Failure to meet this challenge proves that all of my reviewers are wrong8olcott
2 Mar 25 i +- Re: Failure to meet this challenge proves that all of my reviewers are wrong1Fred. Zwarts
3 Mar 25 i `* Re: Failure to meet this challenge proves that all of my reviewers are wrong6Mikko
3 Mar 25 i  `* Re: Failure to meet this challenge proves that all of my reviewers are wrong5olcott
3 Mar 25 i   +* Re: Failure to meet this challenge proves that all of my reviewers are wrong2joes
4 Mar 25 i   i`- Re: Failure to meet this challenge proves that all of my reviewers are wrong1olcott
4 Mar 25 i   +- Re: Failure to meet this challenge proves that all of my reviewers are wrong1Richard Damon
4 Mar 25 i   `- Re: Failure to meet this challenge proves that all of my reviewers are wrong1Mikko
2 Mar 25 +- Re: Failure to meet this challenge proves that all of my reviewers are wrong1Richard Damon
3 Mar 25 `* Re: Failure to meet this challenge proves that all of my reviewers are wrong3Mikko
3 Mar 25  `* Re: Failure to meet this challenge proves that all of my reviewers are wrong2olcott
4 Mar 25   `- Re: Failure to meet this challenge proves that all of my reviewers are wrong1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal