ANN: Dogelog Player 2.2.5 (π-WAM Channels)

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/