Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #143063 > unrolled thread
| Started by | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| First post | 2026-07-27 11:43 -0700 |
| Last post | 2026-08-03 20:40 +0200 |
| Articles | 20 on this page of 135 — 7 participants |
Back to article view | Back to comp.theory
Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 11:43 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-28 02:47 +0800
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:07 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Mild Shock <janburse@fastmail.fm> - 2026-07-28 00:25 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:09 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:33 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:48 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:44 -0700
You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:11 +0200
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:25 -0700
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:49 +0800
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:59 -0700
I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:05 +0200
Underneath pi-WAM is Hack VM, you can goto (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:09 +0200
New addition to π-WAM is π-WAM Assembly (Was: Underneath pi-WAM is Hack VM, you can goto) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:45 +0200
Re: I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 09:11 -0700
A yellow mustard called Rossy Body (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:30 +0200
Ignoramus or Ignorabimus: I don't care (π-WAM) (Was: A yellow mustard called Rossy Body) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:31 +0200
Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:32 +0200
Re: Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:36 -0700
Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:43 +0200
Forget any arithmetization of product FSA (Was: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:47 +0200
comp.lang.lisp (was: Re: Forget any arithmetization of product FSA) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:53 +0800
Re: Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:53 -0700
There are two versions of Hack VM (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:14 +0200
Hack VM has also a Prolog spec (Was: There are two versions of Hack VM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:17 +0200
A better compiler is planned / What do you target? (Was: Hack VM has also a Prolog spec) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:22 +0200
It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:50 +0200
Budget AI Laptop 2026 versus Cray T3D 1995 (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:24 +0200
A brain desease of 20 days [Rossy Boy] (Was: Viswath & Charmaigne (vector-wide scalar-word and character machines)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:38 +0200
Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:05 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 11:13 -0700
I don't use Rust, you are crazy [Jump off a bridge, idiot] (Was: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:22 +0200
Standing on the shoulders of giants (Re: I don't use Rust, you are crazy [Jump off a bridge, idiot]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:20 +0200
You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:18 +0200
How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:56 +0200
Postgres is in C! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 03:46 +0800
Re: Postgres is in C! Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:47 -0700
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:00 +0200
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:05 +0800
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) scott@slp53.sl.home (Scott Lurndal) - 2026-07-30 14:46 +0000
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:05 +0200
Mars, the MIPS emulator in Java (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:20 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:59 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 07:24 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 09:58 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 23:19 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:23 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:36 -0700
Decorum (was: Re: Mars, the MIPS emulator in Java) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:07 +0800
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:09 +0800
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:36 -0700
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:44 -0700
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:38 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:15 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 23:31 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 12:42 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:24 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:30 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:45 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 20:42 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:55 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:13 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:59 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:53 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 20:11 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:49 +0200
A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:10 +0200
Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:27 +0200
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:30 +0200
Crating Interpreters, Java part (was: Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:27 +0800
I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:32 +0200
For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:47 +0200
Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:04 +0200
Re: For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 04:07 +0800
Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 03:49 +0800
MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:26 +0200
Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:41 +0200
Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:47 +0200
RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:33 +0200
Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:34 +0200
Re: Postgres is in C! Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-29 21:23 +0000
Turbo Vison, again (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:31 +0800
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
Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-27 21:18 +0200
Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:35 -0700
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-28 11:25 +0200
Re: Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-28 20:39 -0700
confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:15 +0200
Gemini, DeepSeek, OpenAI more clever than rossy boy (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:18 +0200
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:21 +0800
In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:27 +0200
Re: In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:40 +0800
Your strictness is your problem , not mine [See WebLLM] (Was: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:46 +0200
Graphics Processing with Fortran 77 (was: Re: Your strictness is your problem , not mine) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 18:10 +0800
I am not in C, it is theory and C++ [Hybrid Approaches from KOAN/Fortran-S] (Was: Graphics Processing with Fortran 77) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:43 +0200
Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: I am not in C, it is theory and C++) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:53 +0200
Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:48 +0200
Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:05 +0200
Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:22 +0200
Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-08 10:38 -0700
Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:20 +0200
Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:49 +0200
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
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:49 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-07-30 14:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 21:18 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 09:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 12:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 13:05 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:27 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 10:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-06 12:37 -0700
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
Big thanks to Ljubljana School [Searching 0xCAFFEE] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:40 +0200
Page 6 of 7 — ← Prev page 1 2 3 4 5 [6] 7 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 11:48 +0200 |
| Subject | Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) |
| Message-ID | <114ci8i$k2b7$2@solani.org> |
| In reply to | #143077 |
Hi, Maybe there is a Rossy Boy flux generator web server with infinity and continuity HTTPS and .mjs type, aka SIMT halucination. To run the GPU example that is written in HTML, JavaScript and WebGPU / WGSL, the minium is possibly a HTTPS server that can deliver the right mime type for the .mjs extension. Its then only a bundle of static pages that does the demonstration. What worked on my side is the IntelliJ browse button, which then uses a small local server on its own, sandboxed to serving some project files. But this is only how to launch the test pages. The Rossy Boy SIMT halucination, could also work, who knows? Bye Mild Shock schrieb: > Hi, > > Nobody cares about CivetWeb a C++/C library, > the rossy boy moron refuses to understand this > simple GPU test, that shows some AI Acceleration: > > 11.4 Giga Lips with a Budget Laptop > https://github.com/Jean-Luc-Picard-2021/gigabudget > > Bye > > Johann 'Myrkraverk' Oskarsson schrieb: >> On 29/07/2026 5:15 PM, Mild Shock wrote: >>> Hi, >>> >>> Confused rossy boy is confused. We are >>> not building a stupid web server, where >>> a listener thread spawns service threads, >>> >>> and to avoid malloc and free, reuses >>> a pool, or some shitty fork join framework. >>> The producer and consumer example I posted >>> >>> elsewhere archived a dataflow without >>> malloc and free of threads. You are miles >>> away from what we are doing here. >> >> Why not? Isn't this comp.lang.c? And isn't that exactly how >> CivetWeb works internally? Have you never built your own web >> sever in C? Not even with CivetWeb? It's really easy! You >> only need to implement a callback or two. >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 13:05 +0200 |
| Subject | Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) |
| Message-ID | <114cmq1$jmhc$3@solani.org> |
| In reply to | #143080 |
Hi, Why does this Lama have a red pyjama. Oh, its a baby Lama. Its still in the cradle and needs some training: RedPajama-Data-v2 https://github.com/togethercomputer/RedPajama-Data But then Andrej Karpathy recently showed GPT-2 training on rented GPUs for less than 100 USD in less then 2 hours. So where do these grown up Lamas go. Well Georgi Gerganov prefered C++/C when he shouted Llama Llama Red Pyjama. But you also find WebLLM, wrapping the underlying C++/C GPU interface via the W3C standard WebGPU / WGSL, with JavaScript: In-Browser LLM Inference Engine https://webllm.mlc.ai/ My experience with WebLLM 6 months ago on an iPad Pro 2024, still a little early stage performance and robustness. But hey hardware of AI mobile iGPUs is still evolving, and AI laptop, AI smartphones and AI tablets, will soon feature Chinese hardware such some new Kirin AI in 2027. Bye Mild Shock schrieb: > Hi, > > Maybe there is a Rossy Boy flux generator > web server with infinity and continuity > HTTPS and .mjs type, aka SIMT halucination. > > To run the GPU example that is written in HTML, > JavaScript and WebGPU / WGSL, the minium is > possibly a HTTPS server that can deliver the > > right mime type for the .mjs extension. Its > then only a bundle of static pages that does > the demonstration. What worked on my side > > is the IntelliJ browse button, which then uses > a small local server on its own, sandboxed to > serving some project files. > > But this is only how to launch the test pages. > > The Rossy Boy SIMT halucination, could also work, who knows? > > Bye > > Mild Shock schrieb: >> Hi, >> >> Nobody cares about CivetWeb a C++/C library, >> the rossy boy moron refuses to understand this >> simple GPU test, that shows some AI Acceleration: >> >> 11.4 Giga Lips with a Budget Laptop >> https://github.com/Jean-Luc-Picard-2021/gigabudget >> >> Bye >> >> Johann 'Myrkraverk' Oskarsson schrieb: >>> On 29/07/2026 5:15 PM, Mild Shock wrote: >>>> Hi, >>>> >>>> Confused rossy boy is confused. We are >>>> not building a stupid web server, where >>>> a listener thread spawns service threads, >>>> >>>> and to avoid malloc and free, reuses >>>> a pool, or some shitty fork join framework. >>>> The producer and consumer example I posted >>>> >>>> elsewhere archived a dataflow without >>>> malloc and free of threads. You are miles >>>> away from what we are doing here. >>> >>> Why not? Isn't this comp.lang.c? And isn't that exactly how >>> CivetWeb works internally? Have you never built your own web >>> sever in C? Not even with CivetWeb? It's really easy! You >>> only need to implement a callback or two. >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-08 09:22 +0200 |
| Subject | Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) |
| Message-ID | <1156lgk$3p2i$3@solani.org> |
| In reply to | #143084 |
Hi, Why is nobody mentioning Agda here. It has beautiful dependent types, and tactics are just programs. Poor Henk Barendregt, not everybody likes dependent types it seems: Are we stuck with Lean? https://mathoverflow.net/q/513742/ Does Depependent types require proof objects, which waste large amounts of memory. Well, if you are not good in erasing them. But is there a Red Pyjama for Proof Assistants, the baby cradle where LLMs can learn proof assistant lingua and strategies. It seems yes, synthetic data corpuses to the rescue: We address this gap by introducing SMAD (Synthetic Multilanguage Autoformalization Dataset), a 400K 4-to-3 parallel corpus covering four formal languages (Dedukti, Agda, Coq, Lean) and three natural languages ( English, French, Swedish), generated via the Informath project. https://github.com/GrammaticalFramework/informath But the corpus could be an accident, maybe rather a toy from the https://www.grammaticalframework.org/ folks, will this have an impact? Bye Mild Shock schrieb: > Hi, > > Why does this Lama have a red pyjama. > Oh, its a baby Lama. Its still in the cradle > and needs some training: > > RedPajama-Data-v2 > https://github.com/togethercomputer/RedPajama-Data > > But then Andrej Karpathy recently showed > GPT-2 training on rented GPUs for less > than 100 USD in less then 2 hours. > > So where do these grown up Lamas go. > Well Georgi Gerganov prefered C++/C > when he shouted Llama Llama Red Pyjama. > > But you also find WebLLM, wrapping the > underlying C++/C GPU interface via the > W3C standard WebGPU / WGSL, with JavaScript: > > In-Browser LLM Inference Engine > https://webllm.mlc.ai/ > > My experience with WebLLM 6 months > ago on an iPad Pro 2024, still a little early > stage performance and robustness. > > But hey hardware of AI mobile iGPUs is > still evolving, and AI laptop, AI smartphones > and AI tablets, will soon feature Chinese > > hardware such some new Kirin AI in 2027. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Maybe there is a Rossy Boy flux generator >> web server with infinity and continuity >> HTTPS and .mjs type, aka SIMT halucination. >> >> To run the GPU example that is written in HTML, >> JavaScript and WebGPU / WGSL, the minium is >> possibly a HTTPS server that can deliver the >> >> right mime type for the .mjs extension. Its >> then only a bundle of static pages that does >> the demonstration. What worked on my side >> >> is the IntelliJ browse button, which then uses >> a small local server on its own, sandboxed to >> serving some project files. >> >> But this is only how to launch the test pages. >> >> The Rossy Boy SIMT halucination, could also work, who knows? >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Nobody cares about CivetWeb a C++/C library, >>> the rossy boy moron refuses to understand this >>> simple GPU test, that shows some AI Acceleration: >>> >>> 11.4 Giga Lips with a Budget Laptop >>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>> >>> Bye >>> >>> Johann 'Myrkraverk' Oskarsson schrieb: >>>> On 29/07/2026 5:15 PM, Mild Shock wrote: >>>>> Hi, >>>>> >>>>> Confused rossy boy is confused. We are >>>>> not building a stupid web server, where >>>>> a listener thread spawns service threads, >>>>> >>>>> and to avoid malloc and free, reuses >>>>> a pool, or some shitty fork join framework. >>>>> The producer and consumer example I posted >>>>> >>>>> elsewhere archived a dataflow without >>>>> malloc and free of threads. You are miles >>>>> away from what we are doing here. >>>> >>>> Why not? Isn't this comp.lang.c? And isn't that exactly how >>>> CivetWeb works internally? Have you never built your own web >>>> sever in C? Not even with CivetWeb? It's really easy! You >>>> only need to implement a callback or two. >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| Date | 2026-08-08 10:38 -0700 |
| Subject | Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) |
| Message-ID | <UNydnR-Vjt4y9Or3nZ2dnZfqn_SdnZ2d@giganews.com> |
| In reply to | #143264 |
On 08/08/2026 12:22 AM, Mild Shock wrote: > Hi, > > Why is nobody mentioning Agda here. It has > beautiful dependent types, and tactics are > just programs. Poor Henk Barendregt, not > > everybody likes dependent types it seems: > > Are we stuck with Lean? > https://mathoverflow.net/q/513742/ > > Does Depependent types require proof objects, > which waste large amounts of memory. Well, > if you are not good in erasing them. > > But is there a Red Pyjama for Proof Assistants, > the baby cradle where LLMs can learn proof > assistant lingua and strategies. It seems > > yes, synthetic data corpuses to the rescue: > > We address this gap by introducing SMAD > (Synthetic Multilanguage Autoformalization > Dataset), a 400K 4-to-3 parallel corpus > covering four formal languages (Dedukti, > Agda, Coq, Lean) and three natural languages ( > English, French, Swedish), generated via > the Informath project. > https://github.com/GrammaticalFramework/informath > > But the corpus could be an accident, maybe rather > a toy from the https://www.grammaticalframework.org/ > folks, will this have an impact? > > Bye > > Mild Shock schrieb: >> Hi, >> >> Why does this Lama have a red pyjama. >> Oh, its a baby Lama. Its still in the cradle >> and needs some training: >> >> RedPajama-Data-v2 >> https://github.com/togethercomputer/RedPajama-Data >> >> But then Andrej Karpathy recently showed >> GPT-2 training on rented GPUs for less >> than 100 USD in less then 2 hours. >> >> So where do these grown up Lamas go. >> Well Georgi Gerganov prefered C++/C >> when he shouted Llama Llama Red Pyjama. >> >> But you also find WebLLM, wrapping the >> underlying C++/C GPU interface via the >> W3C standard WebGPU / WGSL, with JavaScript: >> >> In-Browser LLM Inference Engine >> https://webllm.mlc.ai/ >> >> My experience with WebLLM 6 months >> ago on an iPad Pro 2024, still a little early >> stage performance and robustness. >> >> But hey hardware of AI mobile iGPUs is >> still evolving, and AI laptop, AI smartphones >> and AI tablets, will soon feature Chinese >> >> hardware such some new Kirin AI in 2027. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Maybe there is a Rossy Boy flux generator >>> web server with infinity and continuity >>> HTTPS and .mjs type, aka SIMT halucination. >>> >>> To run the GPU example that is written in HTML, >>> JavaScript and WebGPU / WGSL, the minium is >>> possibly a HTTPS server that can deliver the >>> >>> right mime type for the .mjs extension. Its >>> then only a bundle of static pages that does >>> the demonstration. What worked on my side >>> >>> is the IntelliJ browse button, which then uses >>> a small local server on its own, sandboxed to >>> serving some project files. >>> >>> But this is only how to launch the test pages. >>> >>> The Rossy Boy SIMT halucination, could also work, who knows? >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Nobody cares about CivetWeb a C++/C library, >>>> the rossy boy moron refuses to understand this >>>> simple GPU test, that shows some AI Acceleration: >>>> >>>> 11.4 Giga Lips with a Budget Laptop >>>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>>> >>>> Bye >>>> >>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>> On 29/07/2026 5:15 PM, Mild Shock wrote: >>>>>> Hi, >>>>>> >>>>>> Confused rossy boy is confused. We are >>>>>> not building a stupid web server, where >>>>>> a listener thread spawns service threads, >>>>>> >>>>>> and to avoid malloc and free, reuses >>>>>> a pool, or some shitty fork join framework. >>>>>> The producer and consumer example I posted >>>>>> >>>>>> elsewhere archived a dataflow without >>>>>> malloc and free of threads. You are miles >>>>>> away from what we are doing here. >>>>> >>>>> Why not? Isn't this comp.lang.c? And isn't that exactly how >>>>> CivetWeb works internally? Have you never built your own web >>>>> sever in C? Not even with CivetWeb? It's really easy! You >>>>> only need to implement a callback or two. >>>>> >>>> >>> >> > Lean is stuck with primitives of classes and total functions. Some functions aren't total and class/set distinction exists. Emulating things like "circle/box modalities" or "super-Cartesian functions" can still be done constructively, though, then involving quite a bit of the quantifier disambiguation, too, breaking those accounts of overloaded primitives in the language, for laws, manifold not plural, of infinity and vacuity, that quasi-modal logic overstuffs into non-contradiction, contradicting itself. About Philo and Chrysippus and Diodoras (sp.), Aristotle won't be made a fool and can rely on Chrysippus, the others being "vain" and "vain" irrespectively. That Google's "MLIR" since Microsoft's ".NET IL", polyglot front-ends to re-write rules and intermediate code, everybody already has one it's called their head. Sock-puppet shill. Fire-and-forget twit.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-15 15:20 +0200 |
| Subject | Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) |
| Message-ID | <115pp32$gtoc$3@solani.org> |
| In reply to | #143264 |
Hi,
Years ago Sam Altman said to have no idea how
to generate revenue, but when the generally
intelligent system is in place, he might ask it.
Some schools approach the “generality” from
a totally wrong perspective. Take the EyeProlog
Pseudo Scientism here:
The Art of EyeProlog
https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog
It is the same nonsense like constraint propagation,
the idea here is to evolve better software, that it
has as a main component refinement:
Start -> Algo1 -> Algo2 -> Algo3 -> Algo4 ...
But EyeProlog itself is an example of not using
this refinement. Like dropping the classical
WAM architecture, and back to YieldProlog somehow.
What if the world ticks like this
when it come to generality:
/-> Algo1
/--> Algo2
Start ---> Algo3
\--> Algo4
\-> ...
Innovation requires to start from scratch.
I think this little booklet, recommended by
Ernst Specker, Proofs from THE BOOK is a
book of mathematical proofs by Martin Aigner
and Günter M. Ziegler, first published in 1998.
Just wants to teach us about this bifurcation:
Chapter 1: Six proofs of the infinity of
the primes, including Euclid's and Furstenberg's.
https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK
Yeah, lets aim for surprises by
generative AI, not refinement.
Bye
See also:
Sam Altman on his Business Model
https://www.youtube.com/shorts/pLnyjxgFxew
Mild Shock schrieb:
> Hi,
>
> Why is nobody mentioning Agda here. It has
> beautiful dependent types, and tactics are
> just programs. Poor Henk Barendregt, not
>
> everybody likes dependent types it seems:
>
> Are we stuck with Lean?
> https://mathoverflow.net/q/513742/
>
> Does Depependent types require proof objects,
> which waste large amounts of memory. Well,
> if you are not good in erasing them.
>
> But is there a Red Pyjama for Proof Assistants,
> the baby cradle where LLMs can learn proof
> assistant lingua and strategies. It seems
>
> yes, synthetic data corpuses to the rescue:
>
> We address this gap by introducing SMAD
> (Synthetic Multilanguage Autoformalization
> Dataset), a 400K 4-to-3 parallel corpus
> covering four formal languages (Dedukti,
> Agda, Coq, Lean) and three natural languages (
> English, French, Swedish), generated via
> the Informath project.
> https://github.com/GrammaticalFramework/informath
>
> But the corpus could be an accident, maybe rather
> a toy from the https://www.grammaticalframework.org/
> folks, will this have an impact?
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> Why does this Lama have a red pyjama.
>> Oh, its a baby Lama. Its still in the cradle
>> and needs some training:
>>
>> RedPajama-Data-v2
>> https://github.com/togethercomputer/RedPajama-Data
>>
>> But then Andrej Karpathy recently showed
>> GPT-2 training on rented GPUs for less
>> than 100 USD in less then 2 hours.
>>
>> So where do these grown up Lamas go.
>> Well Georgi Gerganov prefered C++/C
>> when he shouted Llama Llama Red Pyjama.
>>
>> But you also find WebLLM, wrapping the
>> underlying C++/C GPU interface via the
>> W3C standard WebGPU / WGSL, with JavaScript:
>>
>> In-Browser LLM Inference Engine
>> https://webllm.mlc.ai/
>>
>> My experience with WebLLM 6 months
>> ago on an iPad Pro 2024, still a little early
>> stage performance and robustness.
>>
>> But hey hardware of AI mobile iGPUs is
>> still evolving, and AI laptop, AI smartphones
>> and AI tablets, will soon feature Chinese
>>
>> hardware such some new Kirin AI in 2027.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Maybe there is a Rossy Boy flux generator
>>> web server with infinity and continuity
>>> HTTPS and .mjs type, aka SIMT halucination.
>>>
>>> To run the GPU example that is written in HTML,
>>> JavaScript and WebGPU / WGSL, the minium is
>>> possibly a HTTPS server that can deliver the
>>>
>>> right mime type for the .mjs extension. Its
>>> then only a bundle of static pages that does
>>> the demonstration. What worked on my side
>>>
>>> is the IntelliJ browse button, which then uses
>>> a small local server on its own, sandboxed to
>>> serving some project files.
>>>
>>> But this is only how to launch the test pages.
>>>
>>> The Rossy Boy SIMT halucination, could also work, who knows?
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Nobody cares about CivetWeb a C++/C library,
>>>> the rossy boy moron refuses to understand this
>>>> simple GPU test, that shows some AI Acceleration:
>>>>
>>>> 11.4 Giga Lips with a Budget Laptop
>>>> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>>>
>>>> Bye
>>>>
>>>> Johann 'Myrkraverk' Oskarsson schrieb:
>>>>> On 29/07/2026 5:15 PM, Mild Shock wrote:
>>>>>> Hi,
>>>>>>
>>>>>> Confused rossy boy is confused. We are
>>>>>> not building a stupid web server, where
>>>>>> a listener thread spawns service threads,
>>>>>>
>>>>>> and to avoid malloc and free, reuses
>>>>>> a pool, or some shitty fork join framework.
>>>>>> The producer and consumer example I posted
>>>>>>
>>>>>> elsewhere archived a dataflow without
>>>>>> malloc and free of threads. You are miles
>>>>>> away from what we are doing here.
>>>>>
>>>>> Why not? Isn't this comp.lang.c? And isn't that exactly how
>>>>> CivetWeb works internally? Have you never built your own web
>>>>> sever in C? Not even with CivetWeb? It's really easy! You
>>>>> only need to implement a callback or two.
>>>>>
>>>>
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-15 18:49 +0200 |
| Subject | Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) |
| Message-ID | <115q5b7$h969$3@solani.org> |
| In reply to | #143308 |
Hi, Every does eat and sleep. Thats not, don't give up and restart: Cite 100 collegues, cite 100 papers, and do 100 Python snippets. Thats only warm-up! About - Hi, I’m Philip Zucker! https://www.philipzucker.com/about/ One the other hand, that here is true don't give up and restart: Invent a dozen acronyms HMB2, HBM2E, TC-NCF, MR-UF, MUF, MR-MUF and try them all. How SK hynix Won the AI Memory Race https://www.youtube.com/watch?v=Cg5tAujp6Go Bye Mild Shock schrieb: > Hi, > > Years ago Sam Altman said to have no idea how > to generate revenue, but when the generally > intelligent system is in place, he might ask it. > > Some schools approach the “generality” from > a totally wrong perspective. Take the EyeProlog > Pseudo Scientism here: > > The Art of EyeProlog > https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog > > It is the same nonsense like constraint propagation, > the idea here is to evolve better software, that it > has as a main component refinement: > > Start -> Algo1 -> Algo2 -> Algo3 -> Algo4 ... > > But EyeProlog itself is an example of not using > this refinement. Like dropping the classical > WAM architecture, and back to YieldProlog somehow. > > What if the world ticks like this > when it come to generality: > > /-> Algo1 > /--> Algo2 > Start ---> Algo3 > \--> Algo4 > \-> ... > > Innovation requires to start from scratch. > I think this little booklet, recommended by > Ernst Specker, Proofs from THE BOOK is a > > book of mathematical proofs by Martin Aigner > and Günter M. Ziegler, first published in 1998. > Just wants to teach us about this bifurcation: > > Chapter 1: Six proofs of the infinity of > the primes, including Euclid's and Furstenberg's. > https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK > > Yeah, lets aim for surprises by > generative AI, not refinement. > > Bye > > See also: > > Sam Altman on his Business Model > https://www.youtube.com/shorts/pLnyjxgFxew > > Mild Shock schrieb: >> Hi, >> >> Why is nobody mentioning Agda here. It has >> beautiful dependent types, and tactics are >> just programs. Poor Henk Barendregt, not >> >> everybody likes dependent types it seems: >> >> Are we stuck with Lean? >> https://mathoverflow.net/q/513742/ >> >> Does Depependent types require proof objects, >> which waste large amounts of memory. Well, >> if you are not good in erasing them. >> >> But is there a Red Pyjama for Proof Assistants, >> the baby cradle where LLMs can learn proof >> assistant lingua and strategies. It seems >> >> yes, synthetic data corpuses to the rescue: >> >> We address this gap by introducing SMAD >> (Synthetic Multilanguage Autoformalization >> Dataset), a 400K 4-to-3 parallel corpus >> covering four formal languages (Dedukti, >> Agda, Coq, Lean) and three natural languages ( >> English, French, Swedish), generated via >> the Informath project. >> https://github.com/GrammaticalFramework/informath >> >> But the corpus could be an accident, maybe rather >> a toy from the https://www.grammaticalframework.org/ >> folks, will this have an impact? >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Why does this Lama have a red pyjama. >>> Oh, its a baby Lama. Its still in the cradle >>> and needs some training: >>> >>> RedPajama-Data-v2 >>> https://github.com/togethercomputer/RedPajama-Data >>> >>> But then Andrej Karpathy recently showed >>> GPT-2 training on rented GPUs for less >>> than 100 USD in less then 2 hours. >>> >>> So where do these grown up Lamas go. >>> Well Georgi Gerganov prefered C++/C >>> when he shouted Llama Llama Red Pyjama. >>> >>> But you also find WebLLM, wrapping the >>> underlying C++/C GPU interface via the >>> W3C standard WebGPU / WGSL, with JavaScript: >>> >>> In-Browser LLM Inference Engine >>> https://webllm.mlc.ai/ >>> >>> My experience with WebLLM 6 months >>> ago on an iPad Pro 2024, still a little early >>> stage performance and robustness. >>> >>> But hey hardware of AI mobile iGPUs is >>> still evolving, and AI laptop, AI smartphones >>> and AI tablets, will soon feature Chinese >>> >>> hardware such some new Kirin AI in 2027. >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Maybe there is a Rossy Boy flux generator >>>> web server with infinity and continuity >>>> HTTPS and .mjs type, aka SIMT halucination. >>>> >>>> To run the GPU example that is written in HTML, >>>> JavaScript and WebGPU / WGSL, the minium is >>>> possibly a HTTPS server that can deliver the >>>> >>>> right mime type for the .mjs extension. Its >>>> then only a bundle of static pages that does >>>> the demonstration. What worked on my side >>>> >>>> is the IntelliJ browse button, which then uses >>>> a small local server on its own, sandboxed to >>>> serving some project files. >>>> >>>> But this is only how to launch the test pages. >>>> >>>> The Rossy Boy SIMT halucination, could also work, who knows? >>>> >>>> Bye >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> Nobody cares about CivetWeb a C++/C library, >>>>> the rossy boy moron refuses to understand this >>>>> simple GPU test, that shows some AI Acceleration: >>>>> >>>>> 11.4 Giga Lips with a Budget Laptop >>>>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>>>> >>>>> Bye >>>>> >>>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>>> On 29/07/2026 5:15 PM, Mild Shock wrote: >>>>>>> Hi, >>>>>>> >>>>>>> Confused rossy boy is confused. We are >>>>>>> not building a stupid web server, where >>>>>>> a listener thread spawns service threads, >>>>>>> >>>>>>> and to avoid malloc and free, reuses >>>>>>> a pool, or some shitty fork join framework. >>>>>>> The producer and consumer example I posted >>>>>>> >>>>>>> elsewhere archived a dataflow without >>>>>>> malloc and free of threads. You are miles >>>>>>> away from what we are doing here. >>>>>> >>>>>> Why not? Isn't this comp.lang.c? And isn't that exactly how >>>>>> CivetWeb works internally? Have you never built your own web >>>>>> sever in C? Not even with CivetWeb? It's really easy! You >>>>>> only need to implement a callback or two. >>>>>> >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2026-07-29 14:42 -0700 |
| Subject | Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) |
| Message-ID | <114ds4b$1796s$1@dont-email.me> |
| In reply to | #143076 |
On 7/29/2026 2:21 AM, Johann 'Myrkraverk' Oskarsson wrote: > On 29/07/2026 5:15 PM, Mild Shock wrote: >> Hi, >> >> Confused rossy boy is confused. We are >> not building a stupid web server, where >> a listener thread spawns service threads, >> >> and to avoid malloc and free, reuses >> a pool, or some shitty fork join framework. >> The producer and consumer example I posted >> >> elsewhere archived a dataflow without >> malloc and free of threads. You are miles >> away from what we are doing here. > > Why not? Isn't this comp.lang.c? And isn't that exactly how > CivetWeb works internally? > Have you never built your own web > sever in C? Not even with CivetWeb? It's really easy! You > only need to implement a callback or two. Implementing a callback or two in a preexisting system is not creating one from scratch.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-02 23:37 +0200 |
| Subject | Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) |
| Message-ID | <114oda0$rkoo$2@solani.org> |
| In reply to | #143115 |
Hi,
If only the fucking moron Chris M. Thomasson would
stop spamming his nonsense, he doesn't listen at
all. Problem, he cannot read, he knows nothing.
Its very common that compute shaders can block,
when they are used for General Purpose computation
on GPUs (GPGPU). If only he would pull out his
finger from his asshole, and stop thinking in his
WebGL legacy code stash nonsense. Even the
Cerebras Waver has blocking:
"Cerebras Software Language (CSL), send_color
and recv_color are parameters passed to tile
programs to manage data routing and virtual
channels (called colors) across processing
elements (PEs) on the wafer
Yes, both send and receive operations can block
on a Cerebras Processing Element (PE), primarily
due to the system's hardware-enforced backpressure
mechanism. Because the Cerebras Wafer-Scale Engine
(WSE) relies on a fine-grained,
dataflow-driven architecture, blocking prevents
data loss when hardware resources are
fully saturated."
Blocking and Unblocking
https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking
Chris M. Thomasson is an annoyance and an idiot.
He is a total waste of time. And represents those
people who cannot use their brain.
Bye
Chris M. Thomasson schrieb:
> On 8/1/2026 5:47 PM, Mild Shock wrote:
>> Hi,
>>
>> Chris M. Thomasson can ask 100 more questions.
>> I will happily answer them. But maybe I should
>> make a Wiki to explain the ever same things:
>>
>> > But, I still don't know what you main goal is?
>> The goal is "Prolog inferencing"
>>
>> > It has textures to work with in the pipeline.
>> I don't need textures for "Prolog inferencing"
>>
>> 98 more questions to go, don't give up!
> [...]
>
> Fwiw, I have several compute shaders that do what I want. Mainly
building vector fields, etc.... And yes I use textures for some input
and output, uniforms mainly for the settings, etc. Just, make sure to
code things up to a point where your compute shader never needs to wait
for something... Think of striving for wait-free algorithms.
>
> For instance, this is 100% wait free.
>
> void add_hit(ct_plane2d plane, vec2 p, vec3 weight)
> {
> vec2 uv = ct_plane2d_unproject(plane, p);
> ivec2 px = ivec2(uv * u_resolution);
>
> if (px.x >= 0 && px.x < int(u_resolution.x) &&
> px.y >= 0 && px.y < int(u_resolution.y))
> {
> imageAtomicAdd(accum_r, px, weight.r);
> imageAtomicAdd(accum_g, px, weight.g);
> imageAtomicAdd(accum_b, px, weight.b);
> imageAtomicAdd(accum_hits, px, 1.0f);
> }
> }
>
>
> Notice how I separated my accumulation buffer into different textures?
>
> layout(binding = 0, r32f) uniform coherent image2D accum_r;
> layout(binding = 1, r32f) uniform coherent image2D accum_g;
> layout(binding = 2, r32f) uniform coherent image2D accum_b;
> layout(binding = 3, r32f) uniform coherent image2D accum_hits; //
alpha / hit counter
>
> Works great and runs really fast.
Chris M. Thomasson schrieb:
> On 7/29/2026 2:21 AM, Johann 'Myrkraverk' Oskarsson wrote:
>> On 29/07/2026 5:15 PM, Mild Shock wrote:
>>> Hi,
>>>
>>> Confused rossy boy is confused. We are
>>> not building a stupid web server, where
>>> a listener thread spawns service threads,
>>>
>>> and to avoid malloc and free, reuses
>>> a pool, or some shitty fork join framework.
>>> The producer and consumer example I posted
>>>
>>> elsewhere archived a dataflow without
>>> malloc and free of threads. You are miles
>>> away from what we are doing here.
>>
>> Why not? Isn't this comp.lang.c? And isn't that exactly how
>> CivetWeb works internally?
>
>
>> Have you never built your own web
>> sever in C? Not even with CivetWeb? It's really easy! You
>> only need to implement a callback or two.
>
> Implementing a callback or two in a preexisting system is not creating
> one from scratch.
>
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2026-08-02 14:40 -0700 |
| Subject | Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) |
| Message-ID | <114odgu$qp0b$2@dont-email.me> |
| In reply to | #143177 |
On 8/2/2026 2:37 PM, Mild Shock wrote: > Hi, > > If only the fucking moron Chris M. Thomasson would > stop spamming his nonsense, he doesn't listen at > all. Problem, he cannot read, he knows nothing. > > Its very common that compute shaders can block, > when they are used for General Purpose computation > on GPUs (GPGPU). If only he would pull out his > > finger from his asshole, and stop thinking in his > WebGL legacy code stash nonsense. Even the > Cerebras Waver has blocking: > > "Cerebras Software Language (CSL), send_color > and recv_color are parameters passed to tile > programs to manage data routing and virtual > channels (called colors) across processing > elements (PEs) on the wafer > > Yes, both send and receive operations can block > on a Cerebras Processing Element (PE), primarily > due to the system's hardware-enforced backpressure > mechanism. Because the Cerebras Wafer-Scale Engine > (WSE) relies on a fine-grained, > > dataflow-driven architecture, blocking prevents > data loss when hardware resources are > fully saturated." > > Blocking and Unblocking > https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking Strive to never make a compute shader wait on something, like an empty condition of a queue, stack. > Chris M. Thomasson is an annoyance and an idiot. > He is a total waste of time. And represents those > people who cannot use their brain. I don't think you have coded compute shaders before? If so, cool, but wow. [...]
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2026-08-02 14:43 -0700 |
| Subject | Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) |
| Message-ID | <114odm9$qp0b$3@dont-email.me> |
| In reply to | #143178 |
On 8/2/2026 2:40 PM, Chris M. Thomasson wrote: > On 8/2/2026 2:37 PM, Mild Shock wrote: [...] > I don't think you have coded compute shaders before? If so, cool, but wow. > > [...] If so, in GLSL, HLSL? Vulkan, Metal, Directx12, modern opengl?
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-02 23:45 +0200 |
| Subject | You don't understand that compute shaders are tasks (Was: Even send_color and recv_color can block [Cerebras Waver]) |
| Message-ID | <114odp8$rl67$1@solani.org> |
| In reply to | #143178 |
Hi, You are a moron. In WebGPU computer sharers are tasks not hardware kernels. Forget your WebGL nonsense cookbooks. WebGPU is much more elastic. You are just a moron. Bye P.S.: Take this example, I don't have 4096 kernels: 1.4 Giga Lips with a Budget Laptop https://github.com/Jean-Luc-Picard-2021/gigabudget Still it runs, how is this done? The Ryzen has only around 512 kernels. Newer Ryzen havae 1024 kernels. This is till below 4096 logical threads. So how is it done? Chris M. Thomasson schrieb: > On 8/2/2026 2:37 PM, Mild Shock wrote: >> Hi, >> >> If only the fucking moron Chris M. Thomasson would >> stop spamming his nonsense, he doesn't listen at >> all. Problem, he cannot read, he knows nothing. >> >> Its very common that compute shaders can block, >> when they are used for General Purpose computation >> on GPUs (GPGPU). If only he would pull out his >> >> finger from his asshole, and stop thinking in his >> WebGL legacy code stash nonsense. Even the >> Cerebras Waver has blocking: >> >> "Cerebras Software Language (CSL), send_color >> and recv_color are parameters passed to tile >> programs to manage data routing and virtual >> channels (called colors) across processing >> elements (PEs) on the wafer >> >> Yes, both send and receive operations can block >> on a Cerebras Processing Element (PE), primarily >> due to the system's hardware-enforced backpressure >> mechanism. Because the Cerebras Wafer-Scale Engine >> (WSE) relies on a fine-grained, >> >> dataflow-driven architecture, blocking prevents >> data loss when hardware resources are >> fully saturated." >> >> Blocking and Unblocking >> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking > > Strive to never make a compute shader wait on something, like an empty > condition of a queue, stack. > > >> Chris M. Thomasson is an annoyance and an idiot. >> He is a total waste of time. And represents those >> people who cannot use their brain. > > I don't think you have coded compute shaders before? If so, cool, but wow. > > [...]
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-02 23:46 +0200 |
| Subject | You don't understand that compute shaders are tasks (Re: Even send_color and recv_color can block [Cerebras Waver]) |
| Message-ID | <114odrg$rl67$2@solani.org> |
| In reply to | #143178 |
Hi, You are a moron. In WebGPU computer sharers are tasks not hardware kernels. Forget your WebGL nonsense cookbooks. WebGPU is much more elastic. You are just a moron. Bye P.S.: Take this example, I don't have 4096 kernels: 11.4 Giga Lips with a Budget Laptop https://github.com/Jean-Luc-Picard-2021/gigabudget Still it runs, how is this done? The Ryzen has only around 512 kernels. Newer Ryzen havae 1024 kernels. This is till below 4096 logical threads. So how is it done? Chris M. Thomasson schrieb: > On 8/2/2026 2:37 PM, Mild Shock wrote: >> Hi, >> >> If only the fucking moron Chris M. Thomasson would >> stop spamming his nonsense, he doesn't listen at >> all. Problem, he cannot read, he knows nothing. >> >> Its very common that compute shaders can block, >> when they are used for General Purpose computation >> on GPUs (GPGPU). If only he would pull out his >> >> finger from his asshole, and stop thinking in his >> WebGL legacy code stash nonsense. Even the >> Cerebras Waver has blocking: >> >> "Cerebras Software Language (CSL), send_color >> and recv_color are parameters passed to tile >> programs to manage data routing and virtual >> channels (called colors) across processing >> elements (PEs) on the wafer >> >> Yes, both send and receive operations can block >> on a Cerebras Processing Element (PE), primarily >> due to the system's hardware-enforced backpressure >> mechanism. Because the Cerebras Wafer-Scale Engine >> (WSE) relies on a fine-grained, >> >> dataflow-driven architecture, blocking prevents >> data loss when hardware resources are >> fully saturated." >> >> Blocking and Unblocking >> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking > > Strive to never make a compute shader wait on something, like an empty > condition of a queue, stack. > > >> Chris M. Thomasson is an annoyance and an idiot. >> He is a total waste of time. And represents those >> people who cannot use their brain. > > I don't think you have coded compute shaders before? If so, cool, but wow. > > [...]
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 00:09 +0200 |
| Subject | Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: You don't understand that compute shaders are tasks) |
| Message-ID | <114of69$rlsh$3@solani.org> |
| In reply to | #143181 |
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 today on Aug 03, 2026, the usenet community still struggles with the experiment, doesn't know the meaning and implications, especially clueless about 4096 shaders and modern GPU elasticity. Woa! Thats impressive. Especially Chris M. Thomasson has a still ongoing hard time with this little WebGPU experiment. Bye Mild Shock schrieb: > Hi, > > You are a moron. In WebGPU computer sharers > are tasks not hardware kernels. Forget your > WebGL nonsense cookbooks. > > WebGPU is much more elastic. > > You are just a moron. > > Bye > > P.S.: Take this example, I don't have 4096 kernels: > > 11.4 Giga Lips with a Budget Laptop > https://github.com/Jean-Luc-Picard-2021/gigabudget > > Still it runs, how is this done? The Ryzen has > only around 512 kernels. Newer Ryzen havae 1024 > kernels. This is till below 4096 logical threads. > > So how is it done? > > > Chris M. Thomasson schrieb: >> On 8/2/2026 2:37 PM, Mild Shock wrote: >>> Hi, >>> >>> If only the fucking moron Chris M. Thomasson would >>> stop spamming his nonsense, he doesn't listen at >>> all. Problem, he cannot read, he knows nothing. >>> >>> Its very common that compute shaders can block, >>> when they are used for General Purpose computation >>> on GPUs (GPGPU). If only he would pull out his >>> >>> finger from his asshole, and stop thinking in his >>> WebGL legacy code stash nonsense. Even the >>> Cerebras Waver has blocking: >>> >>> "Cerebras Software Language (CSL), send_color >>> and recv_color are parameters passed to tile >>> programs to manage data routing and virtual >>> channels (called colors) across processing >>> elements (PEs) on the wafer >>> >>> Yes, both send and receive operations can block >>> on a Cerebras Processing Element (PE), primarily >>> due to the system's hardware-enforced backpressure >>> mechanism. Because the Cerebras Wafer-Scale Engine >>> (WSE) relies on a fine-grained, >>> >>> dataflow-driven architecture, blocking prevents >>> data loss when hardware resources are >>> fully saturated." >>> >>> Blocking and Unblocking >>> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking >> >> Strive to never make a compute shader wait on something, like an empty >> condition of a queue, stack. >> >> >>> Chris M. Thomasson is an annoyance and an idiot. >>> He is a total waste of time. And represents those >>> people who cannot use their brain. >> >> I don't think you have coded compute shaders before? If so, cool, but >> wow. >> >> [...] >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 02:08 +0200 |
| Subject | Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) |
| Message-ID | <114om5c$s9h3$3@solani.org> |
| In reply to | #143183 |
Hi, Now that the debate with Chris M. Thomasson has culminated in questions of elasticity, I suggest this homework: - Game Engine in WebGPU It will support the life cycle of sprites, like sprites comming out of nowhere, and being destroyed by arms, just like in Space invader. This would be surely a fantastic exercise, to see what a GPU can do and cannot do, in respect of life cycle of threads, especially modern GPUs that sell the CUDA dream. Have Fun! Become a nosomatic AI chirurgeon. Bye Mild Shock schrieb: > Hi, > > A nosomatic AI chirurgeon is a halfling student > of sickness, and a master of the ebb and flow of > the energies of life and death of data packets. > > He is a air bender, water bender and earth bender > in one person, using OpenVINO to juggle with > CPU, GPU and NPU. > > Last but not least he can freely switch between > symbolic and neural representation of knowledge > forms, there is no abyss for him. > > 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 today on Aug 03, 2026, the usenet > community still struggles with the experiment, > doesn't know the meaning and implications, > > especially clueless about 4096 shaders and > modern GPU elasticity. Woa! Thats impressive. > Especially Chris M. Thomasson has a still ongoing > > hard time with this little WebGPU experiment. > > Bye > > Mild Shock schrieb: >> Hi, >> >> You are a moron. In WebGPU computer sharers >> are tasks not hardware kernels. Forget your >> WebGL nonsense cookbooks. >> >> WebGPU is much more elastic. >> >> You are just a moron. >> >> Bye >> >> P.S.: Take this example, I don't have 4096 kernels: >> >> 11.4 Giga Lips with a Budget Laptop >> https://github.com/Jean-Luc-Picard-2021/gigabudget >> >> Still it runs, how is this done? The Ryzen has >> only around 512 kernels. Newer Ryzen havae 1024 >> kernels. This is till below 4096 logical threads. >> >> So how is it done? >> >> >> Chris M. Thomasson schrieb: >>> On 8/2/2026 2:37 PM, Mild Shock wrote: >>>> Hi, >>>> >>>> If only the fucking moron Chris M. Thomasson would >>>> stop spamming his nonsense, he doesn't listen at >>>> all. Problem, he cannot read, he knows nothing. >>>> >>>> Its very common that compute shaders can block, >>>> when they are used for General Purpose computation >>>> on GPUs (GPGPU). If only he would pull out his >>>> >>>> finger from his asshole, and stop thinking in his >>>> WebGL legacy code stash nonsense. Even the >>>> Cerebras Waver has blocking: >>>> >>>> "Cerebras Software Language (CSL), send_color >>>> and recv_color are parameters passed to tile >>>> programs to manage data routing and virtual >>>> channels (called colors) across processing >>>> elements (PEs) on the wafer >>>> >>>> Yes, both send and receive operations can block >>>> on a Cerebras Processing Element (PE), primarily >>>> due to the system's hardware-enforced backpressure >>>> mechanism. Because the Cerebras Wafer-Scale Engine >>>> (WSE) relies on a fine-grained, >>>> >>>> dataflow-driven architecture, blocking prevents >>>> data loss when hardware resources are >>>> fully saturated." >>>> >>>> Blocking and Unblocking >>>> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking >>> >>> Strive to never make a compute shader wait on something, like an >>> empty condition of a queue, stack. >>> >>> >>>> Chris M. Thomasson is an annoyance and an idiot. >>>> He is a total waste of time. And represents those >>>> people who cannot use their brain. >>> >>> I don't think you have coded compute shaders before? If so, cool, but >>> wow. >>> >>> [...] >> >
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2026-08-03 11:55 -0700 |
| Subject | Re: Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) |
| Message-ID | <114qo7e$1ip48$1@dont-email.me> |
| In reply to | #143184 |
On 8/2/2026 5:08 PM, Mild Shock wrote: [...] >>>> I don't think you have coded compute shaders before? If so, cool, >>>> but wow. Never mind. You are too hostile. Not worth it. Sorry. Plonk.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 21:04 +0200 |
| Subject | You are not correctly thinking (Was: Homework: Game Engine in WebGPU) |
| Message-ID | <114qoo8$t9up$1@solani.org> |
| In reply to | #143195 |
Hi, You are not correctly thinking. I am not using WebGL. I use WebGPU. Spinning is perfectly fine. I will soon give proof. Meanwhile enjoy this use case, so that you understand the goal of Prolog "inferencing" for a simple example: "We try to find 0xCAFFEE in enumerating 4 6-bit digits and the baseline is Dogelog Player VM in a browser. The CPU backend with 64 logical threads is already 20 times faster, partly due to its 32-bit specialization. The GPU backend with 4096 logical threads boosts a further factor of 7 times." GPU Backend: Find 0xCAFFEE with π-WAM https://medium.com/2989/8890efd3503c If you don't understand the goal, and the benefits of the goal, all your thinking will anyways be incorrect. Bye Chris M. Thomasson schrieb: > On 8/2/2026 5:08 PM, Mild Shock wrote: > [...] >>>>> ***I don't think** you have coded compute >>>>> shaders before? If so, cool, but wow. > > Never mind. You are too hostile. Not worth it. Sorry. Plonk.
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2026-08-03 12:32 -0700 |
| Subject | Re: You are not correctly thinking (Was: Homework: Game Engine in WebGPU) |
| Message-ID | <114qqc3$1jea5$1@dont-email.me> |
| In reply to | #143197 |
On 8/3/2026 12:04 PM, Mild Shock wrote:
> Hi,
>
> You are not correctly thinking.
> I am not using WebGL. I use WebGPU.
> Spinning is perfectly fine. I will
Wait... Before I totally plonk... Spinning is fine in a compute shader?
Really? If so my FIFO queue fetch-add-only tweak from Dimity's would
work fine. Also, Dmitry's CAS based one is good as well. My tweak
version of his have different tradeoffs... I personally would not want
to use any of them in a compute shader, never spin and/or wait! Strive
for it, really hard, first... But, well, does your system have "waiting
primitives" so you don't have to spin? Also, if you do spin you need
some sort of backoff, right? Aka PAUSE on x86, etc... Or notice in my
FIFO one can take the ticket and spin on it later as in a backoff is
doing other real work.
Akin to my special mutex pattern that can be found here in this group.
Iirc the thread is entitled:
fun with a mutex...
So, I am using dirextc12 and modern opengl for my compute shaders right
now. GLSL as my lang. I need to provide some state for them to work
with. Aka, textures and uniforms.
>
> soon give proof. Meanwhile enjoy
> this use case, so that you understand
> the goal of Prolog "inferencing" for
>
> a simple example:
>
> "We try to find 0xCAFFEE in enumerating 4
> 6-bit digits and the baseline is Dogelog
> Player VM in a browser. The CPU backend
> with 64 logical threads is already 20
> times faster, partly due to its 32-bit
> specialization. The GPU backend with
> 4096 logical threads boosts a further
> factor of 7 times."
>
> GPU Backend: Find 0xCAFFEE with π-WAM
> https://medium.com/2989/8890efd3503c
>
> If you don't understand the goal, and
> the benefits of the goal, all your
> thinking will anyways be incorrect.
>
> Bye
>
> Chris M. Thomasson schrieb:
>> On 8/2/2026 5:08 PM, Mild Shock wrote:
>> [...]
>>>>>> ***I don't think** you have coded compute shaders before? If so,
>>>>>> cool, but wow.
>>
>> Never mind. You are too hostile. Not worth it. Sorry. Plonk.
>
Fun with a mutex:
(read all...)
____________________________________
// A Fun Mutex Pattern? Or, a Nightmare? Humm...
// By: Chris M. Thomasson
//___________________________________________________
#include <iostream>
#include <random>
#include <numeric>
#include <algorithm>
#include <thread>
#include <atomic>
#include <mutex>
#define CT_WORKERS (42)
#define CT_ITERS (996699)
#define CT_BACKOFFS (42)
#define CT_RAND_MAX (20)
#define CT_RAND_THRESHOLD (5)
struct ct_shared
{
std::mutex m_fun_mutex;
std::atomic<unsigned long> m_other_work = { 0 };
int m_test_count0 = 0;
void
sanity_check_dump() const
{
std::cout << "(ct_shared:" << this << ")->" <<
"m_test_count0 = " << m_test_count0 << ", " <<
"m_other_work = " <<
m_other_work.load(std::memory_order_relaxed) << "\n";
}
bool
sanity_check_validate() const
{
return (m_test_count0 == CT_ITERS * CT_WORKERS);
}
};
void
ct_worker_entry(
ct_shared& shared
) {
//std::cout << "ct_worker_entry" << std::endl; // testing thread
race for sure...
// Thread Local...
std::random_device rnd_seed = { };
std::mt19937 rnd_gen(rnd_seed());
std::uniform_int_distribution<unsigned long> rnd_dist(0, CT_RAND_MAX);
for (unsigned long i = 0; i < CT_ITERS; ++i)
{
// Lock logic...
{
unsigned long backoff = 0;
while (! shared.m_fun_mutex.try_lock())
{
unsigned long rnd0 = rnd_dist(rnd_gen);
if (rnd0 > CT_RAND_THRESHOLD || backoff > CT_BACKOFFS)
{
shared.m_fun_mutex.lock();
break;
}
// do other work... :^)
shared.m_other_work.fetch_add(1,
std::memory_order_relaxed);
// but not too much work... ;^o
++backoff;
}
}
// Critical Section...
{
shared.m_test_count0 = shared.m_test_count0 + 1;
}
// Unlock
{
shared.m_fun_mutex.unlock();
}
}
}
int main()
{
// Hello... :^)
{
std::cout << "Hello ct_fun_mutex... lol? ;^) ver:(0.0.0)\n";
std::cout << "By: Chris M. Thomasson\n";
std::cout <<
"____________________________________________________\n";
std::cout.flush();
}
// Create our fun things... ;^)
ct_shared shared = { };
std::thread workers[CT_WORKERS] = { };
// Lanuch...
{
std::cout << "Launching Threads...\n";
std::cout.flush();
for (unsigned long i = 0; i < CT_WORKERS; ++i)
{
workers[i] = std::thread(ct_worker_entry, std::ref(shared));
}
}
// Join...
{
std::cout << "Joining Threads... (computing :^)\n";
std::cout.flush();
for (unsigned long i = 0; i < CT_WORKERS; ++i)
{
workers[i].join();
}
}
// Sanity Check...
{
shared.sanity_check_dump();
if (! shared.sanity_check_validate())
{
std::cout << "\n\n**** Pardon my French, but FUCK!!!!!
****\n" << std::endl;
}
else
{
std::cout << "\nWe are Sane!\n\n";
std::cout << "We completed " <<
shared.m_other_work.load(std::memory_order_relaxed) <<
" work items while waiting for the mutex..." << std::endl;
}
}
// Fin...
{
std::cout <<
"____________________________________________________\n";
std::cout << "Fin... :^)\n" << std::endl;
}
return 0;
}
____________________________________
Any luck? Its fun to see how many work items were completed when the
mutex was contended...
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 22:24 +0200 |
| Subject | You don't understand the economy of an AI Laptop (Was: You are not correctly thinking) |
| Message-ID | <114qtdv$td35$1@solani.org> |
| In reply to | #143198 |
Hi, Why do you even open your mouth if you don't use WebGPU / WGSL? This beyond my comprehension. OpenGL was phased out by Apple years ago. It only lives on some linux boxes. Also you probably don't use an AI Laptop. Just make a simple calculation, if you have 512 Kernels, and oversubscribe 4096 logical threads. Then each Kernel runs 4 logical threads. If one of these 4 logical threads spins, how much performance is lost? 25% of this single kernel. And there are still 511 Kernels. Spinning is totally fine, thats why WGSL provides CAS, and not some waitlists. The kernels are the wait lists itself doing the following when spinning: NOP NOP NOP Etc.. Until the a condition is met. You even don't need backoff, because you cannot pause. The only pause you can do is a barrier. But if the condition is not met while the barrier is met, what will you do? Bye Chris M. Thomasson schrieb: > So, I am using dirextc12 and modern opengl for my > compute shaders right now. GLSL as my lang. I need > to provide some state for them to work > with. Aka, textures and uniforms.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 22:37 +0200 |
| Subject | You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) |
| Message-ID | <114qu69$tdm6$1@solani.org> |
| In reply to | #143199 |
Hi, I you use atomicAdd() you have the same friction as if you use Queue put() or take(). There is no difference. The only difference is unbounded versus bounded. I tried to explain that like 100-times already. Your comment here: > Any luck? Its fun to see how many work > items were completed when the mutex was contended... Says to me you don't understand queues. They are not mutexes. Because you don't understand queues, you also don't understand OpenMP parallelism and patterns such as producer, workers, consumer. Contention is usually minimal, the workers just fetch work items from the producer, and then do some workload. And then hand the result to the consumer. If you use atomicAdd() you have the same friction as if you use Queue put() or take(). There is no difference. The only difference is unbounded versus bounded. I tried to explain that like 100-times already. Bye Mild Shock schrieb: > Hi, > > Why do you even open your mouth if you > don't use WebGPU / WGSL? This beyond my > comprehension. OpenGL was phased out by > > Apple years ago. It only lives on some > linux boxes. Also you probably don't use > an AI Laptop. Just make a simple calculation, > > if you have 512 Kernels, and oversubscribe > 4096 logical threads. Then each Kernel runs > 4 logical threads. If one of these 4 logical > > threads spins, how much performance is lost? > 25% of this single kernel. And there are > still 511 Kernels. Spinning is totally fine, > > thats why WGSL provides CAS, and not some > waitlists. The kernels are the wait lists itself > doing the following when spinning: > > NOP > NOP > NOP > Etc.. > > Until the a condition is met. You even don't > need backoff, because you cannot pause. The > only pause you can do is a barrier. > > But if the condition is not met while the > barrier is met, what will you do? > > Bye > > Chris M. Thomasson schrieb: >> So, I am using dirextc12 and modern opengl for my compute shaders >> right now. GLSL as my lang. I need to provide some state for them to >> work with. Aka, textures and uniforms.
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2026-08-03 14:29 -0700 |
| Subject | Re: You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) |
| Message-ID | <114r181$1lmn5$2@dont-email.me> |
| In reply to | #143200 |
On 8/3/2026 1:37 PM, Mild Shock wrote: > Hi, > > I you use atomicAdd() you have the same friction > as if you use Queue put() or take(). There is > no difference. The only difference is unbounded > > versus bounded. I tried to explain that like > 100-times already. Your comment here: > > > Any luck? Its fun to see how many work > > items were completed when the mutex was contended... > > Says to me you don't understand queues. They > are not mutexes. Because you don't understand > queues, you also don't understand OpenMP > > parallelism and patterns such as producer, > workers, consumer. Contention is usually minimal, > the workers just fetch work items from the > > producer, and then do some workload. And > then hand the result to the consumer. If > you use atomicAdd() you have the same friction > > as if you use Queue put() or take(). There > is no difference. The only difference is unbounded > versus bounded. I tried to explain that[...] lol. I forgot to add you to my killfile. Damn it! Anyway, I know all about them. Sigh. Peace be with you.
[toc] | [prev] | [next] | [standalone]
Page 6 of 7 — ← Prev page 1 2 3 4 5 [6] 7 Next page →
Back to top | Article view | comp.theory
csiph-web