Sujet : Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR---
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 09. Mar 2025, 14:11:20
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vqk41p$o4oh$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
User-Agent : Mozilla Thunderbird
On 3/9/2025 4:05 AM, Fred. Zwarts wrote:
Op 08.mrt.2025 om 18:47 schreef olcott:
On 3/8/2025 9:41 AM, Fred. Zwarts wrote:
Op 08.mrt.2025 om 15:09 schreef olcott:
On 3/8/2025 3:06 AM, Mikko wrote:
On 2025-03-07 15:11:53 +0000, olcott said:
>
_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]
DD correctly emulated by HHH cannot possibly reach
its own "ret" instruction and terminate normally
because DD calls HHH(DD) in recursive emulation.
>
The source code 100% perfectly proves exactly what it
actually does.
Yes, even if there are error in the program, it does what it does.
>
There is no error.
>
That is a claim, not a proof. Many errors have been pointed out, but the program was not corrected. Without a proof of correctness, a program does not prove anything.
All the reported "errors" are only your failure to understand the code.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer