Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > sci.math > #646646 > unrolled thread

TSMC's 2nm (N2) node and the 7 GHz target (Was: Creating a "European CMOS 2.0 Army")

Started byMild Shock <janburse@fastmail.fm>
First post2026-07-14 14:11 +0200
Last post2026-08-30 10:34 +0000
Articles 15 — 7 participants

Back to article view | Back to sci.math

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.


Contents

  TSMC's 2nm (N2) node and the 7 GHz target (Was: Creating a "European CMOS 2.0 Army") Mild Shock <janburse@fastmail.fm> - 2026-07-14 14:11 +0200
    Re: TSMC's 2nm (N2) node and the 7 GHz target (Was: Creating a "European CMOS 2.0 Army") Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 08:49 -0700
    Re: TSMC's 2nm (N2) node and the 7 GHz target (Was: Creating a "European CMOS 2.0 Army") Keyler Babaskin <nb@erbbiia.ru> - 2026-07-14 16:55 +0000
    pi-WAM is just like Laika3, the first Dog on Mars (Re: TSMC's 2nm (N2) node and the 7 GHz target) Mild Shock <janburse@fastmail.fm> - 2026-07-15 18:11 +0200
      So memory bandwidth is no issue at all (Re: pi-WAM is just like Laika3, the first Dog on Mars) Mild Shock <janburse@fastmail.fm> - 2026-07-15 18:35 +0200
        Re: So memory bandwidth is no issue at all (Re: pi-WAM is just like Laika3, the first Dog on Mars) Dominique Belorussov <os@ssdoi.ru> - 2026-07-16 13:44 +0000
          For iGPU which acts as a APU RAM is shared (Was: So memory bandwidth is no issue at all) Mild Shock <janburse@fastmail.fm> - 2026-07-16 17:07 +0200
            Re: For iGPU which acts as a APU RAM is shared (Was: So memory bandwidth is no issue at all) Bobauk Modenov <bo@modoadb.ru> - 2026-07-16 17:45 +0000
              Village Idiot wants 8088 back [Puting Troll] (Was: For iGPU which acts as a APU RAM is shared) Mild Shock <janburse@fastmail.fm> - 2026-07-16 23:02 +0200
                VT100 25 x 80 terminal = 2000 Bytes (Was: Village Idiot wants 8088 back [Puting Troll]) Mild Shock <janburse@fastmail.fm> - 2026-07-16 23:08 +0200
      From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars) Mild Shock <janburse@fastmail.fm> - 2026-08-27 17:56 +0200
        Re: From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars) Serafin Zavrajnov <naj@varrjn.ru> - 2026-08-27 20:57 +0000
        Re: From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars) Mild Shock <janburse@fastmail.fm> - 2026-08-29 03:09 +0200
        I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings]) Mild Shock <janburse@fastmail.fm> - 2026-08-29 03:10 +0200
          Re: I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings]) Bonny Tubinov <oioo@yubby.ru> - 2026-08-30 10:34 +0000

#646646 — TSMC's 2nm (N2) node and the 7 GHz target (Was: Creating a "European CMOS 2.0 Army")

FromMild Shock <janburse@fastmail.fm>
Date2026-07-14 14:11 +0200
SubjectTSMC's 2nm (N2) node and the 7 GHz target (Was: Creating a "European CMOS 2.0 Army")
Message-ID<113591l$35be$1@solani.org>
Hi,

TSMC's 2nm (N2) node and the 7 GHz target
represent a monumental milestone in silicon
manufacturing, shifting away from legacy
FinFETs to advanced Gate-All-Around (GAA)
nanosheet transistors.

This evolution allows chip designers—particularly
in the PC and AI sectors—to push processor
clock speeds previously thought impossible
on standard nodes

AMD confirms Zen 6 rollout for its July 22 AI event
https://videocardz.com/newz/amd-confirms-zen-6-launches-in-less-than-two-weeks-starting-with-epyc-venice

Production of the 6th Gen EPYC family is
already ramping up. AMD says Venice is its
first high-performance computing product
manufactured using TSMC’s 2nm process
technology.

Bye

Mild Shock schrieb:
> Hi,
> 
> For marketing purposes people
> typically look at the race towards
> 2nm, and we find:
> 
> A month ago, Apple lost its exclusivity
> on 3 nm smartphone processors with
> MediaTek’s Dimensity 9400 chip, integrated
> in the Vivo X200 Pro smartphone. Qualcomm
> is also in the race with its recently
> unveiled Snapdragon 8 Elite and set to
> power the Xiaomi 15 Pro in 2025. However,
> Apple should regain its position as innovation
> leader in 2026 with the release of the
> iPhone 18, which should feature the A20
> chip built on TSMC’s 2 nm process."
> 
> But there is a vertical vias revolution
> going on as well, some SOCs typically
> being at 18 layers now:
> 
> Zooming Into a CPU (It's Incredible)
> https://www.youtube.com/watch?v=Bez-2cvYja0
> 
> imec has coined the term CMOS 2.0:
> 
> LEUVEN (Belgium), MARCH 12th, 2026 — Imec,
> a world-leading research and innovation hub
> in advanced semiconductor technologies, has
> launched a first-of-its-kind consortium with
> 26 European university groups that will jointly
> work on the technology roadmap beyond
> CMOS scaling (CMOS 2.0).
> https://www.imec-int.com/en/press/imec-launches-university-consortium-around-next-generation-chips 
> 
> 
> So we might see more mobile grade GPUs.
> 
> Bye

[toc] | [next] | [standalone]


#646650

FromRoss Finlayson <ross.a.finlayson@gmail.com>
Date2026-07-14 08:49 -0700
Message-ID<Rv6cnYLTWuckx8v3nZ2dnZfqnPSdnZ2d@giganews.com>
In reply to#646646
On 07/14/2026 05:11 AM, Mild Shock wrote:
> Hi,
>
> TSMC's 2nm (N2) node and the 7 GHz target
> represent a monumental milestone in silicon
> manufacturing, shifting away from legacy
> FinFETs to advanced Gate-All-Around (GAA)
> nanosheet transistors.
>
> This evolution allows chip designers—particularly
> in the PC and AI sectors—to push processor
> clock speeds previously thought impossible
> on standard nodes
>
> AMD confirms Zen 6 rollout for its July 22 AI event
> https://videocardz.com/newz/amd-confirms-zen-6-launches-in-less-than-two-weeks-starting-with-epyc-venice
>
>
> Production of the 6th Gen EPYC family is
> already ramping up. AMD says Venice is its
> first high-performance computing product
> manufactured using TSMC’s 2nm process
> technology.
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> For marketing purposes people
>> typically look at the race towards
>> 2nm, and we find:
>>
>> A month ago, Apple lost its exclusivity
>> on 3 nm smartphone processors with
>> MediaTek’s Dimensity 9400 chip, integrated
>> in the Vivo X200 Pro smartphone. Qualcomm
>> is also in the race with its recently
>> unveiled Snapdragon 8 Elite and set to
>> power the Xiaomi 15 Pro in 2025. However,
>> Apple should regain its position as innovation
>> leader in 2026 with the release of the
>> iPhone 18, which should feature the A20
>> chip built on TSMC’s 2 nm process."
>>
>> But there is a vertical vias revolution
>> going on as well, some SOCs typically
>> being at 18 layers now:
>>
>> Zooming Into a CPU (It's Incredible)
>> https://www.youtube.com/watch?v=Bez-2cvYja0
>>
>> imec has coined the term CMOS 2.0:
>>
>> LEUVEN (Belgium), MARCH 12th, 2026 — Imec,
>> a world-leading research and innovation hub
>> in advanced semiconductor technologies, has
>> launched a first-of-its-kind consortium with
>> 26 European university groups that will jointly
>> work on the technology roadmap beyond
>> CMOS scaling (CMOS 2.0).
>> https://www.imec-int.com/en/press/imec-launches-university-consortium-around-next-generation-chips
>>
>>
>> So we might see more mobile grade GPUs.
>>
>> Bye
>


Which are cheaper to manufacture as their defect rate rises, ....


Transistor budget? More like inflation, ....


Anyways Shut Up, "Burse" scheiss.


Modern optical chips offer entirely new models of computation,
and free-form 3-D IC offers entirely new models of computation,
and reversible computing offers cold, quiet computing.

[toc] | [prev] | [next] | [standalone]


#646654

FromKeyler Babaskin <nb@erbbiia.ru>
Date2026-07-14 16:55 +0000
Message-ID<1135pm9$1ajb7$1@news.nntp4.net>
In reply to#646646
Mild Shock wrote:

> Hi,
> 
> TSMC's 2nm (N2) node and the 7 GHz target represent a monumental
> milestone in silicon manufacturing, shifting away from legacy FinFETs to
> advanced Gate-All-Around (GAA) nanosheet transistors.

idiot, a 7 GHz is nothing in AI, where the ram is outside accessed along a 
data bus by a timing protocol. You dont undrestand tensors and anything, 
like a bully asking for the lunch money.

[toc] | [prev] | [next] | [standalone]


#646754 — pi-WAM is just like Laika3, the first Dog on Mars (Re: TSMC's 2nm (N2) node and the 7 GHz target)

FromMild Shock <janburse@fastmail.fm>
Date2026-07-15 18:11 +0200
Subjectpi-WAM is just like Laika3, the first Dog on Mars (Re: TSMC's 2nm (N2) node and the 7 GHz target)
Message-ID<1138bf3$58mb$3@solani.org>
In reply to#646646
Hi,

We recently implemented a parallel π-WAM
on a GPU backend and could demonstrate an
estimated 11.4 Giga Lips. In this post we
report a further experiment, this time
presenting a parallel π-WAM on a CPU backend,
that can lift specialized Prolog, currently
to 1.7 Giga Lips performance.

Having an excess number of threads is a
bad idea. What if we do context switching
on our own? With this approach we could
bring down the execution time of 128 Hack
VMs by 33%. We estimate for the test which
had 11.4 GLips on the GPU, that we reach
1.7 GLips on the CPU.

Bye

See also:

Parallel π-WAM: 1.7 Giga Lips on a CPU
https://medium.com/2989/8a984e75af44

Mild Shock schrieb:
> Hi,
> 
> TSMC's 2nm (N2) node and the 7 GHz target
> represent a monumental milestone in silicon
> manufacturing, shifting away from legacy
> FinFETs to advanced Gate-All-Around (GAA)
> nanosheet transistors.
> 
> This evolution allows chip designers—particularly
> in the PC and AI sectors—to push processor
> clock speeds previously thought impossible
> on standard nodes
> 
> AMD confirms Zen 6 rollout for its July 22 AI event
> https://videocardz.com/newz/amd-confirms-zen-6-launches-in-less-than-two-weeks-starting-with-epyc-venice 
> 
> 
> Production of the 6th Gen EPYC family is
> already ramping up. AMD says Venice is its
> first high-performance computing product
> manufactured using TSMC’s 2nm process
> technology.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> For marketing purposes people
>> typically look at the race towards
>> 2nm, and we find:
>>
>> A month ago, Apple lost its exclusivity
>> on 3 nm smartphone processors with
>> MediaTek’s Dimensity 9400 chip, integrated
>> in the Vivo X200 Pro smartphone. Qualcomm
>> is also in the race with its recently
>> unveiled Snapdragon 8 Elite and set to
>> power the Xiaomi 15 Pro in 2025. However,
>> Apple should regain its position as innovation
>> leader in 2026 with the release of the
>> iPhone 18, which should feature the A20
>> chip built on TSMC’s 2 nm process."
>>
>> But there is a vertical vias revolution
>> going on as well, some SOCs typically
>> being at 18 layers now:
>>
>> Zooming Into a CPU (It's Incredible)
>> https://www.youtube.com/watch?v=Bez-2cvYja0
>>
>> imec has coined the term CMOS 2.0:
>>
>> LEUVEN (Belgium), MARCH 12th, 2026 — Imec,
>> a world-leading research and innovation hub
>> in advanced semiconductor technologies, has
>> launched a first-of-its-kind consortium with
>> 26 European university groups that will jointly
>> work on the technology roadmap beyond
>> CMOS scaling (CMOS 2.0).
>> https://www.imec-int.com/en/press/imec-launches-university-consortium-around-next-generation-chips 
>>
>>
>> So we might see more mobile grade GPUs.
>>
>> Bye
> 

[toc] | [prev] | [next] | [standalone]


#646757 — So memory bandwidth is no issue at all (Re: pi-WAM is just like Laika3, the first Dog on Mars)

FromMild Shock <janburse@fastmail.fm>
Date2026-07-15 18:35 +0200
SubjectSo memory bandwidth is no issue at all (Re: pi-WAM is just like Laika3, the first Dog on Mars)
Message-ID<1138ct5$59mb$1@solani.org>
In reply to#646754
Hi,

So memory bandwidth is no issue at all for
this kind of backtracking problem. Its all
about arithmetic bandwidth . And since I am

not using vectors or matrices, it is still
poor. You can do the math. The CPU has 16
logical cores (8 physical with hyperthreading).

The GPU single-threaded is around 5 times
slower than the CPU single threaded, but
their number is greater. Now you can do t

he math as follows:

16 * 11.4 / 1.7 * 5 = 536.47

Pretty much the number of shader cores (*),
i.e. 512, that the Ryzen AI 7 350 laptop
offers in its integrated GPU Radeon 860M.

LoL

Bye

(*) Unified shading units (also referred to
as unified shaders, shader cores, or stream
processors) are flexible processing components

inside a graphics processing unit (GPU) that
can handle any type of rendering or compute task.

Mild Shock schrieb:
> Hi,
> 
> We recently implemented a parallel π-WAM
> on a GPU backend and could demonstrate an
> estimated 11.4 Giga Lips. In this post we
> report a further experiment, this time
> presenting a parallel π-WAM on a CPU backend,
> that can lift specialized Prolog, currently
> to 1.7 Giga Lips performance.
> 
> Having an excess number of threads is a
> bad idea. What if we do context switching
> on our own? With this approach we could
> bring down the execution time of 128 Hack
> VMs by 33%. We estimate for the test which
> had 11.4 GLips on the GPU, that we reach
> 1.7 GLips on the CPU.
> 
> Bye
> 
> See also:
> 
> Parallel π-WAM: 1.7 Giga Lips on a CPU
> https://medium.com/2989/8a984e75af44
> 
> Mild Shock schrieb:
>> Hi,
>>
>> TSMC's 2nm (N2) node and the 7 GHz target
>> represent a monumental milestone in silicon
>> manufacturing, shifting away from legacy
>> FinFETs to advanced Gate-All-Around (GAA)
>> nanosheet transistors.
>>
>> This evolution allows chip designers—particularly
>> in the PC and AI sectors—to push processor
>> clock speeds previously thought impossible
>> on standard nodes
>>
>> AMD confirms Zen 6 rollout for its July 22 AI event
>> https://videocardz.com/newz/amd-confirms-zen-6-launches-in-less-than-two-weeks-starting-with-epyc-venice 
>>
>>
>> Production of the 6th Gen EPYC family is
>> already ramping up. AMD says Venice is its
>> first high-performance computing product
>> manufactured using TSMC’s 2nm process
>> technology.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> For marketing purposes people
>>> typically look at the race towards
>>> 2nm, and we find:
>>>
>>> A month ago, Apple lost its exclusivity
>>> on 3 nm smartphone processors with
>>> MediaTek’s Dimensity 9400 chip, integrated
>>> in the Vivo X200 Pro smartphone. Qualcomm
>>> is also in the race with its recently
>>> unveiled Snapdragon 8 Elite and set to
>>> power the Xiaomi 15 Pro in 2025. However,
>>> Apple should regain its position as innovation
>>> leader in 2026 with the release of the
>>> iPhone 18, which should feature the A20
>>> chip built on TSMC’s 2 nm process."
>>>
>>> But there is a vertical vias revolution
>>> going on as well, some SOCs typically
>>> being at 18 layers now:
>>>
>>> Zooming Into a CPU (It's Incredible)
>>> https://www.youtube.com/watch?v=Bez-2cvYja0
>>>
>>> imec has coined the term CMOS 2.0:
>>>
>>> LEUVEN (Belgium), MARCH 12th, 2026 — Imec,
>>> a world-leading research and innovation hub
>>> in advanced semiconductor technologies, has
>>> launched a first-of-its-kind consortium with
>>> 26 European university groups that will jointly
>>> work on the technology roadmap beyond
>>> CMOS scaling (CMOS 2.0).
>>> https://www.imec-int.com/en/press/imec-launches-university-consortium-around-next-generation-chips 
>>>
>>>
>>> So we might see more mobile grade GPUs.
>>>
>>> Bye
>>
> 

[toc] | [prev] | [next] | [standalone]


#646802 — Re: So memory bandwidth is no issue at all (Re: pi-WAM is just like Laika3, the first Dog on Mars)

FromDominique Belorussov <os@ssdoi.ru>
Date2026-07-16 13:44 +0000
SubjectRe: So memory bandwidth is no issue at all (Re: pi-WAM is just like Laika3, the first Dog on Mars)
Message-ID<113an8h$1ittn$1@news.nntp4.net>
In reply to#646757
Mild Shock wrote:

> Pretty much the number of shader cores (*),
> i.e. 512, that the Ryzen AI 7 350 laptop offers in its integrated GPU
> Radeon 860M.

this prolog imbecile doesnt know what ram is and where is located

[toc] | [prev] | [next] | [standalone]


#646804 — For iGPU which acts as a APU RAM is shared (Was: So memory bandwidth is no issue at all)

FromMild Shock <janburse@fastmail.fm>
Date2026-07-16 17:07 +0200
SubjectFor iGPU which acts as a APU RAM is shared (Was: So memory bandwidth is no issue at all)
Message-ID<113as3a$6t7t$1@solani.org>
In reply to#646802
Hi,

For iGPU which acts as a APU RAM is shared,

an integrated GPU (iGPU) used as an APU
relies entirely on shared system RAM.
Because the processor and graphics chip
live on the same silicon die, they do not
have their own separate video memory
(like discrete GPUs do with dedicated VRAM).
Instead, the iGPU carves out a portion of
your regular system memory to store textures,
frame buffers, and other graphics data.

While AMD originally coined Accelerated
Processing Unit (APU) in 2011 to highlight the
fusion of CPU and GPU on a single die,
modern AI computing has redefined what
it means to "accelerate" data. When Intel
and Apple discuss their latest processors,
they frequently highlight dedicated hardware
blocks called NPUs (Neural Processing Units) or N
eural Engines right alongside the CPU and GPU.

https://www.articsledge.com/post/accelerated-processing-unit-apu

Bye

Dominique Belorussov schrieb:
> Mild Shock wrote:
> 
>> Pretty much the number of shader cores (*),
>> i.e. 512, that the Ryzen AI 7 350 laptop offers in its integrated GPU
>> Radeon 860M.
> 
> this prolog imbecile doesnt know what ram is and where is located
> 

[toc] | [prev] | [next] | [standalone]


#646806 — Re: For iGPU which acts as a APU RAM is shared (Was: So memory bandwidth is no issue at all)

FromBobauk Modenov <bo@modoadb.ru>
Date2026-07-16 17:45 +0000
SubjectRe: For iGPU which acts as a APU RAM is shared (Was: So memory bandwidth is no issue at all)
Message-ID<113b5bk$1jljd$1@news.nntp4.net>
In reply to#646804
Mild Shock wrote:

> an integrated GPU (iGPU) used as an APU relies entirely on shared system
> RAM. Because the processor and graphics chip live on the same silicon
> die, they do not have their own separate video memory

idiot, yet another thing you dont undrestand, only max half of the entire 
ram can be given to the gpu. Most of the laptops gives even less, say max 
1 GB of the "shared" ram to the gpu. Idiot.

[toc] | [prev] | [next] | [standalone]


#646808 — Village Idiot wants 8088 back [Puting Troll] (Was: For iGPU which acts as a APU RAM is shared)

FromMild Shock <janburse@fastmail.fm>
Date2026-07-16 23:02 +0200
SubjectVillage Idiot wants 8088 back [Puting Troll] (Was: For iGPU which acts as a APU RAM is shared)
Message-ID<113bgt4$7ct5$1@solani.org>
In reply to#646806
Hi,

Ha Ha, Village Idiot is Pissed and
wants his Intel 8088 back. There you
have boards with VRAM = 1k Byte.

Well it fits you, since you are
a putin payed troll. Typically russian
or belarus 9000 level stupid.

Bye

Bobauk Modenov schrieb:
> Mild Shock wrote:
> 
>> an integrated GPU (iGPU) used as an APU relies entirely on shared system
>> RAM. Because the processor and graphics chip live on the same silicon
>> die, they do not have their own separate video memory
> 
> idiot, yet another thing you dont undrestand, only max half of the entire
> ram can be given to the gpu. Most of the laptops gives even less, say max
> 1 GB of the "shared" ram to the gpu. Idiot.
> 

[toc] | [prev] | [next] | [standalone]


#646809 — VT100 25 x 80 terminal = 2000 Bytes (Was: Village Idiot wants 8088 back [Puting Troll])

FromMild Shock <janburse@fastmail.fm>
Date2026-07-16 23:08 +0200
SubjectVT100 25 x 80 terminal = 2000 Bytes (Was: Village Idiot wants 8088 back [Puting Troll])
Message-ID<113bh8u$7d09$1@solani.org>
In reply to#646808
Hi,

Ok i misscalculated the 1k Byes. For 25 x 80
ASCII characters it would be 2000 Bytes.
Sorry for the wrong adjustment of your VRAM.

BTW, a VT100 had indeed 3000 Bytes:

Released   1978
CPU	Intel 8080
Memory	3 KB RAM
https://en.wikipedia.org/wiki/VT100

So your 1GB were a little bit too high.
The lower bound is probably 2000 to
3000 bytes. Happy now moron?

Your 1GB were wroooong you were too
optimistic, in your pessimism.

Bye

Mild Shock schrieb:
> Hi,
> 
> Ha Ha, Village Idiot is Pissed and
> wants his Intel 8088 back. There you
> have boards with VRAM = 1k Byte.
> 
> Well it fits you, since you are
> a putin payed troll. Typically russian
> or belarus 9000 level stupid.
> 
> Bye
> 
> Bobauk Modenov schrieb:
>> Mild Shock wrote:
>>
>>> an integrated GPU (iGPU) used as an APU relies entirely on shared system
>>> RAM. Because the processor and graphics chip live on the same silicon
>>> die, they do not have their own separate video memory
>>
>> idiot, yet another thing you dont undrestand, only max half of the entire
>> ram can be given to the gpu. Most of the laptops gives even less, say max
>> 1 GB of the "shared" ram to the gpu. Idiot.
>>
> 

[toc] | [prev] | [next] | [standalone]


#647428 — From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars)

FromMild Shock <janburse@fastmail.fm>
Date2026-08-27 17:56 +0200
SubjectFrom short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars)
Message-ID<116pmoa$16tkj$2@solani.org>
In reply to#646754
Hi,

The word Musings has a totally new meaning:

Torbjörn Lager wrote:
 > When
 >
 > call(Goal), Self ! Pid-Goal
 >
 > succeeds, that top-level goal has completed
 > and the actor terminates successfully.

Ok, I see. I thought it will be automatically
redone, and thus rapid fire multiple solutions.
So you have already hardwired a once/1 semantic
into your spawn/3, in that the spawn/3 goal argument

when executed, is onced, only looking at its EXIT
and FAIL port, not calling once more its REDO port.
This also means that both parallel/1 and
first_solution/1 have a short-cut AND

respective OR semantic:

/* AND-parallelism with short-cut */
parallel([G1,..,Gn])   <=>   once(G1), .., once(G2)

/* OR-parallelism with short-cut */
first_solution([G1,..,Gn])   <=>   once(G1); ..; once(G2)

The short-cut is in that parallel/1 can stop
at the first failure, and that first_solution/1
can stop at the first success. I wonder whether
Web Prolog Trinity offers true AND-parallelism or

true OR-parallelism without a short-cut. Having
such constructs could be interesting for problem
solving and is often used parallel search. For
example SICStus Prolog offers, or offered, true

OR-parallelism in its Multi-sequential Prolog
engines (Muse) extension, from the SICS experiments
in the 1990s with the BNN Butterfly supercomputer
from the 1980s:

yes
| ?- muse_flag(num_workers,_,5).
| ?- run.
724 solutions in 2.760 seconds.

yes
| ?- muse_flag(num_workers,_,1).
| ?- run.
724 solutions in 10.400 seconds.

https://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_6.html

The intervention for true OR-paralleism is usually
at rule choice points. So when you have a set
of rules, like for example in the case of
the select/3 predicate:

select([X|Xs], Xs, X).
select([Y|Ys], [Y|Zs], X) :- select(Ys, Zs, X).

You execute it as:

select(X, Y, Z) :-
     muse([select1(X,Y,Z), select2(X,Y,Z)]).

select1([X|Xs], Xs, X).
select2([Y|Ys], [Y|Zs], X) :- select(Ys, Zs, X).

Where the muse meta predicate has true OR parallelism:

muse([G1,..,Gn])    <=>    G1 | .. | Gn

Bye

See also:

The muse approach to Or-parallel prolog
https://link.springer.com/article/10.1007/BF01407834

BBN Butterfly
https://en.wikipedia.org/wiki/BBN_Butterfly

P.S.: Maybe this explains my Freundlian slip when
I expected your parallel/1 to be some OR-parallelism,
while it is some AND-parallism. The true OR-parallelism

can be mathematically formalized in logic via
non-determinism and π-calculus:

π-calculus
https://ncatlab.org/nlab/show/pi-calculus

You even don’t need actor mailboxes, only channel objects.

Mild Shock schrieb:
> Hi,
> 
> We recently implemented a parallel π-WAM
> on a GPU backend and could demonstrate an
> estimated 11.4 Giga Lips. In this post we
> report a further experiment, this time
> presenting a parallel π-WAM on a CPU backend,
> that can lift specialized Prolog, currently
> to 1.7 Giga Lips performance.
> 
> Having an excess number of threads is a
> bad idea. What if we do context switching
> on our own? With this approach we could
> bring down the execution time of 128 Hack
> VMs by 33%. We estimate for the test which
> had 11.4 GLips on the GPU, that we reach
> 1.7 GLips on the CPU.
> 
> Bye
> 
> See also:
> 
> Parallel π-WAM: 1.7 Giga Lips on a CPU
> https://medium.com/2989/8a984e75af44
> 
> Mild Shock schrieb:
>> Hi,
>>
>> TSMC's 2nm (N2) node and the 7 GHz target
>> represent a monumental milestone in silicon
>> manufacturing, shifting away from legacy
>> FinFETs to advanced Gate-All-Around (GAA)
>> nanosheet transistors.
>>
>> This evolution allows chip designers—particularly
>> in the PC and AI sectors—to push processor
>> clock speeds previously thought impossible
>> on standard nodes
>>
>> AMD confirms Zen 6 rollout for its July 22 AI event
>> https://videocardz.com/newz/amd-confirms-zen-6-launches-in-less-than-two-weeks-starting-with-epyc-venice 
>>
>>
>> Production of the 6th Gen EPYC family is
>> already ramping up. AMD says Venice is its
>> first high-performance computing product
>> manufactured using TSMC’s 2nm process
>> technology.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> For marketing purposes people
>>> typically look at the race towards
>>> 2nm, and we find:
>>>
>>> A month ago, Apple lost its exclusivity
>>> on 3 nm smartphone processors with
>>> MediaTek’s Dimensity 9400 chip, integrated
>>> in the Vivo X200 Pro smartphone. Qualcomm
>>> is also in the race with its recently
>>> unveiled Snapdragon 8 Elite and set to
>>> power the Xiaomi 15 Pro in 2025. However,
>>> Apple should regain its position as innovation
>>> leader in 2026 with the release of the
>>> iPhone 18, which should feature the A20
>>> chip built on TSMC’s 2 nm process."
>>>
>>> But there is a vertical vias revolution
>>> going on as well, some SOCs typically
>>> being at 18 layers now:
>>>
>>> Zooming Into a CPU (It's Incredible)
>>> https://www.youtube.com/watch?v=Bez-2cvYja0
>>>
>>> imec has coined the term CMOS 2.0:
>>>
>>> LEUVEN (Belgium), MARCH 12th, 2026 — Imec,
>>> a world-leading research and innovation hub
>>> in advanced semiconductor technologies, has
>>> launched a first-of-its-kind consortium with
>>> 26 European university groups that will jointly
>>> work on the technology roadmap beyond
>>> CMOS scaling (CMOS 2.0).
>>> https://www.imec-int.com/en/press/imec-launches-university-consortium-around-next-generation-chips 
>>>
>>>
>>> So we might see more mobile grade GPUs.
>>>
>>> Bye
>>
> 

[toc] | [prev] | [next] | [standalone]


#647430 — Re: From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars)

FromSerafin Zavrajnov <naj@varrjn.ru>
Date2026-08-27 20:57 +0000
SubjectRe: From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars)
Message-ID<116q8bk$3dsib$1@news.nntp4.net>
In reply to#647428
Mild Shock wrote:

> respective OR semantic:
> 
> /* AND-parallelism with short-cut */ parallel([G1,..,Gn])   <=>  
> once(G1), .., once(G2)
> 
> /* OR-parallelism with short-cut */ first_solution([G1,..,Gn])   <=>  
> once(G1); ..; once(G2)

nonsense

[toc] | [prev] | [next] | [standalone]


#647434 — Re: From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars)

FromMild Shock <janburse@fastmail.fm>
Date2026-08-29 03:09 +0200
SubjectRe: From short-cut parallelism to true parallelism [π-WAM Musings] (Was: pi-WAM is just like Laika3, the first Dog on Mars)
Message-ID<116tbh0$19f50$1@solani.org>
In reply to#647428
Hi,

 > has alreay the meaning of Prolog REPL without
 > any actors. Moslikely its a strange view of
 > having a WASM somewhere? That does something
 > for you? I am really clueless what “toplevel”
 > should mean.

I think Erlang is completely dead. And I repeat it.
What you need to do is go back to WAM. Also state
charts are dead, WAM has switch instructions, it
can perfectly do state charts. Scryer Prolog

made some state chart tests:

Backtracking DCG vs DFA vs Rational Tree Automaton
https://github.com/mthom/scryer-prolog/discussions/3433https://github.com/mthom/scryer-prolog/discussions/3433#discussioncomment-18138834

What you need to investigate how SWI Prolog
can become again a WAM Prolog that can generate
WAM code. And that actors can also exchange
binary WAM code.

And spawn/1 will have a parameter to create
1000 actors or more instantly. And most of all
don’t use the word “actor” anymore, use the
word “agent”. Disclaimer: Of course

WAM is not the only option here. But in as
far, it seems am not the only one embracing GPU
with my π-WAM for Dogelog Player. Some big
companies like Palantir use

GPU for search .filter and aggregation
.group_by / .agg. Would be nice if one could
write Prolog, and ship it to a GPU ? What do
you think, you are at the source of actor

thinking, and that your brought state charts
into play makes you destined to have a broad
horizon that is needed to grok some things related
to the AI Boom which have nothing to do with LLM:

     result = (
         lf.with_columns(
             (pl.col("a") * pl.col("b")).alias("product"),
             (pl.col("a").pow(2) + pl.col("b").pow(2)).sqrt().alias("norm"),
         )
         .group_by("category")
         .agg(
             pl.col("product").sum().alias("total_product"),
             pl.col("norm").mean().alias("mean_norm"),
             pl.len().alias("n"),
         )
         .sort("total_product", descending=True)
     )
https://www.palantir.com/docs/foundry/transforms-python/advanced-compute#gpu-accelerated-polars-with-cudf

The speedup for a NIVIDIA B200 is amazing:

https://docs.rapids.ai/api/cudf/stable/cudf_polars/

Bye

Mild Shock schrieb:
 > Hi,
 >
 > The word Musings has a totally new meaning:
 >
 > Torbjörn Lager wrote:
 >  > When
 >  >
 >  > call(Goal), Self ! Pid-Goal
 >  >
 >  > succeeds, that top-level goal has completed
 >  > and the actor terminates successfully.
 >
 > Ok, I see. I thought it will be automatically
 > redone, and thus rapid fire multiple solutions.
 > So you have already hardwired a once/1 semantic
 > into your spawn/3, in that the spawn/3 goal argument
 >
 > when executed, is onced, only looking at its EXIT
 > and FAIL port, not calling once more its REDO port.
 > This also means that both parallel/1 and
 > first_solution/1 have a short-cut AND
 >
 > respective OR semantic:
 >
 > /* AND-parallelism with short-cut */
 > parallel([G1,..,Gn])   <=>   once(G1), .., once(G2)
 >
 > /* OR-parallelism with short-cut */
 > first_solution([G1,..,Gn])   <=>   once(G1); ..; once(G2)
 >
 > The short-cut is in that parallel/1 can stop
 > at the first failure, and that first_solution/1
 > can stop at the first success. I wonder whether
 > Web Prolog Trinity offers true AND-parallelism or
 >
 > true OR-parallelism without a short-cut. Having
 > such constructs could be interesting for problem
 > solving and is often used parallel search. For
 > example SICStus Prolog offers, or offered, true
 >
 > OR-parallelism in its Multi-sequential Prolog
 > engines (Muse) extension, from the SICS experiments
 > in the 1990s with the BNN Butterfly supercomputer
 > from the 1980s:
 >
 > yes
 > | ?- muse_flag(num_workers,_,5).
 > | ?- run.
 > 724 solutions in 2.760 seconds.
 >
 > yes
 > | ?- muse_flag(num_workers,_,1).
 > | ?- run.
 > 724 solutions in 10.400 seconds.
 >
 > https://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_6.html
 >
 > The intervention for true OR-paralleism is usually
 > at rule choice points. So when you have a set
 > of rules, like for example in the case of
 > the select/3 predicate:
 >
 > select([X|Xs], Xs, X).
 > select([Y|Ys], [Y|Zs], X) :- select(Ys, Zs, X).
 >
 > You execute it as:
 >
 > select(X, Y, Z) :-
 >      muse([select1(X,Y,Z), select2(X,Y,Z)]).
 >
 > select1([X|Xs], Xs, X).
 > select2([Y|Ys], [Y|Zs], X) :- select(Ys, Zs, X).
 >
 > Where the muse meta predicate has true OR parallelism:
 >
 > muse([G1,..,Gn])    <=>    G1 | .. | Gn
 >
 > Bye
 >
 > See also:
 >
 > The muse approach to Or-parallel prolog
 > https://link.springer.com/article/10.1007/BF01407834
 >
 > BBN Butterfly
 > https://en.wikipedia.org/wiki/BBN_Butterfly
 >
 > P.S.: Maybe this explains my Freundlian slip when
 > I expected your parallel/1 to be some OR-parallelism,
 > while it is some AND-parallism. The true OR-parallelism
 >
 > can be mathematically formalized in logic via
 > non-determinism and π-calculus:
 >
 > π-calculus
 > https://ncatlab.org/nlab/show/pi-calculus
 >
 > You even don’t need actor mailboxes, only channel objects.
 >

[toc] | [prev] | [next] | [standalone]


#647435 — I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings])

FromMild Shock <janburse@fastmail.fm>
Date2026-08-29 03:10 +0200
SubjectI think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings])
Message-ID<116tbit$19f50$2@solani.org>
In reply to#647428
Hi,

 > has alreay the meaning of Prolog REPL without
 > any actors. Moslikely its a strange view of
 > having a WASM somewhere? That does something
 > for you? I am really clueless what “toplevel”
 > should mean.

I think Erlang is completely dead. And I repeat it.
What you need to do is go back to WAM. Also state
charts are dead, WAM has switch instructions, it
can perfectly do state charts. Scryer Prolog

made some state chart tests:

Backtracking DCG vs DFA vs Rational Tree Automaton
https://github.com/mthom/scryer-prolog/discussions/3433https://github.com/mthom/scryer-prolog/discussions/3433#discussioncomment-18138834

What you need to investigate how SWI Prolog
can become again a WAM Prolog that can generate
WAM code. And that actors can also exchange
binary WAM code.

And spawn/1 will have a parameter to create
1000 actors or more instantly. And most of all
don’t use the word “actor” anymore, use the
word “agent”. Disclaimer: Of course

WAM is not the only option here. But in as
far, it seems am not the only one embracing GPU
with my π-WAM for Dogelog Player. Some big
companies like Palantir use

GPU for search .filter and aggregation
.group_by / .agg. Would be nice if one could
write Prolog, and ship it to a GPU ? What do
you think, you are at the source of actor

thinking, and that your brought state charts
into play makes you destined to have a broad
horizon that is needed to grok some things related
to the AI Boom which have nothing to do with LLM:

     result = (
         lf.with_columns(
             (pl.col("a") * pl.col("b")).alias("product"),
             (pl.col("a").pow(2) + pl.col("b").pow(2)).sqrt().alias("norm"),
         )
         .group_by("category")
         .agg(
             pl.col("product").sum().alias("total_product"),
             pl.col("norm").mean().alias("mean_norm"),
             pl.len().alias("n"),
         )
         .sort("total_product", descending=True)
     )
https://www.palantir.com/docs/foundry/transforms-python/advanced-compute#gpu-accelerated-polars-with-cudf

The speedup for a NIVIDIA B200 is amazing:

https://docs.rapids.ai/api/cudf/stable/cudf_polars/

Bye

Mild Shock schrieb:
 > Hi,
 >
 > The word Musings has a totally new meaning:
 >
 > Torbjörn Lager wrote:
 >  > When
 >  >
 >  > call(Goal), Self ! Pid-Goal
 >  >
 >  > succeeds, that top-level goal has completed
 >  > and the actor terminates successfully.
 >
 > Ok, I see. I thought it will be automatically
 > redone, and thus rapid fire multiple solutions.
 > So you have already hardwired a once/1 semantic
 > into your spawn/3, in that the spawn/3 goal argument
 >
 > when executed, is onced, only looking at its EXIT
 > and FAIL port, not calling once more its REDO port.
 > This also means that both parallel/1 and
 > first_solution/1 have a short-cut AND
 >
 > respective OR semantic:
 >
 > /* AND-parallelism with short-cut */
 > parallel([G1,..,Gn])   <=>   once(G1), .., once(G2)
 >
 > /* OR-parallelism with short-cut */
 > first_solution([G1,..,Gn])   <=>   once(G1); ..; once(G2)
 >
 > The short-cut is in that parallel/1 can stop
 > at the first failure, and that first_solution/1
 > can stop at the first success. I wonder whether
 > Web Prolog Trinity offers true AND-parallelism or
 >
 > true OR-parallelism without a short-cut. Having
 > such constructs could be interesting for problem
 > solving and is often used parallel search. For
 > example SICStus Prolog offers, or offered, true
 >
 > OR-parallelism in its Multi-sequential Prolog
 > engines (Muse) extension, from the SICS experiments
 > in the 1990s with the BNN Butterfly supercomputer
 > from the 1980s:
 >
 > yes
 > | ?- muse_flag(num_workers,_,5).
 > | ?- run.
 > 724 solutions in 2.760 seconds.
 >
 > yes
 > | ?- muse_flag(num_workers,_,1).
 > | ?- run.
 > 724 solutions in 10.400 seconds.
 >
 > https://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_6.html
 >
 > The intervention for true OR-paralleism is usually
 > at rule choice points. So when you have a set
 > of rules, like for example in the case of
 > the select/3 predicate:
 >
 > select([X|Xs], Xs, X).
 > select([Y|Ys], [Y|Zs], X) :- select(Ys, Zs, X).
 >
 > You execute it as:
 >
 > select(X, Y, Z) :-
 >      muse([select1(X,Y,Z), select2(X,Y,Z)]).
 >
 > select1([X|Xs], Xs, X).
 > select2([Y|Ys], [Y|Zs], X) :- select(Ys, Zs, X).
 >
 > Where the muse meta predicate has true OR parallelism:
 >
 > muse([G1,..,Gn])    <=>    G1 | .. | Gn
 >
 > Bye
 >
 > See also:
 >
 > The muse approach to Or-parallel prolog
 > https://link.springer.com/article/10.1007/BF01407834
 >
 > BBN Butterfly
 > https://en.wikipedia.org/wiki/BBN_Butterfly
 >
 > P.S.: Maybe this explains my Freundlian slip when
 > I expected your parallel/1 to be some OR-parallelism,
 > while it is some AND-parallism. The true OR-parallelism
 >
 > can be mathematically formalized in logic via
 > non-determinism and π-calculus:
 >
 > π-calculus
 > https://ncatlab.org/nlab/show/pi-calculus
 >
 > You even don’t need actor mailboxes, only channel objects.
 >

[toc] | [prev] | [next] | [standalone]


#647437 — Re: I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings])

FromBonny Tubinov <oioo@yubby.ru>
Date2026-08-30 10:34 +0000
SubjectRe: I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings])
Message-ID<11710uq$3p6nr$1@news.nntp4.net>
In reply to#647435
Mild Shock wrote:

> I think Erlang is completely dead. And I repeat it.
> What you need to do is go back to WAM. Also state charts are dead, WAM
> has switch instructions, it can perfectly do state charts. Scryer Prolog

nothing, obsolete

[toc] | [prev] | [standalone]


Back to top | Article view | sci.math


csiph-web