Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

The reason computer chips are so small is computers don't eat much.


devel / comp.lang.c++ / Re: Can D simulated by H terminate normally? [Ben Bacarisse]

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
Re: Can D simulated by H terminate normally? [Ben Bacarisse]

<c7e87519-079c-4fe2-86bf-5de1baffcbd2n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.c++
X-Received: by 2002:a37:4458:0:b0:75e:bfde:fd6c with SMTP id r85-20020a374458000000b0075ebfdefd6cmr33700qka.1.1686874255218;
Thu, 15 Jun 2023 17:10:55 -0700 (PDT)
X-Received: by 2002:a37:6817:0:b0:762:198d:86bb with SMTP id
d23-20020a376817000000b00762198d86bbmr6228qkc.9.1686874254923; Thu, 15 Jun
2023 17:10:54 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Thu, 15 Jun 2023 17:10:54 -0700 (PDT)
In-Reply-To: <u6cl4c$242o$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> <5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c7e87519-079c-4fe2-86bf-5de1baffcbd2n@googlegroups.com>
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
From: guinness.tony@gmail.com (Tony Oliver)
Injection-Date: Fri, 16 Jun 2023 00:10:55 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3696
 by: Tony Oliver - Fri, 16 Jun 2023 00:10 UTC

On Wednesday, 14 June 2023 at 16:08:11 UTC+1, olcott wrote:
> 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.

i said nothing of system development. Are you illiterate as well as
deranged?

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

Design patterns have nothing to do with Sofware Engineering, you
berk. Get your head tested (your reading and comprehension centres
seem to be failing).

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

Again, you're using the term "Software Engineers" wrong.
You might just as well have asserted that "analysis performed by
a tin of baked beans..."

> I wrote the x86utm operating system.

<snip a load of old bollcks>

> // The following is written in C

Is it, bollocks. What are all those leading numbers?
C does not recognise then at all.

> 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 }

<snip boring pleading>

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

<33164d8c-54e0-4143-a2ec-91823c35698cn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.c++
X-Received: by 2002:a05:622a:1012:b0:3f6:c2a9:5fb1 with SMTP id d18-20020a05622a101200b003f6c2a95fb1mr153514qte.2.1686874360288;
Thu, 15 Jun 2023 17:12:40 -0700 (PDT)
X-Received: by 2002:a05:6214:b05:b0:62f:fa11:d23b with SMTP id
u5-20020a0562140b0500b0062ffa11d23bmr118191qvj.1.1686874360079; Thu, 15 Jun
2023 17:12:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Thu, 15 Jun 2023 17:12:39 -0700 (PDT)
In-Reply-To: <u6cl73$248l$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> <5288f8a2-61f4-4ae7-a219-7fdcdcb6db3an@googlegroups.com>
<u6cl4c$242o$1@dont-email.me> <u6cl73$248l$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <33164d8c-54e0-4143-a2ec-91823c35698cn@googlegroups.com>
Subject: Re: Can D simulated by H terminate normally? [Ben Bacarisse]
From: guinness.tony@gmail.com (Tony Oliver)
Injection-Date: Fri, 16 Jun 2023 00:12:40 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1502
 by: Tony Oliver - Fri, 16 Jun 2023 00:12 UTC

On Wednesday, 14 June 2023 at 16:09:39 UTC+1, Bonita Montero wrote:
> Pete, do you have an occupation as a software engineer ?

Hahahahahahah!!

Of course he hasn't - he doesn't even understand what the title means!.

Pages:12
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor