Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Meekness: Uncommon patience in planning a revenge that is worth while. -- Ambrose Bierce

devel / comp.theory / Re: Refuting the halting problem pseudo-code proof(100% perfect certainty)(forced to halt)

SubjectAuthor
o Refuting the halting problem pseudo-code proof(100% perfectDaniel Pehoushek

1
Re: Refuting the halting problem pseudo-code proof(100% perfect certainty)(forced to halt)

<f5cccde1-7c1e-468f-8678-5ee878c6ebdcn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16913&group=comp.theory#16913

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a37:c447:: with SMTP id h7mr14831849qkm.63.1624122403315;
Sat, 19 Jun 2021 10:06:43 -0700 (PDT)
X-Received: by 2002:a25:6183:: with SMTP id v125mr10678580ybb.377.1624122403184;
Sat, 19 Jun 2021 10:06:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 19 Jun 2021 10:06:42 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:713e:9c0a:956:4219;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:713e:9c0a:956:4219
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f5cccde1-7c1e-468f-8678-5ee878c6ebdcn@googlegroups.com>
Subject: Re: Refuting the halting problem pseudo-code proof(100% perfect
certainty)(forced to halt)
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Sat, 19 Jun 2021 17:06:43 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Daniel Pehoushek - Sat, 19 Jun 2021 17:06 UTC

olcott is a god damned spammer. do not help him anymore.

I implemented, for N pizels, the +vision algorithm in 1995
for Cardiff Software. Cardiff made millions.

given a bitmap, quickly locate a large empty plus shaped structure in the
rectangle. then call vision on the for regions.

halt when there are four pizels remaining, do reason.

unite on the way back up the four way recursion.

+vision is NlogN
+ is gods favorite symbol
daniel

olcott is a god damned spammer. do not help him anymore.

devel / comp.theory / Re: Refuting the halting problem pseudo-code proof(100% perfect certainty)(forced to halt)

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor