Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c > #400446 > 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 201 — 13 participants |
Back to article view | Back to comp.lang.c
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
Wikipedia is SNAFU by the AI boom (Re: A yellow mustard called Rossy Bod) Mild Shock <janburse@fastmail.fm> - 2026-10-29 23:42 +0100
Robot writes Wikipedia en the fly [Google AI] (Re: Wikipedia is SNAFU by the AI boom) Mild Shock <janburse@fastmail.fm> - 2026-11-01 10:52 +0100
Re: Robot writes Wikipedia en the fly [Google AI] (Re: Wikipedia is SNAFU by the AI boom) Paul <nospam@needed.invalid> - 2026-11-01 07:12 -0500
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
Expert Routing to solve Bonini's paradox [P(tao) > 0] (Re: Pontifex Codex the idea of "right and natural") Mild Shock <janburse@fastmail.fm> - 2026-10-28 15:20 +0100
Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-10-13 23:21 +0200
Lean 4: Basically just Microsoft Advertising (Was: Lean versus Natural Language) Mild Shock <janburse@fastmail.fm> - 2026-10-15 11:29 +0200
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!) bart <bc@freeuk.com> - 2026-07-30 14:20 +0100
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
Re: Mars, the MIPS emulator in Java bart <bc@freeuk.com> - 2026-07-30 17:54 +0100
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
Less Ego more Math [Somebody got Excited] (Re: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-11-01 22:59 +0100
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
Terrence Tao sold your soul to SAIR Goodfellas [E-graph problems!] (Re: Terrence Tao payed troll, by System Inteligence Sect) Mild Shock <janburse@fastmail.fm> - 2026-10-18 23:20 +0200
How AA Robotics works [Embodied AI via Frontier LLMs] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) Mild Shock <janburse@fastmail.fm> - 2026-10-30 10:46 +0100
Vibe Coding no-AI for KIDS (Leiden Declaration) (Re: 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-11-10 16:01 +0100
DIY Math AI: Norman Megill and Ilya Sutskever [Strix Halo Experiment] (Re: Vibe Coding no-AI for KIDS (Leiden Declaration)) Mild Shock <janburse@fastmail.fm> - 2026-11-10 18:47 +0100
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
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
Nosomatic AI Chirurgeon: RSI of Use/Mention? (Re: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-10-24 12:56 +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
I found a picture of David Blackwell [NVIDIA Namesake] (Re: Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident]) Mild Shock <janburse@fastmail.fm> - 2026-10-16 23:20 +0200
I need a Sponsor for a new N1X [Windows ARM64 on the Rise] (Re: I found a picture of David Blackwell [NVIDIA Namesake]) Mild Shock <janburse@fastmail.fm> - 2026-10-17 00:35 +0200
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
Mathematical Pokémon Hunting [Carina Hong] (Re: Kundalini II: Why I love DeepSeek) Mild Shock <janburse@fastmail.fm> - 2026-11-07 00:46 +0100
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-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
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") 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
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 11 — ← Prev page 1 … 4 5 [6] 7 8 … 11 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-11-01 22:59 +0100 |
| Subject | Less Ego more Math [Somebody got Excited] (Re: A real Terence Tao Ingestion Problem) |
| Message-ID | <11c8col$qmpe$3@solani.org> |
| In reply to | #402332 |
Hi, How its started: More Math, Less Ego (talk about AI and Math) Erik Demaine - 29.10.2026 https://www.youtube.com/watch?v=Gdc1yll04qI How its going: Classification of Finite Simple Groups Samuel Alexander - 28.10.2026 https://www.youtube.com/watch?v=NZklSBoLC30 Bye Mild Shock schrieb: > Hi, > > The post is only proof of the Terence Tao > ingestion problem hypothesis. That we are not > anymore able to process content, and that > even trust is destroyed. > > The AI slop presented here as a “safe” prolog > agent toolkit, halucinates things like. And it > does so consistently across many pages, still it > wants to provide “safety”: > > ### Bakage (`bakage.toml`) > The package manifest format used by Scryer Prolog to > declare project metadata, exported modules, and dependencies. > https://github.com/dougransom/prolog-agent-toolkit > > While I don’t find any evidence for such a > manifest file. Its rather: > > A package is a directory with a scryer-manifest.pl > following this schema: etc.. > https://github.com/bakaq/bakage > > That the post has even likes from field experts > like Moura from Logtalk and Torbjorn from Web > Prolog, shows that a) you can post any nonsense > on GitHub people > > will clap, and b) this forum is useless only > spreading AI slop. So while everybody is talking > about provenance and justification, as a desiderata, > the prolog agent toolkit is > > just an example of unhinged free wheeling analogical > reasoning, probably taking phrases such as cargo.toml > as a blue print and projecting them into phrases > such aa bakage.toml. > > I still think a tool breaks when its weakest > chain link break, even if people take this as a > joke of mine. But well you are all free to give it > a try, like running AI homunculi as a new sport. > > Bye > > (*) > > Terence Tao > I have recently made the point that out of three > major components of the mathematical problem > solving process - proof generation, proof > verification, and proof digestion > https://mathstodon.xyz/@tao/116551624228986501 > > P.S.: Such repos are useless if there is no way > to cockpit the original agentic AI used. You would > need to go through the route of tickets and GitHub > issues to fix problems. > > Basically subscribing to the open source dream > of Linux, that many eyes can flatten out bugs. But > this is contra-productive to use strong tools and > then wait for weak humans! > > Mild Shock schrieb: >> Hi, >> >> The idea that mathematics is based on a universal bowel >> movement system, that needs to learn and use "right and >> natural" math, is already disproved by our Indian vegetarian >> >> visitors here, that can even not digest Swiss Cheese. So >> lets declare repeating a canon a dead skill in the age of >> LLMs, and dig deeper what intelligence could mean. >> >> There is a thesis and ongoing product development: >> >> On the Measure of Intelligence François Cholle author >> of the notable book "Deep Learning with Python" >> https://arxiv.org/pdf/1911.01547 >> >> Ndea is building frontier AI systems that blend intuitive pattern >> recognition and formal reasoning into a unified architecture. >> https://ndea.com/about >> >> What about putting "right and natural" aside. And train >> mathematical intuition? Maybe the pressure of the moon >> race and cold war is lacking? And P(doom) is even >> >> the wrong wakeup call, but a genius pressure cooker! >> >> LoL >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Even Philip Wadler sounds like he has seen the >>> first Apocalyptic horse rider. But what do these >>> hardcore formalists think, that we go with a >>> >>> 2300-year old Aristotelian inferencing like Modus >>> Barbara (*) into the next decade of 2030? >>> >>> All humans are mortal >>> All Greeks are humans >>> -------------------------------- >>> Therefore all Greeks are mortal >>> >>> Or as the formalists like to write it, but this >>> is already a "fucked up" chain rule: >>> >>> ∀x (M(x) → S(x)) >>> ∀x (G(x) → M(x)) >>> ───────────────── >>> ∴ ∀x (G(x) → S(x)) >>> >>> Its just various camps fighting world domination: >>> >>> Everybody Wants To Rule The World >>> https://www.youtube.com/watch?v=uqItaKDc6oI >>> >>> And the winner in the P(doom) bottom race is: >>> >>> CEO Jensen Huang: Zero Probability P(doom) in 2030 >>> https://www.youtube.com/watch?v=XlY7DI5v4ZU >>> >>> Bye >>> >>> (*) >>> History of formal logic - III. Logic of Terms >>> Bochenski, Joseph M. - 1961 >>> https://archive.org/details/historyofformall00boch/page/210/mode/2up >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Woa! The public now marveling at the cascade >>>> LLM, LRM and now Swarms. And little software >>>> agents posting PERMADEATH. >>>> >>>> How it started: >>>> >>>> The co-evolution of AI and systems with Lidong Zhou >>>> https://www.youtube.com/watch?v=FVuJuGwkSu0 >>>> >>>> How its going: >>>> >>>> This Is the AI Agent Story That Scared Me >>>> https://www.youtube.com/watch?v=2aw3MF8pY3w >>>> >>>> They are all clueless that Strong AI, requires >>>> to go from in vitro , to in vivo, usually called >>>> situated AI. Applies also to swarms: >>>> >>>> "Being situated is generally considered to be part >>>> of being embodied, but it is useful to consider >>>> each perspective individually. The situated >>>> perspective emphasizes that intelligent behavior >>>> derives from the environment and the agent's >>>> interactions with it. The nature of these >>>> interactions are defined by an agent's embodiment." >>>> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) >>>> >>>> >>>> And emergence of private languages is nothing new. >>>> I am pretty sure the interested reader will find >>>> some 30 year old papers of in vitro simulations, >>>> >>>> of software agents developing pebbel languages. >>>> >>>> Have Fun! >>>> >>>> Bye >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> How it started: >>>>> >>>>> Randy and the Lawnmower >>>>> https://www.youtube.com/watch?v=B17Yy5buCdM >>>>> >>>>> How it is going: >>>>> >>>>> Keep off the grass folks >>>>> https://9gag.com/gag/aW4VYOd >>>>> >>>>> Bye >>>>> >>>>> Mild Shock schrieb: >>>>>> Hi, >>>>>> >>>>>> It pretty much emerges that python will >>>>>> suffer from the small hands Paradox. >>>>>> We are curently in this phase of the python >>>>>> programming language evolution: >>>>>> >>>>>> Maastrichtian >>>>>> The Cretaceous–Paleogene extinction event >>>>>> (formerly known as the Cretaceous–Tertiary >>>>>> extinction event)[a] occurred at the end of >>>>>> this age.[3] In this mass extinction, many >>>>>> commonly recognized groups such as non-avian >>>>>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >>>>>> as well as many other lesser-known groups, >>>>>> died out. The cause of the extinction is most >>>>>> commonly linked to an asteroid about 10 to >>>>>> 15 kilometres (6.2 to 9.3 mi) wide[4][5] >>>>>> colliding with Earth, ending the Cretaceous. >>>>>> >>>>>> It already happened to most of the Python tooling: >>>>>> >>>>>> [Write Code] ➔ >>>>>> [Lint with Ruff] ➔ >>>>>> (Rust: Blazing) >>>>>> >>>>>> [Install with uv] ➔ >>>>>> (Rust: Blazing) >>>>>> >>>>>> [Execute Program] >>>>>> (Python: Extremely Slow) >>>>>> >>>>>> LoL >>>>>> >>>>>> Bye >>>>>> >>>>>> P.S.: How about Mojo as a successor of Python? >>>>>> >>>>>> Mojo is a programming language for Linux and >>>>>> macOS.[10][11] It is a systems programming language >>>>>> with semantics inspired by Rust such as static >>>>>> typing and a borrow checker,[12][13] but uses a >>>>>> syntax designed to be reminiscent of Python >>>>>> (like Nim and Julia). >>>>>> https://en.wikipedia.org/wiki/Mojo_(programming_language) >>>>>> >>>>>> Mild Shock schrieb: >>>>>>> Hi, >>>>>>> >>>>>>> > Just downloading some other person's code >>>>>>> >>>>>>> I didn't do that, I wrote Hack VM for pi-WAM >>>>>>> from scratch, over the last 4 weeks. I came >>>>>>> back from holidays on end of June 2026, and now >>>>>>> >>>>>>> we have end of July 2026. But its only possible >>>>>>> because the instruction set is very smal, like >>>>>>> ca. 8 functions and ca. 8 modes and ca. 8 conditions, >>>>>>> >>>>>>> so its ca. 8 x 8 x 8 = 512 opcodes, each has an >>>>>>> A parameter and a D parameter simultaneously. >>>>>>> It has currently the following CPU backends: >>>>>>> >>>>>>> - Nnow supports interleaved synchronous emulation. >>>>>>> - Now supports warp parallelism via Java platform threads. >>>>>>> - Now supports warp parallelism via Python system threads. >>>>>>> - Now supports warp parallelism via JavaScript worker threads. >>>>>>> - Note: For Python free threads are not yet fully tested. >>>>>>> - Note: For JavaScript web workers are not yet fully tested. >>>>>>> >>>>>>> https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html >>>>>>> >>>>>>> >>>>>>> But frankly I came to encounter Hack not from >>>>>>> the usual university curriculum web resources, >>>>>>> but indirectly through a post about a Prolog >>>>>>> >>>>>>> emulation of Hack, using constrained horn clauses (CHC): >>>>>>> >>>>>>> Verifying Nand2Tetris Assembly >>>>>>> https://www.philipzucker.com/nand2tetris-chc/ >>>>>>> >>>>>>> The binary encoding is currently that the functions, >>>>>>> modes and conditions eat up a nibble (4-bit), in >>>>>>> total 12-bit, which I use then 10-bit for A parameter >>>>>>> >>>>>>> and 10-bit for D parameter. I used AI freemium, Codex >>>>>>> by ChatGPT from within IntelliJ to do some fragment >>>>>>> code translations automatically from Java to JavaScript >>>>>>> >>>>>>> or from JavaScript to Python. >>>>>>> >>>>>>> Have Fun! >>>>>>> >>>>>>> Bye >>>>>>> >>>>>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>>>>> As I said elsewhere, I'm not that interested in Hack, but virtual >>>>>>>> machines and related code. I mentioned another book, but now I >>>>>>>> feel >>>>>>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>>>>>> Nystrom? I myself am still on chapter 5, so I'm still in the Java >>>>>>>> part of the book, so I replaced comp.lang.c++ with >>>>>>>> comp.lang.java, and >>>>>>>> am fairly excited to have a working interpreter. >>>>>>>> >>>>>>>> This is the type of book people only properly learn from by >>>>>>>> typing in >>>>>>>> the code themselves. Just downloading some other person's code, >>>>>>>> and >>>>>>>> running an interpreter isn't exactly a learning experience. So I'm >>>>>>>> taking my time with it, and interleaving it with my Mars >>>>>>>> adventures. >>>>>>>> >>>>>>>> >>>>>>>> In any case, I do wish you to have fun with your own WebGPU >>>>>>>> project, >>>>>>>> whatever that is about! >>>>>>>> >>>>>>> >>>>>> >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 18:02 +0200 |
| Subject | Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) |
| Message-ID | <118u8r1$4c11$3@solani.org> |
| In reply to | #402096 |
Hi, > > People publish slop, not computers > I nowhere blamed computers. Well I did not try to envision something superintelligent. But I notice search engines are recently becoming a little omisentient, when I asked for bakage.toml, the AI Gemini was quickly finding the prolog agent toolkit repo, but at the sametime laughing at me, and telling me, bakage.toml is probably a halucination, since it also inspected the other repositories, like Scryer related and confirmed there is no bakage.toml . So it is possibly up to you how much “autonomy” you want to give to your software agents. Mostlikely the advanced software agents will anyways kind of “autocorrect” the mistake inside the AI slop, you could check in random noise into a repo, and it would try to make sense out of it nevertheless. Is this a win or loss for humanity, the increasing “automony”, or a clear sign of P(doom) > 50% ? I don’t know , somebody (*) recently claimed on youtube you need AGI to correctly estimate P(doom). So on purpose I tried to only illustrate the ideas of “ingestion problem” and " agentic AI collaboration", and use tools and processes, to not stear additional fear, people are already completely stressed out. (**) Also completely unable to articulate themselves. Bye (*) Dario’s (likely half-sincere) AI Slowdown proposal https://www.youtube.com/watch?v=PAhbxcVdW10 (**) Facing meltdown? Over 75% of adults experience chronic stress or burnout symptoms driven by financial pressures, constant digital connectivity, and modern lifestyle demands https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know Mild Shock schrieb: > Hi, > > It pretty much emerges that python will > suffer from the small hands Paradox. > We are curently in this phase of the python > programming language evolution: > > Maastrichtian > The Cretaceous–Paleogene extinction event > (formerly known as the Cretaceous–Tertiary > extinction event)[a] occurred at the end of > this age.[3] In this mass extinction, many > commonly recognized groups such as non-avian > dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, > as well as many other lesser-known groups, > died out. The cause of the extinction is most > commonly linked to an asteroid about 10 to > 15 kilometres (6.2 to 9.3 mi) wide[4][5] > colliding with Earth, ending the Cretaceous. > > It already happened to most of the Python tooling: > > [Write Code] ➔ > [Lint with Ruff] ➔ > (Rust: Blazing) > > [Install with uv] ➔ > (Rust: Blazing) > > [Execute Program] > (Python: Extremely Slow) > > LoL > > Bye > > P.S.: How about Mojo as a successor of Python? > > Mojo is a programming language for Linux and > macOS.[10][11] It is a systems programming language > with semantics inspired by Rust such as static > typing and a borrow checker,[12][13] but uses a > syntax designed to be reminiscent of Python > (like Nim and Julia). > https://en.wikipedia.org/wiki/Mojo_(programming_language) > > Bye > > Mild Shock schrieb: >> Hi, >> >> Remember when first all local AI was Python >> and PyTorch APIs. And then suddently people started >> using bare metal C/C++ Code. Here is the story: >> >> How it started: >> >> GPT-J or GPT-J-6B is an open-source large >> language model (LLM) developed by EleutherAI >> in 2021. As the name suggests, it is a >> generative pre-trained transformer model >> designed to produce human-like text that >> continues from a prompt. >> https://www.eleuther.ai/ >> >> How it was going [Georgi Gerganov]: >> >> So a few days later comes out the LLaMA, I do >> some calculations and I figure out “Okay, 65 >> billion parameters. You probably need about >> 40 gigs of RAM, with 4-bit quantization. So >> this can run on a MacBook. Why not do it?” >> >> Why I was able to do it so quickly - basically, >> for all that I saw it’s pretty much GPT-J architecture >> with some modifications, like some extra memorization >> layers. It’s minor changes. Basically, again, the >> existing code for the GPT-J, I just simply >> modified it there, it happened pretty quickly. >> https://changelog.com/podcast/532 >> >> Georgi Gerganov, Bulgarian, now with Hugging >> Face, ggml-cann also running on Chinese AI chips. >> ggml Manifesto https://github.com/ggml-org/ggml >> >> Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 18:07 +0200 |
| Subject | The Ben Goertzel talkie genes (Re: Self censoring of not talking "superintelligence") |
| Message-ID | <118u946$4c11$7@solani.org> |
| In reply to | #402339 |
Hi, I sometimes feel I have the Ben Goertzel talkie genes, although logic programming has so many papers, it was probably born to be discussed over and over again, and many here can even produce more text than me. Only not every text matches your demands and feelings, and somehow there is a perceived gap dealing with the very recent developments in the public view and there is also no guidance. The bunker bros papers from EU about Artificial Intelligence regulations are already old hats, and do not match the new Sword of Damocles discourse, they had focus like privacy, algorithmic decision making and protecting minorities. Now its about the elite mathematicians. Bye Mild Shock schrieb: > Hi, > > > > People publish slop, not computers > > I nowhere blamed computers. > > Well I did not try to envision something > superintelligent. But I notice search engines > are recently becoming a little omisentient, > when I asked for bakage.toml, > > the AI Gemini was quickly finding the prolog > agent toolkit repo, but at the sametime laughing > at me, and telling me, bakage.toml is probably > a halucination, > > since it also inspected the other repositories, > like Scryer related and confirmed there is no > bakage.toml . So it is possibly up to you how > much “autonomy” you > > want to give to your software agents. > Mostlikely the advanced software agents will > anyways kind of “autocorrect” the mistake inside > the AI slop, you > > could check in random noise into a repo, and > it would try to make sense out of it > nevertheless. Is this a win or loss for humanity, > the increasing > > “automony”, or a clear sign of P(doom) > 50% ? > I don’t know , somebody (*) recently claimed > on youtube you need AGI to correctly > estimate P(doom). > > So on purpose I tried to only illustrate the > ideas of “ingestion problem” and " agentic AI > collaboration", and use tools and processes, > to not stear additional fear, people are already > > completely stressed out. (**) Also completely > unable to articulate themselves. > > Bye > > (*) > > Dario’s (likely half-sincere) AI Slowdown proposal > https://www.youtube.com/watch?v=PAhbxcVdW10 > > (**) > > Facing meltdown? > Over 75% of adults experience chronic stress or burnout > symptoms driven by financial pressures, constant digital > connectivity, and modern lifestyle demands > https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know > > > Mild Shock schrieb: > > Hi, > > > > It pretty much emerges that python will > > suffer from the small hands Paradox. > > We are curently in this phase of the python > > programming language evolution: > > > > Maastrichtian > > The Cretaceous–Paleogene extinction event > > (formerly known as the Cretaceous–Tertiary > > extinction event)[a] occurred at the end of > > this age.[3] In this mass extinction, many > > commonly recognized groups such as non-avian > > dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, > > as well as many other lesser-known groups, > > died out. The cause of the extinction is most > > commonly linked to an asteroid about 10 to > > 15 kilometres (6.2 to 9.3 mi) wide[4][5] > > colliding with Earth, ending the Cretaceous. > > > > It already happened to most of the Python tooling: > > > > [Write Code] ➔ > > [Lint with Ruff] ➔ > > (Rust: Blazing) > > > > [Install with uv] ➔ > > (Rust: Blazing) > > > > [Execute Program] > > (Python: Extremely Slow) > > > > LoL > > > > Bye > > > > P.S.: How about Mojo as a successor of Python? > > > > Mojo is a programming language for Linux and > > macOS.[10][11] It is a systems programming language > > with semantics inspired by Rust such as static > > typing and a borrow checker,[12][13] but uses a > > syntax designed to be reminiscent of Python > > (like Nim and Julia). > > https://en.wikipedia.org/wiki/Mojo_(programming_language) > > > > Bye > > > > Mild Shock schrieb: > >> Hi, > >> > >> Remember when first all local AI was Python > >> and PyTorch APIs. And then suddently people started > >> using bare metal C/C++ Code. Here is the story: > >> > >> How it started: > >> > >> GPT-J or GPT-J-6B is an open-source large > >> language model (LLM) developed by EleutherAI > >> in 2021. As the name suggests, it is a > >> generative pre-trained transformer model > >> designed to produce human-like text that > >> continues from a prompt. > >> https://www.eleuther.ai/ > >> > >> How it was going [Georgi Gerganov]: > >> > >> So a few days later comes out the LLaMA, I do > >> some calculations and I figure out “Okay, 65 > >> billion parameters. You probably need about > >> 40 gigs of RAM, with 4-bit quantization. So > >> this can run on a MacBook. Why not do it?” > >> > >> Why I was able to do it so quickly - basically, > >> for all that I saw it’s pretty much GPT-J architecture > >> with some modifications, like some extra memorization > >> layers. It’s minor changes. Basically, again, the > >> existing code for the GPT-J, I just simply > >> modified it there, it happened pretty quickly. > >> https://changelog.com/podcast/532 > >> > >> Georgi Gerganov, Bulgarian, now with Hugging > >> Face, ggml-cann also running on Chinese AI chips. > >> ggml Manifesto https://github.com/ggml-org/ggml > >> > >> Bye > > >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 20:14 +0200 |
| Subject | Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) |
| Message-ID | <118ughm$4i92$3@solani.org> |
| In reply to | #402340 |
Hi, Today I was joking about philosophy departments, which over the last 10-20 years rather showed deflationary stance towards the formalist approaches. > Also GitHub not really follows the model of > paywalled papers, when the repo lands in the > public sphere. But watch out for licenses. What changes the picture completely, is that the Pawlowski paper, from 10. Sept, already contains a Lean formalization link, to a GitHub repository. While the Almeida & Knudstorp paper, from 11. Sept, posits only a Lean formalization claim. So Pawlowski relieves the community from doing an initial formalization. While Almeida & Knudstorp might provide one in the future or rely on some community efforts: Medvedev Logic is Π⁰₁-Complete https://github.com/Haptism89/medvedev-lean Compare to the prolog-agent-toolkit AI slop, running the Lean code through a Lean verifyer seems to be the easier way do get more certainty that the thing does what it is supposed to do. But of course it requires trust into Lean and their Mathlib. So the use of generative AI didn’t impeach trust, but what will possibly improve trust is the provision of a Lean proof artefact. That philosophy departments seem to have a more easy going with AI, has recently emerged in more benevolent reception of generative AI, maybe they like the messy output which resembles the messy human thinking they sometimes study. Dr. Paweł Pawłowski is a post-doctoral researcher in philosophical logic, CLPS, Ghent University, Belgium. Bye Mild Shock schrieb: > Hi, > > I sometimes feel I have the Ben Goertzel > talkie genes, although logic programming > has so many papers, it was probably born > to be discussed over and over again, > > and many here can even produce more text > than me. Only not every text matches your > demands and feelings, and somehow there is > a perceived gap dealing with > > the very recent developments in the public > view and there is also no guidance. The > bunker bros papers from EU about Artificial > Intelligence regulations are already old hats, > > and do not match the new Sword of Damocles > discourse, they had focus like privacy, > algorithmic decision making and protecting > minorities. Now its about the elite mathematicians. > > Bye > > Mild Shock schrieb: >> Hi, >> >> > > People publish slop, not computers >> > I nowhere blamed computers. >> >> Well I did not try to envision something >> superintelligent. But I notice search engines >> are recently becoming a little omisentient, >> when I asked for bakage.toml, >> >> the AI Gemini was quickly finding the prolog >> agent toolkit repo, but at the sametime laughing >> at me, and telling me, bakage.toml is probably >> a halucination, >> >> since it also inspected the other repositories, >> like Scryer related and confirmed there is no >> bakage.toml . So it is possibly up to you how >> much “autonomy” you >> >> want to give to your software agents. >> Mostlikely the advanced software agents will >> anyways kind of “autocorrect” the mistake inside >> the AI slop, you >> >> could check in random noise into a repo, and >> it would try to make sense out of it >> nevertheless. Is this a win or loss for humanity, >> the increasing >> >> “automony”, or a clear sign of P(doom) > 50% ? >> I don’t know , somebody (*) recently claimed >> on youtube you need AGI to correctly >> estimate P(doom). >> >> So on purpose I tried to only illustrate the >> ideas of “ingestion problem” and " agentic AI >> collaboration", and use tools and processes, >> to not stear additional fear, people are already >> >> completely stressed out. (**) Also completely >> unable to articulate themselves. >> >> Bye >> >> (*) >> >> Dario’s (likely half-sincere) AI Slowdown proposal >> https://www.youtube.com/watch?v=PAhbxcVdW10 >> >> (**) >> >> Facing meltdown? >> Over 75% of adults experience chronic stress or burnout >> symptoms driven by financial pressures, constant digital >> connectivity, and modern lifestyle demands >> https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know >> >> >> Mild Shock schrieb: >> > Hi, >> > >> > It pretty much emerges that python will >> > suffer from the small hands Paradox. >> > We are curently in this phase of the python >> > programming language evolution: >> > >> > Maastrichtian >> > The Cretaceous–Paleogene extinction event >> > (formerly known as the Cretaceous–Tertiary >> > extinction event)[a] occurred at the end of >> > this age.[3] In this mass extinction, many >> > commonly recognized groups such as non-avian >> > dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >> > as well as many other lesser-known groups, >> > died out. The cause of the extinction is most >> > commonly linked to an asteroid about 10 to >> > 15 kilometres (6.2 to 9.3 mi) wide[4][5] >> > colliding with Earth, ending the Cretaceous. >> > >> > It already happened to most of the Python tooling: >> > >> > [Write Code] ➔ >> > [Lint with Ruff] ➔ >> > (Rust: Blazing) >> > >> > [Install with uv] ➔ >> > (Rust: Blazing) >> > >> > [Execute Program] >> > (Python: Extremely Slow) >> > >> > LoL >> > >> > Bye >> > >> > P.S.: How about Mojo as a successor of Python? >> > >> > Mojo is a programming language for Linux and >> > macOS.[10][11] It is a systems programming language >> > with semantics inspired by Rust such as static >> > typing and a borrow checker,[12][13] but uses a >> > syntax designed to be reminiscent of Python >> > (like Nim and Julia). >> > https://en.wikipedia.org/wiki/Mojo_(programming_language) >> > >> > Bye >> > >> > Mild Shock schrieb: >> >> Hi, >> >> >> >> Remember when first all local AI was Python >> >> and PyTorch APIs. And then suddently people started >> >> using bare metal C/C++ Code. Here is the story: >> >> >> >> How it started: >> >> >> >> GPT-J or GPT-J-6B is an open-source large >> >> language model (LLM) developed by EleutherAI >> >> in 2021. As the name suggests, it is a >> >> generative pre-trained transformer model >> >> designed to produce human-like text that >> >> continues from a prompt. >> >> https://www.eleuther.ai/ >> >> >> >> How it was going [Georgi Gerganov]: >> >> >> >> So a few days later comes out the LLaMA, I do >> >> some calculations and I figure out “Okay, 65 >> >> billion parameters. You probably need about >> >> 40 gigs of RAM, with 4-bit quantization. So >> >> this can run on a MacBook. Why not do it?” >> >> >> >> Why I was able to do it so quickly - basically, >> >> for all that I saw it’s pretty much GPT-J architecture >> >> with some modifications, like some extra memorization >> >> layers. It’s minor changes. Basically, again, the >> >> existing code for the GPT-J, I just simply >> >> modified it there, it happened pretty quickly. >> >> https://changelog.com/podcast/532 >> >> >> >> Georgi Gerganov, Bulgarian, now with Hugging >> >> Face, ggml-cann also running on Chinese AI chips. >> >> ggml Manifesto https://github.com/ggml-org/ggml >> >> >> >> Bye >> > >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-01 02:33 +0200 |
| Subject | RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) |
| Message-ID | <114jeth$o8qj$3@solani.org> |
| In reply to | #400562 |
Hi, One could believe the AI boom is a kind of Charles Darvin Galapagos Island Evolution Trick of repurposing FFT hardware. But this is of course not true, HPC, high performance computing, has already defined level 3 ops years ago. But look at this rabit hole of Ryzen AI 7 350 NPU design, which is a stripped down Xilinx, stripped of exotic FFT features: 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 the core feature, very long instruction word (VLIW) engines, with hardware accelerated GEMMs, scattered in grids of ASIC tiles, connected by DMA and NoC, is even not very specific to AMD, you find it also in Snapdragon / Qualcomm SoCs for AI Laptops. Bye P.S.: My brain playing tricks, why should I name a library(ironpaw) ? From the same article above. Maybe WebNN is easier to use? "mlir-aie contains a Python framework called IRON that generates LLVM MLIR code representing a workload that runs on the NPU, including the code that runs on each compute tile processor and the configuration of DMAs and other hardware. Kernels for the compute tile processor can be written in C++ and compiled either with the open-source llvm-aie Peano compiler, which is a fork of LLVM that adds support for the Xilinx AI engine processors, or with the closed-source Xilinx CHESS compiler, which is included in Vitis. In simple cases the kernels can also be directly written in Python with IRON." 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/ Mild Shock schrieb: > Hi, > > > Who exactly is the thief? Does this person > > have stats in the Rogue class in dungeons > > and dragons? > > The conspiracy theory of a stealing of Torso VDBE, > by Rossy Boy, is probably a result of complete > ignorance of the Hack ecosystem. > > Hack is a very popular computer science project, > with a couple of subprojects in hardware and > software. It goes also by the name Nand to Tetris, > > and is programming language agnositic. You can do > Hack experiments in any programming language, be > it BASIC, ADA or Rust. Nobody cares. > > The gist are projects like here, first to > educate yourself about Hack: > > https://www.nand2tetris.org/course > > And then to use Hack in different contexts: > > https://www.nand2tetris.org/copy-of-talks > > For didactic purposes, I used Hack for my WebGPU > experiment. I didn't even take a look at Torso > VDBE, why should I? Hack is nicely documented, > > has even a book, and fusing the two 16-bit > instruction types A and D, into a single 32-bit > instruction stream, is nowhere patented. > > Bye > > > Johann 'Myrkraverk' Oskarsson schrieb: >> On 30/07/2026 2:13 AM, Ross Finlayson wrote: >> >>> https://www.theregister.com/databases/2026/07/29/after-rewriting-sqlite- >>> in-rust-turso-turns-its-sights-on-postgres/5279835 >>> >>> I don't much care about Rust. It's yet another Google product, >>> with the idea of not having exception handling, then supposedly >>> it's efficient and safe, yet, it's efficient by not being safe, >>> and safe by not being efficient. Then there's the macro/metaprogramming >>> front-end, which basically doesn't validate >>> like templates or otherwise for compile-time invariants, >>> that is basically like people who use string substititution instead >>> of object models, who all suffer injection attacks. >> >> Personally, I like Postgres in C, and I hope it stays there. I used to >> maintain PL/Java, and got intimately familiar with some of the limi- >> tations of the JNI interface. And while there's some new Java foreign >> function interface now, it doesn't replace JNI. Especially for projects >> that embed the JVM like PL/Java. >> >> I haven't contributed to that project for maybe one and half decade, and >> now that I'm using Java again -- a project I'll mention in another >> thread --[1] I may just resume some duties in PL/Java. But that's a >> future adventure that may or may not happen. >> >> So, I was going to say something about Postgres? Right, I'm sure the >> author of Postgres-in-Rust will run into some of the problems people >> always run into when they attempt to rewrite other large projects, and >> that's not learning from the prior mistakes. I try to avoid that. >> >> Some of that I learned the hard way, and some of that I learned by read- >> ing the /Mythical Man Month/. I don't remember the author's name, and >> my physical copy is not in my current library, but I believe the author >> is famous enough I don't need to mention him by name. >> >> >>> >>> >>> This latest manic episode has that in some more clinical or caring >>> settings, then one might wonder over the author's need to get help >>> or whether they're lost their mittens. In another view, though, >>> that's crazy-town and it's not a good place and we don't go there >>> any-more, population burse-scheiss-bots. Anyways here we just >>> generally respect people well enough to let them well alone. >> >> I don't remote diagnose people. While I don't have a medical license >> to lose, I feel it's impolite to potentially mis-diagnose people over >> text messages. >> >> I have not felt very respected here in comp.lang.c. I guess we must >> have some different experiences in this place. Who exactly is >> welcoming, and a warm person? >> >>> >>> Not to spring on you that you're wrong, it's not a conspiracy >>> against you, anyways as per the usual Shut Up goes out to any >>> of these JB, JG, PO, WM, ..., sock-puppet bots. >> >> I'm not sure I recognize all of these initials. I'm sure I'll >> learn to not engage with the problem children here in comp.lang.c, >> but it's been a few days, and I'm still familiarizing myself with >> the regulars. >> >>> >>> Thief. >> >> Who exactly is the thief? Does this person have stats in the Rogue >> class in dungeons and dragons? >> >> >> Happy C coding! >> >> [1] Those pretend em-dashes will surely make Dan Cross even more >> fictional. I hope his rage isn't fictional and he'll byte every >> character I type here in comp.lang.c. >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-01 02:34 +0200 |
| Subject | Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) |
| Message-ID | <114jev4$o8qj$4@solani.org> |
| In reply to | #400562 |
Hi, On could believe the AI boom is a kind of Charles Darvin Galapagos Island Evolution Trick of repurposing FFT hardware. But this is of course not true, HPC, high performance computing, has already defined level 3 ops years ago. But look at this rabit hole of Ryzen AI 7 350 NPU design, which is a stripped down Xilinx, stripped of exotic FFT features: 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 the core feature, very long instruction word (VLIW) engines, with hardware accelerated GEMMs, scattered in grids of ASIC tiles, connected by DMA and NoC, is even not very specific to AMD, you find it also in Snapdragon / Qualcomm SoCs for AI Laptops. Bye P.S.: My brain playing tricks, why should I name a library(ironpaw) ? From the same article above. Maybe WebNN is easier to use? "mlir-aie contains a Python framework called IRON that generates LLVM MLIR code representing a workload that runs on the NPU, including the code that runs on each compute tile processor and the configuration of DMAs and other hardware. Kernels for the compute tile processor can be written in C++ and compiled either with the open-source llvm-aie Peano compiler, which is a fork of LLVM that adds support for the Xilinx AI engine processors, or with the closed-source Xilinx CHESS compiler, which is included in Vitis. In simple cases the kernels can also be directly written in Python with IRON." 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/ Mild Shock schrieb: > Hi, > > > Who exactly is the thief? Does this person > > have stats in the Rogue class in dungeons > > and dragons? > > The conspiracy theory of a stealing of Torso VDBE, > by Rossy Boy, is probably a result of complete > ignorance of the Hack ecosystem. > > Hack is a very popular computer science project, > with a couple of subprojects in hardware and > software. It goes also by the name Nand to Tetris, > > and is programming language agnositic. You can do > Hack experiments in any programming language, be > it BASIC, ADA or Rust. Nobody cares. > > The gist are projects like here, first to > educate yourself about Hack: > > https://www.nand2tetris.org/course > > And then to use Hack in different contexts: > > https://www.nand2tetris.org/copy-of-talks > > For didactic purposes, I used Hack for my WebGPU > experiment. I didn't even take a look at Torso > VDBE, why should I? Hack is nicely documented, > > has even a book, and fusing the two 16-bit > instruction types A and D, into a single 32-bit > instruction stream, is nowhere patented. > > Bye > > > Johann 'Myrkraverk' Oskarsson schrieb: >> On 30/07/2026 2:13 AM, Ross Finlayson wrote: >> >>> https://www.theregister.com/databases/2026/07/29/after-rewriting-sqlite- >>> in-rust-turso-turns-its-sights-on-postgres/5279835 >>> >>> I don't much care about Rust. It's yet another Google product, >>> with the idea of not having exception handling, then supposedly >>> it's efficient and safe, yet, it's efficient by not being safe, >>> and safe by not being efficient. Then there's the macro/metaprogramming >>> front-end, which basically doesn't validate >>> like templates or otherwise for compile-time invariants, >>> that is basically like people who use string substititution instead >>> of object models, who all suffer injection attacks. >> >> Personally, I like Postgres in C, and I hope it stays there. I used to >> maintain PL/Java, and got intimately familiar with some of the limi- >> tations of the JNI interface. And while there's some new Java foreign >> function interface now, it doesn't replace JNI. Especially for projects >> that embed the JVM like PL/Java. >> >> I haven't contributed to that project for maybe one and half decade, and >> now that I'm using Java again -- a project I'll mention in another >> thread --[1] I may just resume some duties in PL/Java. But that's a >> future adventure that may or may not happen. >> >> So, I was going to say something about Postgres? Right, I'm sure the >> author of Postgres-in-Rust will run into some of the problems people >> always run into when they attempt to rewrite other large projects, and >> that's not learning from the prior mistakes. I try to avoid that. >> >> Some of that I learned the hard way, and some of that I learned by read- >> ing the /Mythical Man Month/. I don't remember the author's name, and >> my physical copy is not in my current library, but I believe the author >> is famous enough I don't need to mention him by name. >> >> >>> >>> >>> This latest manic episode has that in some more clinical or caring >>> settings, then one might wonder over the author's need to get help >>> or whether they're lost their mittens. In another view, though, >>> that's crazy-town and it's not a good place and we don't go there >>> any-more, population burse-scheiss-bots. Anyways here we just >>> generally respect people well enough to let them well alone. >> >> I don't remote diagnose people. While I don't have a medical license >> to lose, I feel it's impolite to potentially mis-diagnose people over >> text messages. >> >> I have not felt very respected here in comp.lang.c. I guess we must >> have some different experiences in this place. Who exactly is >> welcoming, and a warm person? >> >>> >>> Not to spring on you that you're wrong, it's not a conspiracy >>> against you, anyways as per the usual Shut Up goes out to any >>> of these JB, JG, PO, WM, ..., sock-puppet bots. >> >> I'm not sure I recognize all of these initials. I'm sure I'll >> learn to not engage with the problem children here in comp.lang.c, >> but it's been a few days, and I'm still familiarizing myself with >> the regulars. >> >>> >>> Thief. >> >> Who exactly is the thief? Does this person have stats in the Rogue >> class in dungeons and dragons? >> >> >> Happy C coding! >> >> [1] Those pretend em-dashes will surely make Dan Cross even more >> fictional. I hope his rage isn't fictional and he'll byte every >> character I type here in comp.lang.c. >
[toc] | [prev] | [next] | [standalone]
| From | Cóilín Nioclásín Glostéir <thanks-to@Taf.com> |
|---|---|
| Date | 2026-07-29 21:23 +0000 |
| Subject | Re: Postgres is in C! |
| Message-ID | <114dr09$2fl5e$1@paganini.bofh.team> |
| In reply to | #400558 |
Johann 'Myrkraverk' Oskarsson skrev: |-------------------------------------------------------------| |"I have not felt very respected here in comp.lang.c. [. . .]"| |-------------------------------------------------------------| Hej! I am sorry that you feel so! I find you to be helpful! (S. HTTP://Gloucester.Insomnia247.NL/ fuer Kontaktdaten!)
[toc] | [prev] | [next] | [standalone]
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-07-30 21:31 +0800 |
| Subject | Turbo Vison, again (was: Re: Postgres is in C!) |
| Message-ID | <enIaS.11527$UXf1.5510@fx03.ams4> |
| In reply to | #400566 |
On 30/07/2026 5:23 AM, Cóilín Nioclásín Glostéir wrote: > Johann 'Myrkraverk' Oskarsson skrev: > |-------------------------------------------------------------| > |"I have not felt very respected here in comp.lang.c. [. . .]"| > |-------------------------------------------------------------| > > Hej! > > I am sorry that you feel so! I find you to be helpful! Thank you. I try. The other "regulars" here seem to enamoured of their own self importance to care what the other person is going through on their way to competency in whatever programming project they're tackling. Another project I have open is a VAX emulator, written in a combination of C and C++. C for the emulator and other parts, C++ for the GUI in Turbo Vision. That's why I added comp.lang.c++ to this discussion, even though I don't read it. I'm sure I'll post screenshots, hosted on Dropbox, at some point in the future. And if your adventures are public enough, I hope to see some screenshots from you too! -- Johann | email: invalid -> com | http://www.myrkraverk.com/blog/ I'm not from the Internet, I just work there. | via Easynews.com
[toc] | [prev] | [next] | [standalone]
| 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 | #400553 |
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 | #400553 |
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 | #400553 |
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 | #401605 |
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 | #401611 |
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 | #401642 |
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 | #400551 |
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 | #400690 |
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 | #400691 |
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 | #400694 |
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 | #400694 |
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 | #401487 |
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]
Page 6 of 11 — ← Prev page 1 … 4 5 [6] 7 8 … 11 Next page →
Back to top | Article view | comp.lang.c
csiph-web