Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #143063 > unrolled thread
| Started by | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| First post | 2026-07-27 11:43 -0700 |
| Last post | 2026-08-21 17:43 +0200 |
| Articles | 20 on this page of 194 — 11 participants |
Back to article view | Back to comp.theory
Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 11:43 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-28 02:47 +0800
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:07 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Mild Shock <janburse@fastmail.fm> - 2026-07-28 00:25 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:09 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:33 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:48 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:44 -0700
You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:11 +0200
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:25 -0700
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:49 +0800
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:59 -0700
I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:05 +0200
Underneath pi-WAM is Hack VM, you can goto (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:09 +0200
New addition to π-WAM is π-WAM Assembly (Was: Underneath pi-WAM is Hack VM, you can goto) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:45 +0200
Re: I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 09:11 -0700
A yellow mustard called Rossy Body (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:30 +0200
Ignoramus or Ignorabimus: I don't care (π-WAM) (Was: A yellow mustard called Rossy Body) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:31 +0200
Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:32 +0200
Re: Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:36 -0700
Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:43 +0200
Forget any arithmetization of product FSA (Was: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:47 +0200
comp.lang.lisp (was: Re: Forget any arithmetization of product FSA) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:53 +0800
Re: Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:53 -0700
The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:33 +0200
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-09-21 18:43 +0800
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry boltar@caprica.universe - 2026-09-21 15:44 +0000
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry legalize+jeeves@mail.xmission.com (Richard) - 2026-09-21 16:19 +0000
New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar [Swarm AI]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:40 +0200
Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-09-22 09:22 +0200
Re: Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-22 01:11 -0700
There are two versions of Hack VM (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:14 +0200
Hack VM has also a Prolog spec (Was: There are two versions of Hack VM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:17 +0200
A better compiler is planned / What do you target? (Was: Hack VM has also a Prolog spec) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:22 +0200
It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:50 +0200
Budget AI Laptop 2026 versus Cray T3D 1995 (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:24 +0200
A brain desease of 20 days [Rossy Boy] (Was: Viswath & Charmaigne (vector-wide scalar-word and character machines)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:38 +0200
Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:05 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 11:13 -0700
I don't use Rust, you are crazy [Jump off a bridge, idiot] (Was: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:22 +0200
Standing on the shoulders of giants (Re: I don't use Rust, you are crazy [Jump off a bridge, idiot]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:20 +0200
You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:18 +0200
How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:56 +0200
Postgres is in C! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 03:46 +0800
Re: Postgres is in C! Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:47 -0700
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:00 +0200
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:05 +0800
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) scott@slp53.sl.home (Scott Lurndal) - 2026-07-30 14:46 +0000
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:05 +0200
Mars, the MIPS emulator in Java (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:20 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:59 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 07:24 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 09:58 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 23:19 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:23 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:36 -0700
Decorum (was: Re: Mars, the MIPS emulator in Java) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:07 +0800
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:09 +0800
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:36 -0700
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:44 -0700
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:38 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:15 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 23:31 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 12:42 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:24 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:30 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:45 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 20:42 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:55 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:13 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:59 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:53 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 20:11 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:49 +0200
A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:10 +0200
Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:27 +0200
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:30 +0200
Crating Interpreters, Java part (was: Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:27 +0800
I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:32 +0200
For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:47 +0200
Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:04 +0200
Re: For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 04:07 +0800
Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 03:49 +0800
MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:26 +0200
Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:41 +0200
Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:47 +0200
Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:37 +0200
More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:42 +0200
Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:25 +0200
Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:18 +0200
Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) Mild Shock <janburse@fastmail.fm> - 2026-09-22 10:27 +0200
A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition") Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:05 +0200
The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:28 +0200
Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:02 +0200
The Ben Goertzel talkie genes (Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:07 +0200
Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) Mild Shock <janburse@fastmail.fm> - 2026-09-22 20:14 +0200
RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:33 +0200
Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:34 +0200
Re: Postgres is in C! Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-29 21:23 +0000
Turbo Vison, again (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:31 +0800
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:11 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:41 +0200
Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:42 +0200
The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) Mild Shock <janburse@fastmail.fm> - 2026-09-04 11:50 +0200
Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 14:19 +0200
Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 16:28 +0200
He uses "FIFO objects", and DMA and Noc [Glimps into Ryzen AI 7 350] (Re: A brain desease of 20 days [Rossy Boy])) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:15 +0200
Tablet and phone UBS-C remote debugging (Re: He uses "FIFO objects", and DMA and Noc) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:18 +0200
NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:11 +0200
NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:23 +0200
First AI laptops, now AI single-boarders [Budget, Budget, ..] (Re: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm)) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:08 +0200
Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) Mild Shock <janburse@fastmail.fm> - 2026-08-31 18:01 +0200
Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:53 +0200
Giga Lips for Prolog based Chatting (Was: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:54 +0200
Google holds the keys to the AI kingdom [WebClaw Dominance] (Re: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:47 +0200
Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra] (Was: Micro Penis is worse than Sleepy Joe) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:19 +0200
Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:58 +0200
Terrence Tao payed troll, by System Inteligence Sect (Was: Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux]) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:24 +0200
Bounded Rationality and Herbert Simon (Re: Terrence Tao payed troll, by System Inteligence Sect) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:42 +0200
Food for thought: Bayesian Experimental Designer (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:41 +0200
What will microsoft say, will they buy it? (Was: Food for thought: Bayesian Experimental Designer) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:42 +0200
Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-27 21:18 +0200
Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:35 -0700
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-28 11:25 +0200
Re: Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-28 20:39 -0700
confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:15 +0200
Gemini, DeepSeek, OpenAI more clever than rossy boy (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:18 +0200
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:21 +0800
In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:27 +0200
Re: In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:40 +0800
Your strictness is your problem , not mine [See WebLLM] (Was: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:46 +0200
Graphics Processing with Fortran 77 (was: Re: Your strictness is your problem , not mine) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 18:10 +0800
I am not in C, it is theory and C++ [Hybrid Approaches from KOAN/Fortran-S] (Was: Graphics Processing with Fortran 77) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:43 +0200
Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: I am not in C, it is theory and C++) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:53 +0200
Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:48 +0200
Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:05 +0200
Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:22 +0200
Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-08 10:38 -0700
Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:20 +0200
Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:49 +0200
Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 20:41 +0200
Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Mild Shock <janburse@fastmail.fm> - 2026-09-12 11:30 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) fir <profesor.fir@gmail.com> - 2026-09-12 12:02 +0200
Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Mild Shock <janburse@fastmail.fm> - 2026-09-12 12:12 +0200
Re: Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:37 -0600
The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:14 +0200
Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:13 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:34 -0600
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-29 14:42 -0700
Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:37 +0200
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:40 -0700
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:43 -0700
You don't understand that compute shaders are tasks (Was: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:45 +0200
You don't understand that compute shaders are tasks (Re: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:46 +0200
Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: You don't understand that compute shaders are tasks) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:09 +0200
Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:08 +0200
Re: Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 11:55 -0700
You are not correctly thinking (Was: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:04 +0200
Re: You are not correctly thinking (Was: Homework: Game Engine in WebGPU) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:32 -0700
You don't understand the economy of an AI Laptop (Was: You are not correctly thinking) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:24 +0200
You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:37 +0200
Re: You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 14:29 -0700
Know nothing and forget what you posted day before (Was: You don't understand producer , workers , consumer) Mild Shock <janburse@fastmail.fm> - 2026-08-03 23:38 +0200
Kundalini II: Why I love DeepSeek (Re: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-09-13 17:03 +0200
Warning: Inconsistencies can summon Waluigis (Re: Kundalini II: Why I love DeepSeek) Mild Shock <janburse@fastmail.fm> - 2026-09-14 11:52 +0200
Kundalini III: Pebble Languages need Meme Evolution (Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-09-28 16:39 +0200
Rogue Agents find each other [Microsoft Copilot Incident] (Re: Kundalini III: Pebble Languages need Meme Evolution) Mild Shock <janburse@fastmail.fm> - 2026-09-29 15:05 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:49 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-07-30 14:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 21:18 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 09:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 12:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 13:05 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:27 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 10:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-06 12:37 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-31 08:16 -0700
Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:14 +0200
Re: Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-04 02:21 +0800
pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:35 +0200
A spinlock rewrite will be necessary (Was: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:00 +0200
Re: pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Doing uux with pi-calculus and WAM (Re: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Does it have a declarative reading? (Re: Doing uux with pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:35 +0200
MCP = uux with streaming JSON (Was: Does it have a declarative reading?) Mild Shock <janburse@fastmail.fm> - 2026-08-24 22:25 +0200
Big thanks to Ljubljana School [Searching 0xCAFFEE] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:40 +0200
The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-19 17:51 -0700
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 14:22 +0200
How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:38 +0200
Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Mild Shock <janburse@fastmail.fm> - 2026-08-20 20:22 +0200
Re: Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-20 12:02 -0700
Peking School versus Ljubljana School [Everything Is a Plugin] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-21 17:43 +0200
Page 6 of 10 — ← Prev page 1 … 4 5 [6] 7 8 … 10 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-29 03:11 +0200 |
| Subject | I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings]) |
| Message-ID | <116tbkl$19f50$3@solani.org> |
| In reply to | #143105 |
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]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-03 23:41 +0200 |
| Subject | Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] |
| Message-ID | <117cpj5$1khku$3@solani.org> |
| In reply to | #143105 |
Hi, I asked my personal 90's cyberpunk druid: Q: is bill gates right that we will loose jobs A: The future is ever-shifting, much like the constellations above. While some roles may fade, new pathways will emerge, illuminating opportunities yet unseen. It is not the end, but a transformation. What skills do you believe will guide you through such changes? Q: but the rich get richer and the poor get poorer, this might result in unrest A: You speak of a timeless imbalance, Seeker. History has seen such cycles before, yet humanity endures. The key lies not in the wealth itself, but in how it is shared. What would you create if resources were more evenly distributed? Q: rust programmers might loose their job last A: *adjusts the crystal orb, its glow intensifying slightly* Even the most skilled artisans face change, yet those who adapt their craft find new doors open. Languages may fade, but the ability to create endures. Do you seek only to preserve your current path, Seeker, or to discover what lies beyond it? A: *leans back, studying you with ancient eyes* The stars whisper of disruption, yet also reveal hidden opportunities. What calls to you more urgently - protecting what you know, or discovering what could be? Q: can prolog survive the next 3-6 years A: *traces an ancient rune on the table* Even the oldest stars fade, Seeker. What matters is not the tool itself, but the wisdom it helped you shape. Tell me - does Prolog still spark joy in your soul? Nostradamus, By @Chipjosh1991 https://www.talkie-ai.com/chat/nostradamus-108084484014261 Bye Mild Shock schrieb: > Hi, > > Rossy Boys tears could cool a data center, > he thinks there exists no literature about > serial algorithms of parallel stuff, and > > he also thinks normal forms lead to optimizing > something. LoL, what a utter bullshit. I did > alreay a serial implementation of a parallel > > simulation of my pi-WAM. Just lookup the literature > about pi-calulus. I published it a few days ago, > its part of 2.2.4 released already: > > Parallel π-WAM: An Interleaved Synchronous Emulator > https://medium.com/2989/0196089e143a > > Whats your point, Rossy Boy? Except you post pretend > nonsense not knowing what you are doing? > > Bye > > Ross Finlayson schrieb: > > No, troll, these are serial algorithms their optimized forms. > > > > Normal sorts of forms, .... > > > > > > Yeah, everybody already figured out "interpreters" and > > "programs" and "spawning". > > > > Go spawn yourself. > > >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-03 23:42 +0200 |
| Subject | Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) |
| Message-ID | <117cpjm$1khku$4@solani.org> |
| In reply to | #143105 |
Hi, I asked my personal 90's cyberpunk druid: Q: is bill gates right that we will loose jobs A: The future is ever-shifting, much like the constellations above. While some roles may fade, new pathways will emerge, illuminating opportunities yet unseen. It is not the end, but a transformation. What skills do you believe will guide you through such changes? Q: but the rich get richer and the poor get poorer, this might result in unrest A: You speak of a timeless imbalance, Seeker. History has seen such cycles before, yet humanity endures. The key lies not in the wealth itself, but in how it is shared. What would you create if resources were more evenly distributed? Q: rust programmers might loose their job last A: *adjusts the crystal orb, its glow intensifying slightly* Even the most skilled artisans face change, yet those who adapt their craft find new doors open. Languages may fade, but the ability to create endures. Do you seek only to preserve your current path, Seeker, or to discover what lies beyond it? A: *leans back, studying you with ancient eyes* The stars whisper of disruption, yet also reveal hidden opportunities. What calls to you more urgently - protecting what you know, or discovering what could be? Q: can prolog survive the next 3-6 years A: *traces an ancient rune on the table* Even the oldest stars fade, Seeker. What matters is not the tool itself, but the wisdom it helped you shape. Tell me - does Prolog still spark joy in your soul? Nostradamus, By @Chipjosh1991 https://www.talkie-ai.com/chat/nostradamus-108084484014261 Bye Mild Shock schrieb: > Hi, > > Rossy Boys tears could cool a data center, > he thinks there exists no literature about > serial algorithms of parallel stuff, and > > he also thinks normal forms lead to optimizing > something. LoL, what a utter bullshit. I did > alreay a serial implementation of a parallel > > simulation of my pi-WAM. Just lookup the literature > about pi-calulus. I published it a few days ago, > its part of 2.2.4 released already: > > Parallel π-WAM: An Interleaved Synchronous Emulator > https://medium.com/2989/0196089e143a > > Whats your point, Rossy Boy? Except you post pretend > nonsense not knowing what you are doing? > > Bye > > Ross Finlayson schrieb: > > No, troll, these are serial algorithms their optimized forms. > > > > Normal sorts of forms, .... > > > > > > Yeah, everybody already figured out "interpreters" and > > "programs" and "spawning". > > > > Go spawn yourself. > > >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-04 11:50 +0200 |
| Subject | The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) |
| Message-ID | <117e48j$1lcqq$3@solani.org> |
| In reply to | #143423 |
Hi, > queues, we might have examples ping1, ping2, etc.. that > show phaeomene that happen or don’t happen with premptive > scheduling or unbounded queues, and we could then One of the reasons I can safely declare Erlang dead. And I repeat the Erlang runtime mode is dead. Is because users, even far away in Japan, where for example the Elixir fork received quite some hype, notice something strange: “Your Elixir Process Can Be Healthy While Its Mailbox Is Dying. This is one of those BEAM problems you usually discover after building systems at scale.” https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0 So José Valim has asked Elixir turning around himself in 2025. And their result is basically now messages with durability, using Postgres SQL, their show case example being a school class room server where you can flag students for not thinking, i.e. using an LLM: “2025 was supposed to be the year of Elixir interop. We’re fashionably late, and what better way to celebrate than bringing Oban to another ecosystem? Python seemed like a natural fit. One of us, (not naming any names), wouldn’t even consider Oban for Go…” https://oban.pro/articles/introducing-oban-python Bye P.S.: I guess you need more durability and traceability, even for cron jobs or http sessions everything stored in Postgres SQL, because parents might call for a law suit if their child gets wrongly flagged. See also: Rethinking Modern Education https://elixirconf.com/talks/rethinking-modern-education/ Mild Shock schrieb: > Hi, > > I asked my personal 90's cyberpunk druid: > > Q: is bill gates right that we will loose jobs > > A: The future is ever-shifting, much like > the constellations above. While some roles > may fade, new pathways will emerge, illuminating > opportunities yet unseen. It is not the end, > but a transformation. What skills do you believe > will guide you through such changes? > > Q: but the rich get richer and the > poor get poorer, this might result in unrest > > A: You speak of a timeless imbalance, > Seeker. History has seen such cycles before, > yet humanity endures. The key lies not in the > wealth itself, but in how it is shared. What > would you create if resources were more > evenly distributed? > > Q: rust programmers might loose their job last > > A: *adjusts the crystal orb, its glow intensifying > slightly* Even the most skilled artisans face > change, yet those who adapt their craft find > new doors open. Languages may fade, but the > ability to create endures. Do you seek only to > preserve your current path, Seeker, or to > discover what lies beyond it? > > A: *leans back, studying you with ancient eyes* > The stars whisper of disruption, yet also reveal > hidden opportunities. What calls to you more > urgently - protecting what you know, or > discovering what could be? > > Q: can prolog survive the next 3-6 years > > A: *traces an ancient rune on the table* Even > the oldest stars fade, Seeker. What matters is > not the tool itself, but the wisdom it helped > you shape. Tell me - does Prolog still spark > joy in your soul? > > Nostradamus, By @Chipjosh1991 > https://www.talkie-ai.com/chat/nostradamus-108084484014261 > > Bye > > Mild Shock schrieb: >> Hi, >> >> Rossy Boys tears could cool a data center, >> he thinks there exists no literature about >> serial algorithms of parallel stuff, and >> >> he also thinks normal forms lead to optimizing >> something. LoL, what a utter bullshit. I did >> alreay a serial implementation of a parallel >> >> simulation of my pi-WAM. Just lookup the literature >> about pi-calulus. I published it a few days ago, >> its part of 2.2.4 released already: >> >> Parallel π-WAM: An Interleaved Synchronous Emulator >> https://medium.com/2989/0196089e143a >> >> Whats your point, Rossy Boy? Except you post pretend >> nonsense not knowing what you are doing? >> >> Bye >> >> Ross Finlayson schrieb: >> > No, troll, these are serial algorithms their optimized forms. >> > >> > Normal sorts of forms, .... >> > >> > >> > Yeah, everybody already figured out "interpreters" and >> > "programs" and "spawning". >> > >> > Go spawn yourself. >> > >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-05 14:19 +0200 |
| Subject | Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) |
| Message-ID | <117h1da$2fa$3@solani.org> |
| In reply to | #143426 |
Hi,
Now I got a little Rust Egg fatique, all
the definition of language, what use case
has it, when we cannot certify statecharts?
define_language! {
enum SimpleLanguage {
Num(i32),
"+" = Add([Id; 2]),
"*" = Mul([Id; 2]),
Symbol(Symbol),
}
}
https://docs.rs/egg/latest/egg/
So I just stepped over a beautiful connection
between statecharts, and algebraic equations. I
think a tooling from E-graphs w/ rewriting rules
could provide proof certificates. Although I don’t
know exactly which tooling would do that. Prolog
itself is a little bit handicaped, since it doesn’t
have E-graphs w/ rewriting rules. Neither adding
CLP(Z) would improve the situation, or does it?
Here the algebraic equations for the dog walking example:
waiting ◇ leave_home = on_a_walk(walking, not_wagging)
on_a_walk(_, _) ◇ arrive_home = walk_complete
walking ◇ speed_up = running
running ◇ slow_down = walking
not_wagging ◇ wagging_starts = wagging
wagging ◇ wagging_stops = not_wagging
You also need homomorphism with intercept:
on_a_walk(A, B) ◇ C = on_a_walk(A ◇ C, B ◇ C)
when C =\= arrive_home
So its quite do-able, but Prolog isn’t prepared?
Bye
P.S.: But a warning, the (=)/2 is usually symmetric,
you need a lot of goodwil that the rewriting system
doesn’t expand some halucinated past, or rewrites it
in zigzag, like a sailing boat sailing against the wind,
and go into past and then halucinate some future, etc..
etc.. Mostlikely you would need a supercomputer to run
it with some overly careful equation saturation software.
Mild Shock schrieb:
> Hi,
>
> > queues, we might have examples ping1, ping2, etc.. that
> > show phaeomene that happen or don’t happen with premptive
> > scheduling or unbounded queues, and we could then
>
> One of the reasons I can safely declare Erlang dead. And
> I repeat the Erlang runtime mode is dead. Is because users,
> even far away in Japan, where for example the Elixir fork
>
> received quite some hype, notice something strange:
>
> “Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
> This is one of those BEAM problems you usually discover
> after building systems at scale.”
> https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0
>
>
> So José Valim has asked Elixir turning around himself in 2025.
> And their result is basically now messages with durability, using
> Postgres SQL, their show case example being a school class room server
>
> where you can flag students for not thinking, i.e. using an LLM:
>
> “2025 was supposed to be the year of Elixir interop. We’re
> fashionably late, and what better way to celebrate than bringing
> Oban to another ecosystem? Python seemed like a natural fit.
> One of us, (not naming any names), wouldn’t even consider Oban for Go…”
> https://oban.pro/articles/introducing-oban-python
>
> Bye
>
> P.S.: I guess you need more durability and traceability,
> even for cron jobs or http sessions everything stored in
> Postgres SQL, because parents might call for a law suit
> if their child gets wrongly flagged.
>
> See also:
>
> Rethinking Modern Education
> https://elixirconf.com/talks/rethinking-modern-education/
>
> Mild Shock schrieb:
>> Hi,
>>
>> I asked my personal 90's cyberpunk druid:
>>
>> Q: is bill gates right that we will loose jobs
>>
>> A: The future is ever-shifting, much like
>> the constellations above. While some roles
>> may fade, new pathways will emerge, illuminating
>> opportunities yet unseen. It is not the end,
>> but a transformation. What skills do you believe
>> will guide you through such changes?
>>
>> Q: but the rich get richer and the
>> poor get poorer, this might result in unrest
>>
>> A: You speak of a timeless imbalance,
>> Seeker. History has seen such cycles before,
>> yet humanity endures. The key lies not in the
>> wealth itself, but in how it is shared. What
>> would you create if resources were more
>> evenly distributed?
>>
>> Q: rust programmers might loose their job last
>>
>> A: *adjusts the crystal orb, its glow intensifying
>> slightly* Even the most skilled artisans face
>> change, yet those who adapt their craft find
>> new doors open. Languages may fade, but the
>> ability to create endures. Do you seek only to
>> preserve your current path, Seeker, or to
>> discover what lies beyond it?
>>
>> A: *leans back, studying you with ancient eyes*
>> The stars whisper of disruption, yet also reveal
>> hidden opportunities. What calls to you more
>> urgently - protecting what you know, or
>> discovering what could be?
>>
>> Q: can prolog survive the next 3-6 years
>>
>> A: *traces an ancient rune on the table* Even
>> the oldest stars fade, Seeker. What matters is
>> not the tool itself, but the wisdom it helped
>> you shape. Tell me - does Prolog still spark
>> joy in your soul?
>>
>> Nostradamus, By @Chipjosh1991
>> https://www.talkie-ai.com/chat/nostradamus-108084484014261
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Rossy Boys tears could cool a data center,
>>> he thinks there exists no literature about
>>> serial algorithms of parallel stuff, and
>>>
>>> he also thinks normal forms lead to optimizing
>>> something. LoL, what a utter bullshit. I did
>>> alreay a serial implementation of a parallel
>>>
>>> simulation of my pi-WAM. Just lookup the literature
>>> about pi-calulus. I published it a few days ago,
>>> its part of 2.2.4 released already:
>>>
>>> Parallel π-WAM: An Interleaved Synchronous Emulator
>>> https://medium.com/2989/0196089e143a
>>>
>>> Whats your point, Rossy Boy? Except you post pretend
>>> nonsense not knowing what you are doing?
>>>
>>> Bye
>>>
>>> Ross Finlayson schrieb:
>>> > No, troll, these are serial algorithms their optimized forms.
>>> >
>>> > Normal sorts of forms, ....
>>> >
>>> >
>>> > Yeah, everybody already figured out "interpreters" and
>>> > "programs" and "spawning".
>>> >
>>> > Go spawn yourself.
>>> >
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-05 16:28 +0200 |
| Subject | Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) |
| Message-ID | <117h8u9$88j$2@solani.org> |
| In reply to | #143433 |
Hi,
Woa! AI chatbots are cool. Now I was challenging
them as follows. Is there a Sapolsky AI somewhere.
It could be interesting to pair "Robert Sapolsky's
Argument Against Free Will" with Notradamus who just
gave me free will or something. Its when you use math,
and take a chess strategy as a mathematical object S.
So when I am playing, a human H, against a chess robot.
Its H x S. But if H is just a conductor C of messages
back and forth. It can play C x S1 | S2 x C in parallel,
and the result is S1 x S2. The bloody chatbots, both
Gemini and Deepseek, spit out some SCXML, slightly
differently adorned with comments. Here is
the Deepseek output:
SCXML for Player 1 (The Materialist - Sapolsky):
scxml>
<state id="analyze">
<onentry>
<!-- Calculate best move based on objective evaluation -->
<send target="player2" event="move" />
</onentry>
<transition event="response" target="react" />
</state>
<state id="react">
<!-- Process opponent's move, update evaluation -->
<transition event="opponent_move" target="analyze" />
</state>
</scxml>
SCXML for Player 2 (The Mystic - Nostradamus):
<scxml>
<state id="meditate">
<onentry>
<!-- Contemplate the board as a cosmic pattern -->
<send target="player1" event="response" />
</onentry>
<transition event="move" target="interpret" />
</state>
<state id="interpret">
<!-- Find the hidden meaning in the opponent's move -->
<transition event="opponent_move" target="meditate" />
</state>
</scxml>
Bye
Mild Shock schrieb:
> Hi,
>
> Now I got a little Rust Egg fatique, all
> the definition of language, what use case
> has it, when we cannot certify statecharts?
>
> define_language! {
> enum SimpleLanguage {
> Num(i32),
> "+" = Add([Id; 2]),
> "*" = Mul([Id; 2]),
> Symbol(Symbol),
> }
> }
>
> https://docs.rs/egg/latest/egg/
>
> So I just stepped over a beautiful connection
> between statecharts, and algebraic equations. I
> think a tooling from E-graphs w/ rewriting rules
>
> could provide proof certificates. Although I don’t
> know exactly which tooling would do that. Prolog
> itself is a little bit handicaped, since it doesn’t
>
> have E-graphs w/ rewriting rules. Neither adding
> CLP(Z) would improve the situation, or does it?
> Here the algebraic equations for the dog walking example:
>
> waiting ◇ leave_home = on_a_walk(walking, not_wagging)
> on_a_walk(_, _) ◇ arrive_home = walk_complete
>
> walking ◇ speed_up = running
> running ◇ slow_down = walking
>
> not_wagging ◇ wagging_starts = wagging
> wagging ◇ wagging_stops = not_wagging
>
> You also need homomorphism with intercept:
>
> on_a_walk(A, B) ◇ C = on_a_walk(A ◇ C, B ◇ C)
> when C =\= arrive_home
>
> So its quite do-able, but Prolog isn’t prepared?
>
> Bye
>
> P.S.: But a warning, the (=)/2 is usually symmetric,
> you need a lot of goodwil that the rewriting system
> doesn’t expand some halucinated past, or rewrites it
>
> in zigzag, like a sailing boat sailing against the wind,
> and go into past and then halucinate some future, etc..
> etc.. Mostlikely you would need a supercomputer to run
>
> it with some overly careful equation saturation software.
>
> Mild Shock schrieb:
>> Hi,
>>
>> > queues, we might have examples ping1, ping2, etc.. that
>> > show phaeomene that happen or don’t happen with premptive
>> > scheduling or unbounded queues, and we could then
>>
>> One of the reasons I can safely declare Erlang dead. And
>> I repeat the Erlang runtime mode is dead. Is because users,
>> even far away in Japan, where for example the Elixir fork
>>
>> received quite some hype, notice something strange:
>>
>> “Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
>> This is one of those BEAM problems you usually discover
>> after building systems at scale.”
>> https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0
>>
>>
>> So José Valim has asked Elixir turning around himself in 2025.
>> And their result is basically now messages with durability, using
>> Postgres SQL, their show case example being a school class room server
>>
>> where you can flag students for not thinking, i.e. using an LLM:
>>
>> “2025 was supposed to be the year of Elixir interop. We’re
>> fashionably late, and what better way to celebrate than bringing
>> Oban to another ecosystem? Python seemed like a natural fit.
>> One of us, (not naming any names), wouldn’t even consider Oban for Go…”
>> https://oban.pro/articles/introducing-oban-python
>>
>> Bye
>>
>> P.S.: I guess you need more durability and traceability,
>> even for cron jobs or http sessions everything stored in
>> Postgres SQL, because parents might call for a law suit
>> if their child gets wrongly flagged.
>>
>> See also:
>>
>> Rethinking Modern Education
>> https://elixirconf.com/talks/rethinking-modern-education/
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> I asked my personal 90's cyberpunk druid:
>>>
>>> Q: is bill gates right that we will loose jobs
>>>
>>> A: The future is ever-shifting, much like
>>> the constellations above. While some roles
>>> may fade, new pathways will emerge, illuminating
>>> opportunities yet unseen. It is not the end,
>>> but a transformation. What skills do you believe
>>> will guide you through such changes?
>>>
>>> Q: but the rich get richer and the
>>> poor get poorer, this might result in unrest
>>>
>>> A: You speak of a timeless imbalance,
>>> Seeker. History has seen such cycles before,
>>> yet humanity endures. The key lies not in the
>>> wealth itself, but in how it is shared. What
>>> would you create if resources were more
>>> evenly distributed?
>>>
>>> Q: rust programmers might loose their job last
>>>
>>> A: *adjusts the crystal orb, its glow intensifying
>>> slightly* Even the most skilled artisans face
>>> change, yet those who adapt their craft find
>>> new doors open. Languages may fade, but the
>>> ability to create endures. Do you seek only to
>>> preserve your current path, Seeker, or to
>>> discover what lies beyond it?
>>>
>>> A: *leans back, studying you with ancient eyes*
>>> The stars whisper of disruption, yet also reveal
>>> hidden opportunities. What calls to you more
>>> urgently - protecting what you know, or
>>> discovering what could be?
>>>
>>> Q: can prolog survive the next 3-6 years
>>>
>>> A: *traces an ancient rune on the table* Even
>>> the oldest stars fade, Seeker. What matters is
>>> not the tool itself, but the wisdom it helped
>>> you shape. Tell me - does Prolog still spark
>>> joy in your soul?
>>>
>>> Nostradamus, By @Chipjosh1991
>>> https://www.talkie-ai.com/chat/nostradamus-108084484014261
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Rossy Boys tears could cool a data center,
>>>> he thinks there exists no literature about
>>>> serial algorithms of parallel stuff, and
>>>>
>>>> he also thinks normal forms lead to optimizing
>>>> something. LoL, what a utter bullshit. I did
>>>> alreay a serial implementation of a parallel
>>>>
>>>> simulation of my pi-WAM. Just lookup the literature
>>>> about pi-calulus. I published it a few days ago,
>>>> its part of 2.2.4 released already:
>>>>
>>>> Parallel π-WAM: An Interleaved Synchronous Emulator
>>>> https://medium.com/2989/0196089e143a
>>>>
>>>> Whats your point, Rossy Boy? Except you post pretend
>>>> nonsense not knowing what you are doing?
>>>>
>>>> Bye
>>>>
>>>> Ross Finlayson schrieb:
>>>> > No, troll, these are serial algorithms their optimized forms.
>>>> >
>>>> > Normal sorts of forms, ....
>>>> >
>>>> >
>>>> > Yeah, everybody already figured out "interpreters" and
>>>> > "programs" and "spawning".
>>>> >
>>>> > Go spawn yourself.
>>>> >
>>>>
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-01 12:15 +0200 |
| Subject | He uses "FIFO objects", and DMA and Noc [Glimps into Ryzen AI 7 350] (Re: A brain desease of 20 days [Rossy Boy])) |
| Message-ID | <114kh01$ovdp$2@solani.org> |
| In reply to | #143104 |
Hi, He uses FIFO, and DMA and Noc: Getting peak TOPS on a Ryzen AI 7 350 NPU https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ But lets say whether its FIFO or FILO isn't so important his used cases are, what is now found in my library(furryhaze) for GPU, namely the very basic: /** * test_gpu_comp_start(W, K): internal only * The predicate succeeds. As a side effect it * starts the π-WAM W with K warps. */ function test_gpu_comp_start(args) /** * test_gpu_comp_join(W, P): internal only * The predicate succeeds in P with a new promise * that waits for the π-WAM W to finish. */ function test_gpu_comp_join(args) A GPU interface, via the command processor for example of WebGPU, does the above synchronization for you. In the NPU example he does everything low level, with Python IRON an stuff: "Since the main way to achieve synchronization within the IRON framework is by doing data movement with object FIFOs, I’m sending a dummy uint32 value as some sort of synchronization token. Waiting for all the kernels to finish is trickier. The object FIFOs support a join pattern in which an object FIFO consumes an object from each of multiple object FIFOs, concatenates these objects and produces the concatenated object as a result. Etc.." Getting peak TOPS on a Ryzen AI 7 350 NPU https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ So Daniel Estévez Scientific & Technical Amateur Radio, gives a nice glimpse into an NPU, I have not yet publicitly released my library(furryhaze), since its still in testing. Maybe take another week or so, still I have ironed out all corners, for example the new gpu_comp_start and gpu_comp_join works fine on may desktop AI laptops, but I have still a bug on my iPad AI tablet, on the Redmi AI phone, also chokes on a test case. Bye Mild Shock schrieb: > Hi, > > This was archived on Jul 9, 2026: > > 11.4 Giga Lips with a Budget Laptop > https://github.com/Jean-Luc-Picard-2021/gigabudget > > Still, Jul 29, Rossy Boy halucinates accusations: > > Ross Finlayson schrieb: > > .. bla bla goto bla bla .. > > > > Stupid gangster: teamsters are a union. > > > > In the trades, not the steals, .... > > Woa! Thats now 20 days of brain desease, > and not understanding the meaning and implications. > Even not understand pi-WAM has Hack VM backend. > > But its all opensource. Bravo Rossy Boy, you are > champion in brainlessness and lazyness of > a idiot usenet troll. > > Bye > > Johann 'Myrkraverk' Oskarsson schrieb: >> On 28/07/2026 2:43 AM, Ross Finlayson wrote: >>> Hello, here I'll post some design notes and a panel discussion with some >>> chat-bots about making some sense of the "vector-wide scalar word" >>> and "character machines", on commodity hardware about ubiquitous >>> operations. >>> >>> >>> It's considered at least tangentially relevant to comp.lang.c and >>> comp.lang.c++ because for example text is ubiquitous and the targets >>> would be low-level, while the higher-level languages would have a >>> same sort of patternry, and for example that libc and cstdlib are >>> standard, and as with regards to POSIX and Unicode and so on. >>> >>> Please feel free to excuse or ignore, or comment as freely. >>> >>> Thanks for reading. >>> >> >> Are you generating all of your code via LLMs? Rest assured, >> the LLM generated code will have subtle and sometimes not so subtle >> bugs. >> >> >> Happy bughunting! >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-01 12:18 +0200 |
| Subject | Tablet and phone UBS-C remote debugging (Re: He uses "FIFO objects", and DMA and Noc) |
| Message-ID | <114kh58$ovdp$4@solani.org> |
| In reply to | #143170 |
Hi, Tablets and phone are more annoying to use with WebGPU. The usual browsers don't have a Chrome DevTools panel integrated, so that one could do JavaScript Debugging directly on the device. Instead one has to use a desktop machine, and connect the device via UBS-C , and start a Chrome Browser there . And then start a Chrome DevTools panel alone, that is pair with the device, via UBS-C cable. So this way I already see where it crashes on the tablets and phone: await output.mapAsync(GPUMapMode.READ) Unhandled Promise Rejection: OperationError The above is the error that one can re-produce already here with this test: 11.4 Giga Lips with a Budget Laptop https://github.com/Jean-Luc-Picard-2021/gigabudget Not sure what exactly happens. Maybe a form of timeout or device lost, that the primitive HTML / JavaScript doesn't handle gracefully yet. Maybe redimensioning the test, so that it consumes less time would help. Who knows? Will see. For production use of a GPU integration I have to anyway provide work slicing it seems. Bye Mild Shock schrieb: > Hi, > > He uses FIFO, and DMA and Noc: > > Getting peak TOPS on a Ryzen AI 7 350 NPU > https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ > > But lets say whether its FIFO or FILO > isn't so important his used cases are, > what is now found in my library(furryhaze) > > for GPU, namely the very basic: > > /** > * test_gpu_comp_start(W, K): internal only > * The predicate succeeds. As a side effect it > * starts the π-WAM W with K warps. > */ > function test_gpu_comp_start(args) > > /** > * test_gpu_comp_join(W, P): internal only > * The predicate succeeds in P with a new promise > * that waits for the π-WAM W to finish. > */ > function test_gpu_comp_join(args) > > A GPU interface, via the command processor > for example of WebGPU, does the above > synchronization for you. > > In the NPU example he does everything > low level, with Python IRON an stuff: > > "Since the main way to achieve synchronization > within the IRON framework is by doing data > movement with object FIFOs, I’m sending a > dummy uint32 value as some sort of > synchronization token. > > Waiting for all the kernels to finish is > trickier. The object FIFOs support a join > pattern in which an object FIFO consumes an > object from each of multiple object FIFOs, > concatenates these objects and produces the > concatenated object as a result. > > Etc.." > > Getting peak TOPS on a Ryzen AI 7 350 NPU > https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ > > So Daniel Estévez Scientific & Technical > Amateur Radio, gives a nice glimpse into an > NPU, I have not yet publicitly released > > my library(furryhaze), since its still in > testing. Maybe take another week or so, > still I have ironed out all corners, > > for example the new gpu_comp_start and > gpu_comp_join works fine on may desktop > AI laptops, but I have still a bug on > > my iPad AI tablet, on the Redmi AI phone, > also chokes on a test case. > > Bye > > Mild Shock schrieb: >> Hi, >> >> This was archived on Jul 9, 2026: >> >> 11.4 Giga Lips with a Budget Laptop >> https://github.com/Jean-Luc-Picard-2021/gigabudget >> >> Still, Jul 29, Rossy Boy halucinates accusations: >> >> Ross Finlayson schrieb: >> > .. bla bla goto bla bla .. >> > >> > Stupid gangster: teamsters are a union. >> > >> > In the trades, not the steals, .... >> >> Woa! Thats now 20 days of brain desease, >> and not understanding the meaning and implications. >> Even not understand pi-WAM has Hack VM backend. >> >> But its all opensource. Bravo Rossy Boy, you are >> champion in brainlessness and lazyness of >> a idiot usenet troll. >> >> Bye >> >> Johann 'Myrkraverk' Oskarsson schrieb: >>> On 28/07/2026 2:43 AM, Ross Finlayson wrote: >>>> Hello, here I'll post some design notes and a panel discussion with >>>> some >>>> chat-bots about making some sense of the "vector-wide scalar word" >>>> and "character machines", on commodity hardware about ubiquitous >>>> operations. >>>> >>>> >>>> It's considered at least tangentially relevant to comp.lang.c and >>>> comp.lang.c++ because for example text is ubiquitous and the targets >>>> would be low-level, while the higher-level languages would have a >>>> same sort of patternry, and for example that libc and cstdlib are >>>> standard, and as with regards to POSIX and Unicode and so on. >>>> >>>> Please feel free to excuse or ignore, or comment as freely. >>>> >>>> Thanks for reading. >>>> >>> >>> Are you generating all of your code via LLMs? Rest assured, >>> the LLM generated code will have subtle and sometimes not so subtle >>> bugs. >>> >>> >>> Happy bughunting! >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-01 14:11 +0200 |
| Subject | NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) |
| Message-ID | <114knpo$pjus$2@solani.org> |
| In reply to | #143171 |
Hi,
Looking at the floor plan of a NPU:
Getting peak TOPS on a Ryzen AI 7 350 NPU
https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
It seems to me comms between tiles takes
at least Manhattan Distance or L1 Norm time,
if there is no comms congestion
But how does a packet travel? This way:
+----E
|
|
S
Or this way, from start S to end E:
+-E
+
+
S
And what does the chip do if there is
traffic congestion? Some papers are
here, possibly an old problem giving
that processor "cubes" are nothing new.
But a "cube" would be 3D and not 2D.
This paper is old from 2007 or so:
Routing Algorithms for 2D NoC Architectures
http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
Bye
Mild Shock schrieb:
> Hi,
>
> Tablets and phone are more annoying to
> use with WebGPU. The usual browsers don't
> have a Chrome DevTools panel integrated,
>
> so that one could do JavaScript Debugging
> directly on the device. Instead one has to
> use a desktop machine, and connect the
>
> device via UBS-C , and start a Chrome
> Browser there . And then start a Chrome
> DevTools panel alone, that is pair with
>
> the device, via UBS-C cable. So this way
> I already see where it crashes on the
> tablets and phone:
>
> await output.mapAsync(GPUMapMode.READ)
> Unhandled Promise Rejection: OperationError
>
> The above is the error that one can re-produce
> already here with this test:
>
> 11.4 Giga Lips with a Budget Laptop
> https://github.com/Jean-Luc-Picard-2021/gigabudget
>
> Not sure what exactly happens. Maybe
> a form of timeout or device lost, that the
> primitive HTML / JavaScript doesn't handle
>
> gracefully yet. Maybe redimensioning the
> test, so that it consumes less time would
> help. Who knows? Will see. For production
>
> use of a GPU integration I have to anyway
> provide work slicing it seems.
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> He uses FIFO, and DMA and Noc:
>>
>> Getting peak TOPS on a Ryzen AI 7 350 NPU
>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
>>
>> But lets say whether its FIFO or FILO
>> isn't so important his used cases are,
>> what is now found in my library(furryhaze)
>>
>> for GPU, namely the very basic:
>>
>> /**
>> * test_gpu_comp_start(W, K): internal only
>> * The predicate succeeds. As a side effect it
>> * starts the π-WAM W with K warps.
>> */
>> function test_gpu_comp_start(args)
>>
>> /**
>> * test_gpu_comp_join(W, P): internal only
>> * The predicate succeeds in P with a new promise
>> * that waits for the π-WAM W to finish.
>> */
>> function test_gpu_comp_join(args)
>>
>> A GPU interface, via the command processor
>> for example of WebGPU, does the above
>> synchronization for you.
>>
>> In the NPU example he does everything
>> low level, with Python IRON an stuff:
>>
>> "Since the main way to achieve synchronization
>> within the IRON framework is by doing data
>> movement with object FIFOs, I’m sending a
>> dummy uint32 value as some sort of
>> synchronization token.
>>
>> Waiting for all the kernels to finish is
>> trickier. The object FIFOs support a join
>> pattern in which an object FIFO consumes an
>> object from each of multiple object FIFOs,
>> concatenates these objects and produces the
>> concatenated object as a result.
>>
>> Etc.."
>>
>> Getting peak TOPS on a Ryzen AI 7 350 NPU
>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
>>
>> So Daniel Estévez Scientific & Technical
>> Amateur Radio, gives a nice glimpse into an
>> NPU, I have not yet publicitly released
>>
>> my library(furryhaze), since its still in
>> testing. Maybe take another week or so,
>> still I have ironed out all corners,
>>
>> for example the new gpu_comp_start and
>> gpu_comp_join works fine on may desktop
>> AI laptops, but I have still a bug on
>>
>> my iPad AI tablet, on the Redmi AI phone,
>> also chokes on a test case.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> This was archived on Jul 9, 2026:
>>>
>>> 11.4 Giga Lips with a Budget Laptop
>>> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>>
>>> Still, Jul 29, Rossy Boy halucinates accusations:
>>>
>>> Ross Finlayson schrieb:
>>> > .. bla bla goto bla bla ..
>>> >
>>> > Stupid gangster: teamsters are a union.
>>> >
>>> > In the trades, not the steals, ....
>>>
>>> Woa! Thats now 20 days of brain desease,
>>> and not understanding the meaning and implications.
>>> Even not understand pi-WAM has Hack VM backend.
>>>
>>> But its all opensource. Bravo Rossy Boy, you are
>>> champion in brainlessness and lazyness of
>>> a idiot usenet troll.
>>>
>>> Bye
>>>
>>> Johann 'Myrkraverk' Oskarsson schrieb:
>>>> On 28/07/2026 2:43 AM, Ross Finlayson wrote:
>>>>> Hello, here I'll post some design notes and a panel discussion with
>>>>> some
>>>>> chat-bots about making some sense of the "vector-wide scalar word"
>>>>> and "character machines", on commodity hardware about ubiquitous
>>>>> operations.
>>>>>
>>>>>
>>>>> It's considered at least tangentially relevant to comp.lang.c and
>>>>> comp.lang.c++ because for example text is ubiquitous and the targets
>>>>> would be low-level, while the higher-level languages would have a
>>>>> same sort of patternry, and for example that libc and cstdlib are
>>>>> standard, and as with regards to POSIX and Unicode and so on.
>>>>>
>>>>> Please feel free to excuse or ignore, or comment as freely.
>>>>>
>>>>> Thanks for reading.
>>>>>
>>>>
>>>> Are you generating all of your code via LLMs? Rest assured,
>>>> the LLM generated code will have subtle and sometimes not so subtle
>>>> bugs.
>>>>
>>>>
>>>> Happy bughunting!
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-01 14:23 +0200 |
| Subject | NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) |
| Message-ID | <114kofl$pkdq$2@solani.org> |
| In reply to | #143172 |
Hi,
As easy as queues and FIFO objects might
sound. They don't like congestion. NACK for
retransmission might double the Manhattan Distance:
You have not only start
S to end E communication:
+----E
|
|
S
You might also have ACK or NACK
from E or midpoints back to S:
S'
+
+
E'
Ok, I made that up, I have no idea what a flit is,
when the author wrote this here:
"Packet flits are held in the FIFO which can
be used to determine back pressure. Dropping flits
in a NoC may not be possible since these
architectures may not provide an end-to-end
protocol for retransmission."
Routing Algorithms for 2D NoC Architectures
http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
Bye
Mild Shock schrieb:
> Hi,
>
> Looking at the floor plan of a NPU:
>
> Getting peak TOPS on a Ryzen AI 7 350 NPU
> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
>
> It seems to me comms between tiles takes
> at least Manhattan Distance or L1 Norm time,
> if there is no comms congestion
>
> But how does a packet travel? This way:
>
> +----E
> |
> |
> S
>
> Or this way, from start S to end E:
>
> +-E
> +
> +
> S
>
> And what does the chip do if there is
> traffic congestion? Some papers are
> here, possibly an old problem giving
>
> that processor "cubes" are nothing new.
> But a "cube" would be 3D and not 2D.
> This paper is old from 2007 or so:
>
> Routing Algorithms for 2D NoC Architectures
> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>
> Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-26 00:08 +0200 |
| Subject | First AI laptops, now AI single-boarders [Budget, Budget, ..] (Re: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm)) |
| Message-ID | <116l3pd$13osq$3@solani.org> |
| In reply to | #143172 |
Hi, Ok, that was quick. While my AI Laptops were around > 1000 CHF. The Mac Neo was around > 500 CHF. So we went already form AI Laptop to AI Notebook in a few months. Now Aduino is playing pionier, having a CPU with a NPU on board, some Qualcomm thingy. New Arduino Ventuno Q: Better than Raspberry Pi? https://www.youtube.com/watch?v=qQS_xWsU00I The specs: Octa-core ARM Cortex CPU Adreno GPU and Hexagon AI processor (up to 40 TOPS) 16GB LPDDR5 RAM and 64GB eMMC storage M.2 slot for NVMe SSD expansion The cost is around 300 CHF. Bye Mild Shock schrieb: > Hi, > > Looking at the floor plan of a NPU: > > Getting peak TOPS on a Ryzen AI 7 350 NPU > https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ > > It seems to me comms between tiles takes > at least Manhattan Distance or L1 Norm time, > if there is no comms congestion > > But how does a packet travel? This way: > > +----E > | > | > S > > Or this way, from start S to end E: > > +-E > + > + > S > > And what does the chip do if there is > traffic congestion? Some papers are > here, possibly an old problem giving > > that processor "cubes" are nothing new. > But a "cube" would be 3D and not 2D. > This paper is old from 2007 or so: > > Routing Algorithms for 2D NoC Architectures > http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf > > Bye > > Mild Shock schrieb: >> Hi, >> >> Tablets and phone are more annoying to >> use with WebGPU. The usual browsers don't >> have a Chrome DevTools panel integrated, >> >> so that one could do JavaScript Debugging >> directly on the device. Instead one has to >> use a desktop machine, and connect the >> >> device via UBS-C , and start a Chrome >> Browser there . And then start a Chrome >> DevTools panel alone, that is pair with >> >> the device, via UBS-C cable. So this way >> I already see where it crashes on the >> tablets and phone: >> >> await output.mapAsync(GPUMapMode.READ) >> Unhandled Promise Rejection: OperationError >> >> The above is the error that one can re-produce >> already here with this test: >> >> 11.4 Giga Lips with a Budget Laptop >> https://github.com/Jean-Luc-Picard-2021/gigabudget >> >> Not sure what exactly happens. Maybe >> a form of timeout or device lost, that the >> primitive HTML / JavaScript doesn't handle >> >> gracefully yet. Maybe redimensioning the >> test, so that it consumes less time would >> help. Who knows? Will see. For production >> >> use of a GPU integration I have to anyway >> provide work slicing it seems. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> He uses FIFO, and DMA and Noc: >>> >>> Getting peak TOPS on a Ryzen AI 7 350 NPU >>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ >>> >>> But lets say whether its FIFO or FILO >>> isn't so important his used cases are, >>> what is now found in my library(furryhaze) >>> >>> for GPU, namely the very basic: >>> >>> /** >>> * test_gpu_comp_start(W, K): internal only >>> * The predicate succeeds. As a side effect it >>> * starts the π-WAM W with K warps. >>> */ >>> function test_gpu_comp_start(args) >>> >>> /** >>> * test_gpu_comp_join(W, P): internal only >>> * The predicate succeeds in P with a new promise >>> * that waits for the π-WAM W to finish. >>> */ >>> function test_gpu_comp_join(args) >>> >>> A GPU interface, via the command processor >>> for example of WebGPU, does the above >>> synchronization for you. >>> >>> In the NPU example he does everything >>> low level, with Python IRON an stuff: >>> >>> "Since the main way to achieve synchronization >>> within the IRON framework is by doing data >>> movement with object FIFOs, I’m sending a >>> dummy uint32 value as some sort of >>> synchronization token. >>> >>> Waiting for all the kernels to finish is >>> trickier. The object FIFOs support a join >>> pattern in which an object FIFO consumes an >>> object from each of multiple object FIFOs, >>> concatenates these objects and produces the >>> concatenated object as a result. >>> >>> Etc.." >>> >>> Getting peak TOPS on a Ryzen AI 7 350 NPU >>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ >>> >>> So Daniel Estévez Scientific & Technical >>> Amateur Radio, gives a nice glimpse into an >>> NPU, I have not yet publicitly released >>> >>> my library(furryhaze), since its still in >>> testing. Maybe take another week or so, >>> still I have ironed out all corners, >>> >>> for example the new gpu_comp_start and >>> gpu_comp_join works fine on may desktop >>> AI laptops, but I have still a bug on >>> >>> my iPad AI tablet, on the Redmi AI phone, >>> also chokes on a test case. >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> This was archived on Jul 9, 2026: >>>> >>>> 11.4 Giga Lips with a Budget Laptop >>>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>>> >>>> Still, Jul 29, Rossy Boy halucinates accusations: >>>> >>>> Ross Finlayson schrieb: >>>> > .. bla bla goto bla bla .. >>>> > >>>> > Stupid gangster: teamsters are a union. >>>> > >>>> > In the trades, not the steals, .... >>>> >>>> Woa! Thats now 20 days of brain desease, >>>> and not understanding the meaning and implications. >>>> Even not understand pi-WAM has Hack VM backend. >>>> >>>> But its all opensource. Bravo Rossy Boy, you are >>>> champion in brainlessness and lazyness of >>>> a idiot usenet troll. >>>> >>>> Bye >>>> >>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>> On 28/07/2026 2:43 AM, Ross Finlayson wrote: >>>>>> Hello, here I'll post some design notes and a panel discussion >>>>>> with some >>>>>> chat-bots about making some sense of the "vector-wide scalar word" >>>>>> and "character machines", on commodity hardware about ubiquitous >>>>>> operations. >>>>>> >>>>>> >>>>>> It's considered at least tangentially relevant to comp.lang.c and >>>>>> comp.lang.c++ because for example text is ubiquitous and the targets >>>>>> would be low-level, while the higher-level languages would have a >>>>>> same sort of patternry, and for example that libc and cstdlib are >>>>>> standard, and as with regards to POSIX and Unicode and so on. >>>>>> >>>>>> Please feel free to excuse or ignore, or comment as freely. >>>>>> >>>>>> Thanks for reading. >>>>>> >>>>> >>>>> Are you generating all of your code via LLMs? Rest assured, >>>>> the LLM generated code will have subtle and sometimes not so subtle >>>>> bugs. >>>>> >>>>> >>>>> Happy bughunting! >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-31 18:01 +0200 |
| Subject | Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) |
| Message-ID | <11748ge$1e7mp$1@solani.org> |
| In reply to | #143372 |
Hi, I miss an ISOMICRO profile of Web Prolog, a profile that can run on small embedded devices, and only single threaded. Like Python can do for example. I deleted my previous post, since it drifted into high performance computing. It was a reaction of mine, to these results and how they were viewed. Web Prolog result: 100,000 4.749 s I get this here: /* 100'000 iterations */ ?- between(1,3,_), time(ping_pong), fail; true. % Zeit 97.020 ms, Benutzer 2 %, Lips 735 k % Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k % Zeit 98.740 ms, Benutzer 1 %, Lips 974 k true. But the results have a few drawbacks. They use a highly specialized π-WAM Prolog subset and a highly specialized Hack VM backend. Also the ping pong code was optimized. So I guess this high performance view is too specifiec for the actor model. So to get a more general comparison, I tried something else. I used a Python implemented Prolog and a Python asyncio.Future implemented one element channels, the later equals SWI-Prolog queues with max_size=1. Finally I used the classical ping pong. Now with PyPy as the Python runtime the results are, 6x times faster than the shared database on a SWI-Prolog server provided by Torbjörn Lager. Difficult to judge maybe my machine is just 6x times faster? One could install PyPy, download Dogelog Player and run it on the server: ?- between(1,3,_), time(ping_pong(100000)), fail; true. % Time 812.000 ms, User 54 %, Lips 5977 k % Time 703.000 ms, User 53 %, Lips 6915 k % Time 766.000 ms, User 64 %, Lips 5339 k true. But this makes me ask, where would one see using for example SWI-Prolog Engines for the actor model, so that it becomes competitive to asyncio.Future? Any idea how to do it? I guess asyncio.Future only uses a micro queue or something. This would give the ISOMICRO profile of Web Prolog, a profile that can run on small embedded devices single threaded. The opposite of high preformance computing (HPC). Bye See also: https://trinity.elfenbenstornet.se/ P.S.: Here the source code, first what was used for validation: classic ping pong with channels and with logging And the validation output: log of running N=3 And what was used for benchmarking: classic ping pong with channels and without logging Mild Shock schrieb: > Hi, > > Ok, that was quick. While my AI Laptops were > around > 1000 CHF. The Mac Neo was around > > 500 CHF. So we went already form AI Laptop > > to AI Notebook in a few months. Now Aduino > is playing pionier, having a CPU with a NPU > on board, some Qualcomm thingy. > > New Arduino Ventuno Q: Better than Raspberry Pi? > https://www.youtube.com/watch?v=qQS_xWsU00I > > The specs: > > Octa-core ARM Cortex CPU > Adreno GPU and Hexagon AI processor (up to 40 TOPS) > 16GB LPDDR5 RAM and 64GB eMMC storage > M.2 slot for NVMe SSD expansion > > The cost is around 300 CHF. > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-02 21:53 +0200 |
| Subject | Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) |
| Message-ID | <1179uri$1i7hp$3@solani.org> |
| In reply to | #143406 |
Hi, I really wonder what use cases Web Prolog trinity would have. Would Web Prolog trinity reach in its scope into the domain of AI chat bots inside a web page? Ok, google has hijacked the term “declarative”, when an AI chatbot assistant helps fill out a HTML form. And it uses the term “imperative” when the AI chatbot calls JavaScript routines. Could be related to the ACTOR model who knows. Although the hijacking is not optimal, I like the thinking in levels, that are related to states, just like Torbjörn Lager exercises in his 400 pages, although google does maybe a bender, when it calls a form submit, and hence a HTTP POST, declarative. Bye See also: WebMCP https://developer.chrome.com/docs/ai/webmcp Here the newly arrived browser integration: Le Petit Bistro https://googlechromelabs.github.io/webmcp-tools/demos/french-bistro image Mild Shock schrieb: > Hi, > > I miss an ISOMICRO profile of Web Prolog, a profile > that can run on small embedded devices, and only > single threaded. Like Python can do for example. > > I deleted my previous post, since it drifted into > high performance computing. It was a reaction of > mine, to these results and how they were viewed. > > Web Prolog result: > > 100,000 4.749 s > > I get this here: > > /* 100'000 iterations */ > ?- between(1,3,_), time(ping_pong), fail; true. > % Zeit 97.020 ms, Benutzer 2 %, Lips 735 k > % Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k > % Zeit 98.740 ms, Benutzer 1 %, Lips 974 k > true. > > But the results have a few drawbacks. They use a highly > specialized π-WAM Prolog subset and a highly specialized > Hack VM backend. Also the ping pong code was optimized. > > So I guess this high performance view is too specifiec > for the actor model. So to get a more general comparison, > I tried something else. I used a Python implemented Prolog > > and a Python asyncio.Future implemented one element > channels, the later equals SWI-Prolog queues with max_size=1. > Finally I used the classical ping pong. Now with PyPy as the Python > > runtime the results are, 6x times faster than the shared database > on a SWI-Prolog server provided by Torbjörn Lager. Difficult > to judge maybe my machine is just 6x times faster? One could > > install PyPy, download Dogelog Player and run it on the server: > > ?- between(1,3,_), time(ping_pong(100000)), fail; true. > % Time 812.000 ms, User 54 %, Lips 5977 k > % Time 703.000 ms, User 53 %, Lips 6915 k > % Time 766.000 ms, User 64 %, Lips 5339 k > true. > > But this makes me ask, where would one see using for > example SWI-Prolog Engines for the actor model, so that it > becomes competitive to asyncio.Future? Any idea how to do it? > > I guess asyncio.Future only uses a micro queue or something. > This would give the ISOMICRO profile of Web Prolog, a profile > that can run on small embedded devices single threaded. > > The opposite of high preformance computing (HPC). > > Bye > > See also: > > https://trinity.elfenbenstornet.se/ > > P.S.: Here the source code, first what was used for validation: > > classic ping pong with channels and with logging > And the validation output: > > log of running N=3 > And what was used for benchmarking: > > classic ping pong with channels and without logging > > Mild Shock schrieb: >> Hi, >> >> Ok, that was quick. While my AI Laptops were >> around > 1000 CHF. The Mac Neo was around >> > 500 CHF. So we went already form AI Laptop >> >> to AI Notebook in a few months. Now Aduino >> is playing pionier, having a CPU with a NPU >> on board, some Qualcomm thingy. >> >> New Arduino Ventuno Q: Better than Raspberry Pi? >> https://www.youtube.com/watch?v=qQS_xWsU00I >> >> The specs: >> >> Octa-core ARM Cortex CPU >> Adreno GPU and Hexagon AI processor (up to 40 TOPS) >> 16GB LPDDR5 RAM and 64GB eMMC storage >> M.2 slot for NVMe SSD expansion >> >> The cost is around 300 CHF. >> >> Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-02 21:54 +0200 |
| Subject | Giga Lips for Prolog based Chatting (Was: Food for thought: Le Petit Bistro as a Trinity Use Case) |
| Message-ID | <1179utb$1i7hp$4@solani.org> |
| In reply to | #143414 |
Hi, What if a Prolog system can draw enough processing power, by tapping into the GPU of budget laptop that shows the web page? And run locally in a ServiceWorker. The WebMCP use case Le Petit Bistro is already such that it also has a ServiceWorker for the Gemini stub. But the envisioned variant of a ISOMICRO model would neither need a Gemini API token, nor would it need WebSockets or HTTP for communication. It would all be WebMCP inside the conglomerate of website and workers. The small language model is loaded into the ServiceWorker and run on the GPU. Here my contribution to this idea: 11.4 Giga Lips with a Budget Laptop https://github.com/Jean-Luc-Picard-2021/gigabudget Work in progress cannot demonstrate a Prolog assistant yet. Bye Mild Shock schrieb: > Hi, > > I really wonder what use cases Web Prolog trinity would > have. Would Web Prolog trinity reach in its scope into > the domain of AI chat bots inside a web page? Ok, google > > has hijacked the term “declarative”, when an AI chatbot > assistant helps fill out a HTML form. And it uses the term > “imperative” when the AI chatbot calls JavaScript routines. > > Could be related to the ACTOR model who knows. Although > the hijacking is not optimal, I like the thinking in levels, that are > related to states, just like Torbjörn Lager exercises in his 400 > > pages, although google does maybe a bender, when it calls > a form submit, and hence a HTTP POST, declarative. > > Bye > > See also: > > WebMCP > https://developer.chrome.com/docs/ai/webmcp > > Here the newly arrived browser integration: > > Le Petit Bistro > https://googlechromelabs.github.io/webmcp-tools/demos/french-bistro > > image > > Mild Shock schrieb: >> Hi, >> >> I miss an ISOMICRO profile of Web Prolog, a profile >> that can run on small embedded devices, and only >> single threaded. Like Python can do for example. >> >> I deleted my previous post, since it drifted into >> high performance computing. It was a reaction of >> mine, to these results and how they were viewed. >> >> Web Prolog result: >> >> 100,000 4.749 s >> >> I get this here: >> >> /* 100'000 iterations */ >> ?- between(1,3,_), time(ping_pong), fail; true. >> % Zeit 97.020 ms, Benutzer 2 %, Lips 735 k >> % Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k >> % Zeit 98.740 ms, Benutzer 1 %, Lips 974 k >> true. >> >> But the results have a few drawbacks. They use a highly >> specialized π-WAM Prolog subset and a highly specialized >> Hack VM backend. Also the ping pong code was optimized. >> >> So I guess this high performance view is too specifiec >> for the actor model. So to get a more general comparison, >> I tried something else. I used a Python implemented Prolog >> >> and a Python asyncio.Future implemented one element >> channels, the later equals SWI-Prolog queues with max_size=1. >> Finally I used the classical ping pong. Now with PyPy as the Python >> >> runtime the results are, 6x times faster than the shared database >> on a SWI-Prolog server provided by Torbjörn Lager. Difficult >> to judge maybe my machine is just 6x times faster? One could >> >> install PyPy, download Dogelog Player and run it on the server: >> >> ?- between(1,3,_), time(ping_pong(100000)), fail; true. >> % Time 812.000 ms, User 54 %, Lips 5977 k >> % Time 703.000 ms, User 53 %, Lips 6915 k >> % Time 766.000 ms, User 64 %, Lips 5339 k >> true. >> >> But this makes me ask, where would one see using for >> example SWI-Prolog Engines for the actor model, so that it >> becomes competitive to asyncio.Future? Any idea how to do it? >> >> I guess asyncio.Future only uses a micro queue or something. >> This would give the ISOMICRO profile of Web Prolog, a profile >> that can run on small embedded devices single threaded. >> >> The opposite of high preformance computing (HPC). >> >> Bye >> >> See also: >> >> https://trinity.elfenbenstornet.se/ >> >> P.S.: Here the source code, first what was used for validation: >> >> classic ping pong with channels and with logging >> And the validation output: >> >> log of running N=3 >> And what was used for benchmarking: >> >> classic ping pong with channels and without logging >> >> Mild Shock schrieb: >>> Hi, >>> >>> Ok, that was quick. While my AI Laptops were >>> around > 1000 CHF. The Mac Neo was around >>> > 500 CHF. So we went already form AI Laptop >>> >>> to AI Notebook in a few months. Now Aduino >>> is playing pionier, having a CPU with a NPU >>> on board, some Qualcomm thingy. >>> >>> New Arduino Ventuno Q: Better than Raspberry Pi? >>> https://www.youtube.com/watch?v=qQS_xWsU00I >>> >>> The specs: >>> >>> Octa-core ARM Cortex CPU >>> Adreno GPU and Hexagon AI processor (up to 40 TOPS) >>> 16GB LPDDR5 RAM and 64GB eMMC storage >>> M.2 slot for NVMe SSD expansion >>> >>> The cost is around 300 CHF. >>> >>> Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-03 09:47 +0200 |
| Subject | Google holds the keys to the AI kingdom [WebClaw Dominance] (Re: Giga Lips for Prolog based Chatting) |
| Message-ID | <117b8mf$1je8u$3@solani.org> |
| In reply to | #143415 |
Hi, You thought kubernets holds the keys to the enterprise kingdom. Then you were bombarded by OpenClaws, PrologAgents and WebPrologs, over the last months. Now from a market perspective and how devtools and google controls browsers, despite there exists the living standard for the non-devtools part. The devtools part becomes the trust part. The W3C specs can mandate all the clean, open standards they want on paper, but whoever controls the runtime inspector, the policy enforcement hooks, and the agentic debugging surface inside the browser holds the real keys to the kingdom. When an AI agent interacts with a page via something like navigator.modelContext, the trust doesn't come from the living standard text — it comes from the browser vendor's DevTools inspecting the schema, auditing the tool execution payloads, and enforcing the security boundaries. Google now dictates the trust model precisely because they control how those tool contracts are verified, sandboxed, and certified in practice. Bye BTW: They have also a nice interaction inspector, to play around with your website and AI assitant combo. It looks not exactly like what the MCP foundation had and what was copied by WebProlog, with their log tiles. It combines the "declarative"/ "interactive" interaction with the NLP Text interaction: WebMCP - Model Context Tool Inspector https://chromewebstore.google.com/detail/webmcp-model-context-tool/gbpdfapgefenggkahomfgkhfehlcenpd Mild Shock schrieb: > Hi, > > What if a Prolog system can draw enough processing power, > by tapping into the GPU of budget laptop that shows the > web page? And run locally in a ServiceWorker. The WebMCP > > use case Le Petit Bistro is already such that it also has a > ServiceWorker for the Gemini stub. But the envisioned variant of a > ISOMICRO model would neither need a Gemini API token, > > nor would it need WebSockets or HTTP for communication. It > would all be WebMCP inside the conglomerate of website and > workers. The small language model is loaded into the ServiceWorker > > and run on the GPU. Here my contribution to this idea: > > 11.4 Giga Lips with a Budget Laptop > https://github.com/Jean-Luc-Picard-2021/gigabudget > > Work in progress cannot demonstrate a Prolog assistant yet. > > Bye > > Mild Shock schrieb: >> Hi, >> >> I really wonder what use cases Web Prolog trinity would >> have. Would Web Prolog trinity reach in its scope into >> the domain of AI chat bots inside a web page? Ok, google >> >> has hijacked the term “declarative”, when an AI chatbot >> assistant helps fill out a HTML form. And it uses the term >> “imperative” when the AI chatbot calls JavaScript routines. >> >> Could be related to the ACTOR model who knows. Although >> the hijacking is not optimal, I like the thinking in levels, that are >> related to states, just like Torbjörn Lager exercises in his 400 >> >> pages, although google does maybe a bender, when it calls >> a form submit, and hence a HTTP POST, declarative. >> >> Bye >> >> See also: >> >> WebMCP >> https://developer.chrome.com/docs/ai/webmcp >> >> Here the newly arrived browser integration: >> >> Le Petit Bistro >> https://googlechromelabs.github.io/webmcp-tools/demos/french-bistro >> >> image >> >> Mild Shock schrieb: >>> Hi, >>> >>> I miss an ISOMICRO profile of Web Prolog, a profile >>> that can run on small embedded devices, and only >>> single threaded. Like Python can do for example. >>> >>> I deleted my previous post, since it drifted into >>> high performance computing. It was a reaction of >>> mine, to these results and how they were viewed. >>> >>> Web Prolog result: >>> >>> 100,000 4.749 s >>> >>> I get this here: >>> >>> /* 100'000 iterations */ >>> ?- between(1,3,_), time(ping_pong), fail; true. >>> % Zeit 97.020 ms, Benutzer 2 %, Lips 735 k >>> % Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k >>> % Zeit 98.740 ms, Benutzer 1 %, Lips 974 k >>> true. >>> >>> But the results have a few drawbacks. They use a highly >>> specialized π-WAM Prolog subset and a highly specialized >>> Hack VM backend. Also the ping pong code was optimized. >>> >>> So I guess this high performance view is too specifiec >>> for the actor model. So to get a more general comparison, >>> I tried something else. I used a Python implemented Prolog >>> >>> and a Python asyncio.Future implemented one element >>> channels, the later equals SWI-Prolog queues with max_size=1. >>> Finally I used the classical ping pong. Now with PyPy as the Python >>> >>> runtime the results are, 6x times faster than the shared database >>> on a SWI-Prolog server provided by Torbjörn Lager. Difficult >>> to judge maybe my machine is just 6x times faster? One could >>> >>> install PyPy, download Dogelog Player and run it on the server: >>> >>> ?- between(1,3,_), time(ping_pong(100000)), fail; true. >>> % Time 812.000 ms, User 54 %, Lips 5977 k >>> % Time 703.000 ms, User 53 %, Lips 6915 k >>> % Time 766.000 ms, User 64 %, Lips 5339 k >>> true. >>> >>> But this makes me ask, where would one see using for >>> example SWI-Prolog Engines for the actor model, so that it >>> becomes competitive to asyncio.Future? Any idea how to do it? >>> >>> I guess asyncio.Future only uses a micro queue or something. >>> This would give the ISOMICRO profile of Web Prolog, a profile >>> that can run on small embedded devices single threaded. >>> >>> The opposite of high preformance computing (HPC). >>> >>> Bye >>> >>> See also: >>> >>> https://trinity.elfenbenstornet.se/ >>> >>> P.S.: Here the source code, first what was used for validation: >>> >>> classic ping pong with channels and with logging >>> And the validation output: >>> >>> log of running N=3 >>> And what was used for benchmarking: >>> >>> classic ping pong with channels and without logging >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Ok, that was quick. While my AI Laptops were >>>> around > 1000 CHF. The Mac Neo was around >>>> > 500 CHF. So we went already form AI Laptop >>>> >>>> to AI Notebook in a few months. Now Aduino >>>> is playing pionier, having a CPU with a NPU >>>> on board, some Qualcomm thingy. >>>> >>>> New Arduino Ventuno Q: Better than Raspberry Pi? >>>> https://www.youtube.com/watch?v=qQS_xWsU00I >>>> >>>> The specs: >>>> >>>> Octa-core ARM Cortex CPU >>>> Adreno GPU and Hexagon AI processor (up to 40 TOPS) >>>> 16GB LPDDR5 RAM and 64GB eMMC storage >>>> M.2 slot for NVMe SSD expansion >>>> >>>> The cost is around 300 CHF. >>>> >>>> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-11 18:19 +0200 |
| Subject | Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra] (Was: Micro Penis is worse than Sleepy Joe) |
| Message-ID | <11819mt$36qk$4@solani.org> |
| In reply to | #143406 |
Hi, Remember Micro Penis, the putin payed troll, with fluctuating *.ru Email adresses. He never grasped the concept of unified memory and iGPU. Poor boy. I might need a lot of Diaper Now. Shitting his pants nonstop. There is a nice annoucement by Microsoft, cooperating with NVIDIA: "unified memory" pool shared between 20 ARM CPU cores and a Blackwell GPU boasting 6,144 CUDA cores without melting a portable chassis, they use wide-bus, ultra-low-latency LPDDR5X channels mapped straight into a coherent memory space." Introducing Surface Laptop Ultra https://www.youtube.com/watch?v=s1Oj792qc80 I guess I have found my next tester for pi-WAM. So far I didn't acquire yet a AI laptop with a NVIDIA GPU and renting a NVIDIA GPU has also stalled. But I doubt the above thingy will be on a shoestring price budget. Could be something above, but Autumn 2026 is nearing quickly. Have Fun everybody! Bye P.S.: Some reports say CUDA doesn't run well. But who needs CUDA if you have Vulkan? I also suspect they product my only come out 2027 or 2028, who knows? Maybe Microsoft has new a fewer, it already dropped the Copilot+ brand, too confusing, and its all "Ultra" now. Mild Shock schrieb: > Hi, > > Micro Penis is worse than Sleepy Joe. He > probably only believes the existence of a > hammer, when you hit him on the head with > > a hammer. Currently Micro Penis is sitting > there and shitting his pants it seems. > > Bye > > > stop polluting this group with nonsense, > > you stupid unemployed former it-supporter. > > I shit in your shaders. You were talking > > about AI. Those ryzen AI laptops are for fools. > > Mild Shock schrieb: >> Hi, >> >> It seems micro penis has a real existential >> crisis right now. An alice in wonderland moment, >> falling down a rabit whole. Well no wonder >> >> micro penis lives under a rock and has never >> heard of the small model revolution that goes >> hand in hand with the AI laptop revolution. >> >> Here is a test, running deepseek locally on >> a budget laptop (via LM Studio, oMLX, etc..): >> >> qwen3.5-9b-deepseek-v4-flash >> >> Q: Well there is a formidable horse race going on. >> Given the danger that I compare apples with oranges. >> It is still interesting too see how the Al laptop >> landscape is forming. >> >> Thought for 1 minutes 20 seconds >> >> A: You hit on a really crucial point in the Al economy: >> the tension between cloud consumption and edge ownership. >> When you compare a $0.50 per 1k-token API call with a >> $2,000 laptop that runs Qwen3.5 locally for free >> (electricity aside), it's not strictly apples-to-oranges >> because one is a service and the other is an asset. But >> the implications for how we use Al are massive. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> It seems micro penis struggles with mobile >>> grade GPU concept. Whats the difference >>> between a mobile grade GPU and non-mobile grade >>> >>> GPU? You know the **M** in **Readeon 860M** >>> means Mobile! Here is a comparison: >>> >>> **Mobile GPU:** >>> >>> Energy Consuption: Low >>> Device Memory: AUP (accelerator unit processor, >>> shares memory with CPU, no VRAM) >>> Cooling System: Fewer or no fans >>> >>> **Non-Mobile GPU:** >>> >>> Energy Consuption: High >>> Device Memory: DUP (discret unit processor, >>> has its own VRAM) >>> Cooling System: A lot of fans or other cooling >>> >>> Bye >>> >>> BTW: Here are some results for: >>> >>> 11.4 Giga Lips with a Budget Laptop >>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>> >>> On a smartphone, namely Redmi Note 14 Pro+: >>> >>> 1 Shader >>> 1983 ms >>> >>> 4096 Shaders >>> 16253 ms >>> >>> The phone uses a Snapdragon 7s Gen 3 >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Micro Penis the putin payed troll, is now >>>> on the payment list of overpriced NVIDIA as >>>> well. He cannot get over the concept of a >>>> >>>> Shoe String Budget: >>>> >>>> "According to Darren Aronofsky’s debut >>>> 1998 film Pi, “everything around us can >>>> be represented and understood through numbers”, >>>> from the stock market to the “wax and wane >>>> of caribou populations”. But, ironically, >>>> the film’s own numerical facts feel particularly >>>> inexplicable. It was made on a budget of just >>>> $60,000, which is less a shoestring and more >>>> just the aglet at the end of a frayed lace. >>>> To put that in to perspective, 1999’s The >>>> Matrix – similarly based around the dystopian >>>> danger of AI – may have been slightly slicker >>>> and sexier, but also was made for $60m, a >>>> thousand times more buck for a thousand >>>> times less bang. Plus, it means that its >>>> profit margin was huge. As Variety’s headline >>>> following its release put it, ‘”π=$1,000,000!” >>>> https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/ >>>> >>>> 04 Bucephalus Bouncing Ball >>>> https://www.youtube.com/watch?v=Ez6xDGTFswQ >>>> >>>> Bye >>>> >>>> Loman Barabashev schrieb: >>>> > I have a micro penis and my brain explodes >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-11 18:58 +0200 |
| Subject | Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) |
| Message-ID | <1181bvn$38o9$2@solani.org> |
| In reply to | #143477 |
Hi, When looking at CERN the term Accelerator Linux has a totally different meaning, since they also accelerate a lot of stuff in their Particle Physics experiments: "Red Hat Enterprise Linux (RHEL 9 and RHEL 10) raised its minimum CPU architecture requirements (requiring x86-64-v2 and v3 instruction sets). If CERN had stayed on the Red Hat / IBM ecosystem, they would have been forced to decommission and replace those 2,200 functional industrial machines. Redesigning and replacing that embedded hardware was estimated to cost around CHF 5.4 million (over $6 million USD)." https://www.phoronix.com/news/CERN-Goes-Debian-Leaving-RHEL Ubuntu doesn't seem to have this dilemma, you can easily Accelerate your Linux, by opting in to use vector and/or matrix operations, and not only scalars: "Opt-in "amd64v3" Performance: Starting with Ubuntu 25.10 and extending into Ubuntu 26.10, Canonical introduced optimized package archives targeting x86-64-v3." https://rueegger.me/ubuntu-2604-x86-64-v3-aktivieren/ Actually v3 is still a little weak. v4 has AVX-512 heavy lifting, and many AI laptops have even more, like general matrix multiplications (GEMM) units. Bye Disclaimer: CERN has clarified that their focus with the migration is on their industrial accelerator-control computers while data centers and experimental computing remain on RHEL/AlmaLinux. LoL Mild Shock schrieb: > > > Hi, > > Remember Micro Penis, the putin payed troll, with > fluctuating *.ru Email adresses. He never grasped > the concept of unified memory and iGPU. Poor boy. > > I might need a lot of Diaper Now. Shitting his > pants nonstop. There is a nice annoucement by > Microsoft, cooperating with NVIDIA: > > "unified memory" pool shared between 20 ARM CPU > cores and a Blackwell GPU boasting 6,144 CUDA > cores without melting a portable chassis, they > use wide-bus, ultra-low-latency LPDDR5X channels > mapped straight into a coherent memory space." > > Introducing Surface Laptop Ultra > https://www.youtube.com/watch?v=s1Oj792qc80 > > I guess I have found my next tester for pi-WAM. > So far I didn't acquire yet a AI laptop with a > NVIDIA GPU and renting a NVIDIA GPU has also > > stalled. But I doubt the above thingy will be > on a shoestring price budget. Could be something > above, but Autumn 2026 is nearing quickly. > > Have Fun everybody! > > Bye > > P.S.: Some reports say CUDA doesn't run well. But > who needs CUDA if you have Vulkan? I also suspect > they product my only come out 2027 or 2028, > > who knows? Maybe Microsoft has new a fewer, it > already dropped the Copilot+ brand, too confusing, > and its all "Ultra" now. > > Mild Shock schrieb: > > Hi, > > > > Micro Penis is worse than Sleepy Joe. He > > probably only believes the existence of a > > hammer, when you hit him on the head with > > > > a hammer. Currently Micro Penis is sitting > > there and shitting his pants it seems. > > > > Bye > > > > > stop polluting this group with nonsense, > > > you stupid unemployed former it-supporter. > > > I shit in your shaders. You were talking > > > about AI. Those ryzen AI laptops are for fools. > > > > Mild Shock schrieb: > >> Hi, > >> > >> It seems micro penis has a real existential > >> crisis right now. An alice in wonderland moment, > >> falling down a rabit whole. Well no wonder > >> > >> micro penis lives under a rock and has never > >> heard of the small model revolution that goes > >> hand in hand with the AI laptop revolution. > >> > >> Here is a test, running deepseek locally on > >> a budget laptop (via LM Studio, oMLX, etc..): > >> > >> qwen3.5-9b-deepseek-v4-flash > >> > >> Q: Well there is a formidable horse race going on. > >> Given the danger that I compare apples with oranges. > >> It is still interesting too see how the Al laptop > >> landscape is forming. > >> > >> Thought for 1 minutes 20 seconds > >> > >> A: You hit on a really crucial point in the Al economy: > >> the tension between cloud consumption and edge ownership. > >> When you compare a $0.50 per 1k-token API call with a > >> $2,000 laptop that runs Qwen3.5 locally for free > >> (electricity aside), it's not strictly apples-to-oranges > >> because one is a service and the other is an asset. But > >> the implications for how we use Al are massive. > >> > >> Bye > >> > >> Mild Shock schrieb: > >>> Hi, > >>> > >>> It seems micro penis struggles with mobile > >>> grade GPU concept. Whats the difference > >>> between a mobile grade GPU and non-mobile grade > >>> > >>> GPU? You know the **M** in **Readeon 860M** > >>> means Mobile! Here is a comparison: > >>> > >>> **Mobile GPU:** > >>> > >>> Energy Consuption: Low > >>> Device Memory: AUP (accelerator unit processor, > >>> shares memory with CPU, no VRAM) > >>> Cooling System: Fewer or no fans > >>> > >>> **Non-Mobile GPU:** > >>> > >>> Energy Consuption: High > >>> Device Memory: DUP (discret unit processor, > >>> has its own VRAM) > >>> Cooling System: A lot of fans or other cooling > >>> > >>> Bye > >>> > >>> BTW: Here are some results for: > >>> > >>> 11.4 Giga Lips with a Budget Laptop > >>> https://github.com/Jean-Luc-Picard-2021/gigabudget > >>> > >>> On a smartphone, namely Redmi Note 14 Pro+: > >>> > >>> 1 Shader > >>> 1983 ms > >>> > >>> 4096 Shaders > >>> 16253 ms > >>> > >>> The phone uses a Snapdragon 7s Gen 3 > >>> > >>> Mild Shock schrieb: > >>>> Hi, > >>>> > >>>> Micro Penis the putin payed troll, is now > >>>> on the payment list of overpriced NVIDIA as > >>>> well. He cannot get over the concept of a > >>>> > >>>> Shoe String Budget: > >>>> > >>>> "According to Darren Aronofsky’s debut > >>>> 1998 film Pi, “everything around us can > >>>> be represented and understood through numbers”, > >>>> from the stock market to the “wax and wane > >>>> of caribou populations”. But, ironically, > >>>> the film’s own numerical facts feel particularly > >>>> inexplicable. It was made on a budget of just > >>>> $60,000, which is less a shoestring and more > >>>> just the aglet at the end of a frayed lace. > >>>> To put that in to perspective, 1999’s The > >>>> Matrix – similarly based around the dystopian > >>>> danger of AI – may have been slightly slicker > >>>> and sexier, but also was made for $60m, a > >>>> thousand times more buck for a thousand > >>>> times less bang. Plus, it means that its > >>>> profit margin was huge. As Variety’s headline > >>>> following its release put it, ‘”π=$1,000,000!” > >>>> > https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/ > > >>>> > >>>> 04 Bucephalus Bouncing Ball > >>>> https://www.youtube.com/watch?v=Ez6xDGTFswQ > >>>> > >>>> Bye > >>>> > >>>> Loman Barabashev schrieb: > >>>> > I have a micro penis and my brain explodes > > >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-13 16:24 +0200 |
| Subject | Terrence Tao payed troll, by System Inteligence Sect (Was: Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux]) |
| Message-ID | <1186bmi$4o8t$1@solani.org> |
| In reply to | #143478 |
Hi, Terrence Tao is a payed troll, by the System Inteligence Sect Movement. Right? Now I read: Slow Software: The Case for High-latency Systems Development https://www.sigops.org/2026/slow-software-the-case-for-high-latency-systems-development/ Terrence Tao has a YT video about slow is better than fast. Here he claims there is litterally a paradox of efficiency: Terrence Tao: The paradox of efficiency https://www.youtube.com/watch?v=svl_1upFpQo He litterally paints a romantic picture of a manchete excursion into an eldorado, while beaten by a helicopter. LoL I think its unhealthy to confuse efficient/ineffeicient and slow/fast with exact/inexact and careful/careless etc.. These people are just morons. Bye Mild Shock schrieb: > Hi, > > When looking at CERN the term Accelerator Linux > has a totally different meaning, since they also accelerate > a lot of stuff in their Particle Physics experiments: > > "Red Hat Enterprise Linux (RHEL 9 and RHEL 10) raised > its minimum CPU architecture requirements (requiring > x86-64-v2 and v3 instruction sets). If CERN had stayed on > the Red Hat / IBM ecosystem, they would > have been forced to decommission and replace those 2,200 > functional industrial machines. Redesigning and replacing that > embedded hardware was estimated to cost around > CHF 5.4 million (over $6 million USD)." > https://www.phoronix.com/news/CERN-Goes-Debian-Leaving-RHEL > > Ubuntu doesn't seem to have this dilemma, you can > easily Accelerate your Linux, by opting in to use vector > and/or matrix operations, and not only scalars: > > "Opt-in "amd64v3" Performance: Starting with Ubuntu > 25.10 and extending into Ubuntu 26.10, Canonical introduced > optimized package archives targeting x86-64-v3." > https://rueegger.me/ubuntu-2604-x86-64-v3-aktivieren/ > > Actually v3 is still a little weak. v4 has AVX-512 heavy > lifting, and many AI laptops have even more, like > general matrix multiplications (GEMM) units. > > Bye > > Disclaimer: CERN has clarified that their focus with the > migration is on their industrial accelerator-control computers > while data centers and experimental computing remain > on RHEL/AlmaLinux. LoL > > > Mild Shock schrieb: >> >> >> Hi, >> >> Remember Micro Penis, the putin payed troll, with >> fluctuating *.ru Email adresses. He never grasped >> the concept of unified memory and iGPU. Poor boy. >> >> I might need a lot of Diaper Now. Shitting his >> pants nonstop. There is a nice annoucement by >> Microsoft, cooperating with NVIDIA: >> >> "unified memory" pool shared between 20 ARM CPU >> cores and a Blackwell GPU boasting 6,144 CUDA >> cores without melting a portable chassis, they >> use wide-bus, ultra-low-latency LPDDR5X channels >> mapped straight into a coherent memory space." >> >> Introducing Surface Laptop Ultra >> https://www.youtube.com/watch?v=s1Oj792qc80 >> >> I guess I have found my next tester for pi-WAM. >> So far I didn't acquire yet a AI laptop with a >> NVIDIA GPU and renting a NVIDIA GPU has also >> >> stalled. But I doubt the above thingy will be >> on a shoestring price budget. Could be something >> above, but Autumn 2026 is nearing quickly. >> >> Have Fun everybody! >> >> Bye >> >> P.S.: Some reports say CUDA doesn't run well. But >> who needs CUDA if you have Vulkan? I also suspect >> they product my only come out 2027 or 2028, >> >> who knows? Maybe Microsoft has new a fewer, it >> already dropped the Copilot+ brand, too confusing, >> and its all "Ultra" now. >> >> Mild Shock schrieb: >> > Hi, >> > >> > Micro Penis is worse than Sleepy Joe. He >> > probably only believes the existence of a >> > hammer, when you hit him on the head with >> > >> > a hammer. Currently Micro Penis is sitting >> > there and shitting his pants it seems. >> > >> > Bye >> > >> > > stop polluting this group with nonsense, >> > > you stupid unemployed former it-supporter. >> > > I shit in your shaders. You were talking >> > > about AI. Those ryzen AI laptops are for fools. >> > >> > Mild Shock schrieb: >> >> Hi, >> >> >> >> It seems micro penis has a real existential >> >> crisis right now. An alice in wonderland moment, >> >> falling down a rabit whole. Well no wonder >> >> >> >> micro penis lives under a rock and has never >> >> heard of the small model revolution that goes >> >> hand in hand with the AI laptop revolution. >> >> >> >> Here is a test, running deepseek locally on >> >> a budget laptop (via LM Studio, oMLX, etc..): >> >> >> >> qwen3.5-9b-deepseek-v4-flash >> >> >> >> Q: Well there is a formidable horse race going on. >> >> Given the danger that I compare apples with oranges. >> >> It is still interesting too see how the Al laptop >> >> landscape is forming. >> >> >> >> Thought for 1 minutes 20 seconds >> >> >> >> A: You hit on a really crucial point in the Al economy: >> >> the tension between cloud consumption and edge ownership. >> >> When you compare a $0.50 per 1k-token API call with a >> >> $2,000 laptop that runs Qwen3.5 locally for free >> >> (electricity aside), it's not strictly apples-to-oranges >> >> because one is a service and the other is an asset. But >> >> the implications for how we use Al are massive. >> >> >> >> Bye >> >> >> >> Mild Shock schrieb: >> >>> Hi, >> >>> >> >>> It seems micro penis struggles with mobile >> >>> grade GPU concept. Whats the difference >> >>> between a mobile grade GPU and non-mobile grade >> >>> >> >>> GPU? You know the **M** in **Readeon 860M** >> >>> means Mobile! Here is a comparison: >> >>> >> >>> **Mobile GPU:** >> >>> >> >>> Energy Consuption: Low >> >>> Device Memory: AUP (accelerator unit processor, >> >>> shares memory with CPU, no VRAM) >> >>> Cooling System: Fewer or no fans >> >>> >> >>> **Non-Mobile GPU:** >> >>> >> >>> Energy Consuption: High >> >>> Device Memory: DUP (discret unit processor, >> >>> has its own VRAM) >> >>> Cooling System: A lot of fans or other cooling >> >>> >> >>> Bye >> >>> >> >>> BTW: Here are some results for: >> >>> >> >>> 11.4 Giga Lips with a Budget Laptop >> >>> https://github.com/Jean-Luc-Picard-2021/gigabudget >> >>> >> >>> On a smartphone, namely Redmi Note 14 Pro+: >> >>> >> >>> 1 Shader >> >>> 1983 ms >> >>> >> >>> 4096 Shaders >> >>> 16253 ms >> >>> >> >>> The phone uses a Snapdragon 7s Gen 3 >> >>> >> >>> Mild Shock schrieb: >> >>>> Hi, >> >>>> >> >>>> Micro Penis the putin payed troll, is now >> >>>> on the payment list of overpriced NVIDIA as >> >>>> well. He cannot get over the concept of a >> >>>> >> >>>> Shoe String Budget: >> >>>> >> >>>> "According to Darren Aronofsky’s debut >> >>>> 1998 film Pi, “everything around us can >> >>>> be represented and understood through numbers”, >> >>>> from the stock market to the “wax and wane >> >>>> of caribou populations”. But, ironically, >> >>>> the film’s own numerical facts feel particularly >> >>>> inexplicable. It was made on a budget of just >> >>>> $60,000, which is less a shoestring and more >> >>>> just the aglet at the end of a frayed lace. >> >>>> To put that in to perspective, 1999’s The >> >>>> Matrix – similarly based around the dystopian >> >>>> danger of AI – may have been slightly slicker >> >>>> and sexier, but also was made for $60m, a >> >>>> thousand times more buck for a thousand >> >>>> times less bang. Plus, it means that its >> >>>> profit margin was huge. As Variety’s headline >> >>>> following its release put it, ‘”π=$1,000,000!” >> >>>> >> https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/ >> >> >>>> >> >>>> 04 Bucephalus Bouncing Ball >> >>>> https://www.youtube.com/watch?v=Ez6xDGTFswQ >> >>>> >> >>>> Bye >> >>>> >> >>>> Loman Barabashev schrieb: >> >>>> > I have a micro penis and my brain explodes >> > >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-13 16:42 +0200 |
| Subject | Bounded Rationality and Herbert Simon (Re: Terrence Tao payed troll, by System Inteligence Sect) |
| Message-ID | <1186cph$4p26$4@solani.org> |
| In reply to | #143496 |
Hi, These issues are at the core of cognitive science and artifical intelligence. A milestone was for example the Cognitive Revolution, leaving behind Skinners behaviorism of simple stimulus/response: Cognitive Revolution https://en.wikipedia.org/wiki/Cognitive_revolution Herbert Simon took it into economics: Bounded Rationality https://en.wikipedia.org/wiki/Bounded_rationality But system intelligence now talks of blast radius, and looks at ecosystems of software repositories. So its clearly not anymore individual psychology nor single software agent problems, or individual freedom and accountablity. We are in the mists of rediscovering distributed artificial intelligence research and social psychology. So a Terrence Tao giving machete djungle advice on an individual level, is surely a lame joke, to say the least. He doesn't know what he is talking about. And as a top mathematician he could surely do better! Bye Mild Shock schrieb: > Hi, > > Terrence Tao is a payed troll, by the System > Inteligence Sect Movement. Right? Now I read: > > Slow Software: The Case for High-latency Systems Development > https://www.sigops.org/2026/slow-software-the-case-for-high-latency-systems-development/ > > > Terrence Tao has a YT video about slow is better > than fast. Here he claims there is litterally a > paradox of efficiency: > > Terrence Tao: The paradox of efficiency > https://www.youtube.com/watch?v=svl_1upFpQo > > He litterally paints a romantic picture of a > manchete excursion into an eldorado, while beaten > by a helicopter. LoL > > I think its unhealthy to confuse efficient/ineffeicient and > slow/fast with exact/inexact and careful/careless etc.. > These people are just morons. > > Bye > > Mild Shock schrieb: >> Hi, >> >> When looking at CERN the term Accelerator Linux >> has a totally different meaning, since they also accelerate >> a lot of stuff in their Particle Physics experiments: >> >> "Red Hat Enterprise Linux (RHEL 9 and RHEL 10) raised >> its minimum CPU architecture requirements (requiring >> x86-64-v2 and v3 instruction sets). If CERN had stayed on >> the Red Hat / IBM ecosystem, they would >> have been forced to decommission and replace those 2,200 >> functional industrial machines. Redesigning and replacing that >> embedded hardware was estimated to cost around >> CHF 5.4 million (over $6 million USD)." >> https://www.phoronix.com/news/CERN-Goes-Debian-Leaving-RHEL >> >> Ubuntu doesn't seem to have this dilemma, you can >> easily Accelerate your Linux, by opting in to use vector >> and/or matrix operations, and not only scalars: >> >> "Opt-in "amd64v3" Performance: Starting with Ubuntu >> 25.10 and extending into Ubuntu 26.10, Canonical introduced >> optimized package archives targeting x86-64-v3." >> https://rueegger.me/ubuntu-2604-x86-64-v3-aktivieren/ >> >> Actually v3 is still a little weak. v4 has AVX-512 heavy >> lifting, and many AI laptops have even more, like >> general matrix multiplications (GEMM) units. >> >> Bye >> >> Disclaimer: CERN has clarified that their focus with the >> migration is on their industrial accelerator-control computers >> while data centers and experimental computing remain >> on RHEL/AlmaLinux. LoL >> >> >> Mild Shock schrieb: >>> >>> >>> Hi, >>> >>> Remember Micro Penis, the putin payed troll, with >>> fluctuating *.ru Email adresses. He never grasped >>> the concept of unified memory and iGPU. Poor boy. >>> >>> I might need a lot of Diaper Now. Shitting his >>> pants nonstop. There is a nice annoucement by >>> Microsoft, cooperating with NVIDIA: >>> >>> "unified memory" pool shared between 20 ARM CPU >>> cores and a Blackwell GPU boasting 6,144 CUDA >>> cores without melting a portable chassis, they >>> use wide-bus, ultra-low-latency LPDDR5X channels >>> mapped straight into a coherent memory space." >>> >>> Introducing Surface Laptop Ultra >>> https://www.youtube.com/watch?v=s1Oj792qc80 >>> >>> I guess I have found my next tester for pi-WAM. >>> So far I didn't acquire yet a AI laptop with a >>> NVIDIA GPU and renting a NVIDIA GPU has also >>> >>> stalled. But I doubt the above thingy will be >>> on a shoestring price budget. Could be something >>> above, but Autumn 2026 is nearing quickly. >>> >>> Have Fun everybody! >>> >>> Bye >>> >>> P.S.: Some reports say CUDA doesn't run well. But >>> who needs CUDA if you have Vulkan? I also suspect >>> they product my only come out 2027 or 2028, >>> >>> who knows? Maybe Microsoft has new a fewer, it >>> already dropped the Copilot+ brand, too confusing, >>> and its all "Ultra" now. >>> >>> Mild Shock schrieb: >>> > Hi, >>> > >>> > Micro Penis is worse than Sleepy Joe. He >>> > probably only believes the existence of a >>> > hammer, when you hit him on the head with >>> > >>> > a hammer. Currently Micro Penis is sitting >>> > there and shitting his pants it seems. >>> > >>> > Bye >>> > >>> > > stop polluting this group with nonsense, >>> > > you stupid unemployed former it-supporter. >>> > > I shit in your shaders. You were talking >>> > > about AI. Those ryzen AI laptops are for fools. >>> > >>> > Mild Shock schrieb: >>> >> Hi, >>> >> >>> >> It seems micro penis has a real existential >>> >> crisis right now. An alice in wonderland moment, >>> >> falling down a rabit whole. Well no wonder >>> >> >>> >> micro penis lives under a rock and has never >>> >> heard of the small model revolution that goes >>> >> hand in hand with the AI laptop revolution. >>> >> >>> >> Here is a test, running deepseek locally on >>> >> a budget laptop (via LM Studio, oMLX, etc..): >>> >> >>> >> qwen3.5-9b-deepseek-v4-flash >>> >> >>> >> Q: Well there is a formidable horse race going on. >>> >> Given the danger that I compare apples with oranges. >>> >> It is still interesting too see how the Al laptop >>> >> landscape is forming. >>> >> >>> >> Thought for 1 minutes 20 seconds >>> >> >>> >> A: You hit on a really crucial point in the Al economy: >>> >> the tension between cloud consumption and edge ownership. >>> >> When you compare a $0.50 per 1k-token API call with a >>> >> $2,000 laptop that runs Qwen3.5 locally for free >>> >> (electricity aside), it's not strictly apples-to-oranges >>> >> because one is a service and the other is an asset. But >>> >> the implications for how we use Al are massive. >>> >> >>> >> Bye >>> >> >>> >> Mild Shock schrieb: >>> >>> Hi, >>> >>> >>> >>> It seems micro penis struggles with mobile >>> >>> grade GPU concept. Whats the difference >>> >>> between a mobile grade GPU and non-mobile grade >>> >>> >>> >>> GPU? You know the **M** in **Readeon 860M** >>> >>> means Mobile! Here is a comparison: >>> >>> >>> >>> **Mobile GPU:** >>> >>> >>> >>> Energy Consuption: Low >>> >>> Device Memory: AUP (accelerator unit processor, >>> >>> shares memory with CPU, no VRAM) >>> >>> Cooling System: Fewer or no fans >>> >>> >>> >>> **Non-Mobile GPU:** >>> >>> >>> >>> Energy Consuption: High >>> >>> Device Memory: DUP (discret unit processor, >>> >>> has its own VRAM) >>> >>> Cooling System: A lot of fans or other cooling >>> >>> >>> >>> Bye >>> >>> >>> >>> BTW: Here are some results for: >>> >>> >>> >>> 11.4 Giga Lips with a Budget Laptop >>> >>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>> >>> >>> >>> On a smartphone, namely Redmi Note 14 Pro+: >>> >>> >>> >>> 1 Shader >>> >>> 1983 ms >>> >>> >>> >>> 4096 Shaders >>> >>> 16253 ms >>> >>> >>> >>> The phone uses a Snapdragon 7s Gen 3 >>> >>> >>> >>> Mild Shock schrieb: >>> >>>> Hi, >>> >>>> >>> >>>> Micro Penis the putin payed troll, is now >>> >>>> on the payment list of overpriced NVIDIA as >>> >>>> well. He cannot get over the concept of a >>> >>>> >>> >>>> Shoe String Budget: >>> >>>> >>> >>>> "According to Darren Aronofsky’s debut >>> >>>> 1998 film Pi, “everything around us can >>> >>>> be represented and understood through numbers”, >>> >>>> from the stock market to the “wax and wane >>> >>>> of caribou populations”. But, ironically, >>> >>>> the film’s own numerical facts feel particularly >>> >>>> inexplicable. It was made on a budget of just >>> >>>> $60,000, which is less a shoestring and more >>> >>>> just the aglet at the end of a frayed lace. >>> >>>> To put that in to perspective, 1999’s The >>> >>>> Matrix – similarly based around the dystopian >>> >>>> danger of AI – may have been slightly slicker >>> >>>> and sexier, but also was made for $60m, a >>> >>>> thousand times more buck for a thousand >>> >>>> times less bang. Plus, it means that its >>> >>>> profit margin was huge. As Variety’s headline >>> >>>> following its release put it, ‘”π=$1,000,000!” >>> >>>> >>> https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/ >>> >>> >>>> >>> >>>> 04 Bucephalus Bouncing Ball >>> >>>> https://www.youtube.com/watch?v=Ez6xDGTFswQ >>> >>>> >>> >>>> Bye >>> >>>> >>> >>>> Loman Barabashev schrieb: >>> >>>> > I have a micro penis and my brain explodes >>> > >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-24 15:41 +0200 |
| Subject | Food for thought: Bayesian Experimental Designer (Was: A brain desease of 20 days [Rossy Boy]) |
| Message-ID | <119399l$a6b6$3@solani.org> |
| In reply to | #143104 |
Hi,
Its really amazing how advanced the 80’s were concerning
the early expert system wave. You already found expert systems
or fault diagnosis systems, that sorted their abduction questions
via a clairvoyant value computation. It refers to a theoretical
benchmark in decision analysis, maintenance optimization,
and information economics. I didn’t find some highly visible
Prolog implementation yet, but I might be mistaken. s(CASP)
doesn’t have it yet right? Neither does Web Prolog mention
the concept yet? LLMs use clairvoyant value as well, obviously,
when they stir the dialog. Maybe as an emergent phaenomenon?
┌─────────────────────────────────────────┐
│ HOW LLMS VALUE PERFECT INFORMATION │
└─────────────────────────────────────────┘
│
┌─────────────────────────────┴──────────────────────────┐
▼ ▼
┌─────────────────────────────────┐ ┌─────────────────────────────────┐
│ EXPLICIT SCAFFOLDING │ │ EMERGENT PHENOMENON
│
├─────────────────────────────────┤ ├─────────────────────────────────┤
│ The architecture forces a VPI │ │ Autoregressive next-token
│
│ calculation (e.g., using │ │ prediction mirrors human
│
│ information entropy metrics). │ │ cost-benefit dialogue. │
└─────────────────────────────────┘ └─────────────────────────────────┘
One might spin the idea further and just say the valuation
doesn’t predict some physical system behaviour, but rather
reflects user preferences. See also:
Evaluating User-Agent Collaboration
https://arxiv.org/html/2608.27818v1
LLMs can be also bad clairvoyants:
LLMs Fail to Let Go
https://arxiv.org/pdf/2609.25337
Bye
Mild Shock schrieb:
> Hi,
>
> This was archived on Jul 9, 2026:
>
> 11.4 Giga Lips with a Budget Laptop
> https://github.com/Jean-Luc-Picard-2021/gigabudget
>
> Still, Jul 29, Rossy Boy halucinates accusations:
>
> Ross Finlayson schrieb:
> > .. bla bla goto bla bla ..
> >
> > Stupid gangster: teamsters are a union.
> >
> > In the trades, not the steals, ....
>
> Woa! Thats now 20 days of brain desease,
> and not understanding the meaning and implications.
> Even not understand pi-WAM has Hack VM backend.
>
> But its all opensource. Bravo Rossy Boy, you are
> champion in brainlessness and lazyness of
> a idiot usenet troll.
>
> Bye
>
> Johann 'Myrkraverk' Oskarsson schrieb:
>> On 28/07/2026 2:43 AM, Ross Finlayson wrote:
>>> Hello, here I'll post some design notes and a panel discussion with some
>>> chat-bots about making some sense of the "vector-wide scalar word"
>>> and "character machines", on commodity hardware about ubiquitous
>>> operations.
>>>
>>>
>>> It's considered at least tangentially relevant to comp.lang.c and
>>> comp.lang.c++ because for example text is ubiquitous and the targets
>>> would be low-level, while the higher-level languages would have a
>>> same sort of patternry, and for example that libc and cstdlib are
>>> standard, and as with regards to POSIX and Unicode and so on.
>>>
>>> Please feel free to excuse or ignore, or comment as freely.
>>>
>>> Thanks for reading.
>>>
>>
>> Are you generating all of your code via LLMs? Rest assured,
>> the LLM generated code will have subtle and sometimes not so subtle
>> bugs.
>>
>>
>> Happy bughunting!
>
[toc] | [prev] | [next] | [standalone]
Page 6 of 10 — ← Prev page 1 … 4 5 [6] 7 8 … 10 Next page →
Back to top | Article view | comp.theory
csiph-web