Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Date: Wed, 26 Jun 2024 16:15:08 -0500 Organization: A noiseless patient Spider Lines: 55 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 26 Jun 2024 23:15:08 +0200 (CEST) Injection-Info: dont-email.me; posting-host="28c20839daaf0f4c95806d952d7f722b"; logging-data="2459497"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19VuitYfqFXi9nRv32e4JX9" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:0SkwmC4NtRHEoQ2sm4IFadROZVU= Content-Language: en-US In-Reply-To: Bytes: 3880 On 6/26/2024 3:55 PM, joes wrote: > Am Wed, 26 Jun 2024 15:10:36 -0500 schrieb olcott: >> On 6/26/2024 2:43 PM, Alan Mackenzie wrote: >>> olcott wrote: > >>> Your posts are, in the main, tedious in the extreme. When you repeat >>> the same thing 30 times over, you can't expect anybody to read each of >>> the repetitions as though it were fresh and new. >> I must keep repeating them until they bother to pay attention to the >> exact words that I am exactly saying because every fake rebuttal is the >> strawman deception. > That's not how it works. You should try to rephrase if you are not > understood. > A strawman is a misrepresentation. I think we understand you correctly, > if at all. > >>> All the people you are debating with care about the truth. That's why >>> they're in this group debating with you. >> It seems to me that they are only here to play the troll. > This made me laugh hysterically. > >>> Anything "like" what an x86 emulator does is insufficiently precise. >> An x86 emulator is already 100% perfectly precise if the trolls that >> review my work don't think so then that proves that they are trolls. > Then why do you think that emulator can abort or otherwise change the > behaviour of its input? > >>> And the "semantics of x86" don't specify anthing beyond the meaning of >>> x86 programs in general. >> *That is a stupid thing to say* >> The semantics of the x86 language provides 100% of all of the details of >> the behavior of these two functions. > There is nothing that makes this specific to x86. (Also C is not asm.) > Yes stupid this makes it 100% specific to the x86 language. _DDD() [00002172] 55 push ebp ; housekeeping [00002173] 8bec mov ebp,esp ; housekeeping [00002175] 6872210000 push 00002172 ; push DDD [0000217a] e853f4ffff call 000015d2 ; call H0(DDD) [0000217f] 83c404 add esp,+04 [00002182] 5d pop ebp [00002183] c3 ret Size in bytes:(0018) [00002183] The call from DDD to H0(DDD) when DDD is correctly emulated by x86 emulator H0 cannot possibly return. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer