Blum’s Speed-Up Theorem and Sudoku (Re: ANN: Dogelog Player 2.2.5 (π-WAM Channels))

Path	csiph.com!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.javascript
Subject	Blum’s Speed-Up Theorem and Sudoku (Re: ANN: Dogelog Player 2.2.5 (π-WAM Channels))
Date	Fri, 14 Aug 2026 22:21:48 +0200
Message-ID	<115ntcr$fme2$1@solani.org> (permalink)
References	<115ge57$aml4$3@solani.org>
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	8bit
Injection-Date	Fri, 14 Aug 2026 20:21:48 -0000 (UTC)
Injection-Info	solani.org; logging-data="514498"; mail-complaints-to="abuse@news.solani.org"
User-Agent	Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:140.0) Gecko/20100101 Firefox/140.0 SeaMonkey/2.53.24
Cancel-Lock	sha1:T2YLV6F0DMKDhdG+U4FloduzzgI=
X-User-ID	eJwFwQkBwDAIA0BLNCUw5FAe/xJ2x2vHytVoyuVebPnEARld4gh7vdKSvjC/Cu3Jc498AZnkQKWymvow4A9DDRUd
In-Reply-To	<115ge57$aml4$3@solani.org>
Xref	csiph.com comp.lang.javascript:124467

Show key headers only | View raw

Hi,

Years ago Sam Altman said to have no idea how to
generate revenue, but when the generally intelligent
system is in place, he might ask it. We take Sudoku
as the drosophila how different schools deal with
“generality”, in this particular instance attacking
NP problems with constraint solvers.

Every turing machine T has a turing machine T’ that
can do multiple steps at once. In propagation methods
repeated goal reconstructions happens, while static
methods construct goals once. The later is applied in
Dogelog Player and looking at AI Escargot it can beat
EyeProlog in the browser.

Bye

See also:

Blum’s Speed-Up Theorem and Sudoku
https://medium.com/2989/bb8acd0c3284

Mild Shock schrieb:
> 
> Dear All,
> 
> We are happy to announce a new edition of
> the Dogelog Player:
> 
> - GPU Backend:
> The two pilars of π-calculus are processes and
> channels. While processes in the CPU Backend
> mapped straight forward to some platform threads
> and a new predicate execute/[1,2]. The predicate
> introduced here is expedite/[1,2] and it does
> the same for your GPU via compute shaders. We
> observed good results with iGPUs from
> budget AI laptops.
> 
> - CPU Channels:
> We mentioned already that the two pilars of
> π-calculus are processes and channels. In
> search of easy channel objects, we arrived at
> a kind of ADA RendezVous without ACK or NACK.
> This is basically a 1-element mpmc queue, now
> available via the predicate chan/1 for
> the CPU backend.
> 
> - GPU Channels:
> Channel objects are now also available for the
> GPU backend via the predicate flit/1. The approach
> is again some busy-wait, so dont use CPU or GPU
> channels for isolated long waits. Because of a
> batch oriented GPU command API, we could not
> yet provide online communication
> between CPU and GPU .
> 
> Have Fun!
> 
> Jan Burse, August 12, 2026, https://www.herbrand.ai/

Thread

ANN: Dogelog Player 2.2.5 (π-WAM Channels) Mild Shock <janburse@fastmail.fm> - 2026-08-12 02:18 +0200
  Blum’s Speed-Up Theorem and Sudoku (Re: ANN: Dogelog Player 2.2.5 (π-WAM Channels)) Mild Shock <janburse@fastmail.fm> - 2026-08-14 22:21 +0200
    π-WAM Assembly: Jump and Link for Tseytin Transformation (Re: Blum’s Speed-Up Theorem and Sudoku) Mild Shock <janburse@fastmail.fm> - 2026-08-21 23:30 +0200
      Grothendieck-Group Rewriting in Dogelog Player (Re: π-WAM Assembly: Jump and Link for Tseytin Transform) Mild Shock <janburse@fastmail.fm> - 2026-08-25 19:01 +0200

csiph-web