Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

Mathematicians practice absolute freedom. -- Henry Adams

tech / sci.logic / Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by H" means

SubjectAuthor
* Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by Holcott
`* Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by Himmibis
 `- Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by Holcott

1
Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by H" means

<uo90p1$243ss$1@dont-email.me>

  copy mid

http://novabbs.i2p/tech/article-flat.php?id=1910&group=sci.logic#1910

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!rocksolid2!news.neodome.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott2@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic
Subject: Re: It's been 2 days and Olcott still hasn't said what "correctly
simulated by H" means
Date: Wed, 17 Jan 2024 10:54:57 -0600
Organization: A noiseless patient Spider
Lines: 66
Message-ID: <uo90p1$243ss$1@dont-email.me>
References: <uo8e6p$1vnjf$1@dont-email.me> <uo8pr5$21fjn$9@dont-email.me>
<uo8sq7$22cau$3@dont-email.me> <uo8utf$22t3e$2@dont-email.me>
<uo90ft$245d7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 17 Jan 2024 16:54:57 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="1b41256c390097af36948b7b45d23e64";
logging-data="2232220"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+cziIj61xBPxs6ds6c7kjk"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:7PPc4EwopK02NXrcrWtCk+4fGUE=
In-Reply-To: <uo90ft$245d7$1@dont-email.me>
Content-Language: en-US
 by: olcott - Wed, 17 Jan 2024 16:54 UTC

On 1/17/2024 10:50 AM, immibis wrote:
> On 1/17/24 17:23, olcott wrote:
>> On 1/17/2024 9:47 AM, immibis wrote:
>>> On 1/17/24 15:56, olcott wrote:
>>>> On 1/17/2024 5:38 AM, immibis wrote:
>>>>> Just saying.
>>>>
>>>> DD correctly simulated by HH can simulates DD to an arbitrary
>>>> depth of recursive simulation until it crashes from stack overflow.
>>>>
>>>> I have said what correctly simulated means far too many times and
>>>> you simply ignore what I say.
>>>
>>> So you define a correct simulation as a stack overflow crash? Because
>>> that is the only thing you said about it.
>>
>> Do you understand what infinite recursion is?
>> When a correct simulator correctly simulates
>> infinite recursion the system does crash when
>> stack overflow is reached.
>>
>>>
>>>>
>>>> Correctly simulated means that HH simulates the actual x86
>>>> machine code steps of the computation specified by DD.
>>>>
>>>
>>> So your H isn't a correct simulator.
>>>
>>
>> The definition of a correct simulator is a simulator
>> that correctly simulates each of the x86 instructions
>> that its input specifies.
>>
>
> Your H ignores some of the instructions.
>
>> The x86 emulator was written by a third party and
>> has decades of validation.
>>
>
> Nobody is disputing the correct simulation of basic x86 instructions,
> only the things you added to the simulator.
>

I DID NOT ADD ANYTHING TO THE SIMULATOR

>>>> I did not write this x86 emulator. It is a third party
>>>> open source project with decades of development effort.
>>>>
>>>
>>> But you made it incorrect by making it stop too soon.
>>
>> I proved that it does not stop too soon when DD correctly
>> simulated by HH only stops when it runs out of stack space.
>>
>
> This proves that you do not understand the difference between inner and
> outer simulation levels. How much is your software engineering experience?

Since 1984

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

Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by H" means

<uo92gp$24dmn$3@dont-email.me>

  copy mid

http://novabbs.i2p/tech/article-flat.php?id=1911&group=sci.logic#1911

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: news@immibis.com (immibis)
Newsgroups: comp.theory,sci.logic
Subject: Re: It's been 2 days and Olcott still hasn't said what "correctly
simulated by H" means
Date: Wed, 17 Jan 2024 18:24:41 +0100
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <uo92gp$24dmn$3@dont-email.me>
References: <uo8e6p$1vnjf$1@dont-email.me> <uo8pr5$21fjn$9@dont-email.me>
<uo8sq7$22cau$3@dont-email.me> <uo8utf$22t3e$2@dont-email.me>
<uo90ft$245d7$1@dont-email.me> <uo90p1$243ss$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 17 Jan 2024 17:24:42 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="686ca5f1645ce2b8c0ca2a1bae909fd1";
logging-data="2242263"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19h4Y57UWB/njhr6pBHS1ar"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
Cancel-Lock: sha1:S3QfYvV1+HT3E/X2hGxX5uY1ACo=
In-Reply-To: <uo90p1$243ss$1@dont-email.me>
Content-Language: en-US
 by: immibis - Wed, 17 Jan 2024 17:24 UTC

On 1/17/24 17:54, olcott wrote:
> On 1/17/2024 10:50 AM, immibis wrote:
>> On 1/17/24 17:23, olcott wrote:
>>> The x86 emulator was written by a third party and
>>> has decades of validation.
>>>
>>
>> Nobody is disputing the correct simulation of basic x86 instructions,
>> only the things you added to the simulator.
>>
>
> I DID NOT ADD ANYTHING TO THE SIMULATOR
So a third party wrote the non-halting pattern detection?

>
>>>>> I did not write this x86 emulator. It is a third party
>>>>> open source project with decades of development effort.
>>>>>
>>>>
>>>> But you made it incorrect by making it stop too soon.
>>>
>>> I proved that it does not stop too soon when DD correctly
>>> simulated by HH only stops when it runs out of stack space.
>>>
>>
>> This proves that you do not understand the difference between inner
>> and outer simulation levels. How much is your software engineering
>> experience?
>
> Since 1984
>

And you still don't understand the difference between outer and inner
simulation levels in a nested simulator. My goodness.

Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by H" means

<uo93dq$24pnc$1@dont-email.me>

  copy mid

http://novabbs.i2p/tech/article-flat.php?id=1912&group=sci.logic#1912

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott2@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic
Subject: Re: It's been 2 days and Olcott still hasn't said what "correctly
simulated by H" means
Date: Wed, 17 Jan 2024 11:40:09 -0600
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <uo93dq$24pnc$1@dont-email.me>
References: <uo8e6p$1vnjf$1@dont-email.me> <uo8pr5$21fjn$9@dont-email.me>
<uo8sq7$22cau$3@dont-email.me> <uo8utf$22t3e$2@dont-email.me>
<uo90ft$245d7$1@dont-email.me> <uo90p1$243ss$1@dont-email.me>
<uo92gp$24dmn$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 17 Jan 2024 17:40:11 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="1b41256c390097af36948b7b45d23e64";
logging-data="2254572"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ygQL1Mvl/Q0rFcg0DeHQV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/Ozn0jPMBvifGGgvpYYIfDN6i/o=
Content-Language: en-US
In-Reply-To: <uo92gp$24dmn$3@dont-email.me>
 by: olcott - Wed, 17 Jan 2024 17:40 UTC

On 1/17/2024 11:24 AM, immibis wrote:
> On 1/17/24 17:54, olcott wrote:
>> On 1/17/2024 10:50 AM, immibis wrote:
>>> On 1/17/24 17:23, olcott wrote:
>>>> The x86 emulator was written by a third party and
>>>> has decades of validation.
>>>>
>>>
>>> Nobody is disputing the correct simulation of basic x86 instructions,
>>> only the things you added to the simulator.
>>>
>>
>> I DID NOT ADD ANYTHING TO THE SIMULATOR
> So a third party wrote the non-halting pattern detection?
>
>>
>>>>>> I did not write this x86 emulator. It is a third party
>>>>>> open source project with decades of development effort.
>>>>>>
>>>>>
>>>>> But you made it incorrect by making it stop too soon.
>>>>
>>>> I proved that it does not stop too soon when DD correctly
>>>> simulated by HH only stops when it runs out of stack space.
>>>>
>>>
>>> This proves that you do not understand the difference between inner
>>> and outer simulation levels. How much is your software engineering
>>> experience?
>>
>> Since 1984
>>
>
> And you still don't understand the difference between outer and inner
> simulation levels in a nested simulator. My goodness.

Unless you somehow prove your technical competence I will
quit talking to you. It seems that you are only a troll.

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

tech / sci.logic / Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by H" means

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor