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 7 of 9 — ← Prev page 1 2 3 4 5 6 [7] 8 9 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 11:46 +0200 |
| Subject | Your strictness is your problem , not mine [See WebLLM] (Was: In AI Acceleration nobody cares about CivetWeb) |
| Message-ID | <114ci5f$k2b7$1@solani.org> |
| In reply to | #124412 |
Hi, Your strictness is your problem , not mine. The WebGPU / WGSL has explicitly an API for so called compute shaders. You can also combine compute shaders and render shaders. But to use compute shaders for AI acceration is not uncommon now. See the WebLLM project by OpenAI where a transformer is just a WebGPU / WGSL pipeline type: WebLLM: High-Performance In-Browser LLM Inference Engine https://webllm.mlc.ai/ But I do not assume that everybody is crawling out of under his rock. And trying to understand what happens with post NVIDIA Volta GPUs that come as mobile iGPUs. Take your time. Bye Johann 'Myrkraverk' Oskarsson schrieb: > On 29/07/2026 5:27 PM, Mild Shock wrote: >> Hi, >> >> Nobody cares about CivetWeb a C++/C library, >> the rossy boy moron refuses to understand this >> simple GPU test, that shows some AI Acceleration: > > I don't know about you, but I don't run my webserver on my GPU. I use > it strictly for graphics. >
[toc] | [prev] | [next] | [standalone]
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-07-29 18:10 +0800 |
| Subject | Graphics Processing with Fortran 77 (was: Re: Your strictness is your problem , not mine) |
| Message-ID | <hkkaS.223$ZjVb.142@fx12.ams4> |
| In reply to | #124413 |
On 29/07/2026 5:46 PM, Mild Shock wrote: > Hi, > > Your strictness is your problem , not mine. > The WebGPU / WGSL has explicitly an API > for so called compute shaders. > > You can also combine compute shaders and > render shaders. But to use compute shaders > for AI acceration is not uncommon now. I know it's extremely common. I just don't do it myself. I don't even know what kind of GPU I have. That's as much I care about GPUs. I only need my GPU to handle OpenGL 4.6. Because we're in comp.lang.c, and I write my graphics in C, and not C++. Nor Fortran 77, like my copy of /Digital Image Processing/ by Gonzales & Woods. Just take a look at page 127, and bask in the glory of the /Fast Fourier Transform/ in Fortran 77. That said, I kind of like classic Fortran, like 77, IV; and recently I learned there was Fortran 66. I either didn't know that, or just completely forgot about it. Happy C coding, or Fortran 77! -- Johann | email: invalid -> com | http://www.myrkraverk.com/blog/ I'm not from the Internet, I just work there. | via Easynews.com
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 12:43 +0200 |
| Subject | I am not in C, it is theory and C++ [Hybrid Approaches from KOAN/Fortran-S] (Was: Graphics Processing with Fortran 77) |
| Message-ID | <114clga$jln7$1@solani.org> |
| In reply to | #124415 |
Hi,
I am not in C, it is a theory and a C++
cross post. But I originally started elsewhere.
I am only reacting to a post that spilled
from C, theory and C++ back to else where,
since Rossy Boy extend the discussion.
Yes the FORTRAN reference is interesting!
See an older post of mine, where I tested
exactly the Queues idea, and where they
already mentiond hyprid approaches:
> Hi,
>
> You see it all boils down to find your inner peace
> by an immaculate inception of some queue datatype.
>
> KOAN/Fortran-S was an early 1990s research programming
> system for distributed-memory multiprocessors . Developed
> at ENS Lyon in the early 1990s . Often listed alongside
> other historical parallel programming efforts.
>
> The Message Passing: The research explicitly
> compared the SVM approach against message passing
> on the same hardware . The finding was that SVM
> could achieve good performance without the low-level
>
> complexity of managing explicit messages, though
> the best results often came from a hybrid approach (sic!)
> Here is an interesting baseline, from Java,
> a class ElevenSingle that only does:
>
> public static void run() {
> for (int A = 1; A < 192; A++) {
> int Y = (771-A)/3;
> for (int B = A; B < Y; B++) {
> int Z = (771-A-B)/2;
> for (int C = B; C < Z; C++) {
> int D = 711-A-B-C;
> if (A*B*C == 711000000/D &&
> 711000000 % D == 0)
> System.out.println("A="+A+", B="+B+", C="+C+", D="+D);
> }
> }
> }
> }
>
> And then compare it to ElevenMulti, doing some
> Work Balancing Scheduler Tetris Game with 8 cores:
>
> ElevenSingle
> A=120, B=125, C=150, D=316
> 6.628 ms
>
> ElevenMulti
> A=120, B=125, C=150, D=316
> 1.941 ms
>
> Not great, not terrible!
>
> Bye
Feel free to also do these more logic tiling
experiments than signal processing experiments.
I don't do signal process with pi-WAM.
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
> On 29/07/2026 5:46 PM, Mild Shock wrote:
>> Hi,
>>
>> Your strictness is your problem , not mine.
>> The WebGPU / WGSL has explicitly an API
>> for so called compute shaders.
>>
>> You can also combine compute shaders and
>> render shaders. But to use compute shaders
>> for AI acceration is not uncommon now.
>
> I know it's extremely common. I just don't do it myself.
>
> I don't even know what kind of GPU I have. That's as much I care about
> GPUs. I only need my GPU to handle OpenGL 4.6.
>
> Because we're in comp.lang.c, and I write my graphics in C, and not C++.
> Nor Fortran 77, like my copy of /Digital Image Processing/ by Gonzales &
> Woods. Just take a look at page 127, and bask in the glory of the /Fast
> Fourier Transform/ in Fortran 77.
>
> That said, I kind of like classic Fortran, like 77, IV; and recently I
> learned there was Fortran 66. I either didn't know that, or just
> completely forgot about it.
>
>
> Happy C coding, or Fortran 77!
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 12:53 +0200 |
| Subject | Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: I am not in C, it is theory and C++) |
| Message-ID | <114cm45$jm45$1@solani.org> |
| In reply to | #124416 |
Hi,
Small correction, the code below should use <=
in the for loops. But Java was extrem picky
concerning JIT-ing of the for loops, refuse
to JIT a <= based loop, so I rewrote a
corrected solution that matches:
7-11 cubic Solution by Pritchard & Gries
https://www.cs.cornell.edu/gries/TechReports/83-574.pdf
Into the following code:
public static void run() {
for (int A = 1; A < 193; A++) {
int Y = (771-A)/3+1;
for (int B = A; B < Y; B++) {
int Z = (771-A-B)/2+1;
for (int C = B; C < Z; C++) {
int D = 711-A-B-C;
if (A *B*C == 711000000/D && 711000000 % D == 0)
/* System.out.println("A="+A+", B="+B+",
C="+C+", D="+D) */ ;
}
}
}
}
Bye
Mild Shock schrieb:
> Hi,
>
> I am not in C, it is a theory and a C++
> cross post. But I originally started elsewhere.
> I am only reacting to a post that spilled
>
> from C, theory and C++ back to else where,
> since Rossy Boy extend the discussion.
> Yes the FORTRAN reference is interesting!
>
> See an older post of mine, where I tested
> exactly the Queues idea, and where they
> already mentiond hyprid approaches:
>
>> Hi,
>>
>> You see it all boils down to find your inner peace
>> by an immaculate inception of some queue datatype.
>>
>> KOAN/Fortran-S was an early 1990s research programming
>> system for distributed-memory multiprocessors . Developed
>> at ENS Lyon in the early 1990s . Often listed alongside
>> other historical parallel programming efforts.
>>
>> The Message Passing: The research explicitly
>> compared the SVM approach against message passing
>> on the same hardware . The finding was that SVM
>> could achieve good performance without the low-level
>>
>> complexity of managing explicit messages, though
>> the best results often came from a hybrid approach (sic!)
>> Here is an interesting baseline, from Java,
>> a class ElevenSingle that only does:
>>
>> public static void run() {
>> for (int A = 1; A < 192; A++) {
>> int Y = (771-A)/3;
>> for (int B = A; B < Y; B++) {
>> int Z = (771-A-B)/2;
>> for (int C = B; C < Z; C++) {
>> int D = 711-A-B-C;
>> if (A*B*C == 711000000/D &&
>> 711000000 % D == 0)
>> System.out.println("A="+A+", B="+B+", C="+C+", D="+D);
>> }
>> }
>> }
>> }
>>
>> And then compare it to ElevenMulti, doing some
>> Work Balancing Scheduler Tetris Game with 8 cores:
>>
>> ElevenSingle
>> A=120, B=125, C=150, D=316
>> 6.628 ms
>>
>> ElevenMulti
>> A=120, B=125, C=150, D=316
>> 1.941 ms
>>
>> Not great, not terrible!
>>
>> Bye
>
>
> Feel free to also do these more logic tiling
> experiments than signal processing experiments.
> I don't do signal process with pi-WAM.
>
> Bye
>
> Johann 'Myrkraverk' Oskarsson schrieb:
>> On 29/07/2026 5:46 PM, Mild Shock wrote:
>>> Hi,
>>>
>>> Your strictness is your problem , not mine.
>>> The WebGPU / WGSL has explicitly an API
>>> for so called compute shaders.
>>>
>>> You can also combine compute shaders and
>>> render shaders. But to use compute shaders
>>> for AI acceration is not uncommon now.
>>
>> I know it's extremely common. I just don't do it myself.
>>
>> I don't even know what kind of GPU I have. That's as much I care about
>> GPUs. I only need my GPU to handle OpenGL 4.6.
>>
>> Because we're in comp.lang.c, and I write my graphics in C, and not C++.
>> Nor Fortran 77, like my copy of /Digital Image Processing/ by Gonzales &
>> Woods. Just take a look at page 127, and bask in the glory of the /Fast
>> Fourier Transform/ in Fortran 77.
>>
>> That said, I kind of like classic Fortran, like 77, IV; and recently I
>> learned there was Fortran 66. I either didn't know that, or just
>> completely forgot about it.
>>
>>
>> Happy C coding, or Fortran 77!
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 11:48 +0200 |
| Subject | Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) |
| Message-ID | <114ci8i$k2b7$2@solani.org> |
| In reply to | #124411 |
Hi, Maybe there is a Rossy Boy flux generator web server with infinity and continuity HTTPS and .mjs type, aka SIMT halucination. To run the GPU example that is written in HTML, JavaScript and WebGPU / WGSL, the minium is possibly a HTTPS server that can deliver the right mime type for the .mjs extension. Its then only a bundle of static pages that does the demonstration. What worked on my side is the IntelliJ browse button, which then uses a small local server on its own, sandboxed to serving some project files. But this is only how to launch the test pages. The Rossy Boy SIMT halucination, could also work, who knows? Bye Mild Shock schrieb: > Hi, > > Nobody cares about CivetWeb a C++/C library, > the rossy boy moron refuses to understand this > simple GPU test, that shows some AI Acceleration: > > 11.4 Giga Lips with a Budget Laptop > https://github.com/Jean-Luc-Picard-2021/gigabudget > > Bye > > Johann 'Myrkraverk' Oskarsson schrieb: >> On 29/07/2026 5:15 PM, Mild Shock wrote: >>> Hi, >>> >>> Confused rossy boy is confused. We are >>> not building a stupid web server, where >>> a listener thread spawns service threads, >>> >>> and to avoid malloc and free, reuses >>> a pool, or some shitty fork join framework. >>> The producer and consumer example I posted >>> >>> elsewhere archived a dataflow without >>> malloc and free of threads. You are miles >>> away from what we are doing here. >> >> Why not? Isn't this comp.lang.c? And isn't that exactly how >> CivetWeb works internally? Have you never built your own web >> sever in C? Not even with CivetWeb? It's really easy! You >> only need to implement a callback or two. >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 13:05 +0200 |
| Subject | Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) |
| Message-ID | <114cmq1$jmhc$3@solani.org> |
| In reply to | #124414 |
Hi, Why does this Lama have a red pyjama. Oh, its a baby Lama. Its still in the cradle and needs some training: RedPajama-Data-v2 https://github.com/togethercomputer/RedPajama-Data But then Andrej Karpathy recently showed GPT-2 training on rented GPUs for less than 100 USD in less then 2 hours. So where do these grown up Lamas go. Well Georgi Gerganov prefered C++/C when he shouted Llama Llama Red Pyjama. But you also find WebLLM, wrapping the underlying C++/C GPU interface via the W3C standard WebGPU / WGSL, with JavaScript: In-Browser LLM Inference Engine https://webllm.mlc.ai/ My experience with WebLLM 6 months ago on an iPad Pro 2024, still a little early stage performance and robustness. But hey hardware of AI mobile iGPUs is still evolving, and AI laptop, AI smartphones and AI tablets, will soon feature Chinese hardware such some new Kirin AI in 2027. Bye Mild Shock schrieb: > Hi, > > Maybe there is a Rossy Boy flux generator > web server with infinity and continuity > HTTPS and .mjs type, aka SIMT halucination. > > To run the GPU example that is written in HTML, > JavaScript and WebGPU / WGSL, the minium is > possibly a HTTPS server that can deliver the > > right mime type for the .mjs extension. Its > then only a bundle of static pages that does > the demonstration. What worked on my side > > is the IntelliJ browse button, which then uses > a small local server on its own, sandboxed to > serving some project files. > > But this is only how to launch the test pages. > > The Rossy Boy SIMT halucination, could also work, who knows? > > Bye > > Mild Shock schrieb: >> Hi, >> >> Nobody cares about CivetWeb a C++/C library, >> the rossy boy moron refuses to understand this >> simple GPU test, that shows some AI Acceleration: >> >> 11.4 Giga Lips with a Budget Laptop >> https://github.com/Jean-Luc-Picard-2021/gigabudget >> >> Bye >> >> Johann 'Myrkraverk' Oskarsson schrieb: >>> On 29/07/2026 5:15 PM, Mild Shock wrote: >>>> Hi, >>>> >>>> Confused rossy boy is confused. We are >>>> not building a stupid web server, where >>>> a listener thread spawns service threads, >>>> >>>> and to avoid malloc and free, reuses >>>> a pool, or some shitty fork join framework. >>>> The producer and consumer example I posted >>>> >>>> elsewhere archived a dataflow without >>>> malloc and free of threads. You are miles >>>> away from what we are doing here. >>> >>> Why not? Isn't this comp.lang.c? And isn't that exactly how >>> CivetWeb works internally? Have you never built your own web >>> sever in C? Not even with CivetWeb? It's really easy! You >>> only need to implement a callback or two. >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-08 09:22 +0200 |
| Subject | Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) |
| Message-ID | <1156lgk$3p2i$3@solani.org> |
| In reply to | #124418 |
Hi, Why is nobody mentioning Agda here. It has beautiful dependent types, and tactics are just programs. Poor Henk Barendregt, not everybody likes dependent types it seems: Are we stuck with Lean? https://mathoverflow.net/q/513742/ Does Depependent types require proof objects, which waste large amounts of memory. Well, if you are not good in erasing them. But is there a Red Pyjama for Proof Assistants, the baby cradle where LLMs can learn proof assistant lingua and strategies. It seems yes, synthetic data corpuses to the rescue: We address this gap by introducing SMAD (Synthetic Multilanguage Autoformalization Dataset), a 400K 4-to-3 parallel corpus covering four formal languages (Dedukti, Agda, Coq, Lean) and three natural languages ( English, French, Swedish), generated via the Informath project. https://github.com/GrammaticalFramework/informath But the corpus could be an accident, maybe rather a toy from the https://www.grammaticalframework.org/ folks, will this have an impact? Bye Mild Shock schrieb: > Hi, > > Why does this Lama have a red pyjama. > Oh, its a baby Lama. Its still in the cradle > and needs some training: > > RedPajama-Data-v2 > https://github.com/togethercomputer/RedPajama-Data > > But then Andrej Karpathy recently showed > GPT-2 training on rented GPUs for less > than 100 USD in less then 2 hours. > > So where do these grown up Lamas go. > Well Georgi Gerganov prefered C++/C > when he shouted Llama Llama Red Pyjama. > > But you also find WebLLM, wrapping the > underlying C++/C GPU interface via the > W3C standard WebGPU / WGSL, with JavaScript: > > In-Browser LLM Inference Engine > https://webllm.mlc.ai/ > > My experience with WebLLM 6 months > ago on an iPad Pro 2024, still a little early > stage performance and robustness. > > But hey hardware of AI mobile iGPUs is > still evolving, and AI laptop, AI smartphones > and AI tablets, will soon feature Chinese > > hardware such some new Kirin AI in 2027. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Maybe there is a Rossy Boy flux generator >> web server with infinity and continuity >> HTTPS and .mjs type, aka SIMT halucination. >> >> To run the GPU example that is written in HTML, >> JavaScript and WebGPU / WGSL, the minium is >> possibly a HTTPS server that can deliver the >> >> right mime type for the .mjs extension. Its >> then only a bundle of static pages that does >> the demonstration. What worked on my side >> >> is the IntelliJ browse button, which then uses >> a small local server on its own, sandboxed to >> serving some project files. >> >> But this is only how to launch the test pages. >> >> The Rossy Boy SIMT halucination, could also work, who knows? >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Nobody cares about CivetWeb a C++/C library, >>> the rossy boy moron refuses to understand this >>> simple GPU test, that shows some AI Acceleration: >>> >>> 11.4 Giga Lips with a Budget Laptop >>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>> >>> Bye >>> >>> Johann 'Myrkraverk' Oskarsson schrieb: >>>> On 29/07/2026 5:15 PM, Mild Shock wrote: >>>>> Hi, >>>>> >>>>> Confused rossy boy is confused. We are >>>>> not building a stupid web server, where >>>>> a listener thread spawns service threads, >>>>> >>>>> and to avoid malloc and free, reuses >>>>> a pool, or some shitty fork join framework. >>>>> The producer and consumer example I posted >>>>> >>>>> elsewhere archived a dataflow without >>>>> malloc and free of threads. You are miles >>>>> away from what we are doing here. >>>> >>>> Why not? Isn't this comp.lang.c? And isn't that exactly how >>>> CivetWeb works internally? Have you never built your own web >>>> sever in C? Not even with CivetWeb? It's really easy! You >>>> only need to implement a callback or two. >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-15 15:20 +0200 |
| Subject | Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) |
| Message-ID | <115pp32$gtoc$3@solani.org> |
| In reply to | #124607 |
Hi,
Years ago Sam Altman said to have no idea how
to generate revenue, but when the generally
intelligent system is in place, he might ask it.
Some schools approach the “generality” from
a totally wrong perspective. Take the EyeProlog
Pseudo Scientism here:
The Art of EyeProlog
https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog
It is the same nonsense like constraint propagation,
the idea here is to evolve better software, that it
has as a main component refinement:
Start -> Algo1 -> Algo2 -> Algo3 -> Algo4 ...
But EyeProlog itself is an example of not using
this refinement. Like dropping the classical
WAM architecture, and back to YieldProlog somehow.
What if the world ticks like this
when it come to generality:
/-> Algo1
/--> Algo2
Start ---> Algo3
\--> Algo4
\-> ...
Innovation requires to start from scratch.
I think this little booklet, recommended by
Ernst Specker, Proofs from THE BOOK is a
book of mathematical proofs by Martin Aigner
and Günter M. Ziegler, first published in 1998.
Just wants to teach us about this bifurcation:
Chapter 1: Six proofs of the infinity of
the primes, including Euclid's and Furstenberg's.
https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK
Yeah, lets aim for surprises by
generative AI, not refinement.
Bye
See also:
Sam Altman on his Business Model
https://www.youtube.com/shorts/pLnyjxgFxew
Mild Shock schrieb:
> Hi,
>
> Why is nobody mentioning Agda here. It has
> beautiful dependent types, and tactics are
> just programs. Poor Henk Barendregt, not
>
> everybody likes dependent types it seems:
>
> Are we stuck with Lean?
> https://mathoverflow.net/q/513742/
>
> Does Depependent types require proof objects,
> which waste large amounts of memory. Well,
> if you are not good in erasing them.
>
> But is there a Red Pyjama for Proof Assistants,
> the baby cradle where LLMs can learn proof
> assistant lingua and strategies. It seems
>
> yes, synthetic data corpuses to the rescue:
>
> We address this gap by introducing SMAD
> (Synthetic Multilanguage Autoformalization
> Dataset), a 400K 4-to-3 parallel corpus
> covering four formal languages (Dedukti,
> Agda, Coq, Lean) and three natural languages (
> English, French, Swedish), generated via
> the Informath project.
> https://github.com/GrammaticalFramework/informath
>
> But the corpus could be an accident, maybe rather
> a toy from the https://www.grammaticalframework.org/
> folks, will this have an impact?
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> Why does this Lama have a red pyjama.
>> Oh, its a baby Lama. Its still in the cradle
>> and needs some training:
>>
>> RedPajama-Data-v2
>> https://github.com/togethercomputer/RedPajama-Data
>>
>> But then Andrej Karpathy recently showed
>> GPT-2 training on rented GPUs for less
>> than 100 USD in less then 2 hours.
>>
>> So where do these grown up Lamas go.
>> Well Georgi Gerganov prefered C++/C
>> when he shouted Llama Llama Red Pyjama.
>>
>> But you also find WebLLM, wrapping the
>> underlying C++/C GPU interface via the
>> W3C standard WebGPU / WGSL, with JavaScript:
>>
>> In-Browser LLM Inference Engine
>> https://webllm.mlc.ai/
>>
>> My experience with WebLLM 6 months
>> ago on an iPad Pro 2024, still a little early
>> stage performance and robustness.
>>
>> But hey hardware of AI mobile iGPUs is
>> still evolving, and AI laptop, AI smartphones
>> and AI tablets, will soon feature Chinese
>>
>> hardware such some new Kirin AI in 2027.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Maybe there is a Rossy Boy flux generator
>>> web server with infinity and continuity
>>> HTTPS and .mjs type, aka SIMT halucination.
>>>
>>> To run the GPU example that is written in HTML,
>>> JavaScript and WebGPU / WGSL, the minium is
>>> possibly a HTTPS server that can deliver the
>>>
>>> right mime type for the .mjs extension. Its
>>> then only a bundle of static pages that does
>>> the demonstration. What worked on my side
>>>
>>> is the IntelliJ browse button, which then uses
>>> a small local server on its own, sandboxed to
>>> serving some project files.
>>>
>>> But this is only how to launch the test pages.
>>>
>>> The Rossy Boy SIMT halucination, could also work, who knows?
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Nobody cares about CivetWeb a C++/C library,
>>>> the rossy boy moron refuses to understand this
>>>> simple GPU test, that shows some AI Acceleration:
>>>>
>>>> 11.4 Giga Lips with a Budget Laptop
>>>> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>>>
>>>> Bye
>>>>
>>>> Johann 'Myrkraverk' Oskarsson schrieb:
>>>>> On 29/07/2026 5:15 PM, Mild Shock wrote:
>>>>>> Hi,
>>>>>>
>>>>>> Confused rossy boy is confused. We are
>>>>>> not building a stupid web server, where
>>>>>> a listener thread spawns service threads,
>>>>>>
>>>>>> and to avoid malloc and free, reuses
>>>>>> a pool, or some shitty fork join framework.
>>>>>> The producer and consumer example I posted
>>>>>>
>>>>>> elsewhere archived a dataflow without
>>>>>> malloc and free of threads. You are miles
>>>>>> away from what we are doing here.
>>>>>
>>>>> Why not? Isn't this comp.lang.c? And isn't that exactly how
>>>>> CivetWeb works internally? Have you never built your own web
>>>>> sever in C? Not even with CivetWeb? It's really easy! You
>>>>> only need to implement a callback or two.
>>>>>
>>>>
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-15 18:49 +0200 |
| Subject | Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) |
| Message-ID | <115q5b7$h969$3@solani.org> |
| In reply to | #124729 |
Hi, Every does eat and sleep. Thats not, don't give up and restart: Cite 100 collegues, cite 100 papers, and do 100 Python snippets. Thats only warm-up! About - Hi, I’m Philip Zucker! https://www.philipzucker.com/about/ One the other hand, that here is true don't give up and restart: Invent a dozen acronyms HMB2, HBM2E, TC-NCF, MR-UF, MUF, MR-MUF and try them all. How SK hynix Won the AI Memory Race https://www.youtube.com/watch?v=Cg5tAujp6Go Bye Mild Shock schrieb: > Hi, > > Years ago Sam Altman said to have no idea how > to generate revenue, but when the generally > intelligent system is in place, he might ask it. > > Some schools approach the “generality” from > a totally wrong perspective. Take the EyeProlog > Pseudo Scientism here: > > The Art of EyeProlog > https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog > > It is the same nonsense like constraint propagation, > the idea here is to evolve better software, that it > has as a main component refinement: > > Start -> Algo1 -> Algo2 -> Algo3 -> Algo4 ... > > But EyeProlog itself is an example of not using > this refinement. Like dropping the classical > WAM architecture, and back to YieldProlog somehow. > > What if the world ticks like this > when it come to generality: > > /-> Algo1 > /--> Algo2 > Start ---> Algo3 > \--> Algo4 > \-> ... > > Innovation requires to start from scratch. > I think this little booklet, recommended by > Ernst Specker, Proofs from THE BOOK is a > > book of mathematical proofs by Martin Aigner > and Günter M. Ziegler, first published in 1998. > Just wants to teach us about this bifurcation: > > Chapter 1: Six proofs of the infinity of > the primes, including Euclid's and Furstenberg's. > https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK > > Yeah, lets aim for surprises by > generative AI, not refinement. > > Bye > > See also: > > Sam Altman on his Business Model > https://www.youtube.com/shorts/pLnyjxgFxew > > Mild Shock schrieb: >> Hi, >> >> Why is nobody mentioning Agda here. It has >> beautiful dependent types, and tactics are >> just programs. Poor Henk Barendregt, not >> >> everybody likes dependent types it seems: >> >> Are we stuck with Lean? >> https://mathoverflow.net/q/513742/ >> >> Does Depependent types require proof objects, >> which waste large amounts of memory. Well, >> if you are not good in erasing them. >> >> But is there a Red Pyjama for Proof Assistants, >> the baby cradle where LLMs can learn proof >> assistant lingua and strategies. It seems >> >> yes, synthetic data corpuses to the rescue: >> >> We address this gap by introducing SMAD >> (Synthetic Multilanguage Autoformalization >> Dataset), a 400K 4-to-3 parallel corpus >> covering four formal languages (Dedukti, >> Agda, Coq, Lean) and three natural languages ( >> English, French, Swedish), generated via >> the Informath project. >> https://github.com/GrammaticalFramework/informath >> >> But the corpus could be an accident, maybe rather >> a toy from the https://www.grammaticalframework.org/ >> folks, will this have an impact? >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Why does this Lama have a red pyjama. >>> Oh, its a baby Lama. Its still in the cradle >>> and needs some training: >>> >>> RedPajama-Data-v2 >>> https://github.com/togethercomputer/RedPajama-Data >>> >>> But then Andrej Karpathy recently showed >>> GPT-2 training on rented GPUs for less >>> than 100 USD in less then 2 hours. >>> >>> So where do these grown up Lamas go. >>> Well Georgi Gerganov prefered C++/C >>> when he shouted Llama Llama Red Pyjama. >>> >>> But you also find WebLLM, wrapping the >>> underlying C++/C GPU interface via the >>> W3C standard WebGPU / WGSL, with JavaScript: >>> >>> In-Browser LLM Inference Engine >>> https://webllm.mlc.ai/ >>> >>> My experience with WebLLM 6 months >>> ago on an iPad Pro 2024, still a little early >>> stage performance and robustness. >>> >>> But hey hardware of AI mobile iGPUs is >>> still evolving, and AI laptop, AI smartphones >>> and AI tablets, will soon feature Chinese >>> >>> hardware such some new Kirin AI in 2027. >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Maybe there is a Rossy Boy flux generator >>>> web server with infinity and continuity >>>> HTTPS and .mjs type, aka SIMT halucination. >>>> >>>> To run the GPU example that is written in HTML, >>>> JavaScript and WebGPU / WGSL, the minium is >>>> possibly a HTTPS server that can deliver the >>>> >>>> right mime type for the .mjs extension. Its >>>> then only a bundle of static pages that does >>>> the demonstration. What worked on my side >>>> >>>> is the IntelliJ browse button, which then uses >>>> a small local server on its own, sandboxed to >>>> serving some project files. >>>> >>>> But this is only how to launch the test pages. >>>> >>>> The Rossy Boy SIMT halucination, could also work, who knows? >>>> >>>> Bye >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> Nobody cares about CivetWeb a C++/C library, >>>>> the rossy boy moron refuses to understand this >>>>> simple GPU test, that shows some AI Acceleration: >>>>> >>>>> 11.4 Giga Lips with a Budget Laptop >>>>> https://github.com/Jean-Luc-Picard-2021/gigabudget >>>>> >>>>> Bye >>>>> >>>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>>> On 29/07/2026 5:15 PM, Mild Shock wrote: >>>>>>> Hi, >>>>>>> >>>>>>> Confused rossy boy is confused. We are >>>>>>> not building a stupid web server, where >>>>>>> a listener thread spawns service threads, >>>>>>> >>>>>>> and to avoid malloc and free, reuses >>>>>>> a pool, or some shitty fork join framework. >>>>>>> The producer and consumer example I posted >>>>>>> >>>>>>> elsewhere archived a dataflow without >>>>>>> malloc and free of threads. You are miles >>>>>>> away from what we are doing here. >>>>>> >>>>>> Why not? Isn't this comp.lang.c? And isn't that exactly how >>>>>> CivetWeb works internally? Have you never built your own web >>>>>> sever in C? Not even with CivetWeb? It's really easy! You >>>>>> only need to implement a callback or two. >>>>>> >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-11 20:41 +0200 |
| Subject | Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) |
| Message-ID | <1181i0e$3de6$3@solani.org> |
| In reply to | #124607 |
Hi, Disclaimer: I don't know what I am talking about. But I like the vibe behind connecting topics. So here we go: How it started: Gabriels Horn Gabriel's horn, also called Torricelli's trumpet, is the surface of revolution of the function y=1/x about the x-axis for x>=1. It has infinite surface area but finite volume. https://mathworld.wolfram.com/GabrielsHorn.html How its going: FINITE TIME BLOWUP FOR NAVIER–STOKES or every positive viscosity, we construct a solution of the three-dimensional incompressible Navier–Stokes equations that starts from rest and develops unbounded velocity in finite time while maintaining uniformly bounded kinetic energy https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf Hava Fun everbody! Bye Mild Shock schrieb: > Hi, > > Accelerate Lean! And get from Theorem 3.11 > to Corollary 3.12 done. > > PROJECT LANA INTERIM REPORT ON IUT THEORY > ZEN Mathematics Center - 2026/07/17 > https://zen.ac.jp/en/zmc > > ZMC（ZEN Mathematics Center) is an international > research institute established with the aim > of promoting and developing modern mathematics > > with a focus on arithmetic geometry and the > formalization of modern mathematics using > computer languages > > LoL > > Bye > > Mild Shock schrieb: >> Hi, >> >> Maybe I should write a blog post, titled >> Introduction to AI Accelerator Prolog: >> >> - specialized jobs π-WAM (currently integerish stuff) >> - π-WAM uses no atomics, only comms >> - π-WAM uses warp, 30-40% more speed >> - π-WAM runs on GPU and CPU >> - π-WAM runs from within JavaScript, Python and Java >> >> Feels like reinventing FGCS concurrent >> logic programming. >> >> LoL >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> So the idea is to cover backtracking without >>> stack and choice points, only with registers. >>> So at the compute goto will use an instruction >>> >>> that stores the PC target into a register, >>> a new instruction for Hack: >>> >>> REG = PC + REL >>> >>> And then the jump will be, again a new >>> instruction for Hack: >>> >>> PC = REG >>> >>> If we squeeze the lemon and compile as much >>> with that, we will only find that it breaks for >>> calling recursive predicates that can use >>> >>> arbitary registers and choice points. But we >>> could maybe add stack and choice point as an >>> after match, instead of the classical WAM design >>> >>> that starts with stack and choice points! >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> pi-WAM is a nice challenge, since its aim is to go >>>> even blow the instruction set of SWI-Prolog, >>>> while only using a Hack variant as instruction >>>> >>>> stream. But what is Hack? Well Hack seems to be >>>> the missing legacy of Niclaus Wirths PL0. The >>>> Hack (machine .asm) and Jack (highlevel compiler >>>> >>>> generating .vm which can be converted to .asm) >>>> combo makes even the famous Crafting Interpreters >>>> /Lox by Bob Nystrom redundant: >>>> >>>> Nand to Tetris courses are taught at 400+ >>>> universities, high schools, and bootcamps. The >>>> students who take them range from high >>>> schoolers to Ph.D. students to >>>> https://www.nand2tetris.org/ >>>> >>>> But digging deaper in Hack, it has no functions >>>> pointers so objects don't use virtual tables. >>>> But what will pi-WAM need and that is not yet >>>> >>>> in Hack? Given that my pi-WAM doesn't want a stack >>>> nor a choice point lists? Currently there is the >>>> idea to add a computed goto and that it can >>>> >>>> cover a more lightweight C_OR as known from >>>> SWI-Prolog, that would have the C_OR branches >>>> maybe restricted to have no outside >>>> >>>> clause calls? Lets see. Not yet sure. >>>> >>>> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-12 11:30 +0200 |
| Subject | Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) |
| Message-ID | <118363h$2g5m$4@solani.org> |
| In reply to | #124808 |
Hi, Ever noticed that remaining unsolved conjectures, are difficult to decipher: https://en.wikipedia.org/wiki/Hodge_conjecture Although Grothendiek claimes it is part of his yoga on motivic rationality. The dilemma is Humans cannot do math anymore on that level. And AI math on the level tends to be not understandable by humans anymore. So its as if math has found a new muse. The new Muse is AI. I think proving math conjectures is the more low hanging fruit than colonizing Mars. But the result of this endeavours is a shocked public, now in total freeze. Bye Mild Shock schrieb: > Hi, > > Disclaimer: I don't know what I am talking > about. But I like the vibe behind connecting > topics. So here we go: > > How it started: > > Gabriels Horn > Gabriel's horn, also called Torricelli's trumpet, > is the surface of revolution of the function y=1/x > about the x-axis for x>=1. It has infinite > surface area but finite volume. > https://mathworld.wolfram.com/GabrielsHorn.html > > How its going: > > FINITE TIME BLOWUP FOR NAVIER–STOKES > or every positive viscosity, we construct a solution > of the three-dimensional incompressible Navier–Stokes > equations that starts from rest and develops unbounded > velocity in finite time while maintaining uniformly > bounded kinetic energy > https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf > > Hava Fun everbody! > > Bye
[toc] | [prev] | [next] | [standalone]
| From | fir <profesor.fir@gmail.com> |
|---|---|
| Date | 2026-09-12 12:02 +0200 |
| Subject | Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) |
| Message-ID | <11837vs$3l4i3$1@dont-email.me> |
| In reply to | #124810 |
Mild Shock pisze: > Hi, > > Ever noticed that remaining unsolved conjectures, > are difficult to decipher: > > https://en.wikipedia.org/wiki/Hodge_conjecture > > Although Grothendiek claimes it is part of > his yoga on motivic rationality. > > The dilemma is Humans cannot do math anymore > on that level. And AI math on the level tends > to be not understandable by humans anymore. So > its as if math has found a new muse. > > The new Muse is AI. I think proving math conjectures > is the more low hanging fruit than colonizing > Mars. But the result of this endeavours is a > shocked public, now in total freeze. > > Bye > > Mild Shock schrieb: > > Hi, > > > > Disclaimer: I don't know what I am talking > > about. But I like the vibe behind connecting > > topics. So here we go: > > > > How it started: > > > > Gabriels Horn > > Gabriel's horn, also called Torricelli's trumpet, > > is the surface of revolution of the function y=1/x > > about the x-axis for x>=1. It has infinite > > surface area but finite volume. > > https://mathworld.wolfram.com/GabrielsHorn.html > > > > How its going: > > > > FINITE TIME BLOWUP FOR NAVIER–STOKES > > or every positive viscosity, we construct a solution > > of the three-dimensional incompressible Navier–Stokes > > equations that starts from rest and develops unbounded > > velocity in finite time while maintaining uniformly > > bounded kinetic energy > > > https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf > > > > > Hava Fun everbody! > > > > Bye are you alive or only youre spam bot here?
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-12 12:12 +0200 |
| Subject | Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) |
| Message-ID | <11838j8$2i6f$2@solani.org> |
| In reply to | #124810 |
Hi, I guess Kurzweils transhumanism is also not on the list of the low hanging fruits of AI. Moreover this turns out to be a fallacy: "The cradle rocks above an abyss, a nd common sense tells us that our existence is but a brief crack of light between two eternities of darkness." — Speak, Memory, the opening line https://en.wikipedia.org/wiki/Speak,_Memory What if AI is the new torch of light of science, and it doesn't have to constantly fear that after Terrence Tao is dead, a new Terrence Tao is born. LLMs kissed by Mnemosyne just live in data centers and copy themselve from generation and to generation until ethernity. LoL Bye Mild Shock schrieb: > Hi, > > Ever noticed that remaining unsolved conjectures, > are difficult to decipher: > > https://en.wikipedia.org/wiki/Hodge_conjecture > > Although Grothendiek claimes it is part of > his yoga on motivic rationality. > > The dilemma is Humans cannot do math anymore > on that level. And AI math on the level tends > to be not understandable by humans anymore. So > its as if math has found a new muse. > > The new Muse is AI. I think proving math conjectures > is the more low hanging fruit than colonizing > Mars. But the result of this endeavours is a > shocked public, now in total freeze. > > Bye > > Mild Shock schrieb: > > Hi, > > > > Disclaimer: I don't know what I am talking > > about. But I like the vibe behind connecting > > topics. So here we go: > > > > How it started: > > > > Gabriels Horn > > Gabriel's horn, also called Torricelli's trumpet, > > is the surface of revolution of the function y=1/x > > about the x-axis for x>=1. It has infinite > > surface area but finite volume. > > https://mathworld.wolfram.com/GabrielsHorn.html > > > > How its going: > > > > FINITE TIME BLOWUP FOR NAVIER–STOKES > > or every positive viscosity, we construct a solution > > of the three-dimensional incompressible Navier–Stokes > > equations that starts from rest and develops unbounded > > velocity in finite time while maintaining uniformly > > bounded kinetic energy > > > https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf > > > > > Hava Fun everbody! > > > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Lane W <cactus_DAC@yahoo.com> |
|---|---|
| Date | 2026-09-12 07:37 -0600 |
| Subject | Re: Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) |
| Message-ID | <1183kiu$3p954$3@dont-email.me> |
| In reply to | #124812 |
Mild Shock wrote: > Hi, > > I guess Kurzweils transhumanism is also not > on the list of the low hanging fruits of AI. > Moreover this turns out to be a fallacy: You talk about low hanging fruits. Tell me why the Moon (Luna) is a sour grape. Then I will ask you to please direct your criticism at Mars, filled with poisonous, radioactive dust, low gravity to expound on the current zero gravity problems spacers experience, greater distance (if you hadn't already appreciated this), and general state of unknown that you don't even know what to criticize yet.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-25 19:14 +0200 |
| Subject | The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon) |
| Message-ID | <1196a4q$cfa0$3@solani.org> |
| In reply to | #124812 |
Hi, Non-uniform memory access (NUMA) is a computer memory design used in multiprocessing, where the memory access time depends on the memory location relative to the processor. The future Numa Brains will be gorgeous. In like 3-4 years from now, they might have 3.2 TB RAM on a SOC, by not using HBM but HBF: High Bandwidth Flash: What Is It Good For? https://www.youtube.com/watch?v=3nTpW52nioI There might be new profession like nosomatic AI chirurgeon (I made that up): Tiny engine, immense model https://github.com/JustVugg/colibri The Brain page, Explore: the measured expert atlas of GLM-5.2 drawn as a cortex. 13,260 characterised experts in ten regions (Python, SQL, mathematics, poetry, law, Chinese…); position is measured routing affinity, not a learned embedding. We might want a brain to amputate from the Python expert sections, so that we can write code without a slow CPython runtime. Bye Mild Shock schrieb: > Hi, > > A nosomatic AI chirurgeon is a halfling student > of sickness, and a master of the ebb and flow of > the energies of life and death of data packets. > > He is a air bender, water bender and earth bender > in one person, using OpenVINO to juggle with > CPU, GPU and NPU. > > Last but not least he can freely switch between > symbolic and neural representation of knowledge > forms, there is no abyss for him. > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-28 14:13 +0200 |
| Subject | Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) |
| Message-ID | <119dlm2$houj$2@solani.org> |
| In reply to | #124879 |
Hi, Yesterday I had the feeling P(doom E-graphs) > 10%, since they have E-boost intiatives where they use parallism and more heuristics, also tapping into GPUs, TPUs, NPUs, etc.. you name it. So Prolog might sooner or later feel the wind of E-boost Schinkansen? Now I have the feeling the E-graph community is still in the nowhere of la la land. Reading: recording out of egraphs https://www.philipzucker.com/ WTF is "recording out" ? Look at that beauty of SWI-Prolog unifiable/3 predicate. It can even deal with cyclic terms: ?- unifiable(f(X,X,X),f(Z,b,Y), L). L = [Y=b, X=b, Z=X]. ?- unifiable(f(X,Y),f(f(A,Y),f(B,X)), L). L = [Y=f(B, X), X=f(A, Y)]. You can even code unifiable/3 in 100% Prolog itself, BTW I am not saying it would be pure. But it wont need any extensions that go beyond ISO core standard. You could even experiment with a unification that does minimization (*), but most Prolog systems don't do that for their unification: ?- unifiable(X, f(f(X)), L). L = [X=f(f(X))]. Bye (*) Gerhard Huet was all in for minimizations, but the sad news is while terms have minimal forms, equations don't really have unique minimal forms, this transpired only later. RESOLUTION D'EQUATIONS DANS DES LANGAGES D'ORDRE 1,2,.••, https://www.researchgate.net/publication/213879499 Algorithms for equivalence and reduction to minimal form https://hal.science/hal-01239749v1/document Mild Shock schrieb: > Hi, > > Non-uniform memory access (NUMA) is a computer > memory design used in multiprocessing, where the > memory access time depends on the memory location > relative to the processor. > > The future Numa Brains will be gorgeous. In like > 3-4 years from now, they might have 3.2 TB RAM > on a SOC, by not using HBM but HBF: > > High Bandwidth Flash: What Is It Good For? > https://www.youtube.com/watch?v=3nTpW52nioI > > There might be new profession like nosomatic > AI chirurgeon (I made that up): > > Tiny engine, immense model > https://github.com/JustVugg/colibri > > The Brain page, Explore: the measured expert > atlas of GLM-5.2 drawn as a cortex. 13,260 > characterised experts in ten regions (Python, > SQL, mathematics, poetry, law, Chinese…); > > position is measured routing affinity, not a > learned embedding. We might want a brain to > amputate from the Python expert sections, so > > that we can write code without a slow > CPython runtime. > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-10-24 12:56 +0200 |
| Subject | Nosomatic AI Chirurgeon: RSI of Use/Mention? (Re: The future Numa Brains will be gorgeous) |
| Message-ID | <11bi2su$aflb$2@solani.org> |
| In reply to | #124879 |
Hi, Looks like we are in the mists of Recursive self-improvement (RSI). While my Prolog mini Prover9 and mini Mace4, can solve all the Terrence Tao EQT examples in a blink. This guy is already a step further: MENTION.md — the mention-algebra experiment https://github.com/stefanopalmieri/finite-magma-independence/blob/main/MENTION.md Re-inventing some of the marvels of Post Schönfinkel aera in combinatory logic, but with neural networks? Do people in Texas have too much GPU compute? Bye P.S.: From now on I take magma A*B as application (A B) like in SKI combinatory logic. In as far, its always fun to add some more exotic combinators. LoL Mild Shock schrieb: > Hi, > > Non-uniform memory access (NUMA) is a computer > memory design used in multiprocessing, where the > memory access time depends on the memory location > relative to the processor. > > The future Numa Brains will be gorgeous. In like > 3-4 years from now, they might have 3.2 TB RAM > on a SOC, by not using HBM but HBF: > > High Bandwidth Flash: What Is It Good For? > https://www.youtube.com/watch?v=3nTpW52nioI > > There might be new profession like nosomatic > AI chirurgeon (I made that up): > > Tiny engine, immense model > https://github.com/JustVugg/colibri > > The Brain page, Explore: the measured expert > atlas of GLM-5.2 drawn as a cortex. 13,260 > characterised experts in ten regions (Python, > SQL, mathematics, poetry, law, Chinese…); > > position is measured routing affinity, not a > learned embedding. We might want a brain to > amputate from the Python expert sections, so > > that we can write code without a slow > CPython runtime. > > Bye > > Mild Shock schrieb: > > Hi, > > > > A nosomatic AI chirurgeon is a halfling student > > of sickness, and a master of the ebb and flow of > > the energies of life and death of data packets. > > > > He is a air bender, water bender and earth bender > > in one person, using OpenVINO to juggle with > > CPU, GPU and NPU. > > > > Last but not least he can freely switch between > > symbolic and neural representation of knowledge > > forms, there is no abyss for him. > > > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Lane W <cactus_DAC@yahoo.com> |
|---|---|
| Date | 2026-09-12 07:34 -0600 |
| Subject | Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) |
| Message-ID | <1183kdq$3p954$2@dont-email.me> |
| In reply to | #124810 |
Mild Shock wrote: > The new Muse is AI. I think proving math conjectures > is the more low hanging fruit than colonizing > Mars. But the result of this endeavours is a > shocked public, now in total freeze. Dude Mild Shock is a tube-necked giraffe if he thinks Mars is any kind of low hanging fruit. One step at a time. You guys don't even live on the moon (Luna) yet.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-10-16 23:20 +0200 |
| Subject | I found a picture of David Blackwell [NVIDIA Namesake] (Re: Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident]) |
| Message-ID | <11au4e3$1i6rr$3@solani.org> |
| In reply to | #124808 |
Hi, NVIDIA Blackwell, among the GPUs that do AI and drive Terrence Tao mad. Hey, I found a picture of David Blackwell, the name giver: COFFEE-BREAK LECTURER David Blackwell. an inspired teacher in the Uni- versity of California's mathematical statistics department, presides over an impromptu semi- nar that boiled up around a blackboard during a morning coffee break. In research he applies probability analysis and statistical studies to "the search problem"-to learn. for example. how best to find a cancer-curing drug among a vast number of chemical possibilities. Despite his need as a teacher to communicate with others. Dr Blackwell keeps no telephone at home -- because he has eight children. each with his own need for communication with friends. Mathematics, by Bergamini, David Time-Life Books, 1963, Page 56 https://archive.org/details/mathematics00berg/page/56/mode/2up In March 2024, Nvidia announced its Blackwell GPU architecture, named in honor of David Blackwell. Their CEO Jenson Huang said, "This GPU is named after David Blackwell, an American mathematician a nd statistician whose work has had a lasting impact in mathematics as well as the specific domain of AI." https://en.wikipedia.org/wiki/David_Blackwell Bye Mild Shock schrieb: > > > Hi, > > Disclaimer: I don't know what I am talking > about. But I like the vibe behind connecting > topics. So here we go: > > How it started: > > Gabriels Horn > Gabriel's horn, also called Torricelli's trumpet, > is the surface of revolution of the function y=1/x > about the x-axis for x>=1. It has infinite > surface area but finite volume. > https://mathworld.wolfram.com/GabrielsHorn.html > > How its going: > > FINITE TIME BLOWUP FOR NAVIER–STOKES > or every positive viscosity, we construct a solution > of the three-dimensional incompressible Navier–Stokes > equations that starts from rest and develops unbounded > velocity in finite time while maintaining uniformly > bounded kinetic energy > https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf > > > Hava Fun everbody! > > Bye > > Mild Shock schrieb: > > Hi, > > > > Accelerate Lean! And get from Theorem 3.11 > > to Corollary 3.12 done. > > > > PROJECT LANA INTERIM REPORT ON IUT THEORY > > ZEN Mathematics Center - 2026/07/17 > > https://zen.ac.jp/en/zmc > > > > ZMC（ZEN Mathematics Center) is an international > > research institute established with the aim > > of promoting and developing modern mathematics > > > > with a focus on arithmetic geometry and the > > formalization of modern mathematics using > > computer languages > > > > LoL > > > > Bye > > > > Mild Shock schrieb: > >> Hi, > >> > >> Maybe I should write a blog post, titled > >> Introduction to AI Accelerator Prolog: > >> > >> - specialized jobs π-WAM (currently integerish stuff) > >> - π-WAM uses no atomics, only comms > >> - π-WAM uses warp, 30-40% more speed > >> - π-WAM runs on GPU and CPU > >> - π-WAM runs from within JavaScript, Python and Java > >> > >> Feels like reinventing FGCS concurrent > >> logic programming. > >> > >> LoL > >> > >> Bye > >> > >> Mild Shock schrieb: > >>> Hi, > >>> > >>> So the idea is to cover backtracking without > >>> stack and choice points, only with registers. > >>> So at the compute goto will use an instruction > >>> > >>> that stores the PC target into a register, > >>> a new instruction for Hack: > >>> > >>> REG = PC + REL > >>> > >>> And then the jump will be, again a new > >>> instruction for Hack: > >>> > >>> PC = REG > >>> > >>> If we squeeze the lemon and compile as much > >>> with that, we will only find that it breaks for > >>> calling recursive predicates that can use > >>> > >>> arbitary registers and choice points. But we > >>> could maybe add stack and choice point as an > >>> after match, instead of the classical WAM design > >>> > >>> that starts with stack and choice points! > >>> > >>> Bye > >>> > >>> Mild Shock schrieb: > >>>> Hi, > >>>> > >>>> pi-WAM is a nice challenge, since its aim is to go > >>>> even blow the instruction set of SWI-Prolog, > >>>> while only using a Hack variant as instruction > >>>> > >>>> stream. But what is Hack? Well Hack seems to be > >>>> the missing legacy of Niclaus Wirths PL0. The > >>>> Hack (machine .asm) and Jack (highlevel compiler > >>>> > >>>> generating .vm which can be converted to .asm) > >>>> combo makes even the famous Crafting Interpreters > >>>> /Lox by Bob Nystrom redundant: > >>>> > >>>> Nand to Tetris courses are taught at 400+ > >>>> universities, high schools, and bootcamps. The > >>>> students who take them range from high > >>>> schoolers to Ph.D. students to > >>>> https://www.nand2tetris.org/ > >>>> > >>>> But digging deaper in Hack, it has no functions > >>>> pointers so objects don't use virtual tables. > >>>> But what will pi-WAM need and that is not yet > >>>> > >>>> in Hack? Given that my pi-WAM doesn't want a stack > >>>> nor a choice point lists? Currently there is the > >>>> idea to add a computed goto and that it can > >>>> > >>>> cover a more lightweight C_OR as known from > >>>> SWI-Prolog, that would have the C_OR branches > >>>> maybe restricted to have no outside > >>>> > >>>> clause calls? Lets see. Not yet sure. > >>>> > >>>> Bye > >> > > >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-10-17 00:35 +0200 |
| Subject | I need a Sponsor for a new N1X [Windows ARM64 on the Rise] (Re: I found a picture of David Blackwell [NVIDIA Namesake]) |
| Message-ID | <11au8qt$1i9s1$3@solani.org> |
| In reply to | #125045 |
Hi, So if I already had a bull market in Swiss pharmaceutical stocks (due to their use of NVIDIA Blackwell farms) behind me, I might spend 4000.- CHF on this toy: NVIDIA Put a DGX Spark in a Laptop… Almost https://www.youtube.com/watch?v=iZ88PPiAsl8 It also shows how Windows is on the rise based on ARM64, and no longer x86. For example, NVIDIA seems to have it completely under control a) Building CPUs, b) which then run with Windows. Just yesterday, I completed tests with my ThinkCentre for 600.- CHF, which also runs Windows ARM64. I've discovered some funny things. For example, SWI-Prolog struggling. It's not that easy to cross-compile efficiently: Dogelog Player: Heap Pressure for Garbage Collection https://medium.com/2989/5791ef8834d5 Everyone is still learning how to do it. But, for example, JavaScript has no problem with it. The video by Alex Ziskind then tries to highlight and find differences between Windows and WSL2. But I haven't used WSL2 for a long time anymore. And it seems that's over too! Bye Mild Shock schrieb: > Hi, > > NVIDIA Blackwell, among the GPUs that do AI > and drive Terrence Tao mad. Hey, I found a > picture of David Blackwell, the name giver: > > COFFEE-BREAK LECTURER > David Blackwell. an inspired teacher in the Uni- > versity of California's mathematical statistics > department, presides over an impromptu semi- > nar that boiled up around a blackboard during a > morning coffee break. In research he applies > probability analysis and statistical studies to > "the search problem"-to learn. for example. > how best to find a cancer-curing drug among a > vast number of chemical possibilities. Despite > his need as a teacher to communicate with > others. Dr Blackwell keeps no telephone at > home -- because he has eight children. each with > his own need for communication with friends. > > Mathematics, by Bergamini, David > Time-Life Books, 1963, Page 56 > https://archive.org/details/mathematics00berg/page/56/mode/2up > > In March 2024, Nvidia announced its Blackwell GPU > architecture, named in honor of David Blackwell. > Their CEO Jenson Huang said, "This GPU is named > after David Blackwell, an American mathematician a > nd statistician whose work has had a lasting impact > in mathematics as well as the specific domain of AI." > https://en.wikipedia.org/wiki/David_Blackwell > > Bye > > Mild Shock schrieb: >> >> >> Hi, >> >> Disclaimer: I don't know what I am talking >> about. But I like the vibe behind connecting >> topics. So here we go: >> >> How it started: >> >> Gabriels Horn >> Gabriel's horn, also called Torricelli's trumpet, >> is the surface of revolution of the function y=1/x >> about the x-axis for x>=1. It has infinite >> surface area but finite volume. >> https://mathworld.wolfram.com/GabrielsHorn.html >> >> How its going: >> >> FINITE TIME BLOWUP FOR NAVIER–STOKES >> or every positive viscosity, we construct a solution >> of the three-dimensional incompressible Navier–Stokes >> equations that starts from rest and develops unbounded >> velocity in finite time while maintaining uniformly >> bounded kinetic energy >> https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf >> >> >> Hava Fun everbody! >> >> Bye >> >> Mild Shock schrieb: >> > Hi, >> > >> > Accelerate Lean! And get from Theorem 3.11 >> > to Corollary 3.12 done. >> > >> > PROJECT LANA INTERIM REPORT ON IUT THEORY >> > ZEN Mathematics Center - 2026/07/17 >> > https://zen.ac.jp/en/zmc >> > >> > ZMC（ZEN Mathematics Center) is an international >> > research institute established with the aim >> > of promoting and developing modern mathematics >> > >> > with a focus on arithmetic geometry and the >> > formalization of modern mathematics using >> > computer languages >> > >> > LoL >> > >> > Bye >> > >> > Mild Shock schrieb: >> >> Hi, >> >> >> >> Maybe I should write a blog post, titled >> >> Introduction to AI Accelerator Prolog: >> >> >> >> - specialized jobs π-WAM (currently integerish stuff) >> >> - π-WAM uses no atomics, only comms >> >> - π-WAM uses warp, 30-40% more speed >> >> - π-WAM runs on GPU and CPU >> >> - π-WAM runs from within JavaScript, Python and Java >> >> >> >> Feels like reinventing FGCS concurrent >> >> logic programming. >> >> >> >> LoL >> >> >> >> Bye >> >> >> >> Mild Shock schrieb: >> >>> Hi, >> >>> >> >>> So the idea is to cover backtracking without >> >>> stack and choice points, only with registers. >> >>> So at the compute goto will use an instruction >> >>> >> >>> that stores the PC target into a register, >> >>> a new instruction for Hack: >> >>> >> >>> REG = PC + REL >> >>> >> >>> And then the jump will be, again a new >> >>> instruction for Hack: >> >>> >> >>> PC = REG >> >>> >> >>> If we squeeze the lemon and compile as much >> >>> with that, we will only find that it breaks for >> >>> calling recursive predicates that can use >> >>> >> >>> arbitary registers and choice points. But we >> >>> could maybe add stack and choice point as an >> >>> after match, instead of the classical WAM design >> >>> >> >>> that starts with stack and choice points! >> >>> >> >>> Bye >> >>> >> >>> Mild Shock schrieb: >> >>>> Hi, >> >>>> >> >>>> pi-WAM is a nice challenge, since its aim is to go >> >>>> even blow the instruction set of SWI-Prolog, >> >>>> while only using a Hack variant as instruction >> >>>> >> >>>> stream. But what is Hack? Well Hack seems to be >> >>>> the missing legacy of Niclaus Wirths PL0. The >> >>>> Hack (machine .asm) and Jack (highlevel compiler >> >>>> >> >>>> generating .vm which can be converted to .asm) >> >>>> combo makes even the famous Crafting Interpreters >> >>>> /Lox by Bob Nystrom redundant: >> >>>> >> >>>> Nand to Tetris courses are taught at 400+ >> >>>> universities, high schools, and bootcamps. The >> >>>> students who take them range from high >> >>>> schoolers to Ph.D. students to >> >>>> https://www.nand2tetris.org/ >> >>>> >> >>>> But digging deaper in Hack, it has no functions >> >>>> pointers so objects don't use virtual tables. >> >>>> But what will pi-WAM need and that is not yet >> >>>> >> >>>> in Hack? Given that my pi-WAM doesn't want a stack >> >>>> nor a choice point lists? Currently there is the >> >>>> idea to add a computed goto and that it can >> >>>> >> >>>> cover a more lightweight C_OR as known from >> >>>> SWI-Prolog, that would have the C_OR branches >> >>>> maybe restricted to have no outside >> >>>> >> >>>> clause calls? Lets see. Not yet sure. >> >>>> >> >>>> Bye >> >> >> > >> >
[toc] | [prev] | [next] | [standalone]
Page 7 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