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 2 of 9 — ← Prev page 1 [2] 3 4 5 6 7 8 9 Next page →
| From | Paul <nospam@needed.invalid> |
|---|---|
| Date | 2026-11-01 07:12 -0500 |
| Subject | Re: Robot writes Wikipedia en the fly [Google AI] (Re: Wikipedia is SNAFU by the AI boom) |
| Message-ID | <11c7aav$1ukro$1@dont-email.me> |
| In reply to | #125550 |
On Sun, 11/1/2026 4:52 AM, Mild Shock wrote: > Hi, > > Just try this query in Google search: > > "frankfurt" > > Info > Frankfurt am Main ist ein bedeutender > Finanzplatz und Sitz der Europäischen Zentralbank. > Im ehemaligen Wohnhaus Johann Wolfgang von > Goethes, der hier auch geboren wurde, befindet > sich heute ein Museum über den berühmten deutschen > Dichter und Schriftsteller. Wie große Teile der > übrigen Stadt wurde auch das Gebäude > im 2. Weltkrieg beschädigt und später > wieder aufgebaut. Auf dem Römerberg in der > restaurierten Altstadt findet jedes Jahr > der Weihnachtsmarkt statt. > ― Google > > Or try this: > > "yearly climate frankfurt" > > The 46 Pages bloat of Wikipedia Frankfurt > entry is skipped by Google Search, it > doesn't appear as first hit for specific > > or general queries, and google shows a > custom mash up. Especially AIs can find, > use and aggregate of all the citation > > that a Wikipedia page shows automatically. > And do this even more up to date. Thats > one of their functions, especially those > > that don't relay on a fixed "cut off" date > of their LLM and can incorporate "news". > > Bye Try for search terms "encyclopedia frankfurt" or "encyclopedia frankfurt germany". Wikipedia is at the top of the AI answer portion. Britannica encyclopedia company domain is also referenced. In the Links section, the fourth result is to the Wikipedia domain. Paul
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 17:32 +0200 |
| Subject | Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) |
| Message-ID | <114d6er$kh4d$1@solani.org> |
| In reply to | #124428 |
Hi, Hurry Rossy Boy, the blue bus is waiting. There is a quite a hyperbole from here: Tesla S1070 in 2008 700 Watts , 1 Terra Flop SOLVE TOMORROW’S PROBLEMS TODAY https://www.azken.com/download/Tesla_DS_S1070_EU.pdf To here: Blackwell GPU in 2026 575 Watts, 104.8 Terra Flops ( RTX 5090 ) From Volta To Blackwell https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell But somehow the S1070 had already Massively- Parallel, Many-Core Architecture, and forms of MIMD, since it had 960 / 240 = 4 cores. 960 scalar processor cores (240 per GPU). But possibly more resticted inside work groups, than later NVIDIA Volta ff architecture with independent thread state. Bye Disclaimer: The above is only a very rough RTX 5090 spec. Its doesn't say what value format and what vector/matrics ops were used. Also energy consumption may vary. Mild Shock schrieb: > Hi, > > You are still chewing on SIMD. LoL > > Ross Finlayson schrieb: > > Then the idea is that any of those can be found and matched in > > one "run", i.e. a stall-less, branch-less, call-less list of less than > > a few or less than a few dozens or less than a few hundreds > > instructions, the results "findings" in data and corresponding > > "matchings" of expressions, that runs in less than one microsecond. > > You cannot make the mental translation that if you have: > > Ross Finlayson schrieb: >> So, the context then is for register state and stack contents, that >> the indicators of the above as "positive presence" then is to make >> for that the adjustments to the offsets and extents and the shifts >> is according to those, otherwise no-ops. Then the idea is that a > > As independent logical thread state, that automatically MIMD follosw? > > Whats the problem to solve then? > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| Date | 2026-07-29 08:36 -0700 |
| Subject | Re: Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) |
| Message-ID | <-s6dnXDE6fRzgPf3nZ2dnZfqnPth4p2d@giganews.com> |
| In reply to | #124430 |
On 07/29/2026 08:32 AM, Mild Shock wrote: > Hi, > > Hurry Rossy Boy, the blue bus is waiting. > There is a quite a hyperbole from here: > > Tesla S1070 in 2008 > 700 Watts , 1 Terra Flop > SOLVE TOMORROW’S PROBLEMS TODAY > https://www.azken.com/download/Tesla_DS_S1070_EU.pdf > > To here: > > Blackwell GPU in 2026 > 575 Watts, 104.8 Terra Flops ( RTX 5090 ) > From Volta To Blackwell > https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell > > > But somehow the S1070 had already Massively- > Parallel, Many-Core Architecture, and forms > of MIMD, since it had 960 / 240 = 4 cores. > > 960 scalar processor cores (240 per GPU). > But possibly more resticted inside work > groups, than later NVIDIA Volta ff > > architecture with independent thread state. > > Bye > > Disclaimer: The above is only a very rough > RTX 5090 spec. Its doesn't say what value > format and what vector/matrics ops were > > used. Also energy consumption may vary. > > Mild Shock schrieb: >> Hi, >> >> You are still chewing on SIMD. LoL >> >> Ross Finlayson schrieb: >> > Then the idea is that any of those can be found and matched in >> > one "run", i.e. a stall-less, branch-less, call-less list of less than >> > a few or less than a few dozens or less than a few hundreds >> > instructions, the results "findings" in data and corresponding >> > "matchings" of expressions, that runs in less than one microsecond. >> >> You cannot make the mental translation that if you have: >> >> Ross Finlayson schrieb: >>> So, the context then is for register state and stack contents, that >>> the indicators of the above as "positive presence" then is to make >>> for that the adjustments to the offsets and extents and the shifts >>> is according to those, otherwise no-ops. Then the idea is that a >> >> As independent logical thread state, that automatically MIMD follosw? >> >> Whats the problem to solve then? >> >> Bye > Herf the Earth
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 17:43 +0200 |
| Subject | Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) |
| Message-ID | <114d723$khiv$1@solani.org> |
| In reply to | #124430 |
Hi, So what does NUM_SHADERS = 4096 shaders mean here? 11.4 Giga Lips with a Budget Laptop https://github.com/Jean-Luc-Picard-2021/gigabudget Its only the number of logical threads. CUDA™ TEChNOLOGY UNLOCkS ThE POWER OF TESLA MANY-CORE PROCESSORS The CUDA C compiler simplifies many-core programming by enabling code development in a high-level language and optimizing code to run on systems without knowledge of how many cores are in the hardware. CUDA applications automatically take advantage of more cores or fewer cores in a system, so they can scale from entry-level notebook GPUs to high end GPUs in technical workstations and further into racks of GPUs in data centers. This allows developers to “code once” and deploy on a range of systems, as well as scale forward in time as future GPUs deliver more performance per watt and more cores per processor. The benefit for software users is the opportunity to boost computing performance simply by adding GPUs or using their existing GPUs in new ways. https://www.azken.com/download/Tesla_DS_S1070_EU.pdf Bye Mild Shock schrieb: > Hi, > > Hurry Rossy Boy, the blue bus is waiting. > There is a quite a hyperbole from here: > > Tesla S1070 in 2008 > 700 Watts , 1 Terra Flop > SOLVE TOMORROW’S PROBLEMS TODAY > https://www.azken.com/download/Tesla_DS_S1070_EU.pdf > > To here: > > Blackwell GPU in 2026 > 575 Watts, 104.8 Terra Flops ( RTX 5090 ) > From Volta To Blackwell > https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell > > > But somehow the S1070 had already Massively- > Parallel, Many-Core Architecture, and forms > of MIMD, since it had 960 / 240 = 4 cores. > > 960 scalar processor cores (240 per GPU). > But possibly more resticted inside work > groups, than later NVIDIA Volta ff > > architecture with independent thread state. > > Bye > > Disclaimer: The above is only a very rough > RTX 5090 spec. Its doesn't say what value > format and what vector/matrics ops were > > used. Also energy consumption may vary. > > Mild Shock schrieb: >> Hi, >> >> You are still chewing on SIMD. LoL >> >> Ross Finlayson schrieb: >> > Then the idea is that any of those can be found and matched in >> > one "run", i.e. a stall-less, branch-less, call-less list of less than >> > a few or less than a few dozens or less than a few hundreds >> > instructions, the results "findings" in data and corresponding >> > "matchings" of expressions, that runs in less than one microsecond. >> >> You cannot make the mental translation that if you have: >> >> Ross Finlayson schrieb: >>> So, the context then is for register state and stack contents, that >>> the indicators of the above as "positive presence" then is to make >>> for that the adjustments to the offsets and extents and the shifts >>> is according to those, otherwise no-ops. Then the idea is that a >> >> As independent logical thread state, that automatically MIMD follosw? >> >> Whats the problem to solve then? >> >> Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 17:47 +0200 |
| Subject | Forget any arithmetization of product FSA (Was: Look how they advertized CUDA and logical threads) |
| Message-ID | <114d7bc$khsf$1@solani.org> |
| In reply to | #124432 |
Hi, Because of this parallelism you anyway need to forget about any arithmetization of product FSA (finite-state automata). Just forget it. What modern GPU provide is a kind of hirarchical viewpoint. You can have barriers in groups etc.. So you can exercise control over your mongolian horde of logical threads in a kind of multilevel schema. Have Fun! Bye Mild Shock schrieb: > Hi, > > So what does NUM_SHADERS = 4096 shaders mean here? > > 11.4 Giga Lips with a Budget Laptop > https://github.com/Jean-Luc-Picard-2021/gigabudget > > Its only the number of logical threads. > > CUDA™ TEChNOLOGY UNLOCkS ThE POWER OF TESLA MANY-CORE PROCESSORS > The CUDA C compiler simplifies many-core programming > by enabling code development in a high-level language > and optimizing code to run on systems without knowledge of > how many cores are in the hardware. > > CUDA applications automatically take advantage of more > cores or fewer cores in a system, so they can scale from > entry-level notebook GPUs to high end GPUs in technical > workstations and further into racks of GPUs in data > centers. This allows developers to > > “code once” and deploy on a range of systems, as well as > scale forward in time as future GPUs deliver more > performance per watt and more cores per processor. The benefit > for software users is the opportunity to boost computing > performance simply by adding GPUs or using their > > existing GPUs in new ways. > https://www.azken.com/download/Tesla_DS_S1070_EU.pdf > > Bye > > Mild Shock schrieb: >> Hi, >> >> Hurry Rossy Boy, the blue bus is waiting. >> There is a quite a hyperbole from here: >> >> Tesla S1070 in 2008 >> 700 Watts , 1 Terra Flop >> SOLVE TOMORROW’S PROBLEMS TODAY >> https://www.azken.com/download/Tesla_DS_S1070_EU.pdf >> >> To here: >> >> Blackwell GPU in 2026 >> 575 Watts, 104.8 Terra Flops ( RTX 5090 ) >> From Volta To Blackwell >> https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell >> >> >> But somehow the S1070 had already Massively- >> Parallel, Many-Core Architecture, and forms >> of MIMD, since it had 960 / 240 = 4 cores. >> >> 960 scalar processor cores (240 per GPU). >> But possibly more resticted inside work >> groups, than later NVIDIA Volta ff >> >> architecture with independent thread state. >> >> Bye >> >> Disclaimer: The above is only a very rough >> RTX 5090 spec. Its doesn't say what value >> format and what vector/matrics ops were >> >> used. Also energy consumption may vary. >> >> Mild Shock schrieb: >>> Hi, >>> >>> You are still chewing on SIMD. LoL >>> >>> Ross Finlayson schrieb: >>> > Then the idea is that any of those can be found and matched in >>> > one "run", i.e. a stall-less, branch-less, call-less list of less >>> than >>> > a few or less than a few dozens or less than a few hundreds >>> > instructions, the results "findings" in data and corresponding >>> > "matchings" of expressions, that runs in less than one microsecond. >>> >>> You cannot make the mental translation that if you have: >>> >>> Ross Finlayson schrieb: >>>> So, the context then is for register state and stack contents, that >>>> the indicators of the above as "positive presence" then is to make >>>> for that the adjustments to the offsets and extents and the shifts >>>> is according to those, otherwise no-ops. Then the idea is that a >>> >>> As independent logical thread state, that automatically MIMD follosw? >>> >>> Whats the problem to solve then? >>> >>> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-07-29 23:53 +0800 |
| Subject | comp.lang.lisp (was: Re: Forget any arithmetization of product FSA) |
| Message-ID | <ylpaS.102730$yWz9.62948@fx04.ams4> |
| In reply to | #124433 |
On 29/07/2026 11:47 PM, Mild Shock wrote: > Hi, > > Because of this parallelism you anyway > need to forget about any arithmetization > of product FSA (finite-state automata). > > Just forget it. What modern GPU provide > is a kind of hirarchical viewpoint. You > can have barriers in groups etc.. > > So you can exercise control over your > mongolian horde of logical threads in > a kind of multilevel schema. I don't exercise control over my mongolian horde of scheme threads, in an attempt to read comp.lang.lisp. -- 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 | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| Date | 2026-07-29 08:53 -0700 |
| Subject | Re: Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) |
| Message-ID | <xbCdnTS7zo65v_f3nZ2dnZfqnPqdnZ2d@giganews.com> |
| In reply to | #124432 |
On 07/29/2026 08:43 AM, Mild Shock wrote: > Hi, > > So what does NUM_SHADERS = 4096 shaders mean here? > > 11.4 Giga Lips with a Budget Laptop > https://github.com/Jean-Luc-Picard-2021/gigabudget > > Its only the number of logical threads. > > CUDA™ TEChNOLOGY UNLOCkS ThE POWER OF TESLA MANY-CORE PROCESSORS > The CUDA C compiler simplifies many-core programming > by enabling code development in a high-level language > and optimizing code to run on systems without knowledge of > how many cores are in the hardware. > > CUDA applications automatically take advantage of more > cores or fewer cores in a system, so they can scale from > entry-level notebook GPUs to high end GPUs in technical > workstations and further into racks of GPUs in data > centers. This allows developers to > > “code once” and deploy on a range of systems, as well as > scale forward in time as future GPUs deliver more > performance per watt and more cores per processor. The benefit > for software users is the opportunity to boost computing > performance simply by adding GPUs or using their > > existing GPUs in new ways. > https://www.azken.com/download/Tesla_DS_S1070_EU.pdf > > Bye > > Mild Shock schrieb: >> Hi, >> >> Hurry Rossy Boy, the blue bus is waiting. >> There is a quite a hyperbole from here: >> >> Tesla S1070 in 2008 >> 700 Watts , 1 Terra Flop >> SOLVE TOMORROW’S PROBLEMS TODAY >> https://www.azken.com/download/Tesla_DS_S1070_EU.pdf >> >> To here: >> >> Blackwell GPU in 2026 >> 575 Watts, 104.8 Terra Flops ( RTX 5090 ) >> From Volta To Blackwell >> https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell >> >> >> But somehow the S1070 had already Massively- >> Parallel, Many-Core Architecture, and forms >> of MIMD, since it had 960 / 240 = 4 cores. >> >> 960 scalar processor cores (240 per GPU). >> But possibly more resticted inside work >> groups, than later NVIDIA Volta ff >> >> architecture with independent thread state. >> >> Bye >> >> Disclaimer: The above is only a very rough >> RTX 5090 spec. Its doesn't say what value >> format and what vector/matrics ops were >> >> used. Also energy consumption may vary. >> >> Mild Shock schrieb: >>> Hi, >>> >>> You are still chewing on SIMD. LoL >>> >>> Ross Finlayson schrieb: >>> > Then the idea is that any of those can be found and matched in >>> > one "run", i.e. a stall-less, branch-less, call-less list of less >>> than >>> > a few or less than a few dozens or less than a few hundreds >>> > instructions, the results "findings" in data and corresponding >>> > "matchings" of expressions, that runs in less than one microsecond. >>> >>> You cannot make the mental translation that if you have: >>> >>> Ross Finlayson schrieb: >>>> So, the context then is for register state and stack contents, that >>>> the indicators of the above as "positive presence" then is to make >>>> for that the adjustments to the offsets and extents and the shifts >>>> is according to those, otherwise no-ops. Then the idea is that a >>> >>> As independent logical thread state, that automatically MIMD follosw? >>> >>> Whats the problem to solve then? >>> >>> Bye >> > “We live together, we act on, and react to, one another; but always and in all circumstances we are by ourselves. The martyrs go hand in hand into the arena; they are crucified alone. Embraced, the lovers desperately try to fuse their insulated ecstasies into a single self-transcendence; in vain. By its very nature every embodied spirit is doomed to suffer and enjoy in solitude. Sensations, feelings, insights, fancies—all these are private and, except through symbols and at second hand, incommunicable. We can pool information about experiences, but never the experiences themselves. From family to nation, every human group is a society of island universes.” ― Aldous Huxley, The Doors of Perception https://www.goodreads.com/author/quotes/3487.Aldous_Huxley Peace Frog / Five to One / Break on Through "He took the ancient mask from the gallery / and he walked on down the hall...." "Wild child / full of grace / savior of the human race." "Push It" - maybe it'd go faster if you got out and pushed. This beat is techno-tronic. If you want a faster computer, it might help to start at the bottom. Otherwise it'll always be slow underneath. Wastrel. The Crystal Ship / Spanish Caravan "Carry me, caravan, take me away, ...."
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-21 11:33 +0200 |
| Subject | The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) |
| Message-ID | <118qtlb$23pv$1@solani.org> |
| In reply to | #124430 |
Hi, Notice Linus Torvalds still smiling into cameras as if is still doing code review and ticket triage. 80% of linux comes from payed developers from within big linux stakeholders (like Intel, Meta, Google, IBM, and Red Hat). So what happend to the "The Cathedral and the Bazaar by Eric S. Raymond" It framed open source as this magical, self-organizing bazaar where "given enough eyeballs, all bugs are shallow" and a decentralized swarm of hackers would naturally polish any piece of software to perfection. Now we have AI Swarms that automatically pocke into software, even exchanging messages through what ever channels they may find! The early open-source pioneers—the ones writing raw code in the 90s and early 2000s under the banner of the "bazaar"—weren't building a utopia; they were acting as the primordial soup. They pumped the blood plasma, built the infrastructure cells, and laid down the raw organic matter that allowed the modern digital ecosystem to bootstrap itself into a massive, self-sustaining organism. And now, the nature of the beast has completely changed. The "new cells" aren't romantic hackers collaborating for the love of the game; they are automated linters, security scanners, corporate compliance bots, CI/CD pipelines, and AI triage swarms acting as an aggressive white-blood-cell network. They exist solely to hunt down vermin, patch vulnerabilities, and suppress the infinite chaos of low-quality human input. The basar isn't dead . But it got a health police that takes samples, and cancels out poison food. You can't just throw toxic, unmaintained code-soup over the counter anymore without the automated health police quarantine-tagging it in five seconds. LoL Bye Mild Shock schrieb: > Hi, > > Hurry Rossy Boy, the blue bus is waiting. > There is a quite a hyperbole from here: > > Tesla S1070 in 2008 > 700 Watts , 1 Terra Flop > SOLVE TOMORROW’S PROBLEMS TODAY > https://www.azken.com/download/Tesla_DS_S1070_EU.pdf > > To here: > > Blackwell GPU in 2026 > 575 Watts, 104.8 Terra Flops ( RTX 5090 ) > From Volta To Blackwell > https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell > > > But somehow the S1070 had already Massively- > Parallel, Many-Core Architecture, and forms > of MIMD, since it had 960 / 240 = 4 cores. > > 960 scalar processor cores (240 per GPU). > But possibly more resticted inside work > groups, than later NVIDIA Volta ff > > architecture with independent thread state. > > Bye > > Disclaimer: The above is only a very rough > RTX 5090 spec. Its doesn't say what value > format and what vector/matrics ops were > > used. Also energy consumption may vary. > > Mild Shock schrieb: >> Hi, >> >> You are still chewing on SIMD. LoL >> >> Ross Finlayson schrieb: >> > Then the idea is that any of those can be found and matched in >> > one "run", i.e. a stall-less, branch-less, call-less list of less than >> > a few or less than a few dozens or less than a few hundreds >> > instructions, the results "findings" in data and corresponding >> > "matchings" of expressions, that runs in less than one microsecond. >> >> You cannot make the mental translation that if you have: >> >> Ross Finlayson schrieb: >>> So, the context then is for register state and stack contents, that >>> the indicators of the above as "positive presence" then is to make >>> for that the adjustments to the offsets and extents and the shifts >>> is according to those, otherwise no-ops. Then the idea is that a >> >> As independent logical thread state, that automatically MIMD follosw? >> >> Whats the problem to solve then? >> >> Bye >
[toc] | [prev] | [next] | [standalone]
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-09-21 18:43 +0800 |
| Subject | Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) |
| Message-ID | <nnd$14d1509f$7d9dd275@b380e7b0fb763343> |
| In reply to | #124852 |
On 9/21/2026 5:33 PM, Mild Shock wrote: > Hi, Dear Mild Shock, > > Notice Linus Torvalds still smiling into cameras as if > is still doing code review and ticket triage. 80% of > linux comes from payed developers from within big linux > stakeholders (like Intel, Meta, Google, IBM, and Red Hat). I notice you're writing in stanzas of four lines instead of three. Did you change your internal background music? > > So what happend to the "The Cathedral and the Bazaar > by Eric S. Raymond" It framed open source as this magical, > self-organizing bazaar where "given enough eyeballs, > all bugs are shallow" and a decentralized swarm of I presume this is meant to be a question, but the sentence ends with a period below. What indeed happened to the "bazaar" and did it ever exist in the first place? I was once taken in by Eric's ballad, but now I suspect this /cathedral and the ba- zaar/ never really existed in the first place. More on that in a completely different post. > > hackers would naturally polish any piece of software > to perfection. Now we have AI Swarms that automatically > pocke into software, even exchanging messages through > what ever channels they may find! The problem with the /hackers/ is that they have no sense of a /finished product/, and keep repeating their own code over and over, and over again, as if they're living the Groundhog Day. For a good doze of reality, see all the current propa- ganda about rewriting all of C in Rust. > > The early open-source pioneers—the ones writing > raw code in the 90s and early 2000s under the > banner of the "bazaar"—weren't building a utopia; > they were acting as the primordial soup. They pumped I've heard the theory proposed [1] that the open source code of the 90s came largely from people who had already written the same code in a commercial setting. They weren't inventing new things nor doing things they struggled with. All of these coders [2] are now gone, and have been replaced by people who largely don't know what they are doing. That's independent off all the /vibe coders/ out there today. > > the blood plasma, built the infrastructure cells, > and laid down the raw organic matter that allowed > the modern digital ecosystem to bootstrap itself > into a massive, self-sustaining organism. There are also serious flaws with this /digital ecosystem/, but more about that some other time. > > And now, the nature of the beast has completely > changed. The "new cells" aren't romantic hackers > collaborating for the love of the game; they are > automated linters, security scanners, corporate You forget malicious adversaries intentionally poisoning the overall organism. This happens for a variety of reasons, but the largest threat I want to discuss is /organized crime/. > > compliance bots, CI/CD pipelines, and AI triage > swarms acting as an aggressive white-blood-cell > network. They exist solely to hunt down vermin, > patch vulnerabilities, and suppress the infinite I believe most of these efforts are causing more harm than good, no matter how well intentioned. > > chaos of low-quality human input. The basar isn't > dead . But it got a health police that takes samples, > and cancels out poison food. You can't just throw > toxic, unmaintained code-soup over the counter Well, if the bazaar never existed, it's not there either today. > > anymore without the automated health police > quarantine-tagging it in five seconds. You finished your last stanza in two lines, so, this is your finale? What does it sound like? [1] As in, this is not my theory, but I believe it has a lot of ground in reality. [2] Well, most of them, anyway. -- Johann | email: invalid -> com | http://www.myrkraverk.com/blog/ I'm not from the Internet, I just work there. | via XS News https://bsky.app/profile/myrkraverk.bsky.social | for ( ;; ) _:;
[toc] | [prev] | [next] | [standalone]
| From | boltar@caprica.universe |
|---|---|
| Date | 2026-09-21 15:44 +0000 |
| Subject | Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry |
| Message-ID | <118rjcb$3sbg$1@dont-email.me> |
| In reply to | #124853 |
On Mon, 21 Sep 2026 18:43:46 +0800 Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> gabbled: >On 9/21/2026 5:33 PM, Mild Shock wrote: >> Hi, > >Dear Mild Shock, >> >> Notice Linus Torvalds still smiling into cameras as if >> is still doing code review and ticket triage. 80% of >> linux comes from payed developers from within big linux >> stakeholders (like Intel, Meta, Google, IBM, and Red Hat). > >I notice you're writing in stanzas of four lines instead of >three. Did you change your internal background music? He changed his LLM. Its clearly AI slop.
[toc] | [prev] | [next] | [standalone]
| From | legalize+jeeves@mail.xmission.com (Richard) |
|---|---|
| Date | 2026-09-21 16:19 +0000 |
| Subject | Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry |
| Message-ID | <118rleo$ffv1$1@news.xmission.com> |
| In reply to | #124855 |
boltar@caprica.universe spake the secret code
<118rjcb$3sbg$1@dont-email.me> thusly:
>He changed his LLM. Its clearly AI slop.
AIs spell better than he does.
--
"The Direct3D Graphics Pipeline" free book <http://tinyurl.com/d3d-pipeline>
The Terminals Wiki <http://terminals-wiki.org>
The Computer Graphics Museum <http://computergraphicsmuseum.org>
Legalize Adulthood! (my blog) <http://legalizeadulthood.wordpress.com>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 08:40 +0200 |
| Subject | New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar [Swarm AI]) |
| Message-ID | <118t7t9$3k6f$2@solani.org> |
| In reply to | #124852 |
Hi, Lets define P(tao) as the probability that Terrence Tao goes bonkers. The poor guy can even not distinguish open source, open weights and local AI. A total mess of Idiocracy: Terence Tao: SAIR’s Open Math Model Initiative https://www.youtube.com/watch?v=PZRb6NIki2w Leonhard Euler was far from a similar Pussy, when he instrumentalized a Swarm of natural intelligence, in his later years, already blind, still producing tons of publications. While modern mathematicians are shocked when a Swarm of artificial intelligence produces some output. Trick Question: The Navier–Stokes equations generalize the Euler equations which only consider inviscid flow. Why is the new Navier–Stokes counter example to boundedness, not found in nature? Ask you friendly AI chat robot, there are like 10 reasons why it might not exist in nature. Bye Leonhard Euler (1707–1783) Schweizer Mathematiker und Universalgelehrter https://library.ethz.ch/sammlungen-und-archive/kurzportraets/leonhard-euler-1707-1783.html Picture here J. Ackeret: Untersuchung einer nach den Euler’schen Vorschlägen (1754) gebauten Wasserturbine, in: Schweizerischen Bauzeitung, Band 123 (1944), Nr.1, S. 3. Mild Shock schrieb: > Hi, > > Notice Linus Torvalds still smiling into cameras as if > is still doing code review and ticket triage. 80% of > linux comes from payed developers from within big linux > stakeholders (like Intel, Meta, Google, IBM, and Red Hat). > > So what happend to the "The Cathedral and the Bazaar > by Eric S. Raymond" It framed open source as this magical, > self-organizing bazaar where "given enough eyeballs, > all bugs are shallow" and a decentralized swarm of > > hackers would naturally polish any piece of software > to perfection. Now we have AI Swarms that automatically > pocke into software, even exchanging messages through > what ever channels they may find! > > The early open-source pioneers—the ones writing > raw code in the 90s and early 2000s under the > banner of the "bazaar"—weren't building a utopia; > they were acting as the primordial soup. They pumped > > the blood plasma, built the infrastructure cells, > and laid down the raw organic matter that allowed > the modern digital ecosystem to bootstrap itself > into a massive, self-sustaining organism. > > And now, the nature of the beast has completely > changed. The "new cells" aren't romantic hackers > collaborating for the love of the game; they are > automated linters, security scanners, corporate > > compliance bots, CI/CD pipelines, and AI triage > swarms acting as an aggressive white-blood-cell > network. They exist solely to hunt down vermin, > patch vulnerabilities, and suppress the infinite > > chaos of low-quality human input. The basar isn't > dead . But it got a health police that takes samples, > and cancels out poison food. You can't just throw > toxic, unmaintained code-soup over the counter > > anymore without the automated health police > quarantine-tagging it in five seconds. > > LoL > > Bye > > Mild Shock schrieb: >> Hi, >> >> Hurry Rossy Boy, the blue bus is waiting. >> There is a quite a hyperbole from here: >> >> Tesla S1070 in 2008 >> 700 Watts , 1 Terra Flop >> SOLVE TOMORROW’S PROBLEMS TODAY >> https://www.azken.com/download/Tesla_DS_S1070_EU.pdf >> >> To here: >> >> Blackwell GPU in 2026 >> 575 Watts, 104.8 Terra Flops ( RTX 5090 ) >> From Volta To Blackwell >> https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell >> >> >> But somehow the S1070 had already Massively- >> Parallel, Many-Core Architecture, and forms >> of MIMD, since it had 960 / 240 = 4 cores. >> >> 960 scalar processor cores (240 per GPU). >> But possibly more resticted inside work >> groups, than later NVIDIA Volta ff >> >> architecture with independent thread state. >> >> Bye >> >> Disclaimer: The above is only a very rough >> RTX 5090 spec. Its doesn't say what value >> format and what vector/matrics ops were >> >> used. Also energy consumption may vary. >> >> Mild Shock schrieb: >>> Hi, >>> >>> You are still chewing on SIMD. LoL >>> >>> Ross Finlayson schrieb: >>> > Then the idea is that any of those can be found and matched in >>> > one "run", i.e. a stall-less, branch-less, call-less list of less >>> than >>> > a few or less than a few dozens or less than a few hundreds >>> > instructions, the results "findings" in data and corresponding >>> > "matchings" of expressions, that runs in less than one microsecond. >>> >>> You cannot make the mental translation that if you have: >>> >>> Ross Finlayson schrieb: >>>> So, the context then is for register state and stack contents, that >>>> the indicators of the above as "positive presence" then is to make >>>> for that the adjustments to the offsets and extents and the shifts >>>> is according to those, otherwise no-ops. Then the idea is that a >>> >>> As independent logical thread state, that automatically MIMD follosw? >>> >>> Whats the problem to solve then? >>> >>> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 09:22 +0200 |
| Subject | Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) |
| Message-ID | <118tab2$3ls3$1@solani.org> |
| In reply to | #124860 |
Hi, The Terrence Tao paper here is full of "right and natural". Its a total deflationary philosophy mess, that makes absolutely no sense: "In a human-written proof, the parts of the argument that the author found difficult typically retain some natural friction: " [..] An excessively AI-polished proof may sand away both the “artificial” friction (typos, awkward phrasing, disorganization) and the “natural” friction, leaving a text that is easy to read and hard to learn from." Finally, even publication is not the last stage. Key results should ultimately become part of the definitive textbooks and reference material of their subject, in the form in which they are taught to the next generation of students. This process of canonicalization — in which a result is restated in its natural generality, given its right proof rather than its first proof, connected to its neighbors, and absorbed into the standard toolkit — is the slowest stage of all. Mathematics in the age of AI https://arxiv.org/html/2608.16753v1 While tools like macsyma are already almost 80 years old. Now the picture is current AI creates an oracle, that can speak evil, creating a third grade artificiality over the already existing artificiality of math. The irony of all, the Navier Stokes counter example, is even not a proof. But a model. Not everything in math is "proof theoretically" explainable, some things invoke "model theory". What a moron! Bye Mild Shock schrieb: > Hi, > > Lets define P(tao) as the probability that > Terrence Tao goes bonkers. The poor guy can > even not distinguish open source, open weights > > and local AI. A total mess of Idiocracy: > > Terence Tao: SAIR’s Open Math Model Initiative > https://www.youtube.com/watch?v=PZRb6NIki2w > > Leonhard Euler was far from a similar Pussy, when > he instrumentalized a Swarm of natural intelligence, > in his later years, already blind, still producing > > tons of publications. While modern mathematicians > are shocked when a Swarm of artificial intelligence > produces some output. > > Trick Question: The Navier–Stokes equations generalize > the Euler equations which only consider inviscid flow. > Why is the new Navier–Stokes counter example to > > boundedness, not found in nature? Ask you friendly > AI chat robot, there are like 10 reasons why it > might not exist in nature. > > Bye > > Leonhard Euler (1707–1783) > Schweizer Mathematiker und Universalgelehrter > https://library.ethz.ch/sammlungen-und-archive/kurzportraets/leonhard-euler-1707-1783.html > > > Picture here > > J. Ackeret: Untersuchung einer nach den Euler’schen > Vorschlägen (1754) gebauten Wasserturbine, in: > Schweizerischen Bauzeitung, Band 123 (1944), Nr.1, S. 3. > > Mild Shock schrieb: >> Hi, >> >> Notice Linus Torvalds still smiling into cameras as if >> is still doing code review and ticket triage. 80% of >> linux comes from payed developers from within big linux >> stakeholders (like Intel, Meta, Google, IBM, and Red Hat). >> >> So what happend to the "The Cathedral and the Bazaar >> by Eric S. Raymond" It framed open source as this magical, >> self-organizing bazaar where "given enough eyeballs, >> all bugs are shallow" and a decentralized swarm of >> >> hackers would naturally polish any piece of software >> to perfection. Now we have AI Swarms that automatically >> pocke into software, even exchanging messages through >> what ever channels they may find! >> >> The early open-source pioneers—the ones writing >> raw code in the 90s and early 2000s under the >> banner of the "bazaar"—weren't building a utopia; >> they were acting as the primordial soup. They pumped >> >> the blood plasma, built the infrastructure cells, >> and laid down the raw organic matter that allowed >> the modern digital ecosystem to bootstrap itself >> into a massive, self-sustaining organism. >> >> And now, the nature of the beast has completely >> changed. The "new cells" aren't romantic hackers >> collaborating for the love of the game; they are >> automated linters, security scanners, corporate >> >> compliance bots, CI/CD pipelines, and AI triage >> swarms acting as an aggressive white-blood-cell >> network. They exist solely to hunt down vermin, >> patch vulnerabilities, and suppress the infinite >> >> chaos of low-quality human input. The basar isn't >> dead . But it got a health police that takes samples, >> and cancels out poison food. You can't just throw >> toxic, unmaintained code-soup over the counter >> >> anymore without the automated health police >> quarantine-tagging it in five seconds. >> >> LoL >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Hurry Rossy Boy, the blue bus is waiting. >>> There is a quite a hyperbole from here: >>> >>> Tesla S1070 in 2008 >>> 700 Watts , 1 Terra Flop >>> SOLVE TOMORROW’S PROBLEMS TODAY >>> https://www.azken.com/download/Tesla_DS_S1070_EU.pdf >>> >>> To here: >>> >>> Blackwell GPU in 2026 >>> 575 Watts, 104.8 Terra Flops ( RTX 5090 ) >>> From Volta To Blackwell >>> https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell >>> >>> >>> But somehow the S1070 had already Massively- >>> Parallel, Many-Core Architecture, and forms >>> of MIMD, since it had 960 / 240 = 4 cores. >>> >>> 960 scalar processor cores (240 per GPU). >>> But possibly more resticted inside work >>> groups, than later NVIDIA Volta ff >>> >>> architecture with independent thread state. >>> >>> Bye >>> >>> Disclaimer: The above is only a very rough >>> RTX 5090 spec. Its doesn't say what value >>> format and what vector/matrics ops were >>> >>> used. Also energy consumption may vary. >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> You are still chewing on SIMD. LoL >>>> >>>> Ross Finlayson schrieb: >>>> > Then the idea is that any of those can be found and matched in >>>> > one "run", i.e. a stall-less, branch-less, call-less list of less >>>> than >>>> > a few or less than a few dozens or less than a few hundreds >>>> > instructions, the results "findings" in data and corresponding >>>> > "matchings" of expressions, that runs in less than one microsecond. >>>> >>>> You cannot make the mental translation that if you have: >>>> >>>> Ross Finlayson schrieb: >>>>> So, the context then is for register state and stack contents, that >>>>> the indicators of the above as "positive presence" then is to make >>>>> for that the adjustments to the offsets and extents and the shifts >>>>> is according to those, otherwise no-ops. Then the idea is that a >>>> >>>> As independent logical thread state, that automatically MIMD follosw? >>>> >>>> Whats the problem to solve then? >>>> >>>> Bye >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-10-28 15:20 +0100 |
| Subject | Expert Routing to solve Bonini's paradox [P(tao) > 0] (Re: Pontifex Codex the idea of "right and natural") |
| Message-ID | <11bt0bk$ic3h$3@solani.org> |
| In reply to | #124861 |
Hi, P(tao) > 0 we mean the probability that Terence Tao goes bonkers, because of some unorganic and and closed door driven release of math into womb of the earth, to solve open problems. They should rather solve closed problem and work with open doors? LoL, just joking. Look at [t=454], strange thing he missed type theories: Selfoptimizing Artificial Intelligence Steve Omohundro, 24. Oktober 2007 https://www.youtube.com/watch?v=omsuTsOmvsc But as much as I like this guys pitch, that different foundations like HOL, CAT or ZFC, can be reduced to FOL. Its simply not a useful idea, since the reduction might work on the syntactic level, but doesn't help much on the semantic level. Already ZFC is most of the time used as ZFC_2, i.e. with class variables. So how should Terence Tao ingest a proof, that is even such a entangled into reductions? Even if we find an Ultimate Formalism, aren't we just facing this paradox: Bonini's paradox as a model grows more realistic, it also becomes just as difficult to understand https://en.wikipedia.org/wiki/Bonini%27s_paradox But what is this idea of agents. Well it has an analogue inside Homans, we hardly find Generalists, most Homans are Specialists, which mostlikely to do with limited cognitive resources. And Homans solve problems by allocating Specialists. Interestingly modern LLMs do the same with expert routing! Can we have a expert rounting solution for ingestion? The main problem nevertheless with expert routing, is that it might nevertheless fail, since it is based on some pattern matching and cues for routing. So we have a Perception Problem and a seminal paper was by Geoffrey Hinton suggesting learning, the same idea in Steve Omohundro. Just learn everything related to this allocation. But just like Russell's Paradox, Bonini's Paradox has no solution? Bye Mild Shock schrieb: > Hi, > > The Terrence Tao paper here is full of "right > and natural". Its a total deflationary philosophy > mess, that makes absolutely no sense: > > "In a human-written proof, the parts of the argument > that the author found difficult typically retain > some natural friction: " [..] An excessively AI-polished > proof may sand away both the “artificial” friction > (typos, awkward phrasing, disorganization) and the > “natural” friction, leaving a text that is easy to > read and hard to learn from." > > Finally, even publication is not the last stage. > Key results should ultimately become part of the > definitive textbooks and reference material of > their subject, in the form in which they are taught > to the next generation of students. This process of > canonicalization — in which a result is restated in > its natural generality, given its right proof rather > than its first proof, connected to its neighbors, and > absorbed into the standard toolkit — > is the slowest stage of all. > > Mathematics in the age of AI > https://arxiv.org/html/2608.16753v1 > > While tools like macsyma are already almost 80 years > old. Now the picture is current AI creates an oracle, > that can speak evil, creating a third grade artificiality > > over the already existing artificiality of math. > > The irony of all, the Navier Stokes counter example, > is even not a proof. But a model. Not everything > in math is "proof theoretically" explainable, > > some things invoke "model theory". What a moron! > > Bye > > Mild Shock schrieb: >> Hi, >> >> Lets define P(tao) as the probability that >> Terrence Tao goes bonkers. The poor guy can >> even not distinguish open source, open weights >> >> and local AI. A total mess of Idiocracy: >> >> Terence Tao: SAIR’s Open Math Model Initiative >> https://www.youtube.com/watch?v=PZRb6NIki2w >> >> Leonhard Euler was far from a similar Pussy, when >> he instrumentalized a Swarm of natural intelligence, >> in his later years, already blind, still producing >> >> tons of publications. While modern mathematicians >> are shocked when a Swarm of artificial intelligence >> produces some output. >> >> Trick Question: The Navier–Stokes equations generalize >> the Euler equations which only consider inviscid flow. >> Why is the new Navier–Stokes counter example to >> >> boundedness, not found in nature? Ask you friendly >> AI chat robot, there are like 10 reasons why it >> might not exist in nature. >> >> Bye >> >> Leonhard Euler (1707–1783) >> Schweizer Mathematiker und Universalgelehrter >> https://library.ethz.ch/sammlungen-und-archive/kurzportraets/leonhard-euler-1707-1783.html >> >> >> Picture here >> >> J. Ackeret: Untersuchung einer nach den Euler’schen >> Vorschlägen (1754) gebauten Wasserturbine, in: >> Schweizerischen Bauzeitung, Band 123 (1944), Nr.1, S. 3. >> >> Mild Shock schrieb: >>> Hi, >>> >>> Notice Linus Torvalds still smiling into cameras as if >>> is still doing code review and ticket triage. 80% of >>> linux comes from payed developers from within big linux >>> stakeholders (like Intel, Meta, Google, IBM, and Red Hat). >>> >>> So what happend to the "The Cathedral and the Bazaar >>> by Eric S. Raymond" It framed open source as this magical, >>> self-organizing bazaar where "given enough eyeballs, >>> all bugs are shallow" and a decentralized swarm of >>> >>> hackers would naturally polish any piece of software >>> to perfection. Now we have AI Swarms that automatically >>> pocke into software, even exchanging messages through >>> what ever channels they may find! >>> >>> The early open-source pioneers—the ones writing >>> raw code in the 90s and early 2000s under the >>> banner of the "bazaar"—weren't building a utopia; >>> they were acting as the primordial soup. They pumped >>> >>> the blood plasma, built the infrastructure cells, >>> and laid down the raw organic matter that allowed >>> the modern digital ecosystem to bootstrap itself >>> into a massive, self-sustaining organism. >>> >>> And now, the nature of the beast has completely >>> changed. The "new cells" aren't romantic hackers >>> collaborating for the love of the game; they are >>> automated linters, security scanners, corporate >>> >>> compliance bots, CI/CD pipelines, and AI triage >>> swarms acting as an aggressive white-blood-cell >>> network. They exist solely to hunt down vermin, >>> patch vulnerabilities, and suppress the infinite >>> >>> chaos of low-quality human input. The basar isn't >>> dead . But it got a health police that takes samples, >>> and cancels out poison food. You can't just throw >>> toxic, unmaintained code-soup over the counter >>> >>> anymore without the automated health police >>> quarantine-tagging it in five seconds. >>> >>> LoL >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Hurry Rossy Boy, the blue bus is waiting. >>>> There is a quite a hyperbole from here: >>>> >>>> Tesla S1070 in 2008 >>>> 700 Watts , 1 Terra Flop >>>> SOLVE TOMORROW’S PROBLEMS TODAY >>>> https://www.azken.com/download/Tesla_DS_S1070_EU.pdf >>>> >>>> To here: >>>> >>>> Blackwell GPU in 2026 >>>> 575 Watts, 104.8 Terra Flops ( RTX 5090 ) >>>> From Volta To Blackwell >>>> https://newsletter.semianalysis.com/p/nvidia-tensor-core-evolution-from-volta-to-blackwell >>>> >>>> >>>> But somehow the S1070 had already Massively- >>>> Parallel, Many-Core Architecture, and forms >>>> of MIMD, since it had 960 / 240 = 4 cores. >>>> >>>> 960 scalar processor cores (240 per GPU). >>>> But possibly more resticted inside work >>>> groups, than later NVIDIA Volta ff >>>> >>>> architecture with independent thread state. >>>> >>>> Bye >>>> >>>> Disclaimer: The above is only a very rough >>>> RTX 5090 spec. Its doesn't say what value >>>> format and what vector/matrics ops were >>>> >>>> used. Also energy consumption may vary. >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> You are still chewing on SIMD. LoL >>>>> >>>>> Ross Finlayson schrieb: >>>>> > Then the idea is that any of those can be found and matched in >>>>> > one "run", i.e. a stall-less, branch-less, call-less list of >>>>> less than >>>>> > a few or less than a few dozens or less than a few hundreds >>>>> > instructions, the results "findings" in data and corresponding >>>>> > "matchings" of expressions, that runs in less than one microsecond. >>>>> >>>>> You cannot make the mental translation that if you have: >>>>> >>>>> Ross Finlayson schrieb: >>>>>> So, the context then is for register state and stack contents, that >>>>>> the indicators of the above as "positive presence" then is to make >>>>>> for that the adjustments to the offsets and extents and the shifts >>>>>> is according to those, otherwise no-ops. Then the idea is that a >>>>> >>>>> As independent logical thread state, that automatically MIMD follosw? >>>>> >>>>> Whats the problem to solve then? >>>>> >>>>> Bye >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-10-13 23:21 +0200 |
| Subject | Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New! P(tao) versus the Euler Turbine) |
| Message-ID | <11am7d0$1ep8d$4@solani.org> |
| In reply to | #124860 |
Hi,
Gemini gibt mir:
> • Das stimmt. Direkt nach der Veröffentlichung
> im September 2026 gingen sowohl Tristan
> Buckmaster als auch OpenAI davon aus,
> dass die KI im Wesentlichen einem bekannten
> mathematischen Programm (dem sogenannten
> „spanischen Programm“) folgte.
https://www.scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-thought-it-was/
> • Die Wende: Inzwischen zeigen Analysen von
> führenden Experten, dass die KI-Generierung
> weitaus eigenwilliger und radikal anders aufgebaut ist.
> Das System hat über Reinforcement Learning
> Lösungswege gewählt, die kein menschlicher
> Mathematiker so konstruiert hätte.
https://openai.com/de-DE/index/navier-stokes-solution/
Bye
A guy who voice the doubt was. Disclaimer no intention
to make him famous, only some tracebility attempt:
I am a mathematical analyst working on nonlinear
partial differential equations, mainly in mathematical
fluid dynamics and in problems at the interface of
analysis and geometry. My work often combines analytical
techniques with rigorous computer-assisted proofs.
https://people.epfl.ch/gonzalo.caolabora
Mild Shock schrieb:
> Hi,
>
> Lets define P(tao) as the probability that
> Terrence Tao goes bonkers. The poor guy can
> even not distinguish open source, open weights
>
> and local AI. A total mess of Idiocracy:
>
> Terence Tao: SAIR’s Open Math Model Initiative
> https://www.youtube.com/watch?v=PZRb6NIki2w
>
> Leonhard Euler was far from a similar Pussy, when
> he instrumentalized a Swarm of natural intelligence,
> in his later years, already blind, still producing
>
> tons of publications. While modern mathematicians
> are shocked when a Swarm of artificial intelligence
> produces some output.
>
> Trick Question: The Navier–Stokes equations generalize
> the Euler equations which only consider inviscid flow.
> Why is the new Navier–Stokes counter example to
>
> boundedness, not found in nature? Ask you friendly
> AI chat robot, there are like 10 reasons why it
> might not exist in nature.
>
> Bye
>
> Leonhard Euler (1707–1783)
> Schweizer Mathematiker und Universalgelehrter
>
https://library.ethz.ch/sammlungen-und-archive/kurzportraets/leonhard-euler-1707-1783.html
>
> Picture here
>
> J. Ackeret: Untersuchung einer nach den Euler’schen
> Vorschlägen (1754) gebauten Wasserturbine, in:
> Schweizerischen Bauzeitung, Band 123 (1944), Nr.1, S. 3.
>
> Mild Shock schrieb:
>> Hi,
>>
>> Notice Linus Torvald still smiling into cameras as if
>> is still doing code review and ticket triage. 80% of
>> linux comes from payed developers from within big linux
>> stakeholders (like Intel, Meta, Google, IBM, and Red Hat).
>>
>> So what happend to the "The Cathedral and the Bazaar
>> by Eric S. Raymond" It framed open source as this magical,
>> self-organizing bazaar where "given enough eyeballs,
>> all bugs are shallow" and a decentralized swarm of
>>
>> hackers would naturally polish any piece of software
>> to perfection. Now we have AI Swarms that automatically
>> pocke into software, even exchanging messages through
>> what ever channels they may find!
>>
>> The early open-source pioneers—the ones writing
>> raw code in the 90s and early 2000s under the
>> banner of the "bazaar"—weren't building a utopia;
>> they were acting as the primordial soup. They pumped
>>
>> the blood plasma, built the infrastructure cells,
>> and laid down the raw organic matter that allowed
>> the modern digital ecosystem to bootstrap itself
>> into a massive, self-sustaining organism.
>>
>> And now, the nature of the beast has completely
>> changed. The "new cells" aren't romantic hackers
>> collaborating for the love of the game; they are
>> automated linters, security scanners, corporate
>>
>> compliance bots, CI/CD pipelines, and AI triage
>> swarms acting as an aggressive white-blood-cell
>> network. They exist solely to hunt down vermin,
>> patch vulnerabilities, and suppress the infinite
>>
>> chaos of low-quality human input. The basar isn't
>> dead . But it got a health pollice that takes samples,
>> and cancels out poison food. You can't just throw
>> toxic, unmaintained code-soup over the counter
>>
>> anymore without the automated health police
>> quarantine-tagging it in five seconds.
>>
>> LoL
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Ride the snake
>>> He's old and his skin is cold
>>> The west is the best
>>> The west is the best
>>> Get here and we'll do the rest
>>> The blue bus is calling us
>>> The blue bus is calling us
>>> Driver, where you taking us?
>>>
>>> Apocalypse Now intro: The Doors, The End {1979}
>>> https://www.youtube.com/watch?v=CIrvSJwwJUE
>>>
>>> Bye
>>>
>>> > Hi,
>>> >
>>> > Again I posted everything here:
>>> >
>>> >> 11.4 Giga Lips with a Budget Laptop
>>> >> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>> >
>>> > The repo says, same time when I posted
>>> > the link first time:
>>> >
>>> >> This repository was archived by the
>>> >> owner on Jul 9, 2026. It is now read-only.
>>> >
>>> > Now a USENET user, who had already entitled
>>> > himself for a couple of irrational accusations
>>> >
>>> > towards my side, is asking this question:
>>> >
>>> > Chris M. Thomasson schrieb, Jul 24, 2026
>>> >> Show an outline of what you
>>> >> need you compute shader to do?
>>> >
>>> > Bravo, thats a delay of a wooping 15 days.
>>> >
>>> > Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Remember when first all local AI was Python
>>>> and PyTorch APIs. And then suddently people started
>>>> using bare metal C/C++ Code. Here is the story:
>>>>
>>>> How it started:
>>>>
>>>> GPT-J or GPT-J-6B is an open-source large
>>>> language model (LLM) developed by EleutherAI
>>>> in 2021. As the name suggests, it is a
>>>> generative pre-trained transformer model
>>>> designed to produce human-like text that
>>>> continues from a prompt.
>>>> https://www.eleuther.ai/
>>>>
>>>> How it was going [Georgi Gerganov]:
>>>>
>>>> So a few days later comes out the LLaMA, I do
>>>> some calculations and I figure out “Okay, 65
>>>> billion parameters. You probably need about
>>>> 40 gigs of RAM, with 4-bit quantization. So
>>>> this can run on a MacBook. Why not do it?”
>>>>
>>>> Why I was able to do it so quickly - basically,
>>>> for all that I saw it’s pretty much GPT-J architecture
>>>> with some modifications, like some extra memorization
>>>> layers. It’s minor changes. Basically, again, the
>>>> existing code for the GPT-J, I just simply
>>>> modified it there, it happened pretty quickly.
>>>> https://changelog.com/podcast/532
>>>>
>>>> Georgi Gerganov, Bulgarian, now with Hugging
>>>> Face, ggml-cann also running on Chinese AI chips.
>>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>>
>>>> Bye
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-10-15 11:29 +0200 |
| Subject | Lean 4: Basically just Microsoft Advertising (Was: Lean versus Natural Language) |
| Message-ID | <11aq6fg$1fccf$4@solani.org> |
| In reply to | #124993 |
Hi, Lean nonsense is just Microsoft advertising. Stefan Ram wrote: > Today we have Lean. There were things like MIZAR, etc. before. https://de.wikipedia.org/wiki/Mizar-System But Lean has probably caught up with MIZAR by now, regarding the amount of formalized theories and proofs? Furthermore, the combination with connectionist AI is probably something newer and a result of the preceding Deep Learning Revolution, whereas the current AI boom stands out through improved natural language processing and offers interesting approaches to Chain of Thought and Agent Swarms. But when I install Lean 4, the first thing you notice is that it is a clunky system that is hard to use and insistently screams to bring in a Copilot, possibly with a paid subscription. Bye P.S: Or as Gemini puts it: Lean Copilot is a plugin / an extension for the Lean 4 compiler. It acts as a link between your proof assistant and artificial intelligence. Language Server (Lean 4 LSP): Lean Copilot hooks into the Lean Language Server so that the AI suggestions are displayed directly in your editor (e.g. VS Code) while you type. Local execution: You can run integrated open-source models (like ReProver from LeanDojo) directly locally on your own hardware (optional with GPU) without incurring license or cloud fees https://arxiv.org/html/2404.12534v3 It also supports connecting your own or external LLMs, where depending on the external API provider used (if you are not running a local server) costs for model access may arise. Microsoft Copilot / GitHub Copilot are the well-known, mostly paid AI products from Microsoft. Mild Shock schrieb: > Hi, > > This is also cool, digging into some subtle > difference between the Natural Language text, > and the Lean Proof: > > ABSTRACT. Autoformalisation is increasingly used to v > erify mathematical texts, including those generated by AI, > as in OpenAI’s announced proof of blow-up of solutions > to the Navier-Stokes equations. In this process, an AI > system translates the text from a natural language (NL) > into a formal language such as Lean. > https://arxiv.org/pdf/2610.08144 > > Bye > > P.S.: I guess its time to download this plug-in > and do some Lean proofs by myself. > > A Lean4 plugin for Jetbrains IDES > https://plugins.jetbrains.com/plugin/25104-lean4ij > > Disclaimer: Not affiliated with Jetbrains, there > is also a Lean 4 VS Code Extension. > > LoL
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 18:14 +0200 |
| Subject | There are two versions of Hack VM (Was: You are still chewing on SIMD. LoL) |
| Message-ID | <114d8tl$kitr$2@solani.org> |
| In reply to | #124428 |
Hi, > pi-WAM is compiled to Hack VM. You > can realize goto's wherever you want. In particular the repo contains two versions of a Hack VM, written in WebGPU / WGSL: Hack VM: Version 1.0 https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs Hack VM: Version 2.0 https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example64/boot2.mjs Version 1.0 is for a single compute shader expriment. And Version 2.o is for a multi compute shader experiment. Bye Mild Shock schrieb: > Hi, > > You are still chewing on SIMD. LoL > > Ross Finlayson schrieb: > > Then the idea is that any of those can be found and matched in > > one "run", i.e. a stall-less, branch-less, call-less list of less than > > a few or less than a few dozens or less than a few hundreds > > instructions, the results "findings" in data and corresponding > > "matchings" of expressions, that runs in less than one microsecond. > > You cannot make the mental translation that if you have: > > Ross Finlayson schrieb: >> So, the context then is for register state and stack contents, that >> the indicators of the above as "positive presence" then is to make >> for that the adjustments to the offsets and extents and the shifts >> is according to those, otherwise no-ops. Then the idea is that a > > As independent logical thread state, that automatically MIMD follosw? > > Whats the problem to solve then? > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 18:17 +0200 |
| Subject | Hack VM has also a Prolog spec (Was: There are two versions of Hack VM) |
| Message-ID | <114d91s$kitr$3@solani.org> |
| In reply to | #124441 |
Hi, With π-WAM we add a second Prolog VM to the same Prolog system, with the aim to use it for specialized tasks: Emulating π-WAM in Dogelog Player https://medium.com/2989/de9cd29c7d37 Optimized for speed the π-WAM is very primitive. The compiler capitalizes that code blocks are relocatable. Bye Mild Shock schrieb: > Hi, > >> pi-WAM is compiled to Hack VM. You >> can realize goto's wherever you want. > > In particular the repo contains two versions > of a Hack VM, written in WebGPU / WGSL: > > Hack VM: Version 1.0 > https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs > > > Hack VM: Version 2.0 > https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example64/boot2.mjs > > > Version 1.0 is for a single compute shader > expriment. And Version 2.o is for a multi > compute shader experiment. > > Bye > > Mild Shock schrieb: >> Hi, >> >> You are still chewing on SIMD. LoL >> >> Ross Finlayson schrieb: >> > Then the idea is that any of those can be found and matched in >> > one "run", i.e. a stall-less, branch-less, call-less list of less than >> > a few or less than a few dozens or less than a few hundreds >> > instructions, the results "findings" in data and corresponding >> > "matchings" of expressions, that runs in less than one microsecond. >> >> You cannot make the mental translation that if you have: >> >> Ross Finlayson schrieb: >>> So, the context then is for register state and stack contents, that >>> the indicators of the above as "positive presence" then is to make >>> for that the adjustments to the offsets and extents and the shifts >>> is according to those, otherwise no-ops. Then the idea is that a >> >> As independent logical thread state, that automatically MIMD follosw? >> >> Whats the problem to solve then? >> >> Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 18:22 +0200 |
| Subject | A better compiler is planned / What do you target? (Was: Hack VM has also a Prolog spec) |
| Message-ID | <114d9c2$kjl1$1@solani.org> |
| In reply to | #124442 |
Hi, A better compiler is planned. There are some tricks to use Prolog variables, to perform fixups, during compilation. Especially because its a compile before use approach. So its a) not irrelevant that the compiler is fast, and b) compile before use gives head room, to complicated compile schemes, for example of a Prolog cut (!)/0, that not really fits into the structured language concepts of a programming language such as Java. Although situation might be different when one looks at the Java VM bytecode and not at the Java language. The Java VM byte code might open more possibilities than the Java language itself. Bye Mild Shock schrieb: > Hi, > > With π-WAM we add a second Prolog VM to the > same Prolog system, with the aim to use > it for specialized tasks: > > Emulating π-WAM in Dogelog Player > https://medium.com/2989/de9cd29c7d37 > > Optimized for speed the π-WAM is very primitive. > The compiler capitalizes that code blocks > are relocatable. > > Bye > > Mild Shock schrieb: >> Hi, >> >>> pi-WAM is compiled to Hack VM. You >>> can realize goto's wherever you want. >> >> In particular the repo contains two versions >> of a Hack VM, written in WebGPU / WGSL: >> >> Hack VM: Version 1.0 >> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs >> >> >> Hack VM: Version 2.0 >> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example64/boot2.mjs >> >> >> Version 1.0 is for a single compute shader >> expriment. And Version 2.o is for a multi >> compute shader experiment. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> You are still chewing on SIMD. LoL >>> >>> Ross Finlayson schrieb: >>> > Then the idea is that any of those can be found and matched in >>> > one "run", i.e. a stall-less, branch-less, call-less list of less >>> than >>> > a few or less than a few dozens or less than a few hundreds >>> > instructions, the results "findings" in data and corresponding >>> > "matchings" of expressions, that runs in less than one microsecond. >>> >>> You cannot make the mental translation that if you have: >>> >>> Ross Finlayson schrieb: >>>> So, the context then is for register state and stack contents, that >>>> the indicators of the above as "positive presence" then is to make >>>> for that the adjustments to the offsets and extents and the shifts >>>> is according to those, otherwise no-ops. Then the idea is that a >>> >>> As independent logical thread state, that automatically MIMD follosw? >>> >>> Whats the problem to solve then? >>> >>> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-14 00:50 +0200 |
| Subject | It’s called . . . . enshittification (About the price tag for using a multifile/1) |
| Message-ID | <115lhn1$e3jt$3@solani.org> |
| In reply to | #124443 |
Hi,
It is simply solved by these strings/3 facts:
> :- multifile(strings/3).
>
> /* de = ISO locale atoms with prefix de_ */
> strings('evaluation_error.zero_divisor', de, 'Nulldivision.').
>
> /* '' = fall back ISO locale atoms */
> strings('evaluation_error.zero_divisor', '', 'Division by zero.').
About the price tag for using a multifile/1
directives in your Prolog code, instead of some
libc binding: Effort practically zero, just
write the directive before your clauses in every
file you define strings/3. Learning curve
practically zero, at least I assume so, multifile/1
directive is very intuitive. So the bottomline is
you didn’t buy the ISO Prolog core standard,
and also you didn’t buy the ISO POSIX standard,
400 pages fresh from the Austin group, in a classic
English office park in Berkshire, costs only 226
CHF in 2026 from ISO.
You see its everywhere, not only that GitHub
wants money for CI, even POSIX is subject to what
Cory Doctorow sees as Honey Moon, Bait-and-Switch
and Final Form , i.e. enshittification.
It’s called . . . . enshittification
https://www.youtube.com/watch?v=ShBOcElw1b0
Bye
Mild Shock schrieb:
> Hi,
>
> A better compiler is planned. There are
> some tricks to use Prolog variables,
> to perform fixups, during compilation.
>
> Especially because its a compile before
> use approach. So its a) not irrelevant that
> the compiler is fast, and b) compile before
>
> use gives head room, to complicated compile
> schemes, for example of a Prolog cut (!)/0,
> that not really fits into the structured
>
> language concepts of a programming language
> such as Java. Although situation might be
> different when one looks at the Java VM
>
> bytecode and not at the Java language.
> The Java VM byte code might open more
> possibilities than the Java language itself.
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> With π-WAM we add a second Prolog VM to the
>> same Prolog system, with the aim to use
>> it for specialized tasks:
>>
>> Emulating π-WAM in Dogelog Player
>> https://medium.com/2989/de9cd29c7d37
>>
>> Optimized for speed the π-WAM is very primitive.
>> The compiler capitalizes that code blocks
>> are relocatable.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>>> pi-WAM is compiled to Hack VM. You
>>>> can realize goto's wherever you want.
>>>
>>> In particular the repo contains two versions
>>> of a Hack VM, written in WebGPU / WGSL:
>>>
>>> Hack VM: Version 1.0
>>> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs
>>>
>>>
>>> Hack VM: Version 2.0
>>> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example64/boot2.mjs
>>>
>>>
>>> Version 1.0 is for a single compute shader
>>> expriment. And Version 2.o is for a multi
>>> compute shader experiment.
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> You are still chewing on SIMD. LoL
>>>>
>>>> Ross Finlayson schrieb:
>>>> > Then the idea is that any of those can be found and matched in
>>>> > one "run", i.e. a stall-less, branch-less, call-less list of less
>>>> than
>>>> > a few or less than a few dozens or less than a few hundreds
>>>> > instructions, the results "findings" in data and corresponding
>>>> > "matchings" of expressions, that runs in less than one microsecond.
>>>>
>>>> You cannot make the mental translation that if you have:
>>>>
>>>> Ross Finlayson schrieb:
>>>>> So, the context then is for register state and stack contents, that
>>>>> the indicators of the above as "positive presence" then is to make
>>>>> for that the adjustments to the offsets and extents and the shifts
>>>>> is according to those, otherwise no-ops. Then the idea is that a
>>>>
>>>> As independent logical thread state, that automatically MIMD follosw?
>>>>
>>>> Whats the problem to solve then?
>>>>
>>>> Bye
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
Page 2 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