Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

There are no games on this system.


devel / comp.lang.c++ / Can D simulated by H terminate normally?

SubjectAuthor
* Can D simulated by H terminate normally?olcott
+* Re: Can D simulated by H terminate normally?Bonita Montero
|+* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||+* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
|||`- Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||`* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Tony Oliver
|| `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  +* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
||  |+* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  ||`* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
||  || `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  ||  `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
||  ||   `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  ||    `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
||  ||     `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  ||      `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
||  ||       `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  ||        `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
||  ||         `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  ||          `* Re: Can D simulated by H terminate normally? [Ben Bacarisse]Bonita Montero
||  ||           `- Re: Can D simulated by H terminate normally? [Ben Bacarisse]olcott
||  |`- Re: Can D simulated by H terminate normally? [Ben Bacarisse]Tony Oliver
||  `- Re: Can D simulated by H terminate normally? [Ben Bacarisse]Tony Oliver
|+* Re: Can D simulated by H terminate normally?Chris M. Thomasson
||`- Re: Can D simulated by H terminate normally?olcott
|`- Re: Can D simulated by H terminate normally?Big Dick
`- Re: Can D simulated by H terminate normally?Richard Damon

Pages:12
Can D simulated by H terminate normally?

<u67hei$35nqj$2@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=320&group=comp.lang.c%2B%2B#320

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Can D simulated by H terminate normally?
Date: Mon, 12 Jun 2023 11:34:25 -0500
Organization: A noiseless patient Spider
Lines: 53
Message-ID: <u67hei$35nqj$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 12 Jun 2023 16:34:26 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="823a4eaa45fc68d70556a3d8eb239cc4";
logging-data="3333971"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18Wpc8TUugVYhYNayoj2D7a"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:VaS4mVhMYZO+Ym2wVfc/9DQBYwU=
Content-Language: en-US
 by: olcott - Mon, 12 Jun 2023 16:34 UTC

Software engineers can easily verify that D correctly simulated by H
cannot possibly reach its own line 09 and terminate normally.

The x86utm operating system based on an open source x86 emulator. This
system enables one C function to execute another C function in debug
step mode. When H simulates D it creates a separate process context for
D with its own memory, stack and virtual registers. H is able to
simulate D simulating itself, thus the only limit to recursive
simulations is RAM.

// The following is written in C
//
01 typedef int (*ptr)(); // pointer to int function
02 int H(ptr x, ptr y) // uses x86 emulator to simulate its input
03
04 int D(ptr x)
05 {
06 int Halt_Status = H(x, x);
07 if (Halt_Status)
08 HERE: goto HERE;
09 return Halt_Status;
10 }
11
12 void main()
13 {
14 D(D);
15 }

*Execution Trace*
Line 14: main() invokes D(D)

*keeps repeating* (unless aborted)
Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)

*Simulation invariant*
D correctly simulated by H cannot possibly reach its own line 09.

Is it dead obvious to everyone here when examining the execution
trace of lines 14 and 06 above that D correctly simulated by H cannot
possibly terminate normally by reaching its own line 09?

This means that when termination analyzer H aborts its simulation of D
and reports that its correctly simulated input cannot possibly terminate
normally it is merely reporting an easily verified fact.

*THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*

I will provide the next steps of the analysis after the above has been
accepted.

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

Re: Can D simulated by H terminate normally?

<u67j7n$35vgt$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=321&group=comp.lang.c%2B%2B#321

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally?
Date: Mon, 12 Jun 2023 19:04:55 +0200
Organization: A noiseless patient Spider
Lines: 53
Message-ID: <u67j7n$35vgt$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 Jun 2023 17:04:56 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7f9f4c6da3f521784c0136b540c5b243";
logging-data="3341853"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18zPsohHcyAkwuZ41jtakr+j7IRDeV/9nI="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:qcagI/lH/tG7lZxKIVXaATIef/k=
Content-Language: de-DE
In-Reply-To: <u67hei$35nqj$2@dont-email.me>
 by: Bonita Montero - Mon, 12 Jun 2023 17:04 UTC

Am 12.06.2023 um 18:34 schrieb olcott:
> Software engineers can easily verify that D correctly simulated by H
> cannot possibly reach its own line 09 and terminate normally.
>
> The x86utm operating system based on an open source x86 emulator. This
> system enables one C function to execute another C function in debug
> step mode. When H simulates D it creates a separate process context for
> D with its own memory, stack and virtual registers. H is able to
> simulate D simulating itself, thus the only limit to recursive
> simulations is RAM.
>
> // The following is written in C
> //
> 01 typedef int (*ptr)(); // pointer to int function
> 02 int H(ptr x, ptr y)   // uses x86 emulator to simulate its input
> 03
> 04 int D(ptr x)
> 05 {
> 06   int Halt_Status = H(x, x);
> 07   if (Halt_Status)
> 08     HERE: goto HERE;
> 09   return Halt_Status;
> 10 }
> 11
> 12 void main()
> 13 {
> 14   D(D);
> 15 }
>
> *Execution Trace*
> Line 14: main() invokes D(D)
>
> *keeps repeating* (unless aborted)
> Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>
> *Simulation invariant*
> D correctly simulated by H cannot possibly reach its own line 09.
>
> Is it dead obvious to everyone here when examining the execution
> trace of lines 14 and 06 above that D correctly simulated by H cannot
> possibly terminate normally by reaching its own line 09?
>
> This means that when termination analyzer H aborts its simulation of D
> and reports that its correctly simulated input cannot possibly terminate
> normally it is merely reporting an easily verified fact.
>
> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*
>
> I will provide the next steps of the analysis after the above has been
> accepted.
>

Does it get you anywhere, obsessing over the same detail for years?

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u67khp$360bh$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=322&group=comp.lang.c%2B%2B#322

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Mon, 12 Jun 2023 12:27:20 -0500
Organization: A noiseless patient Spider
Lines: 68
Message-ID: <u67khp$360bh$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 Jun 2023 17:27:21 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="823a4eaa45fc68d70556a3d8eb239cc4";
logging-data="3342705"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1956I9I9Z0dUWVMHMVp4tye"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:Q4X3avixOoMZpwOB6jVHIzYuneM=
In-Reply-To: <u67j7n$35vgt$1@dont-email.me>
Content-Language: en-US
 by: olcott - Mon, 12 Jun 2023 17:27 UTC

On 6/12/2023 12:04 PM, Bonita Montero wrote:
> Am 12.06.2023 um 18:34 schrieb olcott:
>> Software engineers can easily verify that D correctly simulated by H
>> cannot possibly reach its own line 09 and terminate normally.
>>
>> The x86utm operating system based on an open source x86 emulator. This
>> system enables one C function to execute another C function in debug
>> step mode. When H simulates D it creates a separate process context for
>> D with its own memory, stack and virtual registers. H is able to
>> simulate D simulating itself, thus the only limit to recursive
>> simulations is RAM.
>>
>> // The following is written in C
>> //
>> 01 typedef int (*ptr)(); // pointer to int function
>> 02 int H(ptr x, ptr y)   // uses x86 emulator to simulate its input
>> 03
>> 04 int D(ptr x)
>> 05 {
>> 06   int Halt_Status = H(x, x);
>> 07   if (Halt_Status)
>> 08     HERE: goto HERE;
>> 09   return Halt_Status;
>> 10 }
>> 11
>> 12 void main()
>> 13 {
>> 14   D(D);
>> 15 }
>>
>> *Execution Trace*
>> Line 14: main() invokes D(D)
>>
>> *keeps repeating* (unless aborted)
>> Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>
>> *Simulation invariant*
>> D correctly simulated by H cannot possibly reach its own line 09.
>>
>> Is it dead obvious to everyone here when examining the execution
>> trace of lines 14 and 06 above that D correctly simulated by H cannot
>> possibly terminate normally by reaching its own line 09?
>>
>> This means that when termination analyzer H aborts its simulation of D
>> and reports that its correctly simulated input cannot possibly terminate
>> normally it is merely reporting an easily verified fact.
>>
>> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*
>>
>> I will provide the next steps of the analysis after the above has been
>> accepted.
>>
>
> Does it get you anywhere, obsessing over the same detail for years?

I have improved the wording such that anyone with a modicum of software
engineering competence can easily verify that the above is necessarily
correct. H(D,D) does correctly report that D correctly simulated by H
cannot possibly terminate normally by reaching its own line 09.

Also I finally have an easily understood rebuttal to the one remaining
objection to my work that Ben Bacarisse has been so heavily pushing.

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u67o8d$36ioj$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=323&group=comp.lang.c%2B%2B#323

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Mon, 12 Jun 2023 20:30:37 +0200
Organization: A noiseless patient Spider
Lines: 67
Message-ID: <u67o8d$36ioj$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 Jun 2023 18:30:37 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7f9f4c6da3f521784c0136b540c5b243";
logging-data="3361555"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+r+713HGzQcaaF6ZWgr7V46Vavq87LJ+U="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:/Ddhdl5Ut0nLuKFdd0GUSNuQ6Q8=
In-Reply-To: <u67khp$360bh$1@dont-email.me>
Content-Language: de-DE
 by: Bonita Montero - Mon, 12 Jun 2023 18:30 UTC

Am 12.06.2023 um 19:27 schrieb olcott:
> On 6/12/2023 12:04 PM, Bonita Montero wrote:
>> Am 12.06.2023 um 18:34 schrieb olcott:
>>> Software engineers can easily verify that D correctly simulated by H
>>> cannot possibly reach its own line 09 and terminate normally.
>>>
>>> The x86utm operating system based on an open source x86 emulator. This
>>> system enables one C function to execute another C function in debug
>>> step mode. When H simulates D it creates a separate process context for
>>> D with its own memory, stack and virtual registers. H is able to
>>> simulate D simulating itself, thus the only limit to recursive
>>> simulations is RAM.
>>>
>>> // The following is written in C
>>> //
>>> 01 typedef int (*ptr)(); // pointer to int function
>>> 02 int H(ptr x, ptr y)   // uses x86 emulator to simulate its input
>>> 03
>>> 04 int D(ptr x)
>>> 05 {
>>> 06   int Halt_Status = H(x, x);
>>> 07   if (Halt_Status)
>>> 08     HERE: goto HERE;
>>> 09   return Halt_Status;
>>> 10 }
>>> 11
>>> 12 void main()
>>> 13 {
>>> 14   D(D);
>>> 15 }
>>>
>>> *Execution Trace*
>>> Line 14: main() invokes D(D)
>>>
>>> *keeps repeating* (unless aborted)
>>> Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>
>>> *Simulation invariant*
>>> D correctly simulated by H cannot possibly reach its own line 09.
>>>
>>> Is it dead obvious to everyone here when examining the execution
>>> trace of lines 14 and 06 above that D correctly simulated by H cannot
>>> possibly terminate normally by reaching its own line 09?
>>>
>>> This means that when termination analyzer H aborts its simulation of D
>>> and reports that its correctly simulated input cannot possibly terminate
>>> normally it is merely reporting an easily verified fact.
>>>
>>> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*
>>>
>>> I will provide the next steps of the analysis after the above has
>>> been accepted.
>>>
>>
>> Does it get you anywhere, obsessing over the same detail for years?
>
> I have improved the wording such that anyone with a modicum of software
> engineering competence can easily verify that the above is necessarily
> correct. H(D,D) does correctly report that D correctly simulated by H
> cannot possibly terminate normally by reaching its own line 09.
>
> Also I finally have an easily understood rebuttal to the one remaining
> objection to my work that Ben Bacarisse has been so heavily pushing.

How is that related to my question ?

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u67pk1$36nqd$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=324&group=comp.lang.c%2B%2B#324

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Mon, 12 Jun 2023 13:53:50 -0500
Organization: A noiseless patient Spider
Lines: 89
Message-ID: <u67pk1$36nqd$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me> <u67o8d$36ioj$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 Jun 2023 18:53:53 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="823a4eaa45fc68d70556a3d8eb239cc4";
logging-data="3366733"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+GWyzD2FmSWBuQROloae5J"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:rV0NNQz41VtJioUyS74mgt3DDD8=
In-Reply-To: <u67o8d$36ioj$1@dont-email.me>
Content-Language: en-US
 by: olcott - Mon, 12 Jun 2023 18:53 UTC

On 6/12/2023 1:30 PM, Bonita Montero wrote:
> Am 12.06.2023 um 19:27 schrieb olcott:
>> On 6/12/2023 12:04 PM, Bonita Montero wrote:
>>> Am 12.06.2023 um 18:34 schrieb olcott:
>>>> Software engineers can easily verify that D correctly simulated by H
>>>> cannot possibly reach its own line 09 and terminate normally.
>>>>
>>>> The x86utm operating system based on an open source x86 emulator. This
>>>> system enables one C function to execute another C function in debug
>>>> step mode. When H simulates D it creates a separate process context for
>>>> D with its own memory, stack and virtual registers. H is able to
>>>> simulate D simulating itself, thus the only limit to recursive
>>>> simulations is RAM.
>>>>
>>>> // The following is written in C
>>>> //
>>>> 01 typedef int (*ptr)(); // pointer to int function
>>>> 02 int H(ptr x, ptr y)   // uses x86 emulator to simulate its input
>>>> 03
>>>> 04 int D(ptr x)
>>>> 05 {
>>>> 06   int Halt_Status = H(x, x);
>>>> 07   if (Halt_Status)
>>>> 08     HERE: goto HERE;
>>>> 09   return Halt_Status;
>>>> 10 }
>>>> 11
>>>> 12 void main()
>>>> 13 {
>>>> 14   D(D);
>>>> 15 }
>>>>
>>>> *Execution Trace*
>>>> Line 14: main() invokes D(D)
>>>>
>>>> *keeps repeating* (unless aborted)
>>>> Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>>
>>>> *Simulation invariant*
>>>> D correctly simulated by H cannot possibly reach its own line 09.
>>>>
>>>> Is it dead obvious to everyone here when examining the execution
>>>> trace of lines 14 and 06 above that D correctly simulated by H cannot
>>>> possibly terminate normally by reaching its own line 09?
>>>>
>>>> This means that when termination analyzer H aborts its simulation of D
>>>> and reports that its correctly simulated input cannot possibly
>>>> terminate
>>>> normally it is merely reporting an easily verified fact.
>>>>
>>>> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*
>>>>
>>>> I will provide the next steps of the analysis after the above has
>>>> been accepted.
>>>>
>>>
>>> Does it get you anywhere, obsessing over the same detail for years?
>>
>> I have improved the wording such that anyone with a modicum of software
>> engineering competence can easily verify that the above is necessarily
>> correct. H(D,D) does correctly report that D correctly simulated by H
>> cannot possibly terminate normally by reaching its own line 09.
>>
>> Also I finally have an easily understood rebuttal to the one remaining
>> objection to my work that Ben Bacarisse has been so heavily pushing.
>
> How is that related to my question ?
>
>

>>> Does it get you anywhere, obsessing over the same detail for years?

*Yes it does here is how it does*
Because I have focused on the issue of H(D,D) determining the halt
status of its input for several years I have simplified my words so that
anyone with a modicum of software engineering knowledge can easily
verify that H(D,D) does correctly determine that D correctly simulated
by H cannot possibly terminate normally.

The latest (very recent) change is to switch the frame-of-reference from
computer science halt deciders to software engineering termination
analyzers.

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

Re: Can D simulated by H terminate normally?

<u67t2t$374jh$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=325&group=comp.lang.c%2B%2B#325

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: chris.m....@gmail.com (Chris M. Thomasson)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally?
Date: Mon, 12 Jun 2023 12:53:01 -0700
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <u67t2t$374jh$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 Jun 2023 19:53:01 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="cfe6b3d561a77cdb3cb51206bd8b1792";
logging-data="3379825"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18cOBpG2BHn9CLLOfiWHKl6fh729SMwf+w="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:S1uCuuXo5AMEbdujRTToXKxgmq0=
Content-Language: en-US
In-Reply-To: <u67j7n$35vgt$1@dont-email.me>
 by: Chris M. Thomasson - Mon, 12 Jun 2023 19:53 UTC

On 6/12/2023 10:04 AM, Bonita Montero wrote:
> Am 12.06.2023 um 18:34 schrieb olcott:
>> Software engineers can easily verify that D correctly simulated by H
>> cannot possibly reach its own line 09 and terminate normally.
>>
>> The x86utm operating system based on an open source x86 emulator. This
>> system enables one C function to execute another C function in debug
>> step mode. When H simulates D it creates a separate process context for
>> D with its own memory, stack and virtual registers. H is able to
>> simulate D simulating itself, thus the only limit to recursive
>> simulations is RAM.
>>
>> // The following is written in C
>> //
>> 01 typedef int (*ptr)(); // pointer to int function
>> 02 int H(ptr x, ptr y)   // uses x86 emulator to simulate its input
>> 03
>> 04 int D(ptr x)
>> 05 {
>> 06   int Halt_Status = H(x, x);
>> 07   if (Halt_Status)
>> 08     HERE: goto HERE;
>> 09   return Halt_Status;
>> 10 }
>> 11
>> 12 void main()
>> 13 {
>> 14   D(D);
>> 15 }
>>
>> *Execution Trace*
>> Line 14: main() invokes D(D)
>>
>> *keeps repeating* (unless aborted)
>> Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>
>> *Simulation invariant*
>> D correctly simulated by H cannot possibly reach its own line 09.
>>
>> Is it dead obvious to everyone here when examining the execution
>> trace of lines 14 and 06 above that D correctly simulated by H cannot
>> possibly terminate normally by reaching its own line 09?
>>
>> This means that when termination analyzer H aborts its simulation of D
>> and reports that its correctly simulated input cannot possibly terminate
>> normally it is merely reporting an easily verified fact.
>>
>> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*
>>
>> I will provide the next steps of the analysis after the above has been
>> accepted.
>>
>
> Does it get you anywhere, obsessing over the same detail for years?

No shit Bonita! wow.

Re: Can D simulated by H terminate normally?

<u67uo6$37aht$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=326&group=comp.lang.c%2B%2B#326

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally?
Date: Mon, 12 Jun 2023 15:21:25 -0500
Organization: A noiseless patient Spider
Lines: 82
Message-ID: <u67uo6$37aht$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67t2t$374jh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 Jun 2023 20:21:26 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="823a4eaa45fc68d70556a3d8eb239cc4";
logging-data="3385917"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Q1GeszMUrBnI8luLbO8Yw"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:qvF1SMkorhLD9+D5ybn+wd/jEPI=
Content-Language: en-US
In-Reply-To: <u67t2t$374jh$1@dont-email.me>
 by: olcott - Mon, 12 Jun 2023 20:21 UTC

On 6/12/2023 2:53 PM, Chris M. Thomasson wrote:
> On 6/12/2023 10:04 AM, Bonita Montero wrote:
>> Am 12.06.2023 um 18:34 schrieb olcott:
>>> Software engineers can easily verify that D correctly simulated by H
>>> cannot possibly reach its own line 09 and terminate normally.
>>>
>>> The x86utm operating system based on an open source x86 emulator. This
>>> system enables one C function to execute another C function in debug
>>> step mode. When H simulates D it creates a separate process context for
>>> D with its own memory, stack and virtual registers. H is able to
>>> simulate D simulating itself, thus the only limit to recursive
>>> simulations is RAM.
>>>
>>> // The following is written in C
>>> //
>>> 01 typedef int (*ptr)(); // pointer to int function
>>> 02 int H(ptr x, ptr y)   // uses x86 emulator to simulate its input
>>> 03
>>> 04 int D(ptr x)
>>> 05 {
>>> 06   int Halt_Status = H(x, x);
>>> 07   if (Halt_Status)
>>> 08     HERE: goto HERE;
>>> 09   return Halt_Status;
>>> 10 }
>>> 11
>>> 12 void main()
>>> 13 {
>>> 14   D(D);
>>> 15 }
>>>
>>> *Execution Trace*
>>> Line 14: main() invokes D(D)
>>>
>>> *keeps repeating* (unless aborted)
>>> Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>
>>> *Simulation invariant*
>>> D correctly simulated by H cannot possibly reach its own line 09.
>>>
>>> Is it dead obvious to everyone here when examining the execution
>>> trace of lines 14 and 06 above that D correctly simulated by H cannot
>>> possibly terminate normally by reaching its own line 09?
>>>
>>> This means that when termination analyzer H aborts its simulation of D
>>> and reports that its correctly simulated input cannot possibly terminate
>>> normally it is merely reporting an easily verified fact.
>>>
>>> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*
>>>
>>> I will provide the next steps of the analysis after the above has
>>> been accepted.
>>>
>>
>> Does it get you anywhere, obsessing over the same detail for years?
>
> No shit Bonita! wow.

>>> Does it get you anywhere, obsessing over the same detail for years?

*Yes it does here is how it does*
Because I have focused on the issue of H(D,D) determining the halt
status of its input for several years I have simplified my words so that
anyone with a modicum of software engineering knowledge can easily
verify that H(D,D) does correctly determine that D correctly simulated
by H cannot possibly terminate normally.

The latest (very recent) change is to switch the frame-of-reference from
computer science halt deciders to software engineering termination
analyzers.

The whole system is right here:
https://github.com/plolcott/x86utm

It compiles with the 2017 version of the Community Edition
https://visualstudio.microsoft.com/vs/older-downloads/
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Re: Can D simulated by H terminate normally?

<u683pk$1tgpb$1@news.mixmin.net>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=327&group=comp.lang.c%2B%2B#327

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.mixmin.net!.POSTED!not-for-mail
From: Big.D...@olcott.crap (Big Dick)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally?
Date: Mon, 12 Jun 2023 22:45:00 +0100
Organization: Olcott is cock Sucker
Message-ID: <u683pk$1tgpb$1@news.mixmin.net>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain;
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 12 Jun 2023 21:47:32 -0000 (UTC)
Injection-Info: news.mixmin.net; posting-host="f6a1a318f536858fc162562c87a6007ba429ab1a";
logging-data="2016043"; mail-complaints-to="abuse@mixmin.net"
In-Reply-To: <u67j7n$35vgt$1@dont-email.me>
Content-Language: tk-tk
 by: Big Dick - Mon, 12 Jun 2023 21:45 UTC

On 12/06/2023 18:04, Bonita Montero wrote:
>
>
> Does it get you anywhere, obsessing over the same detail for years?

He once said he gets a very hard erection to attend Bunga Bunga sex
party organised by late Silvio Berlusconi of Italy. He can show his
prowess in C programming at these parties.

Re: Can D simulated by H terminate normally?

<J5OhM.6044$%6L8.3677@fx04.iad>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=329&group=comp.lang.c%2B%2B#329

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!3.us.feeder.erje.net!feeder.erje.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx04.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
Gecko/20100101 Thunderbird/102.11.2
Subject: Re: Can D simulated by H terminate normally?
Content-Language: en-US
Newsgroups: comp.lang.c++
References: <u67hei$35nqj$2@dont-email.me>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <u67hei$35nqj$2@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 15
Message-ID: <J5OhM.6044$%6L8.3677@fx04.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Mon, 12 Jun 2023 19:44:40 -0400
X-Received-Bytes: 1363
 by: Richard Damon - Mon, 12 Jun 2023 23:44 UTC

On 6/12/23 12:34 PM, olcott wrote:
> Software engineers can easily verify that D correctly simulated by H
> cannot possibly reach its own line 09 and terminate normally.

I showed your flaws in comp.theory

Yes, No H can simulate D to its termination, but that does NOT mean that
D is non-halting

Only that no H can actually do a "correct" simulation and give an answer.

Since Halting is NOT about the simulation done by the decider, you are
just proving that you are totally ignorant of the problem you claim to
be solving.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=343&group=comp.lang.c%2B%2B#343

  copy link   Newsgroups: comp.lang.c++
X-Received: by 2002:a05:622a:1453:b0:3f9:ae32:510 with SMTP id v19-20020a05622a145300b003f9ae320510mr869688qtx.1.1686753301814;
Wed, 14 Jun 2023 07:35:01 -0700 (PDT)
X-Received: by 2002:a05:622a:1453:b0:3f9:ae32:510 with SMTP id
v19-20020a05622a145300b003f9ae320510mr869685qtx.1.1686753301491; Wed, 14 Jun
2023 07:35:01 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!newsfeed.hasname.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.c++
Date: Wed, 14 Jun 2023 07:35:01 -0700 (PDT)
In-Reply-To: <u67khp$360bh$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=62.249.217.89; posting-account=FHqkeAoAAACbOpBCHa7K6JTmToKlWNDp
NNTP-Posting-Host: 62.249.217.89
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me> <u67khp$360bh$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
From: guinness...@gmail.com (Tony Oliver)
Injection-Date: Wed, 14 Jun 2023 14:35:01 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1871
 by: Tony Oliver - Wed, 14 Jun 2023 14:35 UTC

On Monday, 12 June 2023 at 18:27:36 UTC+1, olcott wrote:
> On 6/12/2023 12:04 PM, Bonita Montero wrote:
> > Am 12.06.2023 um 18:34 schrieb olcott:
> >> Software engineers can easily verify that D correctly simulated by H
> >> cannot possibly reach its own line 09 and terminate normally.

<snip a load of old bollocks>

> >> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*

<snip the remaining bollocks>

It is apparent that you do not have a clue what Software Engineering is.
A Software Engineer is a practitioner of the principles defined by the
Software Development Lifecycle (SDLC). There is no "verified fact
of correct Software Engineering" in your algorithm.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cl4c$242o$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=346&group=comp.lang.c%2B%2B#346

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 10:07:54 -0500
Organization: A noiseless patient Spider
Lines: 88
Message-ID: <u6cl4c$242o$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 15:07:57 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="69720"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18RjMf0yvW+YMhBrOamWUO4"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:706jWlCV2fBpSgeGTNrWoPZK9ak=
Content-Language: en-US
In-Reply-To: <5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
 by: olcott - Wed, 14 Jun 2023 15:07 UTC

On 6/14/2023 9:35 AM, Tony Oliver wrote:
> On Monday, 12 June 2023 at 18:27:36 UTC+1, olcott wrote:
>> On 6/12/2023 12:04 PM, Bonita Montero wrote:
>>> Am 12.06.2023 um 18:34 schrieb olcott:
>>>> Software engineers can easily verify that D correctly simulated by H
>>>> cannot possibly reach its own line 09 and terminate normally.
>
> <snip a load of old bollocks>
>
>>>> *THE ABOVE IS AN EASILY VERIFIED FACT OF CORRECT SOFTWARE ENGINEERING*
>
> <snip the remaining bollocks>
>
> It is apparent that you do not have a clue what Software Engineering is.
> A Software Engineer is a practitioner of the principles defined by the
> Software Development Lifecycle (SDLC). There is no "verified fact
> of correct Software Engineering" in your algorithm.

*Thanks for replying I really need software engineering feedback*

Software engineering is much more than merely the system development
lifecycle it also includes extremely much more rigor in the development
of software than computer programming.

Software engineers operate within something like axioms of computer
programming, design patterns are an example of this.
https://en.wikipedia.org/wiki/Design_Patterns

The kind of rigorous analysis performed by software engineers
conclusively proves that D correctly simulated by H cannot possibly
terminate normally.

I wrote the x86utm operating system. The most difficult part was
providing the infrastructure to support the context switch so that
termination analyzer H could simulate itself simulating itself to an
arbitrary level of recursive depth.

The x86utm operating system based on an open source x86 emulator. This
system enables one C function to execute another C function in debug
step mode. When H simulates D it creates a separate process context for
D with its own memory, stack and virtual registers. H is able to
simulate D simulating itself, thus the only limit to recursive
simulations is RAM.

// The following is written in C
//
01 typedef int (*ptr)(); // pointer to int function
02 int H(ptr x, ptr y) // uses x86 emulator to simulate its input
03
04 int D(ptr x)
05 {
06 int Halt_Status = H(x, x);
07 if (Halt_Status)
08 HERE: goto HERE;
09 return Halt_Status;
10 }
11
12 void main()
13 {
14 H(D,D);
15 }

Execution Trace
Line 14: main() invokes H(D,D);

keeps repeating (unless aborted)
Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)

Simulation invariant:
D correctly simulated by H cannot possibly reach its own line 09.

H correctly determines that D correctly simulated by H cannot possibly
terminate normally on the basis that H recognizes a dynamic behavior
pattern equivalent to infinite recursion.

The x86utm operating system (includes several termination analyzers)
https://github.com/plolcott/x86utm

It compiles with the 2017 version of the Community Edition
https://visualstudio.microsoft.com/thank-you-downloading-visual-studio/?sku=Community&rel=15

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cl73$248l$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=347&group=comp.lang.c%2B%2B#347

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 17:09:24 +0200
Organization: A noiseless patient Spider
Lines: 1
Message-ID: <u6cl73$248l$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 15:09:23 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="21067f4b658527782aa5be2eecdd29ac";
logging-data="69909"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Yqe1/SAvW7eBLJWSrcuVI6sOchkJlNpM="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:2ieJbwQN8qgHO7E/iMsnkuHwK0Q=
Content-Language: de-DE
In-Reply-To: <u6cl4c$242o$1@dont-email.me>
 by: Bonita Montero - Wed, 14 Jun 2023 15:09 UTC

Pete, do you have an occupation as a software engineer ?

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cnas$2bo6$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=352&group=comp.lang.c%2B%2B#352

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 10:45:30 -0500
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <u6cnas$2bo6$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 15:45:32 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="77574"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19A4jPpsLw0QSHmXZ27J/dL"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:wYO40GPxPONbxXtExH2ImXoLAys=
In-Reply-To: <u6cl73$248l$1@dont-email.me>
Content-Language: en-US
 by: olcott - Wed, 14 Jun 2023 15:45 UTC

On 6/14/2023 10:09 AM, Bonita Montero wrote:
> Pete, do you have an occupation as a software engineer ?

I have been a professional C++ software engineer since 2001. Learned C
when K&R was the standard. I met Bjarne Stroustrup in person when he was
promoting his brand new C++ programming language.

On several projects for the air force we had daily scrum meetings.
I worked for Northrop Grumman at the air force base on their NPOESS
satellite system. https://en.wikipedia.org/wiki/NPOESS

I have two software engineering patents that are deterministic finite
automaton optical character recognizers.

Software engineering is much more than the development life cycle it
applies much more rigor in many different ways using a variety of tools
and methods. Refactoring, automated regression testing and UML are a
part of software engineering.

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cngt$2c2j$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=353&group=comp.lang.c%2B%2B#353

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 17:48:46 +0200
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <u6cngt$2c2j$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 15:48:45 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="21067f4b658527782aa5be2eecdd29ac";
logging-data="77907"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX183qRJ+2YjhV+rjLGthzBQveAFpRckluQY="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:+RLlVpPKRn98MCzo6xdDFfhnWM8=
In-Reply-To: <u6cnas$2bo6$1@dont-email.me>
Content-Language: de-DE
 by: Bonita Montero - Wed, 14 Jun 2023 15:48 UTC

Am 14.06.2023 um 17:45 schrieb olcott:
> On 6/14/2023 10:09 AM, Bonita Montero wrote:
>> Pete, do you have an occupation as a software engineer ?
>
> I have been a professional C++ software engineer since 2001. Learned C
> when K&R was the standard. I met Bjarne Stroustrup in person when he was
> promoting his brand new C++ programming language.
>
> On several projects for the air force we had daily scrum meetings.
> I worked for Northrop Grumman at the air force base on their NPOESS
> satellite system. https://en.wikipedia.org/wiki/NPOESS
>
> I have two software engineering patents that are deterministic finite
> automaton optical character recognizers.
>
> Software engineering is much more than the development life cycle it
> applies much more rigor in many different ways using a variety of tools
> and methods. Refactoring, automated regression testing and UML are a
> part of software engineering.

I gues you're currently doing nothing with sw-development because
you're stuck in a nonsense-loop.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6co3g$2bo6$2@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=354&group=comp.lang.c%2B%2B#354

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 10:58:39 -0500
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <u6co3g$2bo6$2@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 15:58:40 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="77574"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19340tDtH3hXYcZMBHQ34Rz"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:N00rjgbfR/3AQgpcqBf1Om+mtEg=
In-Reply-To: <u6cngt$2c2j$1@dont-email.me>
Content-Language: en-US
 by: olcott - Wed, 14 Jun 2023 15:58 UTC

On 6/14/2023 10:48 AM, Bonita Montero wrote:
> Am 14.06.2023 um 17:45 schrieb olcott:
>> On 6/14/2023 10:09 AM, Bonita Montero wrote:
>>> Pete, do you have an occupation as a software engineer ?
>>
>> I have been a professional C++ software engineer since 2001. Learned C
>> when K&R was the standard. I met Bjarne Stroustrup in person when he was
>> promoting his brand new C++ programming language.
>>
>> On several projects for the air force we had daily scrum meetings.
>> I worked for Northrop Grumman at the air force base on their NPOESS
>> satellite system. https://en.wikipedia.org/wiki/NPOESS
>>
>> I have two software engineering patents that are deterministic finite
>> automaton optical character recognizers.
>>
>> Software engineering is much more than the development life cycle it
>> applies much more rigor in many different ways using a variety of tools
>> and methods. Refactoring, automated regression testing and UML are a
>> part of software engineering.
>
> I gues you're currently doing nothing with sw-development because
> you're stuck in a nonsense-loop.
>
>

If you would bother to pay attention and actually examine my work you
would comprehend that termination analyzer H does correctly prevent the
denial of service attack that would otherwise succeed when H is provided
a halting problem styled pathological input D.

*You only have to carefully examine the first page to see this*
(The last two pages apply the same principle to computer science)

*Termination Analyzer H prevents Denial of Service attacks*
https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_prevents_Denial_of_Service_attacks

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cof6$2f8g$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=355&group=comp.lang.c%2B%2B#355

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 18:04:55 +0200
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <u6cof6$2f8g$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 16:04:54 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="21067f4b658527782aa5be2eecdd29ac";
logging-data="81168"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+ZkAb+UqAeNfEbXPeKrqo0zs4pY+AdJOo="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:4Zb5HDX6b1SrCDlSC1PDDcjDeW4=
In-Reply-To: <u6co3g$2bo6$2@dont-email.me>
Content-Language: de-DE
 by: Bonita Montero - Wed, 14 Jun 2023 16:04 UTC

Am 14.06.2023 um 17:58 schrieb olcott:
> On 6/14/2023 10:48 AM, Bonita Montero wrote:
>> Am 14.06.2023 um 17:45 schrieb olcott:
>>> On 6/14/2023 10:09 AM, Bonita Montero wrote:
>>>> Pete, do you have an occupation as a software engineer ?
>>>
>>> I have been a professional C++ software engineer since 2001. Learned C
>>> when K&R was the standard. I met Bjarne Stroustrup in person when he was
>>> promoting his brand new C++ programming language.
>>>
>>> On several projects for the air force we had daily scrum meetings.
>>> I worked for Northrop Grumman at the air force base on their NPOESS
>>> satellite system. https://en.wikipedia.org/wiki/NPOESS
>>>
>>> I have two software engineering patents that are deterministic finite
>>> automaton optical character recognizers.
>>>
>>> Software engineering is much more than the development life cycle it
>>> applies much more rigor in many different ways using a variety of tools
>>> and methods. Refactoring, automated regression testing and UML are a
>>> part of software engineering.
>>
>> I gues you're currently doing nothing with sw-development because
>> you're stuck in a nonsense-loop.
>>
>>
>
> If you would bother to pay attention and actually examine my work you
> would comprehend that termination analyzer H does correctly prevent the
> denial of service attack that would otherwise succeed when H is provided
> a halting problem styled pathological input D.
>
> *You only have to carefully examine the first page to see this*
> (The last two pages apply the same principle to computer science)
>
> *Termination Analyzer H prevents Denial of Service attacks*
> https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_prevents_Denial_of_Service_attacks
>
>

I guess that you have a psychosis and your IT topic
is a delusion from which you can no longer get out.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cpkm$2iec$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=356&group=comp.lang.c%2B%2B#356

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 11:24:53 -0500
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <u6cpkm$2iec$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 16:24:55 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="84428"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/FQN1iUPf3DKsGtD+BT1CP"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:CoQsSyyPaAelbgHSqo5KGIfe3UA=
Content-Language: en-US
In-Reply-To: <u6cof6$2f8g$1@dont-email.me>
 by: olcott - Wed, 14 Jun 2023 16:24 UTC

On 6/14/2023 11:04 AM, Bonita Montero wrote:
> Am 14.06.2023 um 17:58 schrieb olcott:
>> On 6/14/2023 10:48 AM, Bonita Montero wrote:
>>> Am 14.06.2023 um 17:45 schrieb olcott:
>>>> On 6/14/2023 10:09 AM, Bonita Montero wrote:
>>>>> Pete, do you have an occupation as a software engineer ?
>>>>
>>>> I have been a professional C++ software engineer since 2001. Learned C
>>>> when K&R was the standard. I met Bjarne Stroustrup in person when he
>>>> was
>>>> promoting his brand new C++ programming language.
>>>>
>>>> On several projects for the air force we had daily scrum meetings.
>>>> I worked for Northrop Grumman at the air force base on their NPOESS
>>>> satellite system. https://en.wikipedia.org/wiki/NPOESS
>>>>
>>>> I have two software engineering patents that are deterministic
>>>> finite automaton optical character recognizers.
>>>>
>>>> Software engineering is much more than the development life cycle it
>>>> applies much more rigor in many different ways using a variety of tools
>>>> and methods. Refactoring, automated regression testing and UML are a
>>>> part of software engineering.
>>>
>>> I gues you're currently doing nothing with sw-development because
>>> you're stuck in a nonsense-loop.
>>>
>>>
>>
>> If you would bother to pay attention and actually examine my work you
>> would comprehend that termination analyzer H does correctly prevent the
>> denial of service attack that would otherwise succeed when H is provided
>> a halting problem styled pathological input D.
>>
>> *You only have to carefully examine the first page to see this*
>> (The last two pages apply the same principle to computer science)
>>
>> *Termination Analyzer H prevents Denial of Service attacks*
>> https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_prevents_Denial_of_Service_attacks
>>
>>
>
> I guess that you have a psychosis and your IT topic
> is a delusion from which you can no longer get out.

If you actually look at what I said and try to find an actual mistake
you will see that this is not true.

*It is an easily verified fact that*
Termination analyzer H does correctly thwart a denial of service attack
that would have otherwise succeeded when H is presented with the halting
problem's otherwise "impossible" input: D.

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cpmp$2jvt$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=357&group=comp.lang.c%2B%2B#357

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 18:26:03 +0200
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <u6cpmp$2jvt$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 16:26:01 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="21067f4b658527782aa5be2eecdd29ac";
logging-data="86013"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX196uWQLVP7yPDZeRkyxKdJ9uP3CZzDB+Y0="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:EIISAgtoGVDy0lMCTr9rs3jX13c=
In-Reply-To: <u6cpkm$2iec$1@dont-email.me>
Content-Language: de-DE
 by: Bonita Montero - Wed, 14 Jun 2023 16:26 UTC

Am 14.06.2023 um 18:24 schrieb olcott:

> If you actually look at what I said and try to find an actual mistake
> you will see that this is not true.
>
> *It is an easily verified fact that*
> Termination analyzer H does correctly thwart a denial of service attack
> that would have otherwise succeeded when H is presented with the halting
> problem's otherwise "impossible" input: D.

Now I'm 100% confident that you have got a psychosis.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cqo4$2maf$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=358&group=comp.lang.c%2B%2B#358

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 11:43:47 -0500
Organization: A noiseless patient Spider
Lines: 27
Message-ID: <u6cqo4$2maf$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me> <u6cpmp$2jvt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 16:43:48 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="88399"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+hKKZCOnlsGS2Hg4RZmHBL"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:4jJzLmuQfh8XYf5VxaCocxUFob8=
In-Reply-To: <u6cpmp$2jvt$1@dont-email.me>
Content-Language: en-US
 by: olcott - Wed, 14 Jun 2023 16:43 UTC

On 6/14/2023 11:26 AM, Bonita Montero wrote:
> Am 14.06.2023 um 18:24 schrieb olcott:
>
>> If you actually look at what I said and try to find an actual mistake
>> you will see that this is not true.
>>
>> *It is an easily verified fact that*
>> Termination analyzer H does correctly thwart a denial of service attack
>> that would have otherwise succeeded when H is presented with the halting
>> problem's otherwise "impossible" input: D.
>
> Now I'm 100% confident that you have got a psychosis.
>

That is merely an example of the ad hominem error of reasoning.

(Attacking the person): This fallacy occurs when, instead of addressing
someone's argument or position, you irrelevantly attack the person or
some aspect of the person who is making the argument.
https://www.txst.edu/philosophy/resources/fallacy-definitions/Ad-Hominem.html

It is not even in the ballpark of showing any error in my claim.

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6crt6$2sb8$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=359&group=comp.lang.c%2B%2B#359

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 19:03:35 +0200
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <u6crt6$2sb8$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me> <u6cpmp$2jvt$1@dont-email.me>
<u6cqo4$2maf$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 17:03:34 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="21067f4b658527782aa5be2eecdd29ac";
logging-data="94568"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+BiDO/hwMDL1hfota8gcTCEhsAkyl+wEQ="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:0GTW34XkblkxOXT9FsnYJ6485X4=
In-Reply-To: <u6cqo4$2maf$1@dont-email.me>
Content-Language: de-DE
 by: Bonita Montero - Wed, 14 Jun 2023 17:03 UTC

Am 14.06.2023 um 18:43 schrieb olcott:

> That is merely an example of the ad hominem error of reasoning.

That's not ad homimem. I just wanted to say that you've
sth. completely different than a comuter science problem.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6cskt$2tfr$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=360&group=comp.lang.c%2B%2B#360

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 12:16:12 -0500
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <u6cskt$2tfr$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me> <u6cpmp$2jvt$1@dont-email.me>
<u6cqo4$2maf$1@dont-email.me> <u6crt6$2sb8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 17:16:13 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="95739"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18YpPIXfPj6h7DSbW154Mbj"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:BYRFtICZsYzq53MKgPURS3eQzWs=
Content-Language: en-US
In-Reply-To: <u6crt6$2sb8$1@dont-email.me>
 by: olcott - Wed, 14 Jun 2023 17:16 UTC

On 6/14/2023 12:03 PM, Bonita Montero wrote:
> Am 14.06.2023 um 18:43 schrieb olcott:
>
>> That is merely an example of the ad hominem error of reasoning.
>
> That's not ad homimem. I just wanted to say that you've
> sth. completely different than a comuter science problem.
>

I reframed the problem from a computer science halt decider to a
termination analyzer that correctly prevents denial of service attacks
from inputs matching the halting problem's input template.

Because H does correctly thwart denial of service attacks based on this
input then H is necessarily correct from this frame-of-reference.

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6d1dr$3ei9$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=361&group=comp.lang.c%2B%2B#361

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 20:37:48 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <u6d1dr$3ei9$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me> <u6cpmp$2jvt$1@dont-email.me>
<u6cqo4$2maf$1@dont-email.me> <u6crt6$2sb8$1@dont-email.me>
<u6cskt$2tfr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 18:37:47 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="21067f4b658527782aa5be2eecdd29ac";
logging-data="113225"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/1+webgymiLeYhGQ4NNBsJjwqIFMZS0/8="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:vBq2sco7L4x7GoISR3UvnXTa9jo=
Content-Language: de-DE
In-Reply-To: <u6cskt$2tfr$1@dont-email.me>
 by: Bonita Montero - Wed, 14 Jun 2023 18:37 UTC

Am 14.06.2023 um 19:16 schrieb olcott:
> On 6/14/2023 12:03 PM, Bonita Montero wrote:
>> Am 14.06.2023 um 18:43 schrieb olcott:
>>
>>> That is merely an example of the ad hominem error of reasoning.
>>
>> That's not ad homimem. I just wanted to say that you've
>> sth. completely different than a comuter science problem.
>>
>
> I reframed the problem from a computer science halt decider to a
> termination analyzer that correctly prevents denial of service attacks
> from inputs matching the halting problem's input template.
>
> Because H does correctly thwart denial of service attacks based on
> this input then H is necessarily correct from this frame-of-reference.

I think that others around here understand what I said.
But not you.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6d2kc$3h8m$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=362&group=comp.lang.c%2B%2B#362

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 13:58:19 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <u6d2kc$3h8m$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me> <u6cpmp$2jvt$1@dont-email.me>
<u6cqo4$2maf$1@dont-email.me> <u6crt6$2sb8$1@dont-email.me>
<u6cskt$2tfr$1@dont-email.me> <u6d1dr$3ei9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 18:58:20 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="115990"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19PCJ66Jab4NgT01rKCds9D"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:mJjKh6nfExmoG+yJFz47Xb7FpOI=
Content-Language: en-US
In-Reply-To: <u6d1dr$3ei9$1@dont-email.me>
 by: olcott - Wed, 14 Jun 2023 18:58 UTC

On 6/14/2023 1:37 PM, Bonita Montero wrote:
> Am 14.06.2023 um 19:16 schrieb olcott:
>> On 6/14/2023 12:03 PM, Bonita Montero wrote:
>>> Am 14.06.2023 um 18:43 schrieb olcott:
>>>
>>>> That is merely an example of the ad hominem error of reasoning.
>>>
>>> That's not ad homimem. I just wanted to say that you've
>>> sth. completely different than a comuter science problem.
>>>
>>
>> I reframed the problem from a computer science halt decider to a
>> termination analyzer that correctly prevents denial of service attacks
>> from inputs matching the halting problem's input template.
>>
>> Because H does correctly thwart denial of service attacks based on
>> this input then H is necessarily correct from this frame-of-reference.
>
>
> I think that others around here understand what I said.
> But not you.
>

So you do not understand that that termination analyzer H does correctly
thwart what would be an otherwise successful denial of service attack by
by pathological input D?

Are you new to the C++ programming language? A few years ago I beat Herb
Sutter's std::string by about 23-fold faster performance.

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

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6d5ke$3s61$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=364&group=comp.lang.c%2B%2B#364

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 21:49:35 +0200
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <u6d5ke$3s61$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me> <u6cpmp$2jvt$1@dont-email.me>
<u6cqo4$2maf$1@dont-email.me> <u6crt6$2sb8$1@dont-email.me>
<u6cskt$2tfr$1@dont-email.me> <u6d1dr$3ei9$1@dont-email.me>
<u6d2kc$3h8m$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 19:49:34 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="21067f4b658527782aa5be2eecdd29ac";
logging-data="127169"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/gSpyIFvA3pobUTv2izoNRiy04Ax8iJUg="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:P1wFByBT7DmAPibQY1DjQm6BMGw=
In-Reply-To: <u6d2kc$3h8m$1@dont-email.me>
Content-Language: de-DE
 by: Bonita Montero - Wed, 14 Jun 2023 19:49 UTC

Am 14.06.2023 um 20:58 schrieb olcott:

> So you do not understand that that termination analyzer H does correctly
> thwart what would be an otherwise successful denial of service attack by
> by pathological input D?

*facepalm*
The therapist who is a match for you has yet to be born.

Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<u6d9up$48hc$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=366&group=comp.lang.c%2B%2B#366

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.c++
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
Date: Wed, 14 Jun 2023 16:03:20 -0500
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <u6d9up$48hc$1@dont-email.me>
References: <u67hei$35nqj$2@dont-email.me> <u67j7n$35vgt$1@dont-email.me>
<u67khp$360bh$1@dont-email.me>
<5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
<u6cnas$2bo6$1@dont-email.me> <u6cngt$2c2j$1@dont-email.me>
<u6co3g$2bo6$2@dont-email.me> <u6cof6$2f8g$1@dont-email.me>
<u6cpkm$2iec$1@dont-email.me> <u6cpmp$2jvt$1@dont-email.me>
<u6cqo4$2maf$1@dont-email.me> <u6crt6$2sb8$1@dont-email.me>
<u6cskt$2tfr$1@dont-email.me> <u6d1dr$3ei9$1@dont-email.me>
<u6d2kc$3h8m$1@dont-email.me> <u6d5ke$3s61$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 Jun 2023 21:03:21 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b773367f2a659ce1e94b6b018205fe7c";
logging-data="139820"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX194zdTkmt/3B0Ufut5RgmIC"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.2
Cancel-Lock: sha1:9V19Co7FIpRf9m9/J/KMd/djgbU=
Content-Language: en-US
In-Reply-To: <u6d5ke$3s61$1@dont-email.me>
 by: olcott - Wed, 14 Jun 2023 21:03 UTC

On 6/14/2023 2:49 PM, Bonita Montero wrote:
> Am 14.06.2023 um 20:58 schrieb olcott:
>
>> So you do not understand that that termination analyzer H does correctly
>> thwart what would be an otherwise successful denial of service attack by
>> by pathological input D?
>
> *facepalm*
> The therapist who is a match for you has yet to be born.

People that insist on staying in rebuttal mode even against the
easily verified facts can be spotted when their entire rebuttal
is an ad hominem attack.

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


devel / comp.lang.c++ / Can D simulated by H terminate normally?

Pages:12
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor