Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: This function proves that only the outermost HHH examines the execution trace
Date: Tue, 30 Jul 2024 10:00:11 +0300
Organization: -
Lines: 20
Message-ID: <v8a31r$u7n5$1@dont-email.me>
References: <v80h07$2su8m$3@dont-email.me> <0amdndFJSZSzYD77nZ2dnZfqnPednZ2d@brightview.co.uk> <v8102f$2vo8u$1@dont-email.me> <v83fhe$3gihn$1@dont-email.me> <v83hmk$3gvj7$1@dont-email.me> <v83jc9$3gihm$1@dont-email.me> <v83juc$3ham9$1@dont-email.me> <v8519e$3s7bv$1@dont-email.me> <v88h9e$i7kl$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 30 Jul 2024 09:00:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="329af3d797696bf444d9a1dc8986292a";
	logging-data="990949"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19qbyB+Bkf+joN8jH7oF1T1"
User-Agent: Unison/2.2
Cancel-Lock: sha1:YhlkVFjV4mQ/ooNSE+4pmtEtEo4=
Bytes: 1868

On 2024-07-29 16:50:53 +0000, olcott said:

> On 7/28/2024 3:59 AM, Mikko wrote:
>> On 2024-07-27 20:05:31 +0000, olcott said:
>>> If you had sufficient understanding of the x86 language
>>> you would know that DDD is correctly emulated by HHH.
>> 
>> If you had suffient understanding of x86 language and correctness
>> you would know that DDD is incorrectly emnulated by HHH.
> 
> This is only seems that way because every reviewer makes sure
> to ignore one aspect of the basis of another.

It is perfectly OK to ignore irrelevant details. A relevant detail
is the meaning of the word "emulate" as that determines what is a
correct emulation and what is not.

-- 
Mikko