Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!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: 195 page execution trace of DDD correctly simulated by HH0
Date: Wed, 26 Jun 2024 13:40:42 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v5h5oq$1g3$1@news.muc.de>
References: <v4vrfg$2793f$1@dont-email.me> <v58m12$8mmo$1@dont-email.me> <v59797$brmn$1@dont-email.me> <v5b7nv$qvrb$1@dont-email.me> <v5btf3$v0vb$4@dont-email.me> <v5chru$10816$1@i2pn2.org> <v5cn01$149dc$1@dont-email.me> <v5ebvr$1hs89$1@dont-email.me> <v5efod$1ikpr$1@dont-email.me> <v5ejau$1iq57$1@dont-email.me> <v5eup8$1lar1$2@dont-email.me> <v5gidq$221q3$1@dont-email.me> <v5h34g$24jbd$4@dont-email.me>
Injection-Date: Wed, 26 Jun 2024 13:40:42 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="1539"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
Bytes: 2391
Lines: 31

olcott <polcott333@gmail.com> wrote:
> On 6/26/2024 3:10 AM, Mikko wrote:

[ .... ]

>> The relevant area of software engineering is testing. The usual
>> attitude of software engineers is that a program is accpted when it
>> has been sufficiently tested and passed all tests. Consequently, an
>> important part of sofware work is the design of tests.

>> In the current context the program to be tested is a halting decider. 

> *NO IT IS NOT. H0 IS ONLY AN X86 EMULATOR*
> After you quit lying about the behavior of DDD correctly
> emulated by H0 then we can move on to the next point.

I think the problem is rather your calling every program or function you
talk about H, or H^, or HH, or HHH, or H0, or H1.  Usually, in the past,
you have meant purported halting deciders by these names.  Now you're
saying that you mean an X86 emulator.  Where and when did this change
happen, and how is anybody else supposed to know what you mean by
particular uses of these names?

Or is it just some subterfuge to enable you to abuse other posters?

> -- 
> 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).