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


Groups > sci.math > #646933 > unrolled thread

The Wuhan Virus that destroyed Python [ggml Manifesto]

Started byMild Shock <janburse@fastmail.fm>
First post2026-07-22 21:00 +0200
Last post2026-08-18 08:59 -0600
Articles 4 on this page of 144 — 15 participants

Back to article view | Back to sci.math


Contents

  The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-22 21:00 +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:23 +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:43 +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:57 +0200
          Enqueue/dequeue need not be fast and can spinn ["fairness" questions] (Was: Trivial balancing example for (int i=0; i<global_id; i++)) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:11 +0200
            The Pixel Phone AI Experiment Song (Re: Enqueue/dequeue need not be fast and can spinn ["fairness" questions] ) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:21 +0200
        Re: Why do you even need a mpmc queue? [Thunder Kittens] (Re: Deadlock Exorcism: Switch from Push to Pull) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-23 08:24 -0700
    Potential Python Recovery: Free Threading [3.13 release] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 10:19 +0200
      Re: Potential Python Recovery: Free Threading [3.13 release] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Ross Valikhanov <kavna@rl.ru> - 2026-07-23 16:01 +0000
    Re: The Wuhan Virus that destroyed Python [ggml Manifesto] Ramon Dubenkov <omd@nnk.ru> - 2026-07-23 13:38 +0000
    The things XILINX braught to the AMD table (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 18:47 +0200
      NIVIDIA evacuated its Chinese market [Tau Scaling] (Was: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-23 19:11 +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:12 +0200
        Re: NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Lane W <cactus_DAC@yahoo.com> - 2026-07-23 11:22 -0600
          Micro penis mother sung arias (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 14:38 +0200
            Re: Micro penis mother sung arias (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 07:15 -0600
              Micro penis brain is in constant hiatus (Was: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:24 +0200
                Re: Micro penis brain is in constant hiatus (Was: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:36 +0200
                Ignoramus or Ignorabimus: I don't care (π-WAM) (Re: Micro penis brain is in constant hiatus) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:38 +0200
                  Re: Ignoramus or Ignorabimus: I don't care (π-WAM) (Re: Micro penis brain is in constant hiatus) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 08:31 -0600
                    You are a moron, brainless putin payed (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:01 +0200
                      Re: You are a moron, brainless putin payed (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 10:27 -0600
                        Yeah keep reading my posts, uninspired fool (Was: You are a moron, brainless putin payed) Mild Shock <janburse@fastmail.fm> - 2026-07-24 19:45 +0200
                          Re: Yeah keep reading my posts, uninspired fool (Was: You are a moron, brainless putin payed) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 12:11 -0600
                            LoL (Was: Yeah keep reading my posts, uninspired fool ) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:12 +0200
                              Re: LoL (Was: Yeah keep reading my posts, uninspired fool ) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 12:53 -0600
                  Out of the blue accusation span 15 days [Empirical USENET study] (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:26 +0200
                  A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:40 +0200
                    Re: A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mantra Mahonov <hnaam@aat.ru> - 2026-07-29 21:15 +0000
                      I didn't use a Ryzen Halo, whats wrong with you? (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:24 +0200
                    Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:06 +0200
                      Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) Lane W <cactus_DAC@yahoo.com> - 2026-08-03 13:16 -0600
                        Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:54 -0700
                          No you didn't try, you only spammed old code (Was: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:15 +0200
        ASML stocks are plunging, bye bye dutchies (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-28 14:17 +0200
    Little Data Center on Your Palm [AI Laptops for 500 USD] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-24 17:58 +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:16 +0200
      Re: Little Data Center on Your Palm [AI Laptops for 500 USD] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto] Bradford Babkoff <ffb@odbb.ru> - 2026-07-24 18:05 +0000
        LoL (Was: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:11 +0200
      Budget AI Laptop 2026 versus Cray T3D 1995 (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:23 +0200
        Re: Budget AI Laptop 2026 versus Cray T3D 1995 (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:16 -0700
    Hurry the blue bus doesnt stop indefinitely (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:36 +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:57 +0200
        Could take 3-4 months find machine / browser (Was Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-24 21:15 +0200
        The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-26 19:52 +0200
          The turbo capping of AI Laptops (Re: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-26 20:01 +0200
          Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-26 20:33 -0700
            Why forget Bulgarians, never on my mind (Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:14 +0200
              miniTriton CUDA is an alternative to torch variants (Was: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:40 +0200
                Andrej Karpathy original gangster of Budget Laptop (Was: miniTriton CUDA is an alternative to torch variants) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:51 +0200
                  Re: Andrej Karpathy original gangster of Budget Laptop (Was: miniTriton CUDA is an alternative to torch variants) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:41 -0700
              Re: Why forget Bulgarians, never on my mind (Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:38 -0700
              The evolution of hardware and GPT-2 training (Was: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 10:56 +0200
                How speed up π-WAM with vector operations (Was: The evolution of hardware and GPT-2 training) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:08 +0200
                  AI accelerator extend from GPU to CPU [Zero Copying] (Was: How speed up π-WAM with vector operations) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:21 +0200
                    The invention of vector and matrix registers [NVIDIA Volta] (Was: AI accelerator extend from GPU to CPU [Zero Copying]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 13:20 +0200
                      Maybe they should have named it NVIDIA Einstein [Rossy Boy Toe Sucking] (Re: The invention of vector and matrix registers [NVIDIA Volta] (Was: AI accelerator extend from GPU to CPU [Zero Copying]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:14 +0200
                      π-WAM is not adding decimals, it is removing decimals (Re: The invention of vector and matrix registers [NVIDIA Volta]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:36 +0200
                        In Budget Laptops the TOPS come with low energy footprint (Was: π-WAM is not adding decimals, it is removing decimals) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:44 +0200
          Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:55 +0200
      Potato Computer owner impressed by Ukraine Tech [Rossy Boys Brother?] (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-07-27 16:57 +0200
      The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
        Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
          How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: Communism will Save Us! [Pivot Russia for China]) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:35 +0200
            Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness" [Anthropic AI Text Hacked]) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:48 +0200
              Re: Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness" [Anthropic AI Text Hacked]) Lane W <cactus_DAC@yahoo.com> - 2026-08-20 11:52 -0600
    Got it. Or are you too stupid? [New Usenet Mantra] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 19:00 +0200
      Re: Got it. Or are you too stupid? [New Usenet Mantra] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Kim Baitchorov <bvhkoc@bmc.ru> - 2026-07-27 22:38 +0000
        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:29 +0200
          confused rossy boy is confused (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:20 +0200
            Gemini, DeepSeek, OpenAI more clever than rossy boy (Re: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:21 +0200
              In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:29 +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:49 +0200
                  Your strictness is your problem , not mine [See WebLLM] (Re: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:51 +0200
                Re: In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Lane W <cactus_DAC@yahoo.com> - 2026-07-29 07:06 -0600
                Re: In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:20 -0700
          You are still chewing on SIMD. LoL (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:14 +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:54 +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:56 +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:57 +0200
            Re: You are still chewing on SIMD. LoL (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 10:48 -0700
              Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:03 +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:24 +0200
                  Re: 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]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 12:27 -0700
                    Re: 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]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:40 -0700
                      Re: 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]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-03 17:05 -0700
                        Do a YouTube video about it (Was: I don't use Rust, you are crazy) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:00 +0200
                          Standing on the shoulders of giants (Was: Do a YouTube video about it) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:16 +0200
                            Re: Standing on the shoulders of giants (Was: Do a YouTube video about it) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 06:10 -0700
                              You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:16 +0200
                                Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 06:32 -0700
                                  How Rossy Boys plagiarism works [Copy Paste Slop] (Was: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:54 +0200
                                    tatistics gave up, no salient truth [Signal Collapse] (Re: How Rossy Boys plagiarism works [Copy Paste Slop]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 18:21 +0200
                                    Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 18:23 +0200
                                      Re: Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 20:13 -0700
                                        Re: Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:08 -0700
                Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:51 +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:12 +0200
                    Re: A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Alexey Bessonov <nexes@ebxsvs.ru> - 2026-07-29 21:24 +0000
                    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:26 +0200
                  I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:35 +0200
                    Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:49 +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:50 +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:30 +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:42 +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:45 +0200
                      Re: Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Jereb Pohlebaev <obje@bbvoeoaa.ru> - 2026-07-31 20:23 +0000
    Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:02 +0200
      AI Accelerators and ISO Prolog multi-threading (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:01 +0200
        Actor/Erlang is dead, no Thread and Mailbox conflation [golang channels] (Was: AI Accelerators and ISO Prolog multi-threading) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:05 +0200
          Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Was: Actor/Erlang is dead, no Thread and Mailbox conflation) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:29 +0200
            Re: Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-08-01 04:10 +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:17 +0200
        NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Was: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:09 +0200
        Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:47 +0200
          npm install webgpu [Google Dawn] (Was: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 03:01 +0200
            GPU elasticity was already invented in 2008 with CUDA (Re: npm install webgpu [Google Dawn]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:59 +0200
          Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 00:34 +0800
            Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:41 -0700
              Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 11:13 -0700
              Pro Gauss-Jordan Reduction, Phigs and Phigs+ (was: Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 02:27 +0800
                Re: Pro Gauss-Jordan Reduction, Phigs and Phigs+ Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 02:35 +0800
          Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 12:42 -0700
            You posted that already, but you didn't listen [I NEED BOUNDED QUEUES] (Was: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:09 +0200
              Summary of 100 questions Chris M. Thomasson can ask (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:17 +0200
              Summary of 100 questions Chris M. Thomasson can ask (Re: You posted that already, but you didn't listen) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:20 +0200
              Re: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES] (Was: Chris M. Thomasson can ask 100 more questions) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:55 -0700
                Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:16 +0200
                  Re: Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Rosalino Kablahov <oaror@vla.ru> - 2026-08-03 21:50 +0000
      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:21 +0200
        Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Was: 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-15 15:17 +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
    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:33 +0200
    GPU Elasticity: Collective Communications Libraries (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-07 14:34 +0200
      What are Flits and Phits? [Network on a Chip] (Re: GPU Elasticity: Collective Communications Libraries) Mild Shock <janburse@fastmail.fm> - 2026-08-07 18:06 +0200
        The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:23 +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:56 +0200
          Re: The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) Ariquer Mihailov <ii@eor.ru> - 2026-08-11 15:16 +0000
    Cristallina: Thank you for the Beam (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 21:21 +0200
      Giant Shoulders for AI Surprises (Re: Cristallina: Thank you for the Beam) Mild Shock <janburse@fastmail.fm> - 2026-08-18 14:58 +0200
        Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:24 +0200
          How to shoot yourself in the foot (Re: Loderunner Enemy AI better than SWI-Prolog?) Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:47 +0200
          Re: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Lane W <cactus_DAC@yahoo.com> - 2026-08-18 08:59 -0600

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


#647370 — Giant Shoulders for AI Surprises (Re: Cristallina: Thank you for the Beam)

FromMild Shock <janburse@fastmail.fm>
Date2026-08-18 14:58 +0200
SubjectGiant Shoulders for AI Surprises (Re: Cristallina: Thank you for the Beam)
Message-ID<1161ktc$ma79$3@solani.org>
In reply to#647201
Hi,

Obviously to generate AI Surprises,
you have to stand on the shoulder of
giants. Otherwise you will not discover

surprises, right? Only mediocre deja vues.
For this purpose, and maybe otherwise
related, in a discussion concerning the future

of the library, Marvin Minsky and Edward A.
Feigenbaum endorsed the idea for books
to ‘talk to each other’:

LET DOCUMENTS TALK TO EACH OTHER
Z. CHEN - 1993
doi.org/10.1108/eb026910

Now we have:

THE MACHINES ARE STUDYING
THE HUMANS ARE SCROLLING
https://9gag.com/gag/a9yQ16o

Bye

P.S.: But who was Marvin Minsky, and would it
be important to use symbolic AI?

The Perceptron Controversy
Yuxi Liu - 2024
https://yuxi.ml/essays/perceptron-controversy

Mild Shock schrieb:
> Hi,
> 
> How it started:
> 
> Filming a vitamin B12 photoreceptor in action
> https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action 
> 
> 
> How its going:
> 
> Elon Musk's potential FEL route could challenge EUV lithography
> https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography 
> 
> 
> Who will win the Nano Atom mover race,
> 
> will the USA OutChip its competitor China
> and its supplier Asia in the next years?
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Remember when first all local AI was Python
>> and PyTorch APIs. And then suddently people strated
>> 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]


#647380 — Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group]

FromMild Shock <janburse@fastmail.fm>
Date2026-08-18 16:24 +0200
SubjectLoderunner Enemy AI better than SWI-Prolog? [Prolog Education Group]
Message-ID<1161pve$mbl1$2@solani.org>
In reply to#647370
Hi,

Sometimes I think the Loderunner Enemy AI
was way ahead of its time:

Lode Runner - Broderbund - 1983 - Apple II
https://www.youtube.com/watch?v=pJZJepU8law

Meanwhile SWI-Prolog Prologers even don't know
whether a Prolog text is CNF or DNF:

Sets of rules as conjunctions and/or disjunctions
https://swi-prolog.discourse.group/t/sets-of-rules-as-conjunctions-and-or-disjunctions/9779

No Wonder that the EyeProlog "why" feature produces
nonsense. Even a Flea circus is less crazy.

Bye

P.S.: If only there would exist something like
universities where one can take a basic course in
FOL, and then a world wide web, where one can

lookup clark equational theory, clark completion,
curry howard correspondence, etc.. etc..

Mild Shock schrieb:
> Hi,
> 
> Obviously to generate AI Surprises,
> you have to stand on the shoulder of
> giants. Otherwise you will not discover
> 
> surprises, right? Only mediocre deja vues.
> For this purpose, and maybe otherwise
> related, in a discussion concerning the future
> 
> of the library, Marvin Minsky and Edward A.
> Feigenbaum endorsed the idea for books
> to ‘talk to each other’:
> 
> LET DOCUMENTS TALK TO EACH OTHER
> Z. CHEN - 1993
> doi.org/10.1108/eb026910
> 
> Now we have:
> 
> THE MACHINES ARE STUDYING
> THE HUMANS ARE SCROLLING
> https://9gag.com/gag/a9yQ16o
> 
> Bye
> 
> P.S.: But who was Marvin Minsky, and would it
> be important to use symbolic AI?
> 
> The Perceptron Controversy
> Yuxi Liu - 2024
> https://yuxi.ml/essays/perceptron-controversy
> 
> Mild Shock schrieb:
>> Hi,
>>
>> How it started:
>>
>> Filming a vitamin B12 photoreceptor in action
>> https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action 
>>
>>
>> How its going:
>>
>> Elon Musk's potential FEL route could challenge EUV lithography
>> https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography 
>>
>>
>> Who will win the Nano Atom mover race,
>>
>> will the USA OutChip its competitor China
>> and its supplier Asia in the next years?
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Remember when first all local AI was Python
>>> and PyTorch APIs. And then suddently people strated
>>> 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]


#647383 — How to shoot yourself in the foot (Re: Loderunner Enemy AI better than SWI-Prolog?)

FromMild Shock <janburse@fastmail.fm>
Date2026-08-18 16:47 +0200
SubjectHow to shoot yourself in the foot (Re: Loderunner Enemy AI better than SWI-Prolog?)
Message-ID<1161ra5$mcl7$1@solani.org>
In reply to#647380
Hi,

The biggest joke, is to have logic somewhere
in procedure and somewhere in declarative, and
try to see different takes on logic.

They really don't know what this mantra means:

Algorithm = Logic + Control

And cannot relate it to the ideas of declarative
reading and procedural reading. The problem is
a too lax introduction of this notions,

prematurely before the notion "logic" is
even understood. But nobody understands the
meaning of the term "logic", i.e. a set of

supposedly tautological sentences, as under-
stood by mathematical logic. There is a subtle
error again to conflate it with a "calculus",

so this website has a very misleanding title,
although they try hard to not commit the fallacy,
and have subtitles "Proof System" and "Logic Level":

Welcome to LogicProof
https://6ximik9.github.io/naturalDeduction/

The there is this moron:

There is only one “minimal logic”. The term denotes Johansson’s 
Minimalkalkül [1937] — intuitionistic logic without ex falso quodlibet — 
and nothing else. No rival system competes for the name.
https://vidal-rosset.net/rule-correspondence-F.html

Of course there are rival "Proof Systems" aka
calculi, even when the "Logic Level" is minimal
logic. It is as if Joseph Vidal-Rosset doesn't

understand basic German. You have to look behind
"Minimalkalkül" to find "Minimallogic". Right?
To identify calculus with logic, is maybe a 1930's

fallacy, but then we had model theory besides
proof theory, and people should be more educated
now. Model theory can be also expanded to

non-classical logics and even minimal logic, to
give a purely semantic reading. Ok some modern
morons think they need to invoke the word "algebraic".

Bye

Mild Shock schrieb:
> Hi,
> 
> Sometimes I think the Loderunner Enemy AI
> was way ahead of its time:
> 
> Lode Runner - Broderbund - 1983 - Apple II
> https://www.youtube.com/watch?v=pJZJepU8law
> 
> Meanwhile SWI-Prolog Prologers even don't know
> whether a Prolog text is CNF or DNF:
> 
> Sets of rules as conjunctions and/or disjunctions
> https://swi-prolog.discourse.group/t/sets-of-rules-as-conjunctions-and-or-disjunctions/9779 
> 
> 
> No Wonder that the EyeProlog "why" feature produces
> nonsense. Even a Flea circus is less crazy.
> 
> Bye
> 
> P.S.: If only there would exist something like
> universities where one can take a basic course in
> FOL, and then a world wide web, where one can
> 
> lookup clark equational theory, clark completion,
> curry howard correspondence, etc.. etc..
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Obviously to generate AI Surprises,
>> you have to stand on the shoulder of
>> giants. Otherwise you will not discover
>>
>> surprises, right? Only mediocre deja vues.
>> For this purpose, and maybe otherwise
>> related, in a discussion concerning the future
>>
>> of the library, Marvin Minsky and Edward A.
>> Feigenbaum endorsed the idea for books
>> to ‘talk to each other’:
>>
>> LET DOCUMENTS TALK TO EACH OTHER
>> Z. CHEN - 1993
>> doi.org/10.1108/eb026910
>>
>> Now we have:
>>
>> THE MACHINES ARE STUDYING
>> THE HUMANS ARE SCROLLING
>> https://9gag.com/gag/a9yQ16o
>>
>> Bye
>>
>> P.S.: But who was Marvin Minsky, and would it
>> be important to use symbolic AI?
>>
>> The Perceptron Controversy
>> Yuxi Liu - 2024
>> https://yuxi.ml/essays/perceptron-controversy
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> How it started:
>>>
>>> Filming a vitamin B12 photoreceptor in action
>>> https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action 
>>>
>>>
>>> How its going:
>>>
>>> Elon Musk's potential FEL route could challenge EUV lithography
>>> https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography 
>>>
>>>
>>> Who will win the Nano Atom mover race,
>>>
>>> will the USA OutChip its competitor China
>>> and its supplier Asia in the next years?
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Remember when first all local AI was Python
>>>> and PyTorch APIs. And then suddently people strated
>>>> 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]


#647386 — Re: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group]

FromLane W <cactus_DAC@yahoo.com>
Date2026-08-18 08:59 -0600
SubjectRe: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group]
Message-ID<1161s1d$1thcc$1@dont-email.me>
In reply to#647380
Mild Shock wrote:
> Hi,
> 
> Sometimes I think the Loderunner Enemy AI
> was way ahead of its time:
> 
> Lode Runner - Broderbund - 1983 - Apple II
> https://www.youtube.com/watch?v=pJZJepU8law
> 
> Meanwhile SWI-Prolog Prologers even don't know
> whether a Prolog text is CNF or DNF:
> 
> Sets of rules as conjunctions and/or disjunctions
> https://swi-prolog.discourse.group/t/sets-of-rules-as-conjunctions-and-or-disjunctions/9779 
> 
> 
> No Wonder that the EyeProlog "why" feature produces
> nonsense. Even a Flea circus is less crazy.
> 
> Bye

The difference is that Lode Runner AI, as opposed to say, Pac-Man AI, is 
deliberately poor because the player must anticipate ways to get past 
it. If the Lode Runner AI were better, the game would be unplayable. 
Pac-Man, being quarter fed and also a different sort of maze does not 
suffer from this restriction.

I doubt that your SWI-Prolog intentionally gets CNF and DNF wrong.

[toc] | [prev] | [standalone]


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

Back to top | Article view | sci.math


csiph-web