Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #124392 > 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 179 — 12 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!) scott@slp53.sl.home (Scott Lurndal) - 2026-07-30 14:46 +0000
Re: Please don't extend your cross posting / What does abstract mean? Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-30 16:00 +0000
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:05 +0200
Mars, the MIPS emulator in Java (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:20 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:59 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 07:24 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 09:58 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 23:19 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:23 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:36 -0700
Decorum (was: Re: Mars, the MIPS emulator in Java) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:07 +0800
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:09 +0800
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:36 -0700
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:44 -0700
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:38 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:15 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 23:31 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 12:42 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:24 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:30 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:45 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 20:42 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:55 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:13 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:59 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:53 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 20:11 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:49 +0200
A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:10 +0200
Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:27 +0200
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:30 +0200
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
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 5 of 9 — ← Prev page 1 2 3 4 [5] 6 7 8 9 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 23:10 +0200 |
| Subject | A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) |
| Message-ID | <114dq8n$kfq8$1@solani.org> |
| In reply to | #124455 |
Hi, This seems to be a funny Q16.16 experiment. It shows that an integerish Hack can do floatish stuff, by using binary fixpoint: Raytracing on the Hack computer 2021/06/13 - im alex https://blog.alexqua.ch/posts/from-nand-to-raytracer/ That it uses Rust is arbitrary. Feel free to do it in C, C++, FORTRAN or Java. I guess these languages all have basic arithmethic, right? Maybe not a long jump always? Bye 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-07-30 11:27 +0200 |
| Subject | Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) |
| Message-ID | <114f5e6$lao5$4@solani.org> |
| In reply to | #124458 |
Hi,
Woa! Thats a very sad and non fitting statement:
"This was before I was indoctrinated into
ISO Prolog and the ways of monotonic logic
programming. Shen Prolog has many semantic
and syntactic limitations that Scryer Prolog
does not. Also, I now know constraints are a
much better, purer solution to the problems
mode declarations were meant to address"
https://github.com/mthom/scryer-prolog/issues/3410#issuecomment-5030471183
Ok, here is the summer challenge, thats the easy one:
SQL --> Prolog --> WAM
Here come two variations, slightly mindboggling maybe?
SQL --> AST --> VDBE
SQL --> Prolog+Modes --> π-WAM
Bye
BTW: What is VDBE? Some abstract machine, that can
be used to run SQL, following some ideas here:
Database Co-Design With Asynchronous I/O
https://penberg.org/papers/penberg-edgesys24.pdf
Or to run Doom:
Doom on the Turso VDBE
https://github.com/tursodatabase/turso-vdbe-doom-example
What if we would run Doom with π-WAM, on a GPU,
using multiple shaders. We could add some ray tracing.
Mild Shock schrieb:
> Hi,
>
> This seems to be a funny Q16.16 experiment.
> It shows that an integerish Hack can do
> floatish stuff, by using binary fixpoint:
>
> Raytracing on the Hack computer
> 2021/06/13 - im alex
> https://blog.alexqua.ch/posts/from-nand-to-raytracer/
>
> That it uses Rust is arbitrary. Feel free
> to do it in C, C++, FORTRAN or Java. I guess
> these languages all have basic arithmethic,
>
> right? Maybe not a long jump always?
>
> Bye
>
> 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-12 20:30 +0200 |
| Subject | Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) |
| Message-ID | <115ie44$c21n$3@solani.org> |
| In reply to | #124460 |
Hi,
Ok, I see, its not really a Prolog.
For example I get the below. Why
does it have ISO compliance tests?
?- T = f(Y,Z,S), f(X,Y,Z) = T.
(no answers)
https://eyereasoner.github.io/eyeprolog/playground
Whoever payed for this nonsense, had
his money lavishly thrown out of a
window. They could use the australian
gas to directly burn some dollar notes.
LoL
Bye
Mild Shock schrieb:
> Hi,
>
> Its interesting that we already have
> like for 50 years the Curry Howard
> isomorphims, as proof justifications terms,
>
> Still it seems extremly hard to generate
> proof certificates for Prolog, isn't it?
> How it started:
>
> Ai x Big Gas. What could go wrong?
> https://www.youtube.com/watch?v=kON2ZI2BNj8
>
> How its going:
>
> eq(Z,Z).
> why eq(f(X,a),f(b,Y))
> eq(f(b, a), f(b, a)).
> why(
> eq(f(b, a), f(b, a)),
> proof(
> goal(eq(f(b, a), f(b, a))),
> by(fact("<input>", clause(1))),
> bindings([binding("Z", f(b, a))])
> )
> ).
> https://eyereasoner.github.io/eyeprolog/playground
>
> Truely some bullshit authorized by Sarah Connor.
> So far there is no danger of an upcoming
> Skynet that will gain self-awareness.
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> Woa! Thats a very sad and non fitting statement:
>>
>> "This was before I was indoctrinated into
>> ISO Prolog and the ways of monotonic logic
>> programming. Shen Prolog has many semantic
>> and syntactic limitations that Scryer Prolog
>> does not. Also, I now know constraints are a
>> much better, purer solution to the problems
>> mode declarations were meant to address"
>> https://github.com/mthom/scryer-prolog/issues/3410#issuecomment-5030471183
>>
>>
>> Ok, here is the summer challenge, thats the easy one:
>>
>> SQL --> Prolog --> WAM
>>
>> Here come two variations, slightly mindboggling maybe?
>>
>> SQL --> AST --> VDBE
>>
>> SQL --> Prolog+Modes --> π-WAM
>>
>> Bye
>>
>> BTW: What is VDBE? Some abstract machine, that can
>> be used to run SQL, following some ideas here:
>>
>> Database Co-Design With Asynchronous I/O
>> https://penberg.org/papers/penberg-edgesys24.pdf
>>
>> Or to run Doom:
>>
>> Doom on the Turso VDBE
>> https://github.com/tursodatabase/turso-vdbe-doom-example
>>
>> What if we would run Doom with π-WAM, on a GPU,
>> using multiple shaders. We could add some ray tracing.
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> This seems to be a funny Q16.16 experiment.
>>> It shows that an integerish Hack can do
>>> floatish stuff, by using binary fixpoint:
>>>
>>> Raytracing on the Hack computer
>>> 2021/06/13 - im alex
>>> https://blog.alexqua.ch/posts/from-nand-to-raytracer/
>>>
>>> That it uses Rust is arbitrary. Feel free
>>> to do it in C, C++, FORTRAN or Java. I guess
>>> these languages all have basic arithmethic,
>>>
>>> right? Maybe not a long jump always?
>>>
>>> Bye
>>>
>>> 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: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 | #124455 |
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 | #124455 |
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 | 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 | #124452 |
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 | #124447 |
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 | #124447 |
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 | #124447 |
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 | #124782 |
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 | #124784 |
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 | #124786 |
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 | #124446 |
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 | #124523 |
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 | #124524 |
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 | #124526 |
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 | #124526 |
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 | #124764 |
Hi, I miss an ISOMICRO profile of Web Prolog, a profile that can run on small embedded devices, and only single threaded. Like Python can do for example. I deleted my previous post, since it drifted into high performance computing. It was a reaction of mine, to these results and how they were viewed. Web Prolog result: 100,000 4.749 s I get this here: /* 100'000 iterations */ ?- between(1,3,_), time(ping_pong), fail; true. % Zeit 97.020 ms, Benutzer 2 %, Lips 735 k % Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k % Zeit 98.740 ms, Benutzer 1 %, Lips 974 k true. But the results have a few drawbacks. They use a highly specialized π-WAM Prolog subset and a highly specialized Hack VM backend. Also the ping pong code was optimized. So I guess this high performance view is too specifiec for the actor model. So to get a more general comparison, I tried something else. I used a Python implemented Prolog and a Python asyncio.Future implemented one element channels, the later equals SWI-Prolog queues with max_size=1. Finally I used the classical ping pong. Now with PyPy as the Python runtime the results are, 6x times faster than the shared database on a SWI-Prolog server provided by Torbjörn Lager. Difficult to judge maybe my machine is just 6x times faster? One could install PyPy, download Dogelog Player and run it on the server: ?- between(1,3,_), time(ping_pong(100000)), fail; true. % Time 812.000 ms, User 54 %, Lips 5977 k % Time 703.000 ms, User 53 %, Lips 6915 k % Time 766.000 ms, User 64 %, Lips 5339 k true. But this makes me ask, where would one see using for example SWI-Prolog Engines for the actor model, so that it becomes competitive to asyncio.Future? Any idea how to do it? I guess asyncio.Future only uses a micro queue or something. This would give the ISOMICRO profile of Web Prolog, a profile that can run on small embedded devices single threaded. The opposite of high preformance computing (HPC). Bye See also: https://trinity.elfenbenstornet.se/ P.S.: Here the source code, first what was used for validation: classic ping pong with channels and with logging And the validation output: log of running N=3 And what was used for benchmarking: classic ping pong with channels and without logging Mild Shock schrieb: > Hi, > > Ok, that was quick. While my AI Laptops were > around > 1000 CHF. The Mac Neo was around > > 500 CHF. So we went already form AI Laptop > > to AI Notebook in a few months. Now Aduino > is playing pionier, having a CPU with a NPU > on board, some Qualcomm thingy. > > New Arduino Ventuno Q: Better than Raspberry Pi? > https://www.youtube.com/watch?v=qQS_xWsU00I > > The specs: > > Octa-core ARM Cortex CPU > Adreno GPU and Hexagon AI processor (up to 40 TOPS) > 16GB LPDDR5 RAM and 64GB eMMC storage > M.2 slot for NVMe SSD expansion > > The cost is around 300 CHF. > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-02 21:53 +0200 |
| Subject | Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) |
| Message-ID | <1179uri$1i7hp$3@solani.org> |
| In reply to | #124776 |
Hi, I really wonder what use cases Web Prolog trinity would have. Would Web Prolog trinity reach in its scope into the domain of AI chat bots inside a web page? Ok, google has hijacked the term “declarative”, when an AI chatbot assistant helps fill out a HTML form. And it uses the term “imperative” when the AI chatbot calls JavaScript routines. Could be related to the ACTOR model who knows. Although the hijacking is not optimal, I like the thinking in levels, that are related to states, just like Torbjörn Lager exercises in his 400 pages, although google does maybe a bender, when it calls a form submit, and hence a HTTP POST, declarative. Bye See also: WebMCP https://developer.chrome.com/docs/ai/webmcp Here the newly arrived browser integration: Le Petit Bistro https://googlechromelabs.github.io/webmcp-tools/demos/french-bistro image Mild Shock schrieb: > Hi, > > I miss an ISOMICRO profile of Web Prolog, a profile > that can run on small embedded devices, and only > single threaded. Like Python can do for example. > > I deleted my previous post, since it drifted into > high performance computing. It was a reaction of > mine, to these results and how they were viewed. > > Web Prolog result: > > 100,000 4.749 s > > I get this here: > > /* 100'000 iterations */ > ?- between(1,3,_), time(ping_pong), fail; true. > % Zeit 97.020 ms, Benutzer 2 %, Lips 735 k > % Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k > % Zeit 98.740 ms, Benutzer 1 %, Lips 974 k > true. > > But the results have a few drawbacks. They use a highly > specialized π-WAM Prolog subset and a highly specialized > Hack VM backend. Also the ping pong code was optimized. > > So I guess this high performance view is too specifiec > for the actor model. So to get a more general comparison, > I tried something else. I used a Python implemented Prolog > > and a Python asyncio.Future implemented one element > channels, the later equals SWI-Prolog queues with max_size=1. > Finally I used the classical ping pong. Now with PyPy as the Python > > runtime the results are, 6x times faster than the shared database > on a SWI-Prolog server provided by Torbjörn Lager. Difficult > to judge maybe my machine is just 6x times faster? One could > > install PyPy, download Dogelog Player and run it on the server: > > ?- between(1,3,_), time(ping_pong(100000)), fail; true. > % Time 812.000 ms, User 54 %, Lips 5977 k > % Time 703.000 ms, User 53 %, Lips 6915 k > % Time 766.000 ms, User 64 %, Lips 5339 k > true. > > But this makes me ask, where would one see using for > example SWI-Prolog Engines for the actor model, so that it > becomes competitive to asyncio.Future? Any idea how to do it? > > I guess asyncio.Future only uses a micro queue or something. > This would give the ISOMICRO profile of Web Prolog, a profile > that can run on small embedded devices single threaded. > > The opposite of high preformance computing (HPC). > > Bye > > See also: > > https://trinity.elfenbenstornet.se/ > > P.S.: Here the source code, first what was used for validation: > > classic ping pong with channels and with logging > And the validation output: > > log of running N=3 > And what was used for benchmarking: > > classic ping pong with channels and without logging > > Mild Shock schrieb: >> Hi, >> >> Ok, that was quick. While my AI Laptops were >> around > 1000 CHF. The Mac Neo was around >> > 500 CHF. So we went already form AI Laptop >> >> to AI Notebook in a few months. Now Aduino >> is playing pionier, having a CPU with a NPU >> on board, some Qualcomm thingy. >> >> New Arduino Ventuno Q: Better than Raspberry Pi? >> https://www.youtube.com/watch?v=qQS_xWsU00I >> >> The specs: >> >> Octa-core ARM Cortex CPU >> Adreno GPU and Hexagon AI processor (up to 40 TOPS) >> 16GB LPDDR5 RAM and 64GB eMMC storage >> M.2 slot for NVMe SSD expansion >> >> The cost is around 300 CHF. >> >> Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-02 21:54 +0200 |
| Subject | Giga Lips for Prolog based Chatting (Was: Food for thought: Le Petit Bistro as a Trinity Use Case) |
| Message-ID | <1179utb$1i7hp$4@solani.org> |
| In reply to | #124777 |
Hi, What if a Prolog system can draw enough processing power, by tapping into the GPU of budget laptop that shows the web page? And run locally in a ServiceWorker. The WebMCP use case Le Petit Bistro is already such that it also has a ServiceWorker for the Gemini stub. But the envisioned variant of a ISOMICRO model would neither need a Gemini API token, nor would it need WebSockets or HTTP for communication. It would all be WebMCP inside the conglomerate of website and workers. The small language model is loaded into the ServiceWorker and run on the GPU. Here my contribution to this idea: 11.4 Giga Lips with a Budget Laptop https://github.com/Jean-Luc-Picard-2021/gigabudget Work in progress cannot demonstrate a Prolog assistant yet. Bye Mild Shock schrieb: > Hi, > > I really wonder what use cases Web Prolog trinity would > have. Would Web Prolog trinity reach in its scope into > the domain of AI chat bots inside a web page? Ok, google > > has hijacked the term “declarative”, when an AI chatbot > assistant helps fill out a HTML form. And it uses the term > “imperative” when the AI chatbot calls JavaScript routines. > > Could be related to the ACTOR model who knows. Although > the hijacking is not optimal, I like the thinking in levels, that are > related to states, just like Torbjörn Lager exercises in his 400 > > pages, although google does maybe a bender, when it calls > a form submit, and hence a HTTP POST, declarative. > > Bye > > See also: > > WebMCP > https://developer.chrome.com/docs/ai/webmcp > > Here the newly arrived browser integration: > > Le Petit Bistro > https://googlechromelabs.github.io/webmcp-tools/demos/french-bistro > > image > > Mild Shock schrieb: >> Hi, >> >> I miss an ISOMICRO profile of Web Prolog, a profile >> that can run on small embedded devices, and only >> single threaded. Like Python can do for example. >> >> I deleted my previous post, since it drifted into >> high performance computing. It was a reaction of >> mine, to these results and how they were viewed. >> >> Web Prolog result: >> >> 100,000 4.749 s >> >> I get this here: >> >> /* 100'000 iterations */ >> ?- between(1,3,_), time(ping_pong), fail; true. >> % Zeit 97.020 ms, Benutzer 2 %, Lips 735 k >> % Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k >> % Zeit 98.740 ms, Benutzer 1 %, Lips 974 k >> true. >> >> But the results have a few drawbacks. They use a highly >> specialized π-WAM Prolog subset and a highly specialized >> Hack VM backend. Also the ping pong code was optimized. >> >> So I guess this high performance view is too specifiec >> for the actor model. So to get a more general comparison, >> I tried something else. I used a Python implemented Prolog >> >> and a Python asyncio.Future implemented one element >> channels, the later equals SWI-Prolog queues with max_size=1. >> Finally I used the classical ping pong. Now with PyPy as the Python >> >> runtime the results are, 6x times faster than the shared database >> on a SWI-Prolog server provided by Torbjörn Lager. Difficult >> to judge maybe my machine is just 6x times faster? One could >> >> install PyPy, download Dogelog Player and run it on the server: >> >> ?- between(1,3,_), time(ping_pong(100000)), fail; true. >> % Time 812.000 ms, User 54 %, Lips 5977 k >> % Time 703.000 ms, User 53 %, Lips 6915 k >> % Time 766.000 ms, User 64 %, Lips 5339 k >> true. >> >> But this makes me ask, where would one see using for >> example SWI-Prolog Engines for the actor model, so that it >> becomes competitive to asyncio.Future? Any idea how to do it? >> >> I guess asyncio.Future only uses a micro queue or something. >> This would give the ISOMICRO profile of Web Prolog, a profile >> that can run on small embedded devices single threaded. >> >> The opposite of high preformance computing (HPC). >> >> Bye >> >> See also: >> >> https://trinity.elfenbenstornet.se/ >> >> P.S.: Here the source code, first what was used for validation: >> >> classic ping pong with channels and with logging >> And the validation output: >> >> log of running N=3 >> And what was used for benchmarking: >> >> classic ping pong with channels and without logging >> >> Mild Shock schrieb: >>> Hi, >>> >>> Ok, that was quick. While my AI Laptops were >>> around > 1000 CHF. The Mac Neo was around >>> > 500 CHF. So we went already form AI Laptop >>> >>> to AI Notebook in a few months. Now Aduino >>> is playing pionier, having a CPU with a NPU >>> on board, some Qualcomm thingy. >>> >>> New Arduino Ventuno Q: Better than Raspberry Pi? >>> https://www.youtube.com/watch?v=qQS_xWsU00I >>> >>> The specs: >>> >>> Octa-core ARM Cortex CPU >>> Adreno GPU and Hexagon AI processor (up to 40 TOPS) >>> 16GB LPDDR5 RAM and 64GB eMMC storage >>> M.2 slot for NVMe SSD expansion >>> >>> The cost is around 300 CHF. >>> >>> Bye >
[toc] | [prev] | [next] | [standalone]
Page 5 of 9 — ← Prev page 1 2 3 4 [5] 6 7 8 9 Next page →
Back to top | Article view | comp.lang.c++
csiph-web