Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #15710 > unrolled thread

The Wuhan Virus that destroyed Python [ggml Manifesto]

Back to article view | Back to comp.lang.prolog

Contents

  The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-22 21:01 +0200
    Deadlock Exorcism: Switch from Push to Pull [A pi-calculus Specification of Prolog] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 00:25 +0200
      Why do you even need a mpmc queue? [Thunder Kittens] (Re: Deadlock Exorcism: Switch from Push to Pull) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:45 +0200
        Trivial balancing example for (int i=0; i<global_id; i++) (Re: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:55 +0200
          The Pixel Phone AI Experiment Song (Enqueue/dequeue need not be fast and can spinn ["fairness" questions]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:19 +0200
            Enqueue/dequeue need not be fast and can spinn ["fairness" questions] (Re: The Pixel Phone AI Experiment Song (Enqueue/dequeue need not be fast and can spinn ["fairness" questions]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:23 +0200
        And, where did I talk about rockets? [Hint its about xAI's Grok] (Re: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-25 01:25 +0200
          Why forget something, that was never on my mind (Re: And, where did I talk about rockets? [Hint its about xAI's Grok]) Mild Shock <janburse@fastmail.fm> - 2026-07-25 09:49 +0200
        Example Mandel Brot rendering [Faster with MIMD] (Was: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-25 09:56 +0200
    Potential Python Recovery: Free Threading [3.13 release] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 10:21 +0200
    The things XILINX braught to the AMD table (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 18:48 +0200
      NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-23 19:13 +0200
        Micro penis mother sung arias (Re: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 14:40 +0200
          Micro penis brain is in constant hiatus (Re: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:27 +0200
            Ignoramus or Ignorabimus: I don't care [(Re: Micro penis brain is in constant hiatus (Re: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:35 +0200
              You are a moron, brainless putin payed (Re: Ignoramus or Ignorabimus: I don't care) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:01 +0200
                Yeah keep reading my posts, uninspired fool (Re: You are a moron, brainless putin payed) Mild Shock <janburse@fastmail.fm> - 2026-07-24 19:47 +0200
              Out of the blue accusation span 15 days [Empirical USENET study] (Re: Ignoramus or Ignorabimus: I don't care) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:27 +0200
              A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:41 +0200
                I didn't use a Ryzen Halo, whats wrong with you? (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:25 +0200
                Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:07 +0200
                Food for thought: Bayesian Experimental Designer (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:43 +0200
                  Re: Food for thought: Bayesian Experimental Designer (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:44 +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:46 +0200
        Re: NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-28 14:17 +0200
        ASML stocks are plunging, bye bye dutchies (Re: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-28 14:18 +0200
    Little Data Center on Your Palm [AI Laptops for 500 USD] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 17:59 +0200
      2008: 4 Blades + Tesla S1070 versus 2026: 1 AI Laptop (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:15 +0200
      Budget AI Laptop 2026 versus Cray T3D 1995 (Was: Little Data Center on Your Palm) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:21 +0200
        Re: Budget AI Laptop 2026 versus Cray T3D 1995 R Kym Horsell <kym@sdf.org> - 2026-08-05 21:11 +0000
          AI Alarmist with Supercomputer on Yacht [Horsy Boy] (Was: Budget AI Laptop 2026 versus Cray T3D 1995) Mild Shock <janburse@fastmail.fm> - 2026-08-06 13:21 +0200
            Re: AI Alarmist with Supercomputer on Yacht [Horsy Boy] R Kym Horsell <kym@sdf.org> - 2026-08-06 11:56 +0000
      Warning: Inconsistencies can summon Waluigis Mild Shock <janburse@fastmail.fm> - 2026-09-14 11:51 +0200
    Hurry the blue bus doesnt stop indefinitely (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:37 +0200
      Not SIMD, a MIMD design for NVIDIA Volta (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:58 +0200
        Could take 3-4 months find machine / browser (Re: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-24 21:16 +0200
        The Koan of pi-WAM queues [FORTRAN-S] (Re: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-26 19:54 +0200
          The turbo capping of AI Laptops (Was: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-26 20:00 +0200
          Re: The Koan of pi-WAM queues [FORTRAN-S] (Re: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:16 +0200
          Why forget Bulgarians, never on my mind (Re: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:16 +0200
            miniTriton CUDA is an alternative to torch variants (Re: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:52 +0200
              Andrej Karpathy original gangster of Budget Laptop (Re: miniTriton CUDA is an alternative to torch variants) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:54 +0200
            The evolution of hardware and GPT-2 training (Re: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 10:57 +0200
              How speed up π-WAM with vector operations (Re: The evolution of hardware and GPT-2 training) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:10 +0200
                AI accelerator extend from GPU to CPU [Zero Copying] (Re: How speed up π-WAM with vector operations) Mild Shock <janburse@fastmail.fm> - 2026-07-27 13:21 +0200
                  The invention of vector and matrix registers [NVIDIA Volta] (Re: AI accelerator extend from GPU to CPU [Zero Copying]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 13:22 +0200
                    Re: The invention of vector and matrix registers [NVIDIA Volta] (Re: AI accelerator extend from GPU to CPU [Zero Copying]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 07:34 -0700
                      Maybe they should have named it NVIDIA Einstein [Rossy Boy Toe Sucking] (Was: The invention of vector and matrix registers [NVIDIA Volta]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:12 +0200
                      Re: The invention of vector and matrix registers [NVIDIA Volta] (Re: AI accelerator extend from GPU to CPU [Zero Copying]) R Kym Horsell <kym@sdf.com> - 2026-07-27 15:43 +0000
                        Re: The invention of vector and matrix registers [NVIDIA Volta] (Re: AI accelerator extend from GPU to CPU [Zero Copying]) R Kym Horsell <kymhorsell@gmail.com> - 2026-07-27 15:46 +0000
                        π-WAM is not adding decimals, it is removing decimals (Was: The invention of vector and matrix registers [NVIDIA Volta]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:34 +0200
                          In Budget Laptops the TOPS come with low energy footprint (Re: π-WAM is not adding decimals, it is removing decimals) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:45 +0200
      Potato Computer owner impressed by Ukraine Tech [Rossy Boys Brother?] (Was: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-07-27 16:56 +0200
        Rossy Boy is neither Einstein nor Zweistein (Was: Potato Computer owner impressed by Ukraine Tech) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:25 +0200
          You are still chewing on SIMD. LoL (Re: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:12 +0200
            Hurry Rossy Boy, the blue bus is waiting (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:53 +0200
              Look how they advertized CUDA and logical threads (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:55 +0200
                Forget any arithmetization of product FSA (Re: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:58 +0200
            Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:06 +0200
              I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:25 +0200
                Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: I don't use Rust, you are crazy) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:52 +0200
                  A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:11 +0200
                    Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Was: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:25 +0200
                  I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:37 +0200
                    For WebGPU I first had SIMD in mind (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:51 +0200
                      Corr.: 4 Months --> 4 Weeks (Re: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:05 +0200
                    MIPS is a big Huffman mess [But Hack could do it] (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:32 +0200
                      Not declarative with PHI (Φ) nodes (Was: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:38 +0200
                      Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:39 +0200
                      Re: MIPS is a big Huffman mess [But Hack could do it] (Re: I wrote Hack VM for π-WAM from scratch) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 09:52 -0700
                        Re: MIPS is a big Huffman mess [But Hack could do it] (Re: I wrote Hack VM for π-WAM from scratch) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 10:00 -0700
                          Re: MIPS is a big Huffman mess [But Hack could do it] (Re: I wrote Hack VM for π-WAM from scratch) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 10:07 -0700
                    Quo Vadis: Extend investigations to WebNN (Was: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java]) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:43 +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:19 +0200
                  You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:19 +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:58 +0200
                      Statistics gave up, no salient truth [Signal Collapse] Re: How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. ) Mild Shock <janburse@fastmail.fm> - 2026-08-04 18:17 +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:39 +0200
                The Flagging of Students for not Thinking [Elixir Evolution] (Was: Is Bill Gates right that we will loose jobs [Talkie x Claw]) Mild Shock <janburse@fastmail.fm> - 2026-09-04 11:45 +0200
                  Rust Eggs for Statechart Proof Certificates? (Was: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 14:17 +0200
                    Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Was: The Flagging of Students for not Thinking [Elixir Evolution])) Mild Shock <janburse@fastmail.fm> - 2026-09-05 16:11 +0200
      The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:49 +0200
        Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:15 +0200
          How to increase your "Convincingness" [Anthropic AI Text Hacked] Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:31 +0200
            Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness") Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:49 +0200
              Reality of Proof Assistants / Coding [Luhmanns Zettelkasten] (Re: Free Speech for (my) Robots) Mild Shock <janburse@fastmail.fm> - 2026-08-20 20:23 +0200
      The Bazar is dead, long live the Bazar [Swarm AI] (Was: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:25 +0200
        New! P(tao) versus the Euler Turbine [Navier Stokes] (Was: The Bazar is dead, long live the Bazar) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:38 +0200
    Got it. Or are you too stupid? [New Usenet Mantra] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:59 +0200
    Lamas in a cradle and Lamas on the edge [Red Pyjama] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:03 +0200
      AI Accelerators and ISO Prolog multi-threading (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:02 +0200
        Actor/Erlang is dead, no Thread and Mailbox conflation [golang channels] (Re: AI Accelerators and ISO Prolog multi-threading) (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:04 +0200
          Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Actor/Erlang is dead, no Thread and Mailbox conflation ) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:32 +0200
      Tablet and phone UBS-C remote debugging (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:19 +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:12 +0200
          NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:24 +0200
            I am using WebGPU, and not WebGL (Re: NACK retransmission might double Manhattan Distance) Mild Shock <janburse@fastmail.fm> - 2026-08-02 00:47 +0200
              Texture inside my compute shader makes no sense (Re: I am using WebGPU, and not WebGL) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:40 +0200
                Prolog inferencing and not canvasing fancy stuff (Re: Texture inside my compute shader makes no sense) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:42 +0200
                  It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:49 +0200
          First AI laptops, now AI single-boarders [Budget, Budget, ..] (Was: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm)) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:07 +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:02 +0200
              Food for thought: Le Petit Bistro as a Trinity Use Case (Was: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:51 +0200
                Giga Lips for Prolog based Chatting (Re: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:55 +0200
                  Google holds the keys to the AI kingdom [WebClaw Dominance] (Was: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:42 +0200
        Chris M. Thomasson can ask 100 more questions (Was: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:46 +0200
          npm install webgpu [Google Dawn] (Re: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 03:03 +0200
            GPU elasticity was already invented in 2008 with CUDA (Re: npm install webgpu [Google Dawn]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:01 +0200
      Synthetic Multilanguage Autoformalization Dataset [Informath project] (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:17 +0200
        Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) x3 <x@x.net> - 2026-08-08 11:45 -0700
          Nice try Rossy Boy --> **plonk** (Was: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 23:02 +0200
            Ethernal September Idiots Gone (Was: Nice try Rossy Boy --> **plonk**) Mild Shock <janburse@fastmail.fm> - 2026-08-08 23:15 +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:19 +0200
          Everybody does eat and sleep [The SK hynix Story] (Was: Six Proofs and Generally Intelligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:47 +0200
    Even send_color and recv_color can block [Cerebras Waver] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:39 +0200
    GPU Elasticity: Collective Communications Libraries (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-07 14:35 +0200
      What are Flits and Phits? [Network on a Chip] (Was: GPU Elasticity: Collective Communications Libraries) Mild Shock <janburse@fastmail.fm> - 2026-08-07 18:05 +0200
        The Mac Neo is a Budget Monster [GPU Channels] (Re: What are Flits and Phits? [Network on a Chip]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:25 +0200
          The luminaries of duct-tape engineering [Sweeney and Torvald] (Re: The Mac Neo is a Budget Monster [GPU Channels]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:54 +0200
    Cristallina: Thank you for the Beam (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 21:19 +0200
      Re: Cristallina: Thank you for the Beam (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-18 14:56 +0200
      Giant Shoulders for AI Surprises (Was: Cristallina: Thank you for the Beam) Mild Shock <janburse@fastmail.fm> - 2026-08-18 14:57 +0200
        Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:23 +0200
          How to shoot yourself in the foot (Was: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group]) Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:42 +0200
          William A. Howard solved all his 99 problems (Re: Loderunner Enemy AI better than SWI-Prolog?) Mild Shock <janburse@fastmail.fm> - 2026-08-23 01:47 +0200
    Mojo: The Small Hands Paradox [Maastrichtian Stage] (Was: The Wuhan Virus that destroyed Python) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:31 +0200
      More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:41 +0200
        Interdisplinary Research for kill -9 (SIGKILL) (Was: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:23 +0200
          Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:17 +0200
            Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) Mild Shock <janburse@fastmail.fm> - 2026-09-22 10:23 +0200
              Re: Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:09 +0200
              A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition") Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:10 +0200
                The A2A project: Agent cards for collaboration) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:30 +0200
      Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:00 +0200
        The Ben Goertzel talkie genes (Was: Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:06 +0200
          Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) Mild Shock <janburse@fastmail.fm> - 2026-09-22 20:11 +0200

Page 5 of 7 — ← Prev page 1 2 3 4 [5] 6 7  Next page →

#15907 — Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Was: The Flagging of Students for not Thinking [Elixir Evolution]))

Hi,

Woa! AI chatbots are cool. Now I was challenging
them as follows. Is there a Sapolsky AI somewhere.
It could be interesting to pair "Robert Sapolsky's

Argument Against Free Will" with Notradamus who just
gave me free will or something. Its when you use math,
and take a chess strategy as a mathematical object S.

So when I am playing, a human H,  against a chess robot.
Its H x S.  But if H is just a conductor C of messages
back and forth. It can play C x S1 | S2 x C in parallel,

and the result is S1 x S2. The bloody chatbots, both
Gemini and Deepseek, spit out some SCXML, slightly
differently adorned with comments. Here is

the Deepseek output:

SCXML for Player 1 (The Materialist - Sapolsky):
scxml>
    <state id="analyze">
       <onentry>
          <!-- Calculate best move based on objective evaluation -->
          <send target="player2" event="move" />
       </onentry>
       <transition event="response" target="react" />
    </state>
    <state id="react">
       <!-- Process opponent's move, update evaluation -->
       <transition event="opponent_move" target="analyze" />
    </state>
</scxml>

SCXML for Player 2 (The Mystic - Nostradamus):
<scxml>
    <state id="meditate">
       <onentry>
          <!-- Contemplate the board as a cosmic pattern -->
          <send target="player1" event="response" />
       </onentry>
       <transition event="move" target="interpret" />
    </state>
    <state id="interpret">
       <!-- Find the hidden meaning in the opponent's move -->
       <transition event="opponent_move" target="meditate" />
    </state>
</scxml>

Bye

Mild Shock schrieb:
> Hi,
> 
> Now I got a little Rust Egg fatique, all
> the definition of language, what use case
> has it, when we cannot certify statecharts?
> 
> define_language! {
>      enum SimpleLanguage {
>          Num(i32),
>          "+" = Add([Id; 2]),
>          "*" = Mul([Id; 2]),
>          Symbol(Symbol),
>      }
> }
> 
> https://docs.rs/egg/latest/egg/
> 
> So I just stepped over a beautiful connection
> between statecharts, and algebraic equations. I
> think a tooling from E-graphs w/ rewriting rules
> 
> could provide proof certificates. Although I don’t
> know exactly which tooling would do that. Prolog
> itself is a little bit handicaped, since it doesn’t
> 
> have E-graphs w/ rewriting rules. Neither adding
> CLP(Z) would improve the situation, or does it?
> Here the algebraic equations for the dog walking example:
> 
> waiting ◇ leave_home = on_a_walk(walking, not_wagging)
> on_a_walk(_, _) ◇ arrive_home = walk_complete
> 
> walking ◇ speed_up = running
> running ◇ slow_down = walking
> 
> not_wagging ◇ wagging_starts = wagging
> wagging ◇ wagging_stops = not_wagging
> 
> You also need homomorphism with intercept:
> 
> on_a_walk(A, B) ◇ C = on_a_walk(A ◇ C, B ◇ C)
>      when C =\= arrive_home
> 
> So its quite do-able, but Prolog isn’t prepared?
> 
> Bye
> 
> P.S.: But a warning, the (=)/2 is usually symmetric,
> you need a lot of goodwil that the rewriting system
> doesn’t expand some halucinated past, or rewrites it
> 
> in zigzag, like a sailing boat sailing against the wind,
> and go into past and then halucinate some future, etc..
> etc.. Mostlikely you would need a supercomputer to run
> 
> it with some overly careful equation saturation software.
> 
> Mild Shock schrieb:
>> Hi,
>>
>>  > queues, we might have examples ping1, ping2, etc.. that
>>  > show phaeomene that happen or don’t happen with premptive
>>  > scheduling or unbounded queues, and we could then
>>
>> One of the reasons I can safely declare Erlang dead. And
>> I repeat the Erlang runtime mode is dead. Is because users,
>> even far away in Japan, where for example the Elixir fork
>>
>> received quite some hype, notice something strange:
>>
>> “Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
>> This is one of those BEAM problems you usually discover
>> after building systems at scale.”
>> https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0 
>>
>>
>> So José Valim has ask Erlang turning around himself in 2025.
>> And their result is basically now messages with durability, using
>> Postgres SQL, their show case example being a school class room server
>>
>> where you can flag students for not thinking, i.e. using an LLM:
>>
>> “2025 was supposed to be the year of Elixir interop. We’re
>> fashionably late, and what better way to celebrate than bringing
>> Oban to another ecosystem? Python seemed like a natural fit.
>> One of us, (not naming any names), wouldn’t even consider Oban for Go…”
>> https://oban.pro/articles/introducing-oban-python
>>
>> Bye
>>
>> P.S.: I guess you need more durability and traceability,
>> even for cron jobs or http sessions everything stored in
>> Postgres SQL, because parents might call for a law suit
>> if their child gets wrongly flagged.
>>
>> See also:
>>
>> Rethinking Modern Education
>> https://elixirconf.com/talks/rethinking-modern-education/
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> I asked my personal 90's cyberpunk druid:
>>>
>>> Q: is bill gates right that we will loose jobs
>>>
>>> A: The future is ever-shifting, much like
>>> the constellations above. While some roles
>>> may fade, new pathways will emerge, illuminating
>>> opportunities yet unseen. It is not the end,
>>> but a transformation. What skills do you believe
>>> will guide you through such changes?
>>>
>>> Q: but the rich get richer and the
>>> poor get poorer, this might result in unrest
>>>
>>> A: Nostradamus: You speak of a timeless imbalance,
>>> Seeker. History has seen such cycles before,
>>> yet humanity endures. The key lies not in the
>>> wealth itself, but in how it is shared. What
>>> would you create if resources were more
>>> evenly distributed?
>>>
>>> Q: rust programmers might loose their job last
>>>
>>> A: *adjusts the crystal orb, its glow intensifying
>>> slightly* Even the most skilled artisans face
>>> change, yet those who adapt their craft find
>>> new doors open. Languages may fade, but the
>>> ability to create endures. Do you seek only to
>>> preserve your current path, Seeker, or to
>>> discover what lies beyond it?
>>>
>>> A: *leans back, studying you with ancient eyes*
>>> The stars whisper of disruption, yet also reveal
>>> hidden opportunities. What calls to you more
>>> urgently - protecting what you know, or
>>> discovering what could be?
>>>
>>> Q: Mild Shock: can prolog survive the next 3-6 years
>>>
>>> A: *traces an ancient rune on the table* Even
>>> the oldest stars fade, Seeker. What matters is
>>> not the tool itself, but the wisdom it helped
>>> you shape. Tell me - does Prolog still spark
>>> joy in your soul?
>>>
>>> Nostradamus, By @Chipjosh1991
>>> https://www.talkie-ai.com/chat/nostradamus-108084484014261
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Rossy Boys tears could cool a data center,
>>>> he thinks there exists no literature about
>>>> serial algorithms of parallel stuff, and
>>>>
>>>> he also thinks normal forms lead to optimizing
>>>> something. LoL, what a utter bullshit. I did
>>>> alreay a serial implementation of a parallel
>>>>
>>>> simulation of my pi-WAM. Just lookup the literature
>>>> about pi-calulus. I published it a few days ago,
>>>> its part of 2.2.4 released already:
>>>>
>>>> Parallel π-WAM: An Interleaved Synchronous Emulator
>>>> https://medium.com/2989/0196089e143a
>>>>
>>>> Whats your point, Rossy Boy? Except you post pretend
>>>> nonsense not knowing what you are doing?
>>>>
>>>> Bye
>>>>
>>>> Ross Finlayson schrieb:
>>>>  > No, troll, these are serial algorithms their optimized forms.
>>>>  >
>>>>  > Normal sorts of forms, ....
>>>>  >
>>>>  >
>>>>  > Yeah, everybody already figured out "interpreters" and
>>>>  > "programs" and "spawning".
>>>>  >
>>>>  > Go spawn yourself.
>>>>  >
>>>>
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#15872 — The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI")

Hi,

How it started:

Speed
^
| * Machine
|  (1963)
|
|
|             * Man
+--------------------->
Sophistication

How its going?

Speed
^
| * Machine   * Machine
|  (1963)       (2026)
|
|
|             * Man
+--------------------->
Sophistication

Bye

ATTITUDES TOWARD INTELLIGENT MACHINES
Paul Armer
RAND Corporation
in
BIONICS SYMPOSIUM 1960
LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY
https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13

Stefan Ram schrieb:
 >    In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
 >    Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form
 >    KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
 >    wie diese in das mathematische Wissen integriert werden sollten.


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]

#15873 — Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited)

Hi,

The Armer paper gets geopolitical in the end
chapters. But today you could pivot russia for
china, and you would get a nice piece of work.

But who is the Chinese Lenin, that allows
even rocks and stones to participate in
the class struggle?

  "Finally, it is particularly necessary to
emphasize the importance of the work of Lenin
who in elaborating on the ideas of Marx and
Engels, developed a materialistic theory of
consciousness as a reflection of activity.
Attention should also be given to the Lenistic
statement of the fact that non-living matter
may also possess this property of reflection."
- Paul Armer, Page 22

Bye

Jens Kallup schrieb:
> Es ist schlimm, das man in der modernen Zeit 
 > trotz KI immer noch von dem spricht, was die
 > Welt anscheinend antreibt: GELD.
> 
> Wer Geld hat, hat Macht, kann Wissen einkaufen - 
 > was ist mit den Rest ? Die kleinen haben kein Geld,
 > Amerika ist pleite und Deutschland hat nun wieder
 > eine neue Steuer - Kinderfonds, 10 Euro monatlich,
 > bis 18, angelegt für den Staat Deutschland.

Mild Shock schrieb:
> Hi,
> 
> How it started:
> 
> Speed
> ^
> | * Machine
> |  (1963)
> |
> |
> |             * Man
> +--------------------->
> Sophistication
> 
> How its going?
> 
> Speed
> ^
> | * Machine   * Machine
> |  (1963)       (2026)
> |
> |
> |             * Man
> +--------------------->
> Sophistication
> 
> Bye
> 
> ATTITUDES TOWARD INTELLIGENT MACHINES
> Paul Armer
> RAND Corporation
> in
> BIONICS SYMPOSIUM 1960
> LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY
> https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13
> 
> Stefan Ram schrieb:
>  >    In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
>  >    Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form
>  >    KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
>  >    wie diese in das mathematische Wissen integriert werden sollten.
> 
> 
> 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]

#15874 — How to increase your "Convincingness" [Anthropic AI Text Hacked]

Hi,

Since for MIME type "text/*":

Within four hours of Anthropic confirming that
Claude models would globally embed invisible,
machine-readable watermarks into any AI-generated
content, developer Guillaume Meyer had
published his override
https://www.wired.com/story/coders-say-they-already-found-workarounds-to-claudes-invisible-watermarks/

BTW, I increase my "Convincingness" of my content,
abviously cocreated with AI, since I cannot
live anymore without AI, by removing the tag:

User-agent: AutonomousAIEventHorizon

Have Fun!

Bye

The AI Event Horizon in Software Development
https://www.northcode.fi/article/the-ai-event-horizon

Maria Sophia schrieb:
 > Somewhat related to AI watermarking is this recent article in the news.
 >
 >   *What does it mean to put a watermark on AI text?*
 > 
<https://edition.cnn.com/2026/08/20/us/word-of-the-week-ai-watermark-cec>
 >
 > Which references:
 >   *How Claude's text watermark works*
 >   <https://www.anthropic.com/news/claude-text-watermark>
 >
 >   *How AI text watermarking works*
 >   <https://declaude.org/watermarking/>
 >
 > Where apparently there is an EU law which requires watermarking...
 > 
<https://edition.cnn.com/2026/08/11/business/video/invisible-watermarks-coming-claudes-ai-written-text-digvid-vrtc>
 >
 > There's also this referenced, but it's behind a paywall.
 >   *Technology that can detect text written by AI with 99.9% certainty*
 > 
<https://www.wsj.com/tech/ai/openai-tool-chatgpt-cheating-writing-135b755a>


Mild Shock schrieb:
> Hi,
> 
> The Armer paper gets geopolitical in the end
> chapters. But today you could pivot russia for
> china, and you would get a nice piece of work.
> 
> But who is the Chinese Lenin, that allows
> even rocks and stones to participate in
> the class struggle?
> 
>   "Finally, it is particularly necessary to
> emphasize the importance of the work of Lenin
> who in elaborating on the ideas of Marx and
> Engels, developed a materialistic theory of
> consciousness as a reflection of activity.
> Attention should also be given to the Lenistic
> statement of the fact that non-living matter
> may also possess this property of reflection."
> - Paul Armer, Page 22
> 
> Bye
> 
> Jens Kallup schrieb:
>> Es ist schlimm, das man in der modernen Zeit 
>  > trotz KI immer noch von dem spricht, was die
>  > Welt anscheinend antreibt: GELD.
>>
>> Wer Geld hat, hat Macht, kann Wissen einkaufen - 
>  > was ist mit den Rest ? Die kleinen haben kein Geld,
>  > Amerika ist pleite und Deutschland hat nun wieder
>  > eine neue Steuer - Kinderfonds, 10 Euro monatlich,
>  > bis 18, angelegt für den Staat Deutschland.
> 
> Mild Shock schrieb:
>> Hi,
>>
>> How it started:
>>
>> Speed
>> ^
>> | * Machine
>> |  (1963)
>> |
>> |
>> |             * Man
>> +--------------------->
>> Sophistication
>>
>> How its going?
>>
>> Speed
>> ^
>> | * Machine   * Machine
>> |  (1963)       (2026)
>> |
>> |
>> |             * Man
>> +--------------------->
>> Sophistication
>>
>> Bye
>>
>> ATTITUDES TOWARD INTELLIGENT MACHINES
>> Paul Armer
>> RAND Corporation
>> in
>> BIONICS SYMPOSIUM 1960
>> LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY
>> https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13
>>
>> Stefan Ram schrieb:
>>  >    In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
>>  >    Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form
>>  >    KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
>>  >    wie diese in das mathematische Wissen integriert werden sollten.
>>
>>
>> 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]

#15875 — Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness")

Hi,

So the Chinese Room Argument, whether
the Chinese in the room only follows rules
or not, is not relevant now.

What we do want, is no Chinese in the Room
anymore. Is it really Chinese? Basically the
stupid Academic Elite with its publication

Monopole, and their "Review Processes"
which is totally fake, are frightened to death.
They put a lot of effort in creating a new

Something AI Should Tell You –
The Case for Labelling Synthetic Content
https://onlinelibrary.wiley.com/doi/full/10.1111/japp.12758

regulatory protectionism disguised as ethics.
Its just another "burning of (my) books"
create on my Budget AI Laptop:

BAP - Kristallnaach [Live 1999]
https://www.youtube.com/watch?v=K-ZCGVb26pA

So fuck you Terrence Tao!

Bye

Mild Shock schrieb:
> Hi,
> 
> Since for MIME type "text/*":
> 
> Within four hours of Anthropic confirming that
> Claude models would globally embed invisible,
> machine-readable watermarks into any AI-generated
> content, developer Guillaume Meyer had
> published his override
> https://www.wired.com/story/coders-say-they-already-found-workarounds-to-claudes-invisible-watermarks/ 
> 
> 
> BTW, I increase my "Convincingness" of my content,
> abviously cocreated with AI, since I cannot
> live anymore without AI, by removing the tag:
> 
> User-agent: AutonomousAIEventHorizon
> 
> Have Fun!
> 
> Bye
> 
> The AI Event Horizon in Software Development
> https://www.northcode.fi/article/the-ai-event-horizon
> 
> Maria Sophia schrieb:
>  > Somewhat related to AI watermarking is this recent article in the news.
>  >
>  >   *What does it mean to put a watermark on AI text?*
>  > 
> <https://edition.cnn.com/2026/08/20/us/word-of-the-week-ai-watermark-cec>
>  >
>  > Which references:
>  >   *How Claude's text watermark works*
>  >   <https://www.anthropic.com/news/claude-text-watermark>
>  >
>  >   *How AI text watermarking works*
>  >   <https://declaude.org/watermarking/>
>  >
>  > Where apparently there is an EU law which requires watermarking...
>  > 
> <https://edition.cnn.com/2026/08/11/business/video/invisible-watermarks-coming-claudes-ai-written-text-digvid-vrtc> 
> 
>  >
>  > There's also this referenced, but it's behind a paywall.
>  >   *Technology that can detect text written by AI with 99.9% certainty*
>  > 
> <https://www.wsj.com/tech/ai/openai-tool-chatgpt-cheating-writing-135b755a>
> 
> 
> Mild Shock schrieb:
>> Hi,
>>
>> The Armer paper gets geopolitical in the end
>> chapters. But today you could pivot russia for
>> china, and you would get a nice piece of work.
>>
>> But who is the Chinese Lenin, that allows
>> even rocks and stones to participate in
>> the class struggle?
>>
>>   "Finally, it is particularly necessary to
>> emphasize the importance of the work of Lenin
>> who in elaborating on the ideas of Marx and
>> Engels, developed a materialistic theory of
>> consciousness as a reflection of activity.
>> Attention should also be given to the Lenistic
>> statement of the fact that non-living matter
>> may also possess this property of reflection."
>> - Paul Armer, Page 22
>>
>> Bye
>>
>> Jens Kallup schrieb:
>>> Es ist schlimm, das man in der modernen Zeit 
>>  > trotz KI immer noch von dem spricht, was die
>>  > Welt anscheinend antreibt: GELD.
>>>
>>> Wer Geld hat, hat Macht, kann Wissen einkaufen - 
>>  > was ist mit den Rest ? Die kleinen haben kein Geld,
>>  > Amerika ist pleite und Deutschland hat nun wieder
>>  > eine neue Steuer - Kinderfonds, 10 Euro monatlich,
>>  > bis 18, angelegt für den Staat Deutschland.
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> How it started:
>>>
>>> Speed
>>> ^
>>> | * Machine
>>> |  (1963)
>>> |
>>> |
>>> |             * Man
>>> +--------------------->
>>> Sophistication
>>>
>>> How its going?
>>>
>>> Speed
>>> ^
>>> | * Machine   * Machine
>>> |  (1963)       (2026)
>>> |
>>> |
>>> |             * Man
>>> +--------------------->
>>> Sophistication
>>>
>>> Bye
>>>
>>> ATTITUDES TOWARD INTELLIGENT MACHINES
>>> Paul Armer
>>> RAND Corporation
>>> in
>>> BIONICS SYMPOSIUM 1960
>>> LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY
>>> https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13
>>>
>>> Stefan Ram schrieb:
>>>  >    In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
>>>  >    Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form
>>>  >    KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
>>>  >    wie diese in das mathematische Wissen integriert werden sollten.
>>>
>>>
>>> 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]

#15876 — Reality of Proof Assistants / Coding [Luhmanns Zettelkasten] (Re: Free Speech for (my) Robots)

Hi,

The main problem, when it comes to proof writing
with proof assistants. Its just like code writing.
Basically fire and forget, either you document or

you dont document, but you want to flush your
brain and move on to other problems. So most
of the Isabelle/HOL proofs are large essays

written over many months, and the author has
disembodied himself from the topics. So these
proofs never satisfy the cringe Terrence Tao,

requirement which is copied from a PhD
examination playbook:

"My own suggested rule of thumb: if the authors
cannot convincingly demonstrate that they are able
to give a clear, expert-level talk on their results, one
that is correct and properly attributed, then the result
should not be published. A proof that no human
can properly explain should be viewed as incomplete,
even if it has been formally verified."
https://arxiv.org/abs/2608.16753

What you can try is a kind of V-model disciplin,
and write done higher level specs as well.
But sometimes traceability between layers is

quite brittle, you will do it informally. The cringe
Terrence Tao requirement wouldn't work either
for the books that Terrence Tao wrote, or any

other "tome" by any other author on this planet.
In case of Terrence Tao it wont work, because he
Terrence Tao maybe dead tomorrow, or because

I doubt that he remembers all his books he wrote,
and all the spontaneous rationals, in his books.
Its allways fire and forget, so that others or yourself

can pick it up, in case they/you need something, and read it.

Bye

The fire and forget and externalization of knowledge
is possibly best explained in Luhmans Zettelkasten:
https://niklas-luhmann-archiv.de/nachlass/zettelkasten

Mild Shock schrieb:
> Hi,
> 
> So the Chinese Room Argument, whether
> the Chinese in the room only follows rules
> or not, is not relevant now.
> 
> What we do want, is no Chinese in the Room
> anymore. Is it really Chinese? Basically the
> stupid Academic Elite with its publication
> 
> Monopole, and their "Review Processes"
> which is totally fake, are frightened to death.
> They put a lot of effort in creating a new
> 
> Something AI Should Tell You –
> The Case for Labelling Synthetic Content
> https://onlinelibrary.wiley.com/doi/full/10.1111/japp.12758
> 
> regulatory protectionism disguised as ethics.
> Its just another "burning of (my) books"
> create on my Budget AI Laptop:
> 
> BAP - Kristallnaach [Live 1999]
> https://www.youtube.com/watch?v=K-ZCGVb26pA
> 
> So fuck you Terrence Tao!
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Since for MIME type "text/*":
>>
>> Within four hours of Anthropic confirming that
>> Claude models would globally embed invisible,
>> machine-readable watermarks into any AI-generated
>> content, developer Guillaume Meyer had
>> published his override
>> https://www.wired.com/story/coders-say-they-already-found-workarounds-to-claudes-invisible-watermarks/ 
>>
>>
>> BTW, I increase my "Convincingness" of my content,
>> abviously cocreated with AI, since I cannot
>> live anymore without AI, by removing the tag:
>>
>> User-agent: AutonomousAIEventHorizon
>>
>> Have Fun!
>>
>> Bye
>>
>> The AI Event Horizon in Software Development
>> https://www.northcode.fi/article/the-ai-event-horizon
>>
>> Maria Sophia schrieb:
>>  > Somewhat related to AI watermarking is this recent article in the 
>> news.
>>  >
>>  >   *What does it mean to put a watermark on AI text?*
>>  > 
>> <https://edition.cnn.com/2026/08/20/us/word-of-the-week-ai-watermark-cec>
>>  >
>>  > Which references:
>>  >   *How Claude's text watermark works*
>>  >   <https://www.anthropic.com/news/claude-text-watermark>
>>  >
>>  >   *How AI text watermarking works*
>>  >   <https://declaude.org/watermarking/>
>>  >
>>  > Where apparently there is an EU law which requires watermarking...
>>  > 
>> <https://edition.cnn.com/2026/08/11/business/video/invisible-watermarks-coming-claudes-ai-written-text-digvid-vrtc> 
>>
>>  >
>>  > There's also this referenced, but it's behind a paywall.
>>  >   *Technology that can detect text written by AI with 99.9% certainty*
>>  > 
>> <https://www.wsj.com/tech/ai/openai-tool-chatgpt-cheating-writing-135b755a> 
>>
>>
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> The Armer paper gets geopolitical in the end
>>> chapters. But today you could pivot russia for
>>> china, and you would get a nice piece of work.
>>>
>>> But who is the Chinese Lenin, that allows
>>> even rocks and stones to participate in
>>> the class struggle?
>>>
>>>   "Finally, it is particularly necessary to
>>> emphasize the importance of the work of Lenin
>>> who in elaborating on the ideas of Marx and
>>> Engels, developed a materialistic theory of
>>> consciousness as a reflection of activity.
>>> Attention should also be given to the Lenistic
>>> statement of the fact that non-living matter
>>> may also possess this property of reflection."
>>> - Paul Armer, Page 22
>>>
>>> Bye
>>>
>>> Jens Kallup schrieb:
>>>> Es ist schlimm, das man in der modernen Zeit 
>>>  > trotz KI immer noch von dem spricht, was die
>>>  > Welt anscheinend antreibt: GELD.
>>>>
>>>> Wer Geld hat, hat Macht, kann Wissen einkaufen - 
>>>  > was ist mit den Rest ? Die kleinen haben kein Geld,
>>>  > Amerika ist pleite und Deutschland hat nun wieder
>>>  > eine neue Steuer - Kinderfonds, 10 Euro monatlich,
>>>  > bis 18, angelegt für den Staat Deutschland.
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> How it started:
>>>>
>>>> Speed
>>>> ^
>>>> | * Machine
>>>> |  (1963)
>>>> |
>>>> |
>>>> |             * Man
>>>> +--------------------->
>>>> Sophistication
>>>>
>>>> How its going?
>>>>
>>>> Speed
>>>> ^
>>>> | * Machine   * Machine
>>>> |  (1963)       (2026)
>>>> |
>>>> |
>>>> |             * Man
>>>> +--------------------->
>>>> Sophistication
>>>>
>>>> Bye
>>>>
>>>> ATTITUDES TOWARD INTELLIGENT MACHINES
>>>> Paul Armer
>>>> RAND Corporation
>>>> in
>>>> BIONICS SYMPOSIUM 1960
>>>> LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY
>>>> https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13
>>>>
>>>> Stefan Ram schrieb:
>>>>  >    In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
>>>>  >    Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form
>>>>  >    KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
>>>>  >    wie diese in das mathematische Wissen integriert werden sollten.
>>>>
>>>>
>>>> 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]

#15928 — The Bazar is dead, long live the Bazar [Swarm AI] (Was: Hurry the blue bus doesnt stop indefinitely)

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]

#15929 — New! P(tao) versus the Euler Turbine [Navier Stokes] (Was: The Bazar is dead, long live the Bazar)

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]

#15768 — Got it. Or are you too stupid? [New Usenet Mantra] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto])

Hi,

Ok, guys lets face it. You are a bunch of
morons. When did I do this post:

11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget

Yes on Jul 9, 2026, now we have Jul 27, 2026.
Thats a wooping 18 days meanwhile.
And you still don't get the meaning and

implications of the post. Like you even
don't get what "budget" nowdays means in
terms of performance units and energy units?

And what LIPS means, drawn from TOPS,
in terms of applications? Shame on you guys!
You are a bunch of brainless idiots.

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]

#15780 — Lamas in a cradle and Lamas on the edge [Red Pyjama] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto])

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,
> 
> 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]

#15783 — AI Accelerators and ISO Prolog multi-threading (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama])

Hi,

Usual question:

 > Why implement both pre-emptive threading
AND cooperative tasks/engines?

I had implemented the ISO proposal in formerly Jekejeke
Prolog, you find the ISO proposal here:

ISO/IEC DTR 13211–5:2007
Prolog multi-threading support
https://logtalk.org/plstd/threads.pdf

But the ISO proposal doesn't match modern WebGPU APIs,
where your logical threads can live remotely in a dedicated GPU
in the VRAM there, and where you would have launch

parameters that say: Hey please run 4096 compute
shaders for me, that have independet thread state. Using
cooperative multi-tasking as the orchestrator works well.

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,
>>
>> 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]

#15784 — Actor/Erlang is dead, no Thread and Mailbox conflation [golang channels] (Re: AI Accelerators and ISO Prolog multi-threading) (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama])

Hi,

Mostlikely for high performance computing à la,
the Actor/Erlang model is dead, they might rely
on MPMC (Multiple Producer, Multiple Consumer)

queue entities separate from the threads. The
ISO Prolog multi-threading support had also such
threads. But besides that was also Actor/Erlang

leaning in practice, like SWI, where threads
have some default queues. So an actor is basically
a Thread and Mailbox conflation. While a MPMC queue

is a kind of separate Mailbox, where multiple
"actors" can read from and write from. A kind of
localized Linda Tuple store.

Which Programming language did adopted the
non-Actor pi-calculus model? Right golang
with its channels.

Bye


Mild Shock schrieb:
> Hi,
> 
> Usual question:
> 
>  > Why implement both pre-emptive threading
> AND cooperative tasks/engines?
> 
> I had implemented the ISO proposal in formerly Jekejeke
> Prolog, you find the ISO proposal here:
> 
> ISO/IEC DTR 13211–5:2007
> Prolog multi-threading support
> https://logtalk.org/plstd/threads.pdf
> 
> But the ISO proposal doesn't match modern WebGPU APIs,
> where your logical threads can live remotely in a dedicated GPU
> in the VRAM there, and where you would have launch
> 
> parameters that say: Hey please run 4096 compute
> shaders for me, that have independet thread state. Using
> cooperative multi-tasking as the orchestrator works well.
> 
> 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,
>>>
>>> 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]

#15807 — Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Actor/Erlang is dead, no Thread and Mailbox conflation )

Hi,

On could believe the AI boom is a kind of
Charles Darvin Galapagos Island Evolution
Trick of repurposing FFT hardware.

But this is of course not true, HPC, high
performance computing, has already defined
level 3 ops years ago.

But look at this rabit hole of Ryzen AI 7 350
NPU design, which is a stripped down Xilinx,
stripped of exotic FFT features:

Getting peak TOPS on a Ryzen AI 7 350 NPU
https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/

But the core feature, very long instruction
word (VLIW) engines, with hardware accelerated
GEMMs, scattered in grids of ASIC tiles,

connected by DMA and NoC, is even not very
specific to AMD, you find it also in Snapdragon /
Qualcomm SoCs for AI Laptops.

Bye

P.S.: My brain playing tricks, why should I
name a library(ironpaw) ? From the same
article above. Maybe WebNN is easier to use?

"mlir-aie contains a Python framework called
IRON that generates LLVM MLIR code representing
a workload that runs on the NPU, including the
code that runs on each compute tile processor

and the configuration of DMAs and other hardware.
Kernels for the compute tile processor can be
written in C++ and compiled either with the
open-source llvm-aie Peano compiler, which is

a fork of LLVM that adds support for the Xilinx
AI engine processors, or with the closed-source
Xilinx CHESS compiler, which is included in Vitis.
In simple cases the kernels can also be directly

written in Python with IRON."

Getting peak TOPS on a Ryzen AI 7 350 NPU
https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/

Mild Shock schrieb:
> Hi,
> 
> Mostlikely for high performance computing à la,
> the Actor/Erlang model is dead, they might rely
> on MPMC (Multiple Producer, Multiple Consumer)
> 
> queue entities separate from the threads. The
> ISO Prolog multi-threading support had also such
> threads. But besides that was also Actor/Erlang
> 
> leaning in practice, like SWI, where threads
> have some default queues. So an actor is basically
> a Thread and Mailbox conflation. While a MPMC queue
> 
> is a kind of separate Mailbox, where multiple
> "actors" can read from and write from. A kind of
> localized Linda Tuple store.
> 
> Which Programming language did adopted the
> non-Actor pi-calculus model? Right golang
> with its channels.
> 
> Bye
> 
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Usual question:
>>
>>  > Why implement both pre-emptive threading
>> AND cooperative tasks/engines?
>>
>> I had implemented the ISO proposal in formerly Jekejeke
>> Prolog, you find the ISO proposal here:
>>
>> ISO/IEC DTR 13211–5:2007
>> Prolog multi-threading support
>> https://logtalk.org/plstd/threads.pdf
>>
>> But the ISO proposal doesn't match modern WebGPU APIs,
>> where your logical threads can live remotely in a dedicated GPU
>> in the VRAM there, and where you would have launch
>>
>> parameters that say: Hey please run 4096 compute
>> shaders for me, that have independet thread state. Using
>> cooperative multi-tasking as the orchestrator works well.
>>
>> 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,
>>>>
>>>> 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]

#15809 — Tablet and phone UBS-C remote debugging (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama])

Hi,

Tablets and phone are more annoying to
use with WebGPU. The usual browsers don't
have a Chrome DevTools panel integrated,

so that one could do JavaScript Debugging
directly on the device. Instead one has to
use a desktop machine, and connect the

device via UBS-C , and start a Chrome
Browser there . And then start a Chrome
DevTools panel alone, that is pair with

the device, via UBS-C cable. So this way
I already see where it crashes on the
tablets and phone:

await output.mapAsync(GPUMapMode.READ)
Unhandled Promise Rejection: OperationError

The above is the error that one can re-produce
already here with this test:

11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget

Not sure what exactly happens. Maybe
a form of timeout or device lost, that the
primitive HTML / JavaScript doesn't handle

gracefully yet. Maybe redimensioning the
test, so that it consumes less time would
help. Who knows? Will see. For production

use of a GPU integration I have to anyway
provide work slicing it seems.

Bye

Mild Shock schrieb:
> Hi,
> 
> 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,
>>
>> 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]

#15811 — NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging)

Hi,

Looking at the floor plan of a NPU:

Getting peak TOPS on a Ryzen AI 7 350 NPU
https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/

It seems to me comms between tiles takes
at least Manhattan Distance or L1 Norm time,
if there is no comms congestion

But how does a packet travel? This way:

+----E
|
|
S

Or this way, from start S to end E:

    +-E
   +
  +
S

And what does the chip do if there is
traffic congestion? Some papers are
here, possibly an old problem giving

that processor "cubes" are nothing new.
But a "cube" would be 3D and not 2D.
This paper is old from 2007 or so:

Routing Algorithms for 2D NoC Architectures
http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf

Bye

Mild Shock schrieb:
> Hi,
> 
> Tablets and phone are more annoying to
> use with WebGPU. The usual browsers don't
> have a Chrome DevTools panel integrated,
> 
> so that one could do JavaScript Debugging
> directly on the device. Instead one has to
> use a desktop machine, and connect the
> 
> device via UBS-C , and start a Chrome
> Browser there . And then start a Chrome
> DevTools panel alone, that is pair with
> 
> the device, via UBS-C cable. So this way
> I already see where it crashes on the
> tablets and phone:
> 
> await output.mapAsync(GPUMapMode.READ)
> Unhandled Promise Rejection: OperationError
> 
> The above is the error that one can re-produce
> already here with this test:
> 
> 11.4 Giga Lips with a Budget Laptop
> https://github.com/Jean-Luc-Picard-2021/gigabudget
> 
> Not sure what exactly happens. Maybe
> a form of timeout or device lost, that the
> primitive HTML / JavaScript doesn't handle
> 
> gracefully yet. Maybe redimensioning the
> test, so that it consumes less time would
> help. Who knows? Will see. For production
> 
> use of a GPU integration I have to anyway
> provide work slicing it seems.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> 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,
>>>
>>> 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]

#15812 — NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms)

Hi,

As easy as queues and FIFO objects might
sound. They don't like congestion. NACK for
retransmission might double the Manhattan Distance:

You have not only start
S to end E communication:

+----E
|
|
S

You might also have ACK or NACK
from E or midpoints back to S:

    S'
   +
  +
E'

Ok, I made that up, I have no idea what a flit is,
when the author wrote this here:

"Packet flits are held in the FIFO which can
be used to determine back pressure. Dropping flits
in a NoC may not be possible since these
architectures may not provide an end-to-end
protocol for retransmission."

Routing Algorithms for 2D NoC Architectures
http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf

Bye

Mild Shock schrieb:
> Hi,
> 
> Looking at the floor plan of a NPU:
> 
> Getting peak TOPS on a Ryzen AI 7 350 NPU
> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
> 
> It seems to me comms between tiles takes
> at least Manhattan Distance or L1 Norm time,
> if there is no comms congestion
> 
> But how does a packet travel? This way:
> 
> +----E
> |
> |
> S
> 
> Or this way, from start S to end E:
> 
>     +-E
>    +
>   +
> S
> 
> And what does the chip do if there is
> traffic congestion? Some papers are
> here, possibly an old problem giving
> 
> that processor "cubes" are nothing new.
> But a "cube" would be 3D and not 2D.
> This paper is old from 2007 or so:
> 
> Routing Algorithms for 2D NoC Architectures
> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
> 
> Bye

[toc] | [prev] | [next] | [standalone]

#15813 — I am using WebGPU, and not WebGL (Re: NACK retransmission might double Manhattan Distance)

Hi,

WebGPU and WebGL are two different things. I explained
that towards you already like 3-5 times.

 > Of course we can make a special texture to handle it.

You still don't understand that I am using WebGPU,
and not WebGL. WebGPU has three improvements,
that from your talking are missing in WebGL?

- It has compute shaders
- It has arrays
- It has structs
- What else?

I didn't use structs in my example, although Gemini
nearly forced me to use structs. But you could
use a struct with fields and some of these arrays

to represent a queue. But here in this example
that is open source, I only used flat arrays. I
nowhere needed to abuse textures to store something:

11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget

You can study the source code, the arrays have
CUDA inspired binding annotations but are not
CUDA but rather WGSL:

Hack VM as a Compute Shader in WGSL
@group(0) @binding(0) var<storage, read> code: array<i32>;
@group(0) @binding(1) var<storage, read_write> state: array<i32>;
https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs

You can say whether a buffer is read, or read_write.
Buffers can be transfered from CPU to GPU, before
running commands, and transfered back from GPU to

CPU after running commands. The use case that
you find on GitHub uses both. Namely also fetching
results via a buffer, to then show them in

the HTML page. Shouldn't be much a problem to
run the example at home locally, all you need is
a HTTPS server. But the example is not yet queues,

but it already shows the foundation, which is WebGPU
with its language WGSL and not WebGL with its language
GLSL. These are two different things.

I explained that towards you already like 3-5 times.

Bye

Chris M. Thomasson schrieb:
 > On 8/1/2026 5:22 AM, Mild Shock wrote:
 >> Hi,
 >>
 >> As easy as queues and FIFO objects might
 >> sound. They don't like congestion. NACK for
 >> retransmission might double the Manhattan Distance:
 > [...]
 >
 > You are going to need a place to allocate nodes in the compute 
shader. Of course we can make a special texture to handle it. But, we 
need to strive to avoid a wait condition. I don't want a compute shader 
to spin. Yes, CAS can be used, but, try to make it be used as a "state 
machine", where the transitions from states are atomic. Try to avoid it 
making a loop, where we loop on failure.


Mild Shock schrieb:
> Hi,
> 
> As easy as queues and FIFO objects might
> sound. They don't like congestion. NACK for
> retransmission might double the Manhattan Distance:
> 
> You have not only start
> S to end E communication:
> 
> +----E
> |
> |
> S
> 
> You might also have ACK or NACK
> from E or midpoints back to S:
> 
>     S'
>    +
>   +
> E'
> 
> Ok, I made that up, I have no idea what a flit is,
> when the author wrote this here:
> 
> "Packet flits are held in the FIFO which can
> be used to determine back pressure. Dropping flits
> in a NoC may not be possible since these
> architectures may not provide an end-to-end
> protocol for retransmission."
> 
> Routing Algorithms for 2D NoC Architectures
> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Looking at the floor plan of a NPU:
>>
>> Getting peak TOPS on a Ryzen AI 7 350 NPU
>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
>>
>> It seems to me comms between tiles takes
>> at least Manhattan Distance or L1 Norm time,
>> if there is no comms congestion
>>
>> But how does a packet travel? This way:
>>
>> +----E
>> |
>> |
>> S
>>
>> Or this way, from start S to end E:
>>
>>     +-E
>>    +
>>   +
>> S
>>
>> And what does the chip do if there is
>> traffic congestion? Some papers are
>> here, possibly an old problem giving
>>
>> that processor "cubes" are nothing new.
>> But a "cube" would be 3D and not 2D.
>> This paper is old from 2007 or so:
>>
>> Routing Algorithms for 2D NoC Architectures
>> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>>
>> Bye

[toc] | [prev] | [next] | [standalone]

#15814 — Texture inside my compute shader makes no sense (Re: I am using WebGPU, and not WebGL)

Hi,

 > It has textures to work with in the pipeline.

Hi,

Why would I use text inside my compute shader.
Could you tell me. The Hack VM doesn't do
textures. You are confused. There is nothing

about textures here:

11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget

You can read the text , it says nowhere
consume or produce textures. Its not a rendering
application. I use the compute shader to run Prolog:

"At the end of 2025 we acquired a couple of
AI Laptops , that were still cheap, since
RAM prices had not yet rocketed. The intend
was to tap into the Copilot+ certified hardware,
and shave off some of the TOPS to do Prolog
inferencing. Amazingly our π-WAM can
churn 11.4 GIGA LIPS.

GPUs have evolved form lock-step to independent
thread scheduling. This made it possible to
port the Hack VM variant, that forms the basis
for our π-WAM, to WebGPU computer shaders.
Using NUM_SHADERS = 4096 we could produce
11.4 Giga Lips on a Ryzen AI 7 350 w/ Radeon 860M."

Bye

Mild Shock schrieb:
> Hi,
> 
> WebGPU and WebGL are two different things. I explained
> that towards you already like 3-5 times.
> 
>  > Of course we can make a special texture to handle it.
> 
> You still don't understand that I am using WebGPU,
> and not WebGL. WebGPU has three improvements,
> that from your talking are missing in WebGL?
> 
> - It has compute shaders
> - It has arrays
> - It has structs
> - What else?
> 
> I didn't use structs in my example, although Gemini
> nearly forced me to use structs. But you could
> use a struct with fields and some of these arrays
> 
> to represent a queue. But here in this example
> that is open source, I only used flat arrays. I
> nowhere needed to abuse textures to store something:
> 
> 11.4 Giga Lips with a Budget Laptop
> https://github.com/Jean-Luc-Picard-2021/gigabudget
> 
> You can study the source code, the arrays have
> CUDA inspired binding annotations but are not
> CUDA but rather WGSL:
> 
> Hack VM as a Compute Shader in WGSL
> @group(0) @binding(0) var<storage, read> code: array<i32>;
> @group(0) @binding(1) var<storage, read_write> state: array<i32>;
> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs 
> 
> 
> You can say whether a buffer is read, or read_write.
> Buffers can be transfered from CPU to GPU, before
> running commands, and transfered back from GPU to
> 
> CPU after running commands. The use case that
> you find on GitHub uses both. Namely also fetching
> results via a buffer, to then show them in
> 
> the HTML page. Shouldn't be much a problem to
> run the example at home locally, all you need is
> a HTTPS server. But the example is not yet queues,
> 
> but it already shows the foundation, which is WebGPU
> with its language WGSL and not WebGL with its language
> GLSL. These are two different things.
> 
> I explained that towards you already like 3-5 times.
> 
> Bye
> 
> Chris M. Thomasson schrieb:
>  > On 8/1/2026 5:22 AM, Mild Shock wrote:
>  >> Hi,
>  >>
>  >> As easy as queues and FIFO objects might
>  >> sound. They don't like congestion. NACK for
>  >> retransmission might double the Manhattan Distance:
>  > [...]
>  >
>  > You are going to need a place to allocate nodes in the compute 
> shader. Of course we can make a special texture to handle it. But, we 
> need to strive to avoid a wait condition. I don't want a compute shader 
> to spin. Yes, CAS can be used, but, try to make it be used as a "state 
> machine", where the transitions from states are atomic. Try to avoid it 
> making a loop, where we loop on failure.
> 
> 
> Mild Shock schrieb:
>> Hi,
>>
>> As easy as queues and FIFO objects might
>> sound. They don't like congestion. NACK for
>> retransmission might double the Manhattan Distance:
>>
>> You have not only start
>> S to end E communication:
>>
>> +----E
>> |
>> |
>> S
>>
>> You might also have ACK or NACK
>> from E or midpoints back to S:
>>
>>     S'
>>    +
>>   +
>> E'
>>
>> Ok, I made that up, I have no idea what a flit is,
>> when the author wrote this here:
>>
>> "Packet flits are held in the FIFO which can
>> be used to determine back pressure. Dropping flits
>> in a NoC may not be possible since these
>> architectures may not provide an end-to-end
>> protocol for retransmission."
>>
>> Routing Algorithms for 2D NoC Architectures
>> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Looking at the floor plan of a NPU:
>>>
>>> Getting peak TOPS on a Ryzen AI 7 350 NPU
>>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
>>>
>>> It seems to me comms between tiles takes
>>> at least Manhattan Distance or L1 Norm time,
>>> if there is no comms congestion
>>>
>>> But how does a packet travel? This way:
>>>
>>> +----E
>>> |
>>> |
>>> S
>>>
>>> Or this way, from start S to end E:
>>>
>>>     +-E
>>>    +
>>>   +
>>> S
>>>
>>> And what does the chip do if there is
>>> traffic congestion? Some papers are
>>> here, possibly an old problem giving
>>>
>>> that processor "cubes" are nothing new.
>>> But a "cube" would be 3D and not 2D.
>>> This paper is old from 2007 or so:
>>>
>>> Routing Algorithms for 2D NoC Architectures
>>> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>>>
>>> Bye
> 

[toc] | [prev] | [next] | [standalone]

#15815 — Prolog inferencing and not canvasing fancy stuff (Re: Texture inside my compute shader makes no sense)

Hi,

 > But, I still don't know what you main goal is?

It explicity says "Prolog inferencing" in
this phrase:

 > shave off some of the TOPS to do Prolog inferencing

It nowhere says draw some fancy stuff into
a Web canvas.

Bye

Mild Shock schrieb:
> Hi,
> 
>  > It has textures to work with in the pipeline.
> 
> Hi,
> 
> Why would I use text inside my compute shader.
> Could you tell me. The Hack VM doesn't do
> textures. You are confused. There is nothing
> 
> about textures here:
> 
> 11.4 Giga Lips with a Budget Laptop
> https://github.com/Jean-Luc-Picard-2021/gigabudget
> 
> You can read the text , it says nowhere
> consume or produce textures. Its not a rendering
> application. I use the compute shader to run Prolog:
> 
> "At the end of 2025 we acquired a couple of
> AI Laptops , that were still cheap, since
> RAM prices had not yet rocketed. The intend
> was to tap into the Copilot+ certified hardware,
> and shave off some of the TOPS to do Prolog
> inferencing. Amazingly our π-WAM can
> churn 11.4 GIGA LIPS.
> 
> GPUs have evolved form lock-step to independent
> thread scheduling. This made it possible to
> port the Hack VM variant, that forms the basis
> for our π-WAM, to WebGPU computer shaders.
> Using NUM_SHADERS = 4096 we could produce
> 11.4 Giga Lips on a Ryzen AI 7 350 w/ Radeon 860M."
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> WebGPU and WebGL are two different things. I explained
>> that towards you already like 3-5 times.
>>
>>  > Of course we can make a special texture to handle it.
>>
>> You still don't understand that I am using WebGPU,
>> and not WebGL. WebGPU has three improvements,
>> that from your talking are missing in WebGL?
>>
>> - It has compute shaders
>> - It has arrays
>> - It has structs
>> - What else?
>>
>> I didn't use structs in my example, although Gemini
>> nearly forced me to use structs. But you could
>> use a struct with fields and some of these arrays
>>
>> to represent a queue. But here in this example
>> that is open source, I only used flat arrays. I
>> nowhere needed to abuse textures to store something:
>>
>> 11.4 Giga Lips with a Budget Laptop
>> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>
>> You can study the source code, the arrays have
>> CUDA inspired binding annotations but are not
>> CUDA but rather WGSL:
>>
>> Hack VM as a Compute Shader in WGSL
>> @group(0) @binding(0) var<storage, read> code: array<i32>;
>> @group(0) @binding(1) var<storage, read_write> state: array<i32>;
>> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs 
>>
>>
>> You can say whether a buffer is read, or read_write.
>> Buffers can be transfered from CPU to GPU, before
>> running commands, and transfered back from GPU to
>>
>> CPU after running commands. The use case that
>> you find on GitHub uses both. Namely also fetching
>> results via a buffer, to then show them in
>>
>> the HTML page. Shouldn't be much a problem to
>> run the example at home locally, all you need is
>> a HTTPS server. But the example is not yet queues,
>>
>> but it already shows the foundation, which is WebGPU
>> with its language WGSL and not WebGL with its language
>> GLSL. These are two different things.
>>
>> I explained that towards you already like 3-5 times.
>>
>> Bye
>>
>> Chris M. Thomasson schrieb:
>>  > On 8/1/2026 5:22 AM, Mild Shock wrote:
>>  >> Hi,
>>  >>
>>  >> As easy as queues and FIFO objects might
>>  >> sound. They don't like congestion. NACK for
>>  >> retransmission might double the Manhattan Distance:
>>  > [...]
>>  >
>>  > You are going to need a place to allocate nodes in the compute 
>> shader. Of course we can make a special texture to handle it. But, we 
>> need to strive to avoid a wait condition. I don't want a compute 
>> shader to spin. Yes, CAS can be used, but, try to make it be used as a 
>> "state machine", where the transitions from states are atomic. Try to 
>> avoid it making a loop, where we loop on failure.
>>
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> As easy as queues and FIFO objects might
>>> sound. They don't like congestion. NACK for
>>> retransmission might double the Manhattan Distance:
>>>
>>> You have not only start
>>> S to end E communication:
>>>
>>> +----E
>>> |
>>> |
>>> S
>>>
>>> You might also have ACK or NACK
>>> from E or midpoints back to S:
>>>
>>>     S'
>>>    +
>>>   +
>>> E'
>>>
>>> Ok, I made that up, I have no idea what a flit is,
>>> when the author wrote this here:
>>>
>>> "Packet flits are held in the FIFO which can
>>> be used to determine back pressure. Dropping flits
>>> in a NoC may not be possible since these
>>> architectures may not provide an end-to-end
>>> protocol for retransmission."
>>>
>>> Routing Algorithms for 2D NoC Architectures
>>> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Looking at the floor plan of a NPU:
>>>>
>>>> Getting peak TOPS on a Ryzen AI 7 350 NPU
>>>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
>>>>
>>>> It seems to me comms between tiles takes
>>>> at least Manhattan Distance or L1 Norm time,
>>>> if there is no comms congestion
>>>>
>>>> But how does a packet travel? This way:
>>>>
>>>> +----E
>>>> |
>>>> |
>>>> S
>>>>
>>>> Or this way, from start S to end E:
>>>>
>>>>     +-E
>>>>    +
>>>>   +
>>>> S
>>>>
>>>> And what does the chip do if there is
>>>> traffic congestion? Some papers are
>>>> here, possibly an old problem giving
>>>>
>>>> that processor "cubes" are nothing new.
>>>> But a "cube" would be 3D and not 2D.
>>>> This paper is old from 2007 or so:
>>>>
>>>> Routing Algorithms for 2D NoC Architectures
>>>> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>>>>
>>>> Bye
>>
> 

[toc] | [prev] | [next] | [standalone]

#15863 — It’s called . . . . enshittification (About the price tag for using a multifile/1)

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,
> 
>  > But, I still don't know what you main goal is?
> 
> It explicity says "Prolog inferencing" in
> this phrase:
> 
>  > shave off some of the TOPS to do Prolog inferencing
> 
> It nowhere says draw some fancy stuff into
> a Web canvas.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>>  > It has textures to work with in the pipeline.
>>
>> Hi,
>>
>> Why would I use text inside my compute shader.
>> Could you tell me. The Hack VM doesn't do
>> textures. You are confused. There is nothing
>>
>> about textures here:
>>
>> 11.4 Giga Lips with a Budget Laptop
>> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>
>> You can read the text , it says nowhere
>> consume or produce textures. Its not a rendering
>> application. I use the compute shader to run Prolog:
>>
>> "At the end of 2025 we acquired a couple of
>> AI Laptops , that were still cheap, since
>> RAM prices had not yet rocketed. The intend
>> was to tap into the Copilot+ certified hardware,
>> and shave off some of the TOPS to do Prolog
>> inferencing. Amazingly our π-WAM can
>> churn 11.4 GIGA LIPS.
>>
>> GPUs have evolved form lock-step to independent
>> thread scheduling. This made it possible to
>> port the Hack VM variant, that forms the basis
>> for our π-WAM, to WebGPU computer shaders.
>> Using NUM_SHADERS = 4096 we could produce
>> 11.4 Giga Lips on a Ryzen AI 7 350 w/ Radeon 860M."
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> WebGPU and WebGL are two different things. I explained
>>> that towards you already like 3-5 times.
>>>
>>>  > Of course we can make a special texture to handle it.
>>>
>>> You still don't understand that I am using WebGPU,
>>> and not WebGL. WebGPU has three improvements,
>>> that from your talking are missing in WebGL?
>>>
>>> - It has compute shaders
>>> - It has arrays
>>> - It has structs
>>> - What else?
>>>
>>> I didn't use structs in my example, although Gemini
>>> nearly forced me to use structs. But you could
>>> use a struct with fields and some of these arrays
>>>
>>> to represent a queue. But here in this example
>>> that is open source, I only used flat arrays. I
>>> nowhere needed to abuse textures to store something:
>>>
>>> 11.4 Giga Lips with a Budget Laptop
>>> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>>
>>> You can study the source code, the arrays have
>>> CUDA inspired binding annotations but are not
>>> CUDA but rather WGSL:
>>>
>>> Hack VM as a Compute Shader in WGSL
>>> @group(0) @binding(0) var<storage, read> code: array<i32>;
>>> @group(0) @binding(1) var<storage, read_write> state: array<i32>;
>>> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/main/course/example63/boot.mjs 
>>>
>>>
>>> You can say whether a buffer is read, or read_write.
>>> Buffers can be transfered from CPU to GPU, before
>>> running commands, and transfered back from GPU to
>>>
>>> CPU after running commands. The use case that
>>> you find on GitHub uses both. Namely also fetching
>>> results via a buffer, to then show them in
>>>
>>> the HTML page. Shouldn't be much a problem to
>>> run the example at home locally, all you need is
>>> a HTTPS server. But the example is not yet queues,
>>>
>>> but it already shows the foundation, which is WebGPU
>>> with its language WGSL and not WebGL with its language
>>> GLSL. These are two different things.
>>>
>>> I explained that towards you already like 3-5 times.
>>>
>>> Bye
>>>
>>> Chris M. Thomasson schrieb:
>>>  > On 8/1/2026 5:22 AM, Mild Shock wrote:
>>>  >> Hi,
>>>  >>
>>>  >> As easy as queues and FIFO objects might
>>>  >> sound. They don't like congestion. NACK for
>>>  >> retransmission might double the Manhattan Distance:
>>>  > [...]
>>>  >
>>>  > You are going to need a place to allocate nodes in the compute 
>>> shader. Of course we can make a special texture to handle it. But, we 
>>> need to strive to avoid a wait condition. I don't want a compute 
>>> shader to spin. Yes, CAS can be used, but, try to make it be used as 
>>> a "state machine", where the transitions from states are atomic. Try 
>>> to avoid it making a loop, where we loop on failure.
>>>
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> As easy as queues and FIFO objects might
>>>> sound. They don't like congestion. NACK for
>>>> retransmission might double the Manhattan Distance:
>>>>
>>>> You have not only start
>>>> S to end E communication:
>>>>
>>>> +----E
>>>> |
>>>> |
>>>> S
>>>>
>>>> You might also have ACK or NACK
>>>> from E or midpoints back to S:
>>>>
>>>>     S'
>>>>    +
>>>>   +
>>>> E'
>>>>
>>>> Ok, I made that up, I have no idea what a flit is,
>>>> when the author wrote this here:
>>>>
>>>> "Packet flits are held in the FIFO which can
>>>> be used to determine back pressure. Dropping flits
>>>> in a NoC may not be possible since these
>>>> architectures may not provide an end-to-end
>>>> protocol for retransmission."
>>>>
>>>> Routing Algorithms for 2D NoC Architectures
>>>> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>>>>
>>>> Bye
>>>>
>>>> Mild Shock schrieb:
>>>>> Hi,
>>>>>
>>>>> Looking at the floor plan of a NPU:
>>>>>
>>>>> Getting peak TOPS on a Ryzen AI 7 350 NPU
>>>>> https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ 
>>>>>
>>>>>
>>>>> It seems to me comms between tiles takes
>>>>> at least Manhattan Distance or L1 Norm time,
>>>>> if there is no comms congestion
>>>>>
>>>>> But how does a packet travel? This way:
>>>>>
>>>>> +----E
>>>>> |
>>>>> |
>>>>> S
>>>>>
>>>>> Or this way, from start S to end E:
>>>>>
>>>>>     +-E
>>>>>    +
>>>>>   +
>>>>> S
>>>>>
>>>>> And what does the chip do if there is
>>>>> traffic congestion? Some papers are
>>>>> here, possibly an old problem giving
>>>>>
>>>>> that processor "cubes" are nothing new.
>>>>> But a "cube" would be 3D and not 2D.
>>>>> This paper is old from 2007 or so:
>>>>>
>>>>> Routing Algorithms for 2D NoC Architectures
>>>>> http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
>>>>>
>>>>> Bye
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

Page 5 of 7 — ← Prev page 1 2 3 4 [5] 6 7  Next page →

Back to top | Article view | comp.lang.prolog

csiph-web