Path: ...!weretis.net!feeder8.news.weretis.net!news.szaf.org!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: At least 100 people kept denying the easily verified fact --- last communication with Richard
Date: Fri, 7 Jun 2024 20:16:14 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v3vpqe$a5e$4@news.muc.de>
References: <v3o2dj$jm9q$1@dont-email.me>   <v3tq33$388rj$13@i2pn2.org> <v3tstr$1td1o$2@dont-email.me> <v3tuqh$388ri$1@i2pn2.org> <v3v0qj$22vrk$1@dont-email.me> <v3v85d$39ri5$11@i2pn2.org> <v3vacl$242e9$8@dont-email.me> <v3vh9l$a5e$2@news.muc.de> <v3vhvq$25ojk$2@dont-email.me> <v3vj8p$39ri6$7@i2pn2.org> <v3vk9b$266aq$2@dont-email.me> <8c92495d4433776d8ddc4706fb1de05b245f5829.camel@gmail.com> <v3vn5u$26d04$1@dont-email.me> <v3vont$a5e$3@news.muc.de> <v3vp3j$27d15$2@dont-email.me>
Injection-Date: Fri, 7 Jun 2024 20:16:14 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="10414"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
Bytes: 2999
Lines: 49

olcott <polcott333@gmail.com> wrote:
> On 6/7/2024 2:57 PM, Alan Mackenzie wrote:
>> In comp.theory olcott <polcott333@gmail.com> wrote:

>> [ .... ]

>>> If people are going to be dishonest about simple things such as the
>>> actual behavior of actual x86 code where they consistently deny
>>> verified facts ....

>> You should stop swearing.  "Verified facts" has a meaning, 

> Everyone knows that the following is a verified fact and
> they dishonestly deflect.

That is untrue.  There is at least one person who doesn't know "it's a
verified fact" (me).

What's more it is a lie.  You know full well that "the following" has NOT
been verified by anybody.  If I am wrong, point out who has done this
verifying, when, how, and what their conclusions were.

> Try to show how this DD correctly simulated by any HH ever
> stops running without having its simulation aborted by HH.

> _DD()
> [00001e12] 55         push ebp
> [00001e13] 8bec       mov  ebp,esp
> [00001e15] 51         push ecx
> [00001e16] 8b4508     mov  eax,[ebp+08]
> [00001e19] 50         push eax      ; push DD
> [00001e1a] 8b4d08     mov  ecx,[ebp+08]
> [00001e1d] 51         push ecx      ; push DD
> [00001e1e] e85ff5ffff call 00001382 ; call HH

> A {correct simulation} means that each instruction of the
> above x86 machine language of DD is correctly simulated
> by HH and simulated in the correct order.

> Anyone claiming that HH should report on the behavior
> of the directly executed DD(DD) is requiring a violation
> of the above definition of correct simulation.

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

-- 
Alan Mackenzie (Nuremberg, Germany).