Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,sci.logic Subject: Re: DDD correctly emulated by H0 --- Why Lie? Date: Sun, 23 Jun 2024 17:49:53 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 23 Jun 2024 21:49:53 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="940453"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: Bytes: 2920 Lines: 59 On 6/23/24 5:41 PM, olcott wrote: > On 6/23/2024 1:20 PM, Richard Damon wrote: >> On 6/23/24 9:40 AM, olcott wrote: >>> _DDD() >>> [00002172] 55               push ebp >>> [00002173] 8bec             mov ebp,esp >>> [00002175] 6872210000       push 00002172 ; push DDD >>> [0000217a] e853f4ffff       call 000015d2 ; call HHH0 >>> [0000217f] 83c404           add esp,+04 >>> [00002182] 5d               pop ebp >>> [00002183] c3               ret >>> Size in bytes:(0018) [00002183] >>> >>> According to the semantics of the x86 programming language >>> when DDD correctly emulated by H0 calls H0(DDD) this call >>> cannot possibly return. >>> >>> Likewise according to the semantics of arithmetic for >>> decimal integers: 2 + 3 = 5. >>> >>> Anyone disagreeing with these two statements is WRONG. >>> >> >> NOw, if you REALLY mean just can H0 simulate this input to a final >> state, the answer is WHO CARES. >> >> But I will put out a few comments on errors in your presentation\. >> >> First, if you ONLY have the bytes presented, then the answer becomes >> trivial, as H0 HAS to stop emulating when it gets to the call >> instruction, as there is no data at address 000015d2 defined to simulate. >> > > What a God damned liar. > https://liarparadox.org/HH0_(DDD)_Full_Trace.pdf > Which begins its trace at main, not DDD: From Source Listing: _main() [000020b3] 55 push ebp From the beginnig of the trace: machine stack stack machine assembly address address data code language ======== ======== ======== ========= ============= [000020b3][00103680][00000000] 55 push ebp So it isn't the trace of HHH0 correctly simulating DDD So, who is the God Damned Liar? I told you this last time you posted it. I guess reading what you are talking about is too hard for you. LIAR.