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

Groups > comp.lang.c > #400446 > unrolled thread

Viswath & Charmaigne (vector-wide scalar-word and character machines)

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

Contents

  Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 11:43 -0700
    Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-28 02:47 +0800
      Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:07 -0700
        Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Mild Shock <janburse@fastmail.fm> - 2026-07-28 00:25 +0200
          Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:09 -0700
            Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:33 -0700
          Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:48 -0700
        Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:44 -0700
          You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:11 +0200
            Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:25 -0700
              Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:49 +0800
                Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:59 -0700
                I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:05 +0200
                  Underneath pi-WAM is Hack VM, you can goto (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:09 +0200
                    New addition to π-WAM is π-WAM Assembly (Was: Underneath pi-WAM is Hack VM, you can goto) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:45 +0200
                  Re: I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 09:11 -0700
                    A yellow mustard called Rossy Body (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:30 +0200
                      Ignoramus or Ignorabimus: I don't care (π-WAM) (Was: A yellow mustard called Rossy Body) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:31 +0200
            Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:32 +0200
              Re: Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:36 -0700
              Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:43 +0200
                Forget any arithmetization of product FSA (Was: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:47 +0200
                  comp.lang.lisp (was: Re: Forget any arithmetization of product FSA) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:53 +0800
                Re: Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:53 -0700
              The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:33 +0200
                Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-09-21 18:43 +0800
                  Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry boltar@caprica.universe - 2026-09-21 15:44 +0000
                    Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry legalize+jeeves@mail.xmission.com (Richard) - 2026-09-21 16:19 +0000
                New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar [Swarm AI]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:40 +0200
                  Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-09-22 09:22 +0200
            There are two versions of Hack VM (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:14 +0200
              Hack VM has also a Prolog spec (Was: There are two versions of Hack VM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:17 +0200
                A better compiler is planned / What do you target? (Was: Hack VM has also a Prolog spec) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:22 +0200
                  It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:50 +0200
            Budget AI Laptop 2026 versus Cray T3D 1995 (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:24 +0200
      A brain desease of 20 days [Rossy Boy] (Was: Viswath & Charmaigne (vector-wide scalar-word and character machines)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:38 +0200
        Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:05 +0200
          Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 11:13 -0700
            I don't use Rust, you are crazy [Jump off a bridge, idiot] (Was: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:22 +0200
              Standing on the shoulders of giants (Re: I don't use Rust, you are crazy [Jump off a bridge, idiot]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:20 +0200
                You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:18 +0200
                  How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:56 +0200
            Postgres is in C! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 03:46 +0800
              Re: Postgres is in C! Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:47 -0700
                Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:00 +0200
                  Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:05 +0800
                    Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) bart <bc@freeuk.com> - 2026-07-30 14:20 +0100
                    Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) scott@slp53.sl.home (Scott Lurndal) - 2026-07-30 14:46 +0000
                Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:05 +0200
                Mars, the MIPS emulator in Java (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:20 +0800
                  Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:59 -0700
                    Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 07:24 -0700
                      Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 09:58 +0800
                    Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 23:19 +0800
                      Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:23 -0700
                        Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:36 -0700
                          Re: Mars, the MIPS emulator in Java bart <bc@freeuk.com> - 2026-07-30 17:54 +0100
                          Decorum (was: Re: Mars, the MIPS emulator in Java) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:07 +0800
                            Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:09 +0800
                            Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:36 -0700
                              Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:44 -0700
                              Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:38 +0800
                        Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:15 +0800
                          Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 23:31 -0700
                            Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 12:42 -0700
                              Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:24 -0700
                                Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:30 -0700
                                Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:45 -0700
                            Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 20:42 -0700
                              Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:55 +0800
                                Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:13 -0700
                                  Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:59 -0700
                            Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:53 +0800
                              Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 20:11 -0700
              Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:49 +0200
                A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:10 +0200
                  Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:27 +0200
                    Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:30 +0200
                Crating Interpreters, Java part (was: Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:27 +0800
                  I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:32 +0200
                    For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:47 +0200
                      Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:04 +0200
                      Re: For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 04:07 +0800
                    Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 03:49 +0800
                    MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:26 +0200
                      Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:41 +0200
                    Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:47 +0200
                    Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:37 +0200
                      More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:42 +0200
                        Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:25 +0200
                          Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:18 +0200
                            Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) Mild Shock <janburse@fastmail.fm> - 2026-09-22 10:27 +0200
                              A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition") Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:05 +0200
                                The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:28 +0200
                      Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:02 +0200
                        The Ben Goertzel talkie genes (Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:07 +0200
                          Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) Mild Shock <janburse@fastmail.fm> - 2026-09-22 20:14 +0200
                RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:33 +0200
                Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:34 +0200
              Re: Postgres is in C! Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-29 21:23 +0000
                Turbo Vison, again (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:31 +0800
          I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings]) Mild Shock <janburse@fastmail.fm> - 2026-08-29 03:11 +0200
          Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:41 +0200
          Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:42 +0200
            The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) Mild Shock <janburse@fastmail.fm> - 2026-09-04 11:50 +0200
              Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 14:19 +0200
                Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 16:28 +0200
        He uses "FIFO objects", and DMA and Noc [Glimps into Ryzen AI 7 350] (Re: A brain desease of 20 days [Rossy Boy])) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:15 +0200
          Tablet and phone UBS-C remote debugging (Re: He uses "FIFO objects", and DMA and Noc) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:18 +0200
            NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:11 +0200
              NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:23 +0200
              First AI laptops, now AI single-boarders [Budget, Budget, ..] (Re: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm)) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:08 +0200
                Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) Mild Shock <janburse@fastmail.fm> - 2026-08-31 18:01 +0200
                  Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:53 +0200
                    Giga Lips for Prolog based Chatting (Was: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:54 +0200
                      Google holds the keys to the AI kingdom [WebClaw Dominance] (Re: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:47 +0200
                  Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra] (Was: Micro Penis is worse than Sleepy Joe) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:19 +0200
                    Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:58 +0200
                      Terrence Tao payed troll, by System Inteligence Sect (Was: Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux]) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:24 +0200
                        Bounded Rationality and Herbert Simon (Re: Terrence Tao payed troll, by System Inteligence Sect) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:42 +0200
        Food for thought: Bayesian Experimental Designer (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:41 +0200
          What will microsoft say, will they buy it? (Was: Food for thought: Bayesian Experimental Designer) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:42 +0200
    Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-27 21:18 +0200
      Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:35 -0700
        Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-28 11:25 +0200
          Re: Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-28 20:39 -0700
            confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:15 +0200
              Gemini, DeepSeek, OpenAI more clever than rossy boy (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:18 +0200
              Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:21 +0800
                In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:27 +0200
                  Re: In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:40 +0800
                    Your strictness is your problem , not mine [See WebLLM] (Was: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:46 +0200
                      Graphics Processing with Fortran 77 (was: Re: Your strictness is your problem , not mine) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 18:10 +0800
                        I am not in C, it is theory and C++ [Hybrid Approaches from KOAN/Fortran-S] (Was: Graphics Processing with Fortran 77) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:43 +0200
                          Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: I am not in C, it is theory and C++) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:53 +0200
                  Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:48 +0200
                    Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:05 +0200
                      Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:22 +0200
                        Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:20 +0200
                          Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:49 +0200
                        Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 20:41 +0200
                          Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Mild Shock <janburse@fastmail.fm> - 2026-09-12 11:30 +0200
                            Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) fir <profesor.fir@gmail.com> - 2026-09-12 12:02 +0200
                            Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Mild Shock <janburse@fastmail.fm> - 2026-09-12 12:12 +0200
                              Re: Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:37 -0600
                              The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:14 +0200
                                Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:13 +0200
                            Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:34 -0600
                Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-29 14:42 -0700
                  Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:37 +0200
                    Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:40 -0700
                      Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:43 -0700
                      You don't understand that compute shaders are tasks (Was: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:45 +0200
                      You don't understand that compute shaders are tasks (Re: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:46 +0200
                        Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: You don't understand that compute shaders are tasks) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:09 +0200
                          Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:08 +0200
                            Re: Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 11:55 -0700
                              You are not correctly thinking (Was: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:04 +0200
                                Re: You are not correctly thinking (Was: Homework: Game Engine in WebGPU) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:32 -0700
                                  You don't understand the economy of an AI Laptop (Was: You are not correctly thinking) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:24 +0200
                                    You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:37 +0200
                                      Re: You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 14:29 -0700
                                        Know nothing and forget what you posted day before (Was: You don't understand producer , workers , consumer) Mild Shock <janburse@fastmail.fm> - 2026-08-03 23:38 +0200
      Kundalini II: Why I love DeepSeek (Re: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-09-13 17:03 +0200
        Warning: Inconsistencies can summon Waluigis (Re: Kundalini II: Why I love DeepSeek) Mild Shock <janburse@fastmail.fm> - 2026-09-14 11:52 +0200
      Kundalini III: Pebble Languages need Meme Evolution (Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-09-28 16:39 +0200
        Rogue Agents find each other [Microsoft Copilot Incident] (Re: Kundalini III: Pebble Languages need Meme Evolution) Mild Shock <janburse@fastmail.fm> - 2026-09-29 15:05 +0200
    Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:49 -0700
      Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-07-30 14:55 -0700
      Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 12:55 -0700
        Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 13:05 -0700
    Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:14 +0200
      Re: Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-04 02:21 +0800
        pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:35 +0200
          A spinlock rewrite will be necessary (Was: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:00 +0200
          Re: pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
          Doing uux with pi-calculus and WAM (Re: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
            Does it have a declarative reading? (Re: Doing uux with pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:35 +0200
              MCP = uux with streaming JSON (Was: Does it have a declarative reading?) Mild Shock <janburse@fastmail.fm> - 2026-08-24 22:25 +0200
      Big thanks to Ljubljana School [Searching 0xCAFFEE] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:40 +0200
      The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
        Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
        Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 14:22 +0200
          How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:38 +0200
            Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Mild Shock <janburse@fastmail.fm> - 2026-08-20 20:22 +0200
      Peking School versus Ljubljana School [Everything Is a Plugin] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-21 17:43 +0200

Page 8 of 10 — ← Prev page 1 … 6 7 [8] 9 10  Next page →

#401969 — Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC])

Hi,

Disclaimer: I don't know what I am talking
about. But I like the vibe behind connecting
topics. So here we go:

How it started:

Gabriels Horn
Gabriel's horn, also called Torricelli's trumpet,
is the surface of revolution of the function y=1/x
about the x-axis for x>=1. It has infinite
surface area but finite volume.
https://mathworld.wolfram.com/GabrielsHorn.html

How its going:

FINITE TIME BLOWUP FOR NAVIER–STOKES
or every positive viscosity, we construct a solution
of the three-dimensional incompressible Navier–Stokes
equations that starts from rest and develops unbounded
velocity in finite time while maintaining uniformly
bounded kinetic energy
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf

Hava Fun everbody!

Bye

Mild Shock schrieb:
 > Hi,
 >
 > Accelerate Lean! And get from Theorem 3.11
 > to Corollary 3.12 done.
 >
 > PROJECT LANA INTERIM REPORT ON IUT THEORY
 > ZEN Mathematics Center - 2026/07/17
 > https://zen.ac.jp/en/zmc
 >
 > ZMC（ZEN Mathematics Center) is an international
 > research institute established with the aim
 > of promoting and developing modern mathematics
 >
 > with a focus on arithmetic geometry and the
 > formalization of modern mathematics using
 > computer languages
 >
 > LoL
 >
 > Bye
 >
 > Mild Shock schrieb:
 >> Hi,
 >>
 >> Maybe I should write a blog post, titled
 >> Introduction to AI Accelerator Prolog:
 >>
 >> - specialized jobs π-WAM (currently integerish stuff)
 >> - π-WAM uses no atomics, only comms
 >> - π-WAM uses warp, 30-40% more speed
 >> - π-WAM runs on GPU and CPU
 >> - π-WAM runs from within JavaScript, Python and Java
 >>
 >> Feels like reinventing FGCS concurrent
 >> logic programming.
 >>
 >> LoL
 >>
 >> Bye
 >>
 >> Mild Shock schrieb:
 >>> Hi,
 >>>
 >>> So the idea is to cover backtracking without
 >>> stack and choice points, only with registers.
 >>> So at the compute goto will use an instruction
 >>>
 >>> that stores the PC target into a register,
 >>> a new instruction for Hack:
 >>>
 >>>     REG = PC + REL
 >>>
 >>> And then the jump will be, again a new
 >>> instruction for Hack:
 >>>
 >>>     PC = REG
 >>>
 >>> If we squeeze the lemon and compile as much
 >>> with that, we will only find that it breaks for
 >>> calling recursive predicates that can use
 >>>
 >>> arbitary registers and choice points. But we
 >>> could maybe add stack and choice point as an
 >>> after match, instead of the classical WAM design
 >>>
 >>> that starts with stack and choice points!
 >>>
 >>> Bye
 >>>
 >>> Mild Shock schrieb:
 >>>> Hi,
 >>>>
 >>>> pi-WAM is a nice challenge, since its aim is to go
 >>>> even blow the instruction set of SWI-Prolog,
 >>>> while only using a Hack variant as instruction
 >>>>
 >>>> stream. But what is Hack? Well Hack seems to be
 >>>> the missing legacy of Niclaus Wirths PL0. The
 >>>> Hack (machine .asm) and Jack (highlevel compiler
 >>>>
 >>>> generating .vm which can be converted to .asm)
 >>>> combo makes even the famous Crafting Interpreters
 >>>> /Lox by Bob Nystrom redundant:
 >>>>
 >>>> Nand to Tetris courses are taught at 400+
 >>>> universities, high schools, and bootcamps. The
 >>>> students who take them range from high
 >>>> schoolers to Ph.D. students to
 >>>> https://www.nand2tetris.org/
 >>>>
 >>>> But digging deaper in Hack, it has no functions
 >>>> pointers so objects don't use virtual tables.
 >>>> But what will pi-WAM need and that is not yet
 >>>>
 >>>> in Hack? Given that my pi-WAM doesn't want a stack
 >>>> nor a choice point lists? Currently there is the
 >>>> idea to add a computed goto and that it can
 >>>>
 >>>> cover a more lightweight C_OR as known from
 >>>> SWI-Prolog, that would have the C_OR branches
 >>>> maybe restricted to have no outside
 >>>>
 >>>> clause calls? Lets see. Not yet sure.
 >>>>
 >>>> Bye
 >>
 >

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

#401980 — Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn)

Hi,

Ever noticed that remaining unsolved conjectures,
are difficult to decipher:

https://en.wikipedia.org/wiki/Hodge_conjecture

Although Grothendiek claimes it is part of
his yoga on motivic rationality.

The dilemma is Humans cannot do math anymore
on that level. And AI math on the level tends
to be not understandable by humans anymore. So
its as if math has found a new muse.

The new Muse is AI. I think proving math conjectures
is the more low hanging fruit than colonizing
Mars. But the result of this endeavours is a
shocked public, now in total freeze.

Bye

Mild Shock schrieb:
 > Hi,
 >
 > Disclaimer: I don't know what I am talking
 > about. But I like the vibe behind connecting
 > topics. So here we go:
 >
 > How it started:
 >
 > Gabriels Horn
 > Gabriel's horn, also called Torricelli's trumpet,
 > is the surface of revolution of the function y=1/x
 > about the x-axis for x>=1. It has infinite
 > surface area but finite volume.
 > https://mathworld.wolfram.com/GabrielsHorn.html
 >
 > How its going:
 >
 > FINITE TIME BLOWUP FOR NAVIER–STOKES
 > or every positive viscosity, we construct a solution
 > of the three-dimensional incompressible Navier–Stokes
 > equations that starts from rest and develops unbounded
 > velocity in finite time while maintaining uniformly
 > bounded kinetic energy
 > 
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf
 >
 > Hava Fun everbody!
 >
 > Bye

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

#401981 — Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn)

Mild Shock pisze:
> Hi,
> 
> Ever noticed that remaining unsolved conjectures,
> are difficult to decipher:
> 
> https://en.wikipedia.org/wiki/Hodge_conjecture
> 
> Although Grothendiek claimes it is part of
> his yoga on motivic rationality.
> 
> The dilemma is Humans cannot do math anymore
> on that level. And AI math on the level tends
> to be not understandable by humans anymore. So
> its as if math has found a new muse.
> 
> The new Muse is AI. I think proving math conjectures
> is the more low hanging fruit than colonizing
> Mars. But the result of this endeavours is a
> shocked public, now in total freeze.
> 
> Bye
> 
> Mild Shock schrieb:
>  > Hi,
>  >
>  > Disclaimer: I don't know what I am talking
>  > about. But I like the vibe behind connecting
>  > topics. So here we go:
>  >
>  > How it started:
>  >
>  > Gabriels Horn
>  > Gabriel's horn, also called Torricelli's trumpet,
>  > is the surface of revolution of the function y=1/x
>  > about the x-axis for x>=1. It has infinite
>  > surface area but finite volume.
>  > https://mathworld.wolfram.com/GabrielsHorn.html
>  >
>  > How its going:
>  >
>  > FINITE TIME BLOWUP FOR NAVIER–STOKES
>  > or every positive viscosity, we construct a solution
>  > of the three-dimensional incompressible Navier–Stokes
>  > equations that starts from rest and develops unbounded
>  > velocity in finite time while maintaining uniformly
>  > bounded kinetic energy
>  > 
> https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf 
> 
>  >
>  > Hava Fun everbody!
>  >
>  > Bye
are you alive or only youre spam bot here?

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

#401983 — Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges])

Hi,

I guess Kurzweils transhumanism is also not
on the list of the low hanging fruits of AI.
Moreover this turns out to be a fallacy:

"The cradle rocks above an abyss, a
nd common sense tells us that our existence
is but a brief crack of light between
two eternities of darkness."
— Speak, Memory, the opening line

https://en.wikipedia.org/wiki/Speak,_Memory

What if AI is the new torch of light of science,
and it doesn't have to constantly fear that
after Terrence Tao is dead, a new Terrence Tao

is born. LLMs kissed by Mnemosyne just live in
data centers and copy themselve from generation
and to generation until ethernity.

LoL

Bye

Mild Shock schrieb:
> Hi,
> 
> Ever noticed that remaining unsolved conjectures,
> are difficult to decipher:
> 
> https://en.wikipedia.org/wiki/Hodge_conjecture
> 
> Although Grothendiek claimes it is part of
> his yoga on motivic rationality.
> 
> The dilemma is Humans cannot do math anymore
> on that level. And AI math on the level tends
> to be not understandable by humans anymore. So
> its as if math has found a new muse.
> 
> The new Muse is AI. I think proving math conjectures
> is the more low hanging fruit than colonizing
> Mars. But the result of this endeavours is a
> shocked public, now in total freeze.
> 
> Bye
> 
> Mild Shock schrieb:
>  > Hi,
>  >
>  > Disclaimer: I don't know what I am talking
>  > about. But I like the vibe behind connecting
>  > topics. So here we go:
>  >
>  > How it started:
>  >
>  > Gabriels Horn
>  > Gabriel's horn, also called Torricelli's trumpet,
>  > is the surface of revolution of the function y=1/x
>  > about the x-axis for x>=1. It has infinite
>  > surface area but finite volume.
>  > https://mathworld.wolfram.com/GabrielsHorn.html
>  >
>  > How its going:
>  >
>  > FINITE TIME BLOWUP FOR NAVIER–STOKES
>  > or every positive viscosity, we construct a solution
>  > of the three-dimensional incompressible Navier–Stokes
>  > equations that starts from rest and develops unbounded
>  > velocity in finite time while maintaining uniformly
>  > bounded kinetic energy
>  > 
> https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf 
> 
>  >
>  > Hava Fun everbody!
>  >
>  > Bye

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

#401993 — Re: Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges])

Mild Shock wrote:
> Hi,
> 
> I guess Kurzweils transhumanism is also not
> on the list of the low hanging fruits of AI.
> Moreover this turns out to be a fallacy:

You talk about low hanging fruits. Tell me why the Moon (Luna) is a sour 
grape. Then I will ask you to please direct your criticism at Mars, 
filled with poisonous, radioactive dust, low gravity to expound on the 
current zero gravity problems spacers experience, greater distance (if 
you hadn't already appreciated this), and general state of unknown that 
you don't even know what to criticize yet.

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

#402394 — The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon)

Hi,

Non-uniform memory access (NUMA) is a computer
memory design used in multiprocessing, where the
memory access time depends on the memory location
relative to the processor.

The future Numa Brains will be gorgeous. In like
3-4 years from now, they might have 3.2 TB RAM
on a SOC, by not using HBM but HBF:

High Bandwidth Flash: What Is It Good For?
https://www.youtube.com/watch?v=3nTpW52nioI

There might be new profession like nosomatic
AI chirurgeon (I made that up):

Tiny engine, immense model
https://github.com/JustVugg/colibri

The Brain page, Explore: the measured expert
atlas of GLM-5.2 drawn as a cortex. 13,260
characterised experts in ten regions (Python,
SQL, mathematics, poetry, law, Chinese…);

position is measured routing affinity, not a
learned embedding. We might want a brain to
amputate from the Python expert sections, so

that we can write code without a slow
CPython runtime.

Bye

Mild Shock schrieb:
 > Hi,
 >
 > A nosomatic AI chirurgeon is a halfling student
 > of sickness, and a master of the ebb and flow of
 > the energies of life and death of data packets.
 >
 > He is a air bender, water bender and earth bender
 > in one person, using OpenVINO to juggle with
 > CPU, GPU and NPU.
 >
 > Last but not least he can freely switch between
 > symbolic and neural representation of knowledge
 > forms, there is no abyss for him.
 >
 > Bye

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

#402453 — Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous)

Hi,

Yesterday I had the feeling P(doom E-graphs) > 10%,
since they have E-boost intiatives where they use
parallism and more heuristics, also tapping into GPUs,

TPUs, NPUs, etc.. you name it. So Prolog might sooner
or later feel the wind of E-boost Schinkansen? Now
I have the feeling the E-graph community is still

in the nowhere of la la land. Reading:

recording out of egraphs
https://www.philipzucker.com/

WTF is "recording out" ? Look at that beauty of
SWI-Prolog unifiable/3 predicate. It can even deal
with cyclic terms:

?- unifiable(f(X,X,X),f(Z,b,Y), L).
L = [Y=b, X=b, Z=X].

?- unifiable(f(X,Y),f(f(A,Y),f(B,X)), L).
L = [Y=f(B, X), X=f(A, Y)].

You can even code unifiable/3 in 100% Prolog itself,
BTW I am not saying it would be pure. But it wont need
any extensions that go beyond ISO core standard.

You could even experiment with a unification that
does minimization (*), but most Prolog systems don't
do that for their unification:

?- unifiable(X, f(f(X)), L).
L = [X=f(f(X))].

Bye

(*)
Gerhard Huet was all in for minimizations, but the sad
news is while terms have minimal forms, equations don't
really have unique minimal forms, this transpired only later.

RESOLUTION D'EQUATIONS DANS DES LANGAGES D'ORDRE 1,2,.••,
https://www.researchgate.net/publication/213879499

Algorithms for equivalence and reduction to minimal form
https://hal.science/hal-01239749v1/document

Mild Shock schrieb:
 > Hi,
 >
 > Non-uniform memory access (NUMA) is a computer
 > memory design used in multiprocessing, where the
 > memory access time depends on the memory location
 > relative to the processor.
 >
 > The future Numa Brains will be gorgeous. In like
 > 3-4 years from now, they might have 3.2 TB RAM
 > on a SOC, by not using HBM but HBF:
 >
 > High Bandwidth Flash: What Is It Good For?
 > https://www.youtube.com/watch?v=3nTpW52nioI
 >
 > There might be new profession like nosomatic
 > AI chirurgeon (I made that up):
 >
 > Tiny engine, immense model
 > https://github.com/JustVugg/colibri
 >
 > The Brain page, Explore: the measured expert
 > atlas of GLM-5.2 drawn as a cortex. 13,260
 > characterised experts in ten regions (Python,
 > SQL, mathematics, poetry, law, Chinese…);
 >
 > position is measured routing affinity, not a
 > learned embedding. We might want a brain to
 > amputate from the Python expert sections, so
 >
 > that we can write code without a slow
 > CPython runtime.
 >
 > Bye

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

#401992 — Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn)

Mild Shock wrote:

> The new Muse is AI. I think proving math conjectures
> is the more low hanging fruit than colonizing
> Mars. But the result of this endeavours is a
> shocked public, now in total freeze.

Dude Mild Shock is a tube-necked giraffe if he thinks Mars is any kind 
of low hanging fruit. One step at a time. You guys don't even live on 
the moon (Luna) yet.

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

#400567 — Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy])

On 7/29/2026 2:21 AM, Johann 'Myrkraverk' Oskarsson wrote:
> On 29/07/2026 5:15 PM, Mild Shock wrote:
>> Hi,
>>
>> Confused rossy boy is confused. We are
>> not building a stupid web server, where
>> a listener thread spawns service threads,
>>
>> and to avoid malloc and free, reuses
>> a pool, or some shitty fork join framework.
>> The producer and consumer example I posted
>>
>> elsewhere archived a dataflow without
>> malloc and free of threads. You are miles
>> away from what we are doing here.
> 
> Why not?  Isn't this comp.lang.c?  And isn't that exactly how
> CivetWeb works internally?  


> Have you never built your own web
> sever in C?  Not even with CivetWeb?  It's really easy!  You
> only need to implement a callback or two.

Implementing a callback or two in a preexisting system is not creating 
one from scratch.

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

#400717 — Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused)

Hi,

If only the fucking moron Chris M. Thomasson would
stop spamming his nonsense, he doesn't listen at
all. Problem, he cannot read, he knows nothing.

Its very common that compute shaders can block,
when they are used for General Purpose computation
on GPUs (GPGPU). If only he would pull out his

finger from his asshole, and stop thinking in his
WebGL legacy code stash nonsense. Even the
Cerebras Waver has blocking:

"Cerebras Software Language (CSL), send_color
and recv_color are parameters passed to tile
programs to manage data routing and virtual
channels (called colors) across processing
elements (PEs) on the wafer

Yes, both send and receive operations can block
on a Cerebras Processing Element (PE), primarily
due to the system's hardware-enforced backpressure
mechanism. Because the Cerebras Wafer-Scale Engine
(WSE) relies on a fine-grained,

dataflow-driven architecture, blocking prevents
data loss when hardware resources are
fully saturated."

Blocking and Unblocking
https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking

Chris M. Thomasson is an annoyance and an idiot.
He is a total waste of time. And represents those
people who cannot use their brain.

Bye

Chris M. Thomasson schrieb:
 > On 8/1/2026 5:47 PM, Mild Shock wrote:
 >> Hi,
 >>
 >> Chris M. Thomasson can ask 100 more questions.
 >> I will happily answer them. But maybe I should
 >> make a Wiki to explain the ever same things:
 >>
 >>  > But, I still don't know what you main goal is?
 >> The goal is "Prolog inferencing"
 >>
 >>  > It has textures to work with in the pipeline.
 >> I don't need textures for "Prolog inferencing"
 >>
 >> 98 more questions to go, don't give up!
 > [...]
 >
 > Fwiw, I have several compute shaders that do what I want. Mainly 
building vector fields, etc.... And yes I use textures for some input 
and output, uniforms mainly for the settings, etc. Just, make sure to 
code things up to a point where your compute shader never needs to wait 
for something... Think of striving for wait-free algorithms.
 >
 > For instance, this is 100% wait free.
 >
 > void add_hit(ct_plane2d plane, vec2 p, vec3 weight)
 > {
 >      vec2 uv = ct_plane2d_unproject(plane, p);
 >      ivec2 px = ivec2(uv * u_resolution);
 >
 >      if (px.x >= 0 && px.x < int(u_resolution.x) &&
 >          px.y >= 0 && px.y < int(u_resolution.y))
 >      {
 >          imageAtomicAdd(accum_r,    px, weight.r);
 >          imageAtomicAdd(accum_g,    px, weight.g);
 >          imageAtomicAdd(accum_b,    px, weight.b);
 >          imageAtomicAdd(accum_hits, px, 1.0f);
 >      }
 > }
 >
 >
 > Notice how I separated my accumulation buffer into different textures?
 >
 > layout(binding = 0, r32f) uniform coherent image2D accum_r;
 > layout(binding = 1, r32f) uniform coherent image2D accum_g;
 > layout(binding = 2, r32f) uniform coherent image2D accum_b;
 > layout(binding = 3, r32f) uniform coherent image2D accum_hits;  // 
alpha / hit counter
 >
 > Works great and runs really fast.

Chris M. Thomasson schrieb:
> On 7/29/2026 2:21 AM, Johann 'Myrkraverk' Oskarsson wrote:
>> On 29/07/2026 5:15 PM, Mild Shock wrote:
>>> Hi,
>>>
>>> Confused rossy boy is confused. We are
>>> not building a stupid web server, where
>>> a listener thread spawns service threads,
>>>
>>> and to avoid malloc and free, reuses
>>> a pool, or some shitty fork join framework.
>>> The producer and consumer example I posted
>>>
>>> elsewhere archived a dataflow without
>>> malloc and free of threads. You are miles
>>> away from what we are doing here.
>>
>> Why not?  Isn't this comp.lang.c?  And isn't that exactly how
>> CivetWeb works internally? 
> 
> 
>> Have you never built your own web
>> sever in C?  Not even with CivetWeb?  It's really easy!  You
>> only need to implement a callback or two.
> 
> Implementing a callback or two in a preexisting system is not creating 
> one from scratch.
> 

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

#400719 — Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused)

On 8/2/2026 2:37 PM, Mild Shock wrote:
> Hi,
> 
> If only the fucking moron Chris M. Thomasson would
> stop spamming his nonsense, he doesn't listen at
> all. Problem, he cannot read, he knows nothing.
> 
> Its very common that compute shaders can block,
> when they are used for General Purpose computation
> on GPUs (GPGPU). If only he would pull out his
> 
> finger from his asshole, and stop thinking in his
> WebGL legacy code stash nonsense. Even the
> Cerebras Waver has blocking:
> 
> "Cerebras Software Language (CSL), send_color
> and recv_color are parameters passed to tile
> programs to manage data routing and virtual
> channels (called colors) across processing
> elements (PEs) on the wafer
> 
> Yes, both send and receive operations can block
> on a Cerebras Processing Element (PE), primarily
> due to the system's hardware-enforced backpressure
> mechanism. Because the Cerebras Wafer-Scale Engine
> (WSE) relies on a fine-grained,
> 
> dataflow-driven architecture, blocking prevents
> data loss when hardware resources are
> fully saturated."
> 
> Blocking and Unblocking
> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking

Strive to never make a compute shader wait on something, like an empty 
condition of a queue, stack.


> Chris M. Thomasson is an annoyance and an idiot.
> He is a total waste of time. And represents those
> people who cannot use their brain.

I don't think you have coded compute shaders before? If so, cool, but wow.

[...]

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

#400720 — Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused)

On 8/2/2026 2:40 PM, Chris M. Thomasson wrote:
> On 8/2/2026 2:37 PM, Mild Shock wrote:
[...]
> I don't think you have coded compute shaders before? If so, cool, but wow.
> 
> [...]

If so, in GLSL, HLSL? Vulkan, Metal, Directx12, modern opengl?

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

#400721 — You don't understand that compute shaders are tasks (Was: Even send_color and recv_color can block [Cerebras Waver])

Hi,

You are a moron. In WebGPU computer sharers
are tasks not hardware kernels. Forget your
WebGL nonsense cookbooks.

WebGPU is much more elastic.

You are just a moron.

Bye

P.S.: Take this example, I don't have 4096 kernels:

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

Still it runs, how is this done? The Ryzen has
only around 512 kernels. Newer Ryzen havae 1024
kernels. This is till below 4096 logical threads.

So how is it done?

Chris M. Thomasson schrieb:
> On 8/2/2026 2:37 PM, Mild Shock wrote:
>> Hi,
>>
>> If only the fucking moron Chris M. Thomasson would
>> stop spamming his nonsense, he doesn't listen at
>> all. Problem, he cannot read, he knows nothing.
>>
>> Its very common that compute shaders can block,
>> when they are used for General Purpose computation
>> on GPUs (GPGPU). If only he would pull out his
>>
>> finger from his asshole, and stop thinking in his
>> WebGL legacy code stash nonsense. Even the
>> Cerebras Waver has blocking:
>>
>> "Cerebras Software Language (CSL), send_color
>> and recv_color are parameters passed to tile
>> programs to manage data routing and virtual
>> channels (called colors) across processing
>> elements (PEs) on the wafer
>>
>> Yes, both send and receive operations can block
>> on a Cerebras Processing Element (PE), primarily
>> due to the system's hardware-enforced backpressure
>> mechanism. Because the Cerebras Wafer-Scale Engine
>> (WSE) relies on a fine-grained,
>>
>> dataflow-driven architecture, blocking prevents
>> data loss when hardware resources are
>> fully saturated."
>>
>> Blocking and Unblocking
>> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking
> 
> Strive to never make a compute shader wait on something, like an empty 
> condition of a queue, stack.
> 
> 
>> Chris M. Thomasson is an annoyance and an idiot.
>> He is a total waste of time. And represents those
>> people who cannot use their brain.
> 
> I don't think you have coded compute shaders before? If so, cool, but wow.
> 
> [...]

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

#400722 — You don't understand that compute shaders are tasks (Re: Even send_color and recv_color can block [Cerebras Waver])

Hi,

You are a moron. In WebGPU computer sharers
are tasks not hardware kernels. Forget your
WebGL nonsense cookbooks.

WebGPU is much more elastic.

You are just a moron.

Bye

P.S.: Take this example, I don't have 4096 kernels:

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

Still it runs, how is this done? The Ryzen has
only around 512 kernels. Newer Ryzen havae 1024
kernels. This is till below 4096 logical threads.

So how is it done?


Chris M. Thomasson schrieb:
> On 8/2/2026 2:37 PM, Mild Shock wrote:
>> Hi,
>>
>> If only the fucking moron Chris M. Thomasson would
>> stop spamming his nonsense, he doesn't listen at
>> all. Problem, he cannot read, he knows nothing.
>>
>> Its very common that compute shaders can block,
>> when they are used for General Purpose computation
>> on GPUs (GPGPU). If only he would pull out his
>>
>> finger from his asshole, and stop thinking in his
>> WebGL legacy code stash nonsense. Even the
>> Cerebras Waver has blocking:
>>
>> "Cerebras Software Language (CSL), send_color
>> and recv_color are parameters passed to tile
>> programs to manage data routing and virtual
>> channels (called colors) across processing
>> elements (PEs) on the wafer
>>
>> Yes, both send and receive operations can block
>> on a Cerebras Processing Element (PE), primarily
>> due to the system's hardware-enforced backpressure
>> mechanism. Because the Cerebras Wafer-Scale Engine
>> (WSE) relies on a fine-grained,
>>
>> dataflow-driven architecture, blocking prevents
>> data loss when hardware resources are
>> fully saturated."
>>
>> Blocking and Unblocking
>> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking
> 
> Strive to never make a compute shader wait on something, like an empty 
> condition of a queue, stack.
> 
> 
>> Chris M. Thomasson is an annoyance and an idiot.
>> He is a total waste of time. And represents those
>> people who cannot use their brain.
> 
> I don't think you have coded compute shaders before? If so, cool, but wow.
> 
> [...]

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

#400724 — Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: You don't understand that compute shaders are tasks)

Hi,

This was archived on Jul 9, 2026:

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

Still today on Aug 03, 2026, the usenet
community still struggles with the experiment,
doesn't know the meaning and implications,

especially clueless about 4096 shaders and
modern GPU elasticity. Woa! Thats impressive.
Especially Chris M. Thomasson has a still ongoing

hard time with this little WebGPU experiment.

Bye

Mild Shock schrieb:
> Hi,
> 
> You are a moron. In WebGPU computer sharers
> are tasks not hardware kernels. Forget your
> WebGL nonsense cookbooks.
> 
> WebGPU is much more elastic.
> 
> You are just a moron.
> 
> Bye
> 
> P.S.: Take this example, I don't have 4096 kernels:
> 
> 11.4 Giga Lips with a Budget Laptop
> https://github.com/Jean-Luc-Picard-2021/gigabudget
> 
> Still it runs, how is this done? The Ryzen has
> only around 512 kernels. Newer Ryzen havae 1024
> kernels. This is till below 4096 logical threads.
> 
> So how is it done?
> 
> 
> Chris M. Thomasson schrieb:
>> On 8/2/2026 2:37 PM, Mild Shock wrote:
>>> Hi,
>>>
>>> If only the fucking moron Chris M. Thomasson would
>>> stop spamming his nonsense, he doesn't listen at
>>> all. Problem, he cannot read, he knows nothing.
>>>
>>> Its very common that compute shaders can block,
>>> when they are used for General Purpose computation
>>> on GPUs (GPGPU). If only he would pull out his
>>>
>>> finger from his asshole, and stop thinking in his
>>> WebGL legacy code stash nonsense. Even the
>>> Cerebras Waver has blocking:
>>>
>>> "Cerebras Software Language (CSL), send_color
>>> and recv_color are parameters passed to tile
>>> programs to manage data routing and virtual
>>> channels (called colors) across processing
>>> elements (PEs) on the wafer
>>>
>>> Yes, both send and receive operations can block
>>> on a Cerebras Processing Element (PE), primarily
>>> due to the system's hardware-enforced backpressure
>>> mechanism. Because the Cerebras Wafer-Scale Engine
>>> (WSE) relies on a fine-grained,
>>>
>>> dataflow-driven architecture, blocking prevents
>>> data loss when hardware resources are
>>> fully saturated."
>>>
>>> Blocking and Unblocking
>>> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking
>>
>> Strive to never make a compute shader wait on something, like an empty 
>> condition of a queue, stack.
>>
>>
>>> Chris M. Thomasson is an annoyance and an idiot.
>>> He is a total waste of time. And represents those
>>> people who cannot use their brain.
>>
>> I don't think you have coded compute shaders before? If so, cool, but 
>> wow.
>>
>> [...]
> 

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

#400727 — Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month)

Hi,

Now that the debate with Chris M. Thomasson
has culminated in questions of elasticity,
I suggest this homework:

- Game Engine in WebGPU
   It will support the life cycle of sprites,
   like sprites comming out of nowhere,
   and being destroyed by arms,
   just like in Space invader.

This would be surely a fantastic exercise,
to see what a GPU can do and cannot do,
in respect of life cycle of threads, especially

modern GPUs that sell the CUDA dream.

Have Fun!

Become a nosomatic AI chirurgeon.

Bye

Mild Shock schrieb:
 > Hi,
 >
 > A nosomatic AI chirurgeon is a halfling student
 > of sickness, and a master of the ebb and flow of
 > the energies of life and death of data packets.
 >
 > He is a air bender, water bender and earth bender
 > in one person, using OpenVINO to juggle with
 > CPU, GPU and NPU.
 >
 > Last but not least he can freely switch between
 > symbolic and neural representation of knowledge
 > forms, there is no abyss for him.
 >
 > Bye

Mild Shock schrieb:
> Hi,
> 
> This was archived on Jul 9, 2026:
> 
>  > 11.4 Giga Lips with a Budget Laptop
>  > https://github.com/Jean-Luc-Picard-2021/gigabudget
> 
> Still today on Aug 03, 2026, the usenet
> community still struggles with the experiment,
> doesn't know the meaning and implications,
> 
> especially clueless about 4096 shaders and
> modern GPU elasticity. Woa! Thats impressive.
> Especially Chris M. Thomasson has a still ongoing
> 
> hard time with this little WebGPU experiment.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> You are a moron. In WebGPU computer sharers
>> are tasks not hardware kernels. Forget your
>> WebGL nonsense cookbooks.
>>
>> WebGPU is much more elastic.
>>
>> You are just a moron.
>>
>> Bye
>>
>> P.S.: Take this example, I don't have 4096 kernels:
>>
>> 11.4 Giga Lips with a Budget Laptop
>> https://github.com/Jean-Luc-Picard-2021/gigabudget
>>
>> Still it runs, how is this done? The Ryzen has
>> only around 512 kernels. Newer Ryzen havae 1024
>> kernels. This is till below 4096 logical threads.
>>
>> So how is it done?
>>
>>
>> Chris M. Thomasson schrieb:
>>> On 8/2/2026 2:37 PM, Mild Shock wrote:
>>>> Hi,
>>>>
>>>> If only the fucking moron Chris M. Thomasson would
>>>> stop spamming his nonsense, he doesn't listen at
>>>> all. Problem, he cannot read, he knows nothing.
>>>>
>>>> Its very common that compute shaders can block,
>>>> when they are used for General Purpose computation
>>>> on GPUs (GPGPU). If only he would pull out his
>>>>
>>>> finger from his asshole, and stop thinking in his
>>>> WebGL legacy code stash nonsense. Even the
>>>> Cerebras Waver has blocking:
>>>>
>>>> "Cerebras Software Language (CSL), send_color
>>>> and recv_color are parameters passed to tile
>>>> programs to manage data routing and virtual
>>>> channels (called colors) across processing
>>>> elements (PEs) on the wafer
>>>>
>>>> Yes, both send and receive operations can block
>>>> on a Cerebras Processing Element (PE), primarily
>>>> due to the system's hardware-enforced backpressure
>>>> mechanism. Because the Cerebras Wafer-Scale Engine
>>>> (WSE) relies on a fine-grained,
>>>>
>>>> dataflow-driven architecture, blocking prevents
>>>> data loss when hardware resources are
>>>> fully saturated."
>>>>
>>>> Blocking and Unblocking
>>>> https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking
>>>
>>> Strive to never make a compute shader wait on something, like an 
>>> empty condition of a queue, stack.
>>>
>>>
>>>> Chris M. Thomasson is an annoyance and an idiot.
>>>> He is a total waste of time. And represents those
>>>> people who cannot use their brain.
>>>
>>> I don't think you have coded compute shaders before? If so, cool, but 
>>> wow.
>>>
>>> [...]
>>
> 

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

#400762 — Re: Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month)

On 8/2/2026 5:08 PM, Mild Shock wrote:
[...]
>>>> I don't think you have coded compute shaders before? If so, cool, 
>>>> but wow.

Never mind. You are too hostile. Not worth it. Sorry. Plonk.

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

#400766 — You are not correctly thinking (Was: Homework: Game Engine in WebGPU)

Hi,

You are not correctly thinking.
I am not using WebGL. I use WebGPU.
Spinning is perfectly fine. I will

soon give proof. Meanwhile enjoy
this use case, so that you understand
the goal of Prolog "inferencing" for

a simple example:

"We try to find 0xCAFFEE in enumerating 4
6-bit digits and the baseline is Dogelog
Player VM in a browser. The CPU backend
with 64 logical threads is already 20
times faster, partly due to its 32-bit
specialization. The GPU backend with
4096 logical threads boosts a further
factor of 7 times."

GPU Backend: Find 0xCAFFEE with π-WAM
https://medium.com/2989/8890efd3503c

If you don't understand the goal, and
the benefits of the goal, all your
thinking will anyways be incorrect.

Bye

Chris M. Thomasson schrieb:
> On 8/2/2026 5:08 PM, Mild Shock wrote:
> [...]
>>>>> ***I don't think** you have coded compute 
>>>>> shaders before? If so, cool, but wow.
> 
> Never mind. You are too hostile. Not worth it. Sorry. Plonk.

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

#400767 — Re: You are not correctly thinking (Was: Homework: Game Engine in WebGPU)

On 8/3/2026 12:04 PM, Mild Shock wrote:
> Hi,
> 
> You are not correctly thinking.
> I am not using WebGL. I use WebGPU.
> Spinning is perfectly fine. I will

Wait... Before I totally plonk... Spinning is fine in a compute shader? 
Really? If so my FIFO queue fetch-add-only tweak from Dimity's would 
work fine. Also, Dmitry's CAS based one is good as well. My tweak 
version of his have different tradeoffs... I personally would not want 
to use any of them in a compute shader, never spin and/or wait! Strive 
for it, really hard, first... But, well, does your system have "waiting 
primitives" so you don't have to spin? Also, if you do spin you need 
some sort of backoff, right? Aka PAUSE on x86, etc... Or notice in my 
FIFO one can take the ticket and spin on it later as in a backoff is 
doing other real work.

Akin to my special mutex pattern that can be found here in this group. 
Iirc the thread is entitled:

fun with a mutex...



So, I am using dirextc12 and modern opengl for my compute shaders right 
now. GLSL as my lang. I need to provide some state for them to work 
with. Aka, textures and uniforms.




> 
> soon give proof. Meanwhile enjoy
> this use case, so that you understand
> the goal of Prolog "inferencing" for
> 
> a simple example:
> 
> "We try to find 0xCAFFEE in enumerating 4
> 6-bit digits and the baseline is Dogelog
> Player VM in a browser. The CPU backend
> with 64 logical threads is already 20
> times faster, partly due to its 32-bit
> specialization. The GPU backend with
> 4096 logical threads boosts a further
> factor of 7 times."
> 
> GPU Backend: Find 0xCAFFEE with π-WAM
> https://medium.com/2989/8890efd3503c
> 
> If you don't understand the goal, and
> the benefits of the goal, all your
> thinking will anyways be incorrect.
> 
> Bye
> 
> Chris M. Thomasson schrieb:
>> On 8/2/2026 5:08 PM, Mild Shock wrote:
>> [...]
>>>>>> ***I don't think** you have coded compute shaders before? If so, 
>>>>>> cool, but wow.
>>
>> Never mind. You are too hostile. Not worth it. Sorry. Plonk.
> 

Fun with a mutex:


(read all...)
____________________________________
// A Fun Mutex Pattern? Or, a Nightmare? Humm...
// By: Chris M. Thomasson
//___________________________________________________


#include <iostream>
#include <random>
#include <numeric>
#include <algorithm>
#include <thread>
#include <atomic>
#include <mutex>


#define CT_WORKERS (42)
#define CT_ITERS (996699)
#define CT_BACKOFFS (42)
#define CT_RAND_MAX (20)
#define CT_RAND_THRESHOLD (5)


struct ct_shared
{
     std::mutex m_fun_mutex;
     std::atomic<unsigned long> m_other_work = { 0 };
     int m_test_count0 = 0;

     void
     sanity_check_dump() const
     {
         std::cout << "(ct_shared:" << this << ")->" <<
                      "m_test_count0 = " << m_test_count0 << ", " <<
                      "m_other_work = " << 
m_other_work.load(std::memory_order_relaxed) << "\n";
     }

     bool
     sanity_check_validate() const
     {
         return (m_test_count0 == CT_ITERS * CT_WORKERS);
     }
};



void
ct_worker_entry(
     ct_shared& shared
) {
     //std::cout << "ct_worker_entry" << std::endl; // testing thread 
race for sure...

     // Thread Local...
     std::random_device rnd_seed = { };
     std::mt19937 rnd_gen(rnd_seed());
     std::uniform_int_distribution<unsigned long> rnd_dist(0, CT_RAND_MAX);

     for (unsigned long i = 0; i < CT_ITERS; ++i)
     {
         // Lock logic...
         {
             unsigned long backoff = 0;

             while (! shared.m_fun_mutex.try_lock())
             {
                 unsigned long rnd0 = rnd_dist(rnd_gen);

                 if (rnd0 > CT_RAND_THRESHOLD || backoff > CT_BACKOFFS)
                 {
                     shared.m_fun_mutex.lock();
                     break;
                 }

                 // do other work... :^)
                 shared.m_other_work.fetch_add(1, 
std::memory_order_relaxed);

                 // but not too much work... ;^o
                 ++backoff;
             }
         }

             // Critical Section...
             {
                 shared.m_test_count0 = shared.m_test_count0 + 1;
             }

         // Unlock
         {
             shared.m_fun_mutex.unlock();
         }
     }
}


int main()
{
     // Hello... :^)
     {
         std::cout << "Hello ct_fun_mutex... lol? ;^) ver:(0.0.0)\n";
         std::cout << "By: Chris M. Thomasson\n";
         std::cout << 
"____________________________________________________\n";
         std::cout.flush();
     }

     // Create our fun things... ;^)
     ct_shared shared = { };
     std::thread workers[CT_WORKERS] = { };

     // Lanuch...
     {
         std::cout << "Launching Threads...\n";
         std::cout.flush();

         for (unsigned long i = 0; i < CT_WORKERS; ++i)
         {
             workers[i] = std::thread(ct_worker_entry, std::ref(shared));
         }
     }

     // Join...
     {
         std::cout << "Joining Threads... (computing :^)\n";
         std::cout.flush();
         for (unsigned long i = 0; i < CT_WORKERS; ++i)
         {
             workers[i].join();
         }
     }

     // Sanity Check...
     {
         shared.sanity_check_dump();

         if (! shared.sanity_check_validate())
         {
             std::cout << "\n\n**** Pardon my French, but FUCK!!!!! 
****\n" << std::endl;
         }

         else
         {
             std::cout << "\nWe are Sane!\n\n";
             std::cout << "We completed " <<
                 shared.m_other_work.load(std::memory_order_relaxed) <<
                 " work items while waiting for the mutex..." << std::endl;
         }
     }

     // Fin...
     {
         std::cout << 
"____________________________________________________\n";
         std::cout << "Fin... :^)\n" << std::endl;
     }

     return 0;
}
____________________________________

Any luck? Its fun to see how many work items were completed when the 
mutex was contended...

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

#400774 — You don't understand the economy of an AI Laptop (Was: You are not correctly thinking)

Hi,

Why do you even open your mouth if you
don't use WebGPU / WGSL? This beyond my
comprehension. OpenGL was phased out by

Apple years ago. It only lives on some
linux boxes. Also you probably don't use
an AI Laptop. Just make a simple calculation,

if you have 512 Kernels, and oversubscribe
4096 logical threads. Then each Kernel runs
4 logical threads. If one of these 4 logical

threads spins, how much performance is lost?
25% of this single kernel. And there are
still 511 Kernels. Spinning is totally fine,

thats why WGSL provides CAS, and not some
waitlists. The kernels are the wait lists itself
doing the following when spinning:

NOP
NOP
NOP
Etc..

Until the a condition is met. You even don't
need backoff, because you cannot pause. The
only pause you can do is a barrier.

But if the condition is not met while the
barrier is met, what will you do?

Bye

Chris M. Thomasson schrieb:
> So, I am using dirextc12 and modern opengl for my 
> compute shaders right  now. GLSL as my lang. I need 
> to provide some state for them to work 
> with. Aka, textures and uniforms.

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

Page 8 of 10 — ← Prev page 1 … 6 7 [8] 9 10  Next page →

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

csiph-web