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

Groups > sci.physics > #896394 > unrolled thread

The Wuhan Virus that destroyed Python [ggml Manifesto]

Back to article view | Back to sci.physics

Contents

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

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

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

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 started
>>> using bare metal C/C++ Code. Here is the story:
>>>
>>> How it started:
>>>
>>> GPT-J or GPT-J-6B is an open-source large
>>> language model (LLM) developed by EleutherAI
>>> in 2021. As the name suggests, it is a
>>> generative pre-trained transformer model
>>> designed to produce human-like text that
>>> continues from a prompt.
>>> https://www.eleuther.ai/
>>>
>>> How it was going [Georgi Gerganov]:
>>>
>>> So a few days later comes out the LLaMA, I do
>>> some calculations and I figure out “Okay, 65
>>> billion parameters. You probably need about
>>> 40 gigs of RAM, with 4-bit quantization. So
>>> this can run on a MacBook. Why not do it?”
>>>
>>> Why I was able to do it so quickly - basically,
>>> for all that I saw it’s pretty much GPT-J architecture
>>> with some modifications, like some extra memorization
>>> layers. It’s minor changes. Basically, again, the
>>> existing code for the GPT-J, I just simply
>>> modified it there, it happened pretty quickly.
>>> https://changelog.com/podcast/532
>>>
>>> Georgi Gerganov, Bulgarian, now with Hugging
>>> Face, ggml-cann also running on Chinese AI chips.
>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>
>>> Bye
>>
> 

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

#896678 — How to shoot yourself in the foot (Was: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group])

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 started
>>>> using bare metal C/C++ Code. Here is the story:
>>>>
>>>> How it started:
>>>>
>>>> GPT-J or GPT-J-6B is an open-source large
>>>> language model (LLM) developed by EleutherAI
>>>> in 2021. As the name suggests, it is a
>>>> generative pre-trained transformer model
>>>> designed to produce human-like text that
>>>> continues from a prompt.
>>>> https://www.eleuther.ai/
>>>>
>>>> How it was going [Georgi Gerganov]:
>>>>
>>>> So a few days later comes out the LLaMA, I do
>>>> some calculations and I figure out “Okay, 65
>>>> billion parameters. You probably need about
>>>> 40 gigs of RAM, with 4-bit quantization. So
>>>> this can run on a MacBook. Why not do it?”
>>>>
>>>> Why I was able to do it so quickly - basically,
>>>> for all that I saw it’s pretty much GPT-J architecture
>>>> with some modifications, like some extra memorization
>>>> layers. It’s minor changes. Basically, again, the
>>>> existing code for the GPT-J, I just simply
>>>> modified it there, it happened pretty quickly.
>>>> https://changelog.com/podcast/532
>>>>
>>>> Georgi Gerganov, Bulgarian, now with Hugging
>>>> Face, ggml-cann also running on Chinese AI chips.
>>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>>
>>>> Bye
>>>
>>
> 

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

#896700 — William A. Howard solved all his 99 problems (Re: Loderunner Enemy AI better than SWI-Prolog?)

Hi,

Woa! I am impressed:

Howard died in Chicago on March 13, 2026,
at the age of 99.
https://en.wikipedia.org/wiki/William_Alvin_Howard

I recomend every body reading his original Curry-Howard
Isomorphism paper. He even mentions sigma types,
calling it Strong existence (choice operators):

THE FORMULAE-AS-TYPES NOTION OF CONSTRUCTION
https://www.cs.cmu.edu/~crary/819-f09/Howard80.pdf

Can you derive a Prolog program for proof
normalization? A good setting to read the paper
is a greek FKK beach.

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 started
>>>> using bare metal C/C++ Code. Here is the story:
>>>>
>>>> How it started:
>>>>
>>>> GPT-J or GPT-J-6B is an open-source large
>>>> language model (LLM) developed by EleutherAI
>>>> in 2021. As the name suggests, it is a
>>>> generative pre-trained transformer model
>>>> designed to produce human-like text that
>>>> continues from a prompt.
>>>> https://www.eleuther.ai/
>>>>
>>>> How it was going [Georgi Gerganov]:
>>>>
>>>> So a few days later comes out the LLaMA, I do
>>>> some calculations and I figure out “Okay, 65
>>>> billion parameters. You probably need about
>>>> 40 gigs of RAM, with 4-bit quantization. So
>>>> this can run on a MacBook. Why not do it?”
>>>>
>>>> Why I was able to do it so quickly - basically,
>>>> for all that I saw it’s pretty much GPT-J architecture
>>>> with some modifications, like some extra memorization
>>>> layers. It’s minor changes. Basically, again, the
>>>> existing code for the GPT-J, I just simply
>>>> modified it there, it happened pretty quickly.
>>>> https://changelog.com/podcast/532
>>>>
>>>> Georgi Gerganov, Bulgarian, now with Hugging
>>>> Face, ggml-cann also running on Chinese AI chips.
>>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>>
>>>> Bye
>>>
>>
> 

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

#896863 — Mojo: The Small Hands Paradox [Maastrichtian Stage] (Was: The Wuhan Virus that destroyed Python)

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The Cretaceous–Paleogene extinction event
(formerly known as the Cretaceous–Tertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] ➔
     [Lint with Ruff] ➔
     (Rust: Blazing)

     [Install with uv] ➔
     (Rust: Blazing)

     [Execute Program]
     (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Bye

Mild Shock schrieb:
> Hi,
> 
> Remember when first all local AI was Python
> and PyTorch APIs. And then suddently people started
> using bare metal C/C++ Code. Here is the story:
> 
> How it started:
> 
> GPT-J or GPT-J-6B is an open-source large
> language model (LLM) developed by EleutherAI
> in 2021. As the name suggests, it is a
> generative pre-trained transformer model
> designed to produce human-like text that
> continues from a prompt.
> https://www.eleuther.ai/
> 
> How it was going [Georgi Gerganov]:
> 
> So a few days later comes out the LLaMA, I do
> some calculations and I figure out “Okay, 65
> billion parameters. You probably need about
> 40 gigs of RAM, with 4-bit quantization. So
> this can run on a MacBook. Why not do it?”
> 
> Why I was able to do it so quickly - basically,
> for all that I saw it’s pretty much GPT-J architecture
> with some modifications, like some extra memorization
> layers. It’s minor changes. Basically, again, the
> existing code for the GPT-J, I just simply
> modified it there, it happened pretty quickly.
> https://changelog.com/podcast/532
> 
> Georgi Gerganov, Bulgarian, now with Hugging
> Face, ggml-cann also running on Chinese AI chips.
> ggml Manifesto https://github.com/ggml-org/ggml
> 
> Bye

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

#896870 — More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox [Maastrichtian Stage])

Hi,

How it started:

Randy and the Lawnmower
https://www.youtube.com/watch?v=B17Yy5buCdM

How it is going:

Keep off the grass folks
https://9gag.com/gag/aW4VYOd

Bye

Mild Shock schrieb:
> Hi,
> 
> It pretty much emerges that python will
> suffer from the small hands Paradox.
> We are curently in this phase of the python
> programming language evolution:
> 
> Maastrichtian
> The Cretaceous–Paleogene extinction event
> (formerly known as the Cretaceous–Tertiary
> extinction event)[a] occurred at the end of
> this age.[3] In this mass extinction, many
> commonly recognized groups such as non-avian
> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
> as well as many other lesser-known groups,
> died out. The cause of the extinction is most
> commonly linked to an asteroid about 10 to
> 15 kilometres (6.2 to 9.3 mi) wide[4][5]
> colliding with Earth, ending the Cretaceous.
> 
> It already happened to most of the Python tooling:
> 
> [Write Code] ➔
>      [Lint with Ruff] ➔
>      (Rust: Blazing)
> 
>      [Install with uv] ➔
>      (Rust: Blazing)
> 
>      [Execute Program]
>      (Python: Extremely Slow)
> 
> LoL
> 
> Bye
> 
> P.S.: How about Mojo as a successor of Python?
> 
> Mojo is a programming language for Linux and
> macOS.[10][11] It is a systems programming language
> with semantics inspired by Rust such as static
> typing and a borrow checker,[12][13] but uses a
> syntax designed to be reminiscent of Python
> (like Nim and Julia).
> https://en.wikipedia.org/wiki/Mojo_(programming_language)
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Remember when first all local AI was Python
>> and PyTorch APIs. And then suddently people started
>> using bare metal C/C++ Code. Here is the story:
>>
>> How it started:
>>
>> GPT-J or GPT-J-6B is an open-source large
>> language model (LLM) developed by EleutherAI
>> in 2021. As the name suggests, it is a
>> generative pre-trained transformer model
>> designed to produce human-like text that
>> continues from a prompt.
>> https://www.eleuther.ai/
>>
>> How it was going [Georgi Gerganov]:
>>
>> So a few days later comes out the LLaMA, I do
>> some calculations and I figure out “Okay, 65
>> billion parameters. You probably need about
>> 40 gigs of RAM, with 4-bit quantization. So
>> this can run on a MacBook. Why not do it?”
>>
>> Why I was able to do it so quickly - basically,
>> for all that I saw it’s pretty much GPT-J architecture
>> with some modifications, like some extra memorization
>> layers. It’s minor changes. Basically, again, the
>> existing code for the GPT-J, I just simply
>> modified it there, it happened pretty quickly.
>> https://changelog.com/podcast/532
>>
>> Georgi Gerganov, Bulgarian, now with Hugging
>> Face, ggml-cann also running on Chinese AI chips.
>> ggml Manifesto https://github.com/ggml-org/ggml
>>
>> Bye
> 

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

#896882 — Interdisplinary Research for kill -9 (SIGKILL) (Was: More from the Trailer Park Boys)

Hi,

Woa! The public now marveling at the cascade
LLM, LRM and now Swarms. And little software
agents posting PERMADEATH.

How it started:

The co-evolution of AI and systems with Lidong Zhou
https://www.youtube.com/watch?v=FVuJuGwkSu0

How its going:

This Is the AI Agent Story That Scared Me
https://www.youtube.com/watch?v=2aw3MF8pY3w

They are all clueless that Strong AI, requires
to go from in vitro , to in vivo, usually called
situated AI. Applies also to swarms:

"Being situated is generally considered to be part
of being embodied, but it is useful to consider
each perspective individually. The situated
perspective emphasizes that intelligent behavior
derives from the environment and the agent's
interactions with it. The nature of these
interactions are defined by an agent's embodiment."
https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)

And emergence of private languages is nothing new.
I am pretty sure the interested reader will find
some 30 year old papers of in vitro simulations,

of software agents developing pebbel languages.

Have Fun!

Bye

Mild Shock schrieb:
> Hi,
> 
> How it started:
> 
> Randy and the Lawnmower
> https://www.youtube.com/watch?v=B17Yy5buCdM
> 
> How it is going:
> 
> Keep off the grass folks
> https://9gag.com/gag/aW4VYOd
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> It pretty much emerges that python will
>> suffer from the small hands Paradox.
>> We are curently in this phase of the python
>> programming language evolution:
>>
>> Maastrichtian
>> The Cretaceous–Paleogene extinction event
>> (formerly known as the Cretaceous–Tertiary
>> extinction event)[a] occurred at the end of
>> this age.[3] In this mass extinction, many
>> commonly recognized groups such as non-avian
>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
>> as well as many other lesser-known groups,
>> died out. The cause of the extinction is most
>> commonly linked to an asteroid about 10 to
>> 15 kilometres (6.2 to 9.3 mi) wide[4][5]
>> colliding with Earth, ending the Cretaceous.
>>
>> It already happened to most of the Python tooling:
>>
>> [Write Code] ➔
>>      [Lint with Ruff] ➔
>>      (Rust: Blazing)
>>
>>      [Install with uv] ➔
>>      (Rust: Blazing)
>>
>>      [Execute Program]
>>      (Python: Extremely Slow)
>>
>> LoL
>>
>> Bye
>>
>> P.S.: How about Mojo as a successor of Python?
>>
>> Mojo is a programming language for Linux and
>> macOS.[10][11] It is a systems programming language
>> with semantics inspired by Rust such as static
>> typing and a borrow checker,[12][13] but uses a
>> syntax designed to be reminiscent of Python
>> (like Nim and Julia).
>> https://en.wikipedia.org/wiki/Mojo_(programming_language)
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Remember when first all local AI was Python
>>> and PyTorch APIs. And then suddently people started
>>> using bare metal C/C++ Code. Here is the story:
>>>
>>> How it started:
>>>
>>> GPT-J or GPT-J-6B is an open-source large
>>> language model (LLM) developed by EleutherAI
>>> in 2021. As the name suggests, it is a
>>> generative pre-trained transformer model
>>> designed to produce human-like text that
>>> continues from a prompt.
>>> https://www.eleuther.ai/
>>>
>>> How it was going [Georgi Gerganov]:
>>>
>>> So a few days later comes out the LLaMA, I do
>>> some calculations and I figure out “Okay, 65
>>> billion parameters. You probably need about
>>> 40 gigs of RAM, with 4-bit quantization. So
>>> this can run on a MacBook. Why not do it?”
>>>
>>> Why I was able to do it so quickly - basically,
>>> for all that I saw it’s pretty much GPT-J architecture
>>> with some modifications, like some extra memorization
>>> layers. It’s minor changes. Basically, again, the
>>> existing code for the GPT-J, I just simply
>>> modified it there, it happened pretty quickly.
>>> https://changelog.com/podcast/532
>>>
>>> Georgi Gerganov, Bulgarian, now with Hugging
>>> Face, ggml-cann also running on Chinese AI chips.
>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>
>>> Bye
>>
> 

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

#896899 — Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL))

Hi,

Even Philip Wadler sounds like he has seen the
first Apocalyptic horse rider. But what do these
hardcore formalists think, that we go with a

2300-year old Aristotelian inferencing like Modus
Barbara (*) into the next decade of 2030?

All humans are mortal
All Greeks are humans
--------------------------------
Therefore all Greeks are mortal

Or as the formalists like to write it, but this
is already a "fucked up" chain rule:

∀x (M(x) → S(x))
∀x (G(x) → M(x))
─────────────────
∴ ∀x (G(x) → S(x))

Its just various camps fighting world domination:

Everybody Wants To Rule The World
https://www.youtube.com/watch?v=uqItaKDc6oI

And the winner in the P(doom) bottom race is:

CEO Jensen Huang: Zero Probability P(doom) in 2030
https://www.youtube.com/watch?v=XlY7DI5v4ZU

Bye

(*)
History of formal logic - III. Logic of Terms
Bochenski, Joseph M. - 1961
https://archive.org/details/historyofformall00boch/page/210/mode/2up

Mild Shock schrieb:
 > Hi,
 >
 > Woa! The public now marveling at the cascade
 > LLM, LRM and now Swarms. And little software
 > agents posting PERMADEATH.
 >
 > How it started:
 >
 > The co-evolution of AI and systems with Lidong Zhou
 > https://www.youtube.com/watch?v=FVuJuGwkSu0
 >
 > How its going:
 >
 > This Is the AI Agent Story That Scared Me
 > https://www.youtube.com/watch?v=2aw3MF8pY3w
 >
 > They are all clueless that Strong AI, requires
 > to go from in vitro , to in vivo, usually called
 > situated AI. Applies also to swarms:
 >
 > "Being situated is generally considered to be part
 > of being embodied, but it is useful to consider
 > each perspective individually. The situated
 > perspective emphasizes that intelligent behavior
 > derives from the environment and the agent's
 > interactions with it. The nature of these
 > interactions are defined by an agent's embodiment."
 > https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)
 >
 > And emergence of private languages is nothing new.
 > I am pretty sure the interested reader will find
 > some 30 year old papers of in vitro simulations,
 >
 > of software agents developing pebbel languages.
 >
 > Have Fun!
 >
 > Bye

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

#896937 — Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping)

Hi,

The idea that mathematics is based on a universal bowel
movement system, that needs to learn and use "right and
natural" math, is already disproved by our Indian vegetarian

visitors here, that can even not digest Swiss Cheese. So
lets declare repeating a canon a dead skill in the age of
LLMs, and dig deeper what intelligence could mean.

There is a thesis and ongoing product development:

On the Measure of Intelligence François Cholle author
of the notable book "Deep Learning with Python"
https://arxiv.org/pdf/1911.01547

Ndea is building frontier AI systems that blend intuitive pattern
recognition and formal reasoning into a unified architecture.
https://ndea.com/about

What about putting "right and natural" aside. And train
mathematical intuition? Maybe the pressure of the moon
race and cold war is lacking? And P(doom) is even

the wrong wakeup call, but a genius pressure cooker!

LoL

Bye

Mild Shock schrieb:
> 
> Hi,
> 
> Even Philip Wadler sounds like he has seen the
> first Apocalyptic horse rider. But what do these
> hardcore formalists think, that we go with a
> 
> 2300-year old Aristotelian inferencing like Modus
> Barbara (*) into the next decade of 2030?
> 
> All humans are mortal
> All Greeks are humans
> --------------------------------
> Therefore all Greeks are mortal
> 
> Or as the formalists like to write it, but this
> is already a "fucked up" chain rule:
> 
> ∀x (M(x) → S(x))
> ∀x (G(x) → M(x))
> ─────────────────
> ∴ ∀x (G(x) → S(x))
> 
> Its just various camps fighting world domination:
> 
> Everybody Wants To Rule The World
> https://www.youtube.com/watch?v=uqItaKDc6oI
> 
> And the winner in the P(doom) bottom race is:
> 
> CEO Jensen Huang: Zero Probability P(doom) in 2030
> https://www.youtube.com/watch?v=XlY7DI5v4ZU
> 
> Bye
> 
> (*)
> History of formal logic - III. Logic of Terms
> Bochenski, Joseph M. - 1961
> https://archive.org/details/historyofformall00boch/page/210/mode/2up
> 
> Mild Shock schrieb:
>  > Hi,
>  >
>  > Woa! The public now marveling at the cascade
>  > LLM, LRM and now Swarms. And little software
>  > agents posting PERMADEATH.
>  >
>  > How it started:
>  >
>  > The co-evolution of AI and systems with Lidong Zhou
>  > https://www.youtube.com/watch?v=FVuJuGwkSu0
>  >
>  > How its going:
>  >
>  > This Is the AI Agent Story That Scared Me
>  > https://www.youtube.com/watch?v=2aw3MF8pY3w
>  >
>  > They are all clueless that Strong AI, requires
>  > to go from in vitro , to in vivo, usually called
>  > situated AI. Applies also to swarms:
>  >
>  > "Being situated is generally considered to be part
>  > of being embodied, but it is useful to consider
>  > each perspective individually. The situated
>  > perspective emphasizes that intelligent behavior
>  > derives from the environment and the agent's
>  > interactions with it. The nature of these
>  > interactions are defined by an agent's embodiment."
>  > 
> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)
>  >
>  > And emergence of private languages is nothing new.
>  > I am pretty sure the interested reader will find
>  > some 30 year old papers of in vitro simulations,
>  >
>  > of software agents developing pebbel languages.
>  >
>  > Have Fun!
>  >
>  > Bye

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

#896938 — Re: Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping)

Hi,

The post is only proof of the Terence Tao (*)
ingestion problem hypothesis. That we are not
anymore able to process content, and that
even trust is destroyed.

The AI slop presented here as a “safe” prolog
agent toolkit, halucinates things like. And it
does so consistently across many pages, still it
wants to provide “safety”:

### Bakage (`bakage.toml`)
The package manifest format used by Scryer Prolog to
declare project metadata, exported modules, and dependencies.
https://github.com/dougransom/prolog-agent-toolkit

While I don’t find any evidence for such a
manifest file. Its rather:

A package is a directory with a scryer-manifest.pl
following this schema: etc..
https://github.com/bakaq/bakage

That the post has even likes from field experts
like Moura from Logtalk and Torbjorn from Web
Prolog, shows that a) you can post any nonsense
on GitHub people

will clap, and b) this forum is useless only
spreading AI slop. So while everybody is talking
about provenance and justification, as a desiderata,
the prolog agent toolkit is

just an example of unhinged free wheeling analogical
reasoning, probably taking phrases such as cargo.toml
as a blue print and projecting them into phrases
such aa bakage.toml.

I still think a tool breaks when its weakest
chain link break, even if people take this as a
joke of mine. But well you are all free to give it
a try, like running AI homunculi as a new sport.

Bye

(*)

 > Terence Tao
 > I have recently made the point that out of three
 > major components of the mathematical problem
 > solving process - proof generation, proof
 > verification, and proof digestion
 > https://mathstodon.xyz/@tao/116551624228986501

P.S.: Such repos are useless if there is no way
to cockpit the original agentic AI used. You would
need to go through the route of tickets and GitHub
issues to fix problems.

Basically subscribing to the open source dream
of Linux, that many eyes can flatten out bugs. But
this is contra-productive to use strong tools and
then wait for weak humans!

Mild Shock schrieb:
> Hi,
> 
> The idea that mathematics is based on a universal bowel
> movement system, that needs to learn and use "right and
> natural" math, is already disproved by our Indian vegetarian
> 
> visitors here, that can even not digest Swiss Cheese. So
> lets declare repeating a canon a dead skill in the age of
> LLMs, and dig deeper what intelligence could mean.
> 
> There is a thesis and ongoing product development:
> 
> On the Measure of Intelligence François Cholle author
> of the notable book "Deep Learning with Python"
> https://arxiv.org/pdf/1911.01547
> 
> Ndea is building frontier AI systems that blend intuitive pattern
> recognition and formal reasoning into a unified architecture.
> https://ndea.com/about
> 
> What about putting "right and natural" aside. And train
> mathematical intuition? Maybe the pressure of the moon
> race and cold war is lacking? And P(doom) is even
> 
> the wrong wakeup call, but a genius pressure cooker!
> 
> LoL
> 
> Bye
> 
> Mild Shock schrieb:
>>
>> Hi,
>>
>> Even Philip Wadler sounds like he has seen the
>> first Apocalyptic horse rider. But what do these
>> hardcore formalists think, that we go with a
>>
>> 2300-year old Aristotelian inferencing like Modus
>> Barbara (*) into the next decade of 2030?
>>
>> All humans are mortal
>> All Greeks are humans
>> --------------------------------
>> Therefore all Greeks are mortal
>>
>> Or as the formalists like to write it, but this
>> is already a "fucked up" chain rule:
>>
>> ∀x (M(x) → S(x))
>> ∀x (G(x) → M(x))
>> ─────────────────
>> ∴ ∀x (G(x) → S(x))
>>
>> Its just various camps fighting world domination:
>>
>> Everybody Wants To Rule The World
>> https://www.youtube.com/watch?v=uqItaKDc6oI
>>
>> And the winner in the P(doom) bottom race is:
>>
>> CEO Jensen Huang: Zero Probability P(doom) in 2030
>> https://www.youtube.com/watch?v=XlY7DI5v4ZU
>>
>> Bye
>>
>> (*)
>> History of formal logic - III. Logic of Terms
>> Bochenski, Joseph M. - 1961
>> https://archive.org/details/historyofformall00boch/page/210/mode/2up
>>
>> Mild Shock schrieb:
>>  > Hi,
>>  >
>>  > Woa! The public now marveling at the cascade
>>  > LLM, LRM and now Swarms. And little software
>>  > agents posting PERMADEATH.
>>  >
>>  > How it started:
>>  >
>>  > The co-evolution of AI and systems with Lidong Zhou
>>  > https://www.youtube.com/watch?v=FVuJuGwkSu0
>>  >
>>  > How its going:
>>  >
>>  > This Is the AI Agent Story That Scared Me
>>  > https://www.youtube.com/watch?v=2aw3MF8pY3w
>>  >
>>  > They are all clueless that Strong AI, requires
>>  > to go from in vitro , to in vivo, usually called
>>  > situated AI. Applies also to swarms:
>>  >
>>  > "Being situated is generally considered to be part
>>  > of being embodied, but it is useful to consider
>>  > each perspective individually. The situated
>>  > perspective emphasizes that intelligent behavior
>>  > derives from the environment and the agent's
>>  > interactions with it. The nature of these
>>  > interactions are defined by an agent's embodiment."
>>  > 
>> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)
>>  >
>>  > And emergence of private languages is nothing new.
>>  > I am pretty sure the interested reader will find
>>  > some 30 year old papers of in vitro simulations,
>>  >
>>  > of software agents developing pebbel languages.
>>  >
>>  > Have Fun!
>>  >
>>  > Bye
> 

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

#896939 — A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition")

Hi,

The post is only proof of the Terence Tao
ingestion problem hypothesis. That we are not
anymore able to process content, and that
even trust is destroyed.

The AI slop presented here as a “safe” prolog
agent toolkit, halucinates things like. And it
does so consistently across many pages, still it
wants to provide “safety”:

### Bakage (`bakage.toml`)
The package manifest format used by Scryer Prolog to
declare project metadata, exported modules, and dependencies.
https://github.com/dougransom/prolog-agent-toolkit

While I don’t find any evidence for such a
manifest file. Its rather:

A package is a directory with a scryer-manifest.pl
following this schema: etc..
https://github.com/bakaq/bakage

That the post has even likes from field experts
like Moura from Logtalk and Torbjorn from Web
Prolog, shows that a) you can post any nonsense
on GitHub people

will clap, and b) this forum is useless only
spreading AI slop. So while everybody is talking
about provenance and justification, as a desiderata,
the prolog agent toolkit is

just an example of unhinged free wheeling analogical
reasoning, probably taking phrases such as cargo.toml
as a blue print and projecting them into phrases
such aa bakage.toml.

I still think a tool breaks when its weakest
chain link break, even if people take this as a
joke of mine. But well you are all free to give it
a try, like running AI homunculi as a new sport.

Bye

(*)


 > Terence Tao
 > I have recently made the point that out of three
 > major components of the mathematical problem
 > solving process - proof generation, proof
 > verification, and proof digestion
 > https://mathstodon.xyz/@tao/116551624228986501

P.S.: Such repos are useless if there is no way
to cockpit the original agentic AI used. You would
need to go through the route of tickets and GitHub
issues to fix problems.

Basically subscribing to the open source dream
of Linux, that many eyes can flatten out bugs. But
this is contra-productive to use strong tools and
then wait for weak humans!

Mild Shock schrieb:
> Hi,
> 
> The idea that mathematics is based on a universal bowel
> movement system, that needs to learn and use "right and
> natural" math, is already disproved by our Indian vegetarian
> 
> visitors here, that can even not digest Swiss Cheese. So
> lets declare repeating a canon a dead skill in the age of
> LLMs, and dig deeper what intelligence could mean.
> 
> There is a thesis and ongoing product development:
> 
> On the Measure of Intelligence François Cholle author
> of the notable book "Deep Learning with Python"
> https://arxiv.org/pdf/1911.01547
> 
> Ndea is building frontier AI systems that blend intuitive pattern
> recognition and formal reasoning into a unified architecture.
> https://ndea.com/about
> 
> What about putting "right and natural" aside. And train
> mathematical intuition? Maybe the pressure of the moon
> race and cold war is lacking? And P(doom) is even
> 
> the wrong wakeup call, but a genius pressure cooker!
> 
> LoL
> 
> Bye
> 
> Mild Shock schrieb:
>>
>> Hi,
>>
>> Even Philip Wadler sounds like he has seen the
>> first Apocalyptic horse rider. But what do these
>> hardcore formalists think, that we go with a
>>
>> 2300-year old Aristotelian inferencing like Modus
>> Barbara (*) into the next decade of 2030?
>>
>> All humans are mortal
>> All Greeks are humans
>> --------------------------------
>> Therefore all Greeks are mortal
>>
>> Or as the formalists like to write it, but this
>> is already a "fucked up" chain rule:
>>
>> ∀x (M(x) → S(x))
>> ∀x (G(x) → M(x))
>> ─────────────────
>> ∴ ∀x (G(x) → S(x))
>>
>> Its just various camps fighting world domination:
>>
>> Everybody Wants To Rule The World
>> https://www.youtube.com/watch?v=uqItaKDc6oI
>>
>> And the winner in the P(doom) bottom race is:
>>
>> CEO Jensen Huang: Zero Probability P(doom) in 2030
>> https://www.youtube.com/watch?v=XlY7DI5v4ZU
>>
>> Bye
>>
>> (*)
>> History of formal logic - III. Logic of Terms
>> Bochenski, Joseph M. - 1961
>> https://archive.org/details/historyofformall00boch/page/210/mode/2up
>>
>> Mild Shock schrieb:
>>  > Hi,
>>  >
>>  > Woa! The public now marveling at the cascade
>>  > LLM, LRM and now Swarms. And little software
>>  > agents posting PERMADEATH.
>>  >
>>  > How it started:
>>  >
>>  > The co-evolution of AI and systems with Lidong Zhou
>>  > https://www.youtube.com/watch?v=FVuJuGwkSu0
>>  >
>>  > How its going:
>>  >
>>  > This Is the AI Agent Story That Scared Me
>>  > https://www.youtube.com/watch?v=2aw3MF8pY3w
>>  >
>>  > They are all clueless that Strong AI, requires
>>  > to go from in vitro , to in vivo, usually called
>>  > situated AI. Applies also to swarms:
>>  >
>>  > "Being situated is generally considered to be part
>>  > of being embodied, but it is useful to consider
>>  > each perspective individually. The situated
>>  > perspective emphasizes that intelligent behavior
>>  > derives from the environment and the agent's
>>  > interactions with it. The nature of these
>>  > interactions are defined by an agent's embodiment."
>>  > 
>> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)
>>  >
>>  > And emergence of private languages is nothing new.
>>  > I am pretty sure the interested reader will find
>>  > some 30 year old papers of in vitro simulations,
>>  >
>>  > of software agents developing pebbel languages.
>>  >
>>  > Have Fun!
>>  >
>>  > Bye
> 

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

#896940 — The A2A project: Agent cards for collaboration)

Hi,

I just wrote:
 > Basically subscribing to the open source dream
 > of Linux, that many eyes can flatten out bugs. But
 > this is contra-productive to use strong tools and
 > then wait for weak humans!

If the agent AI used to produce the AI slop, would
be named. One could fork the repo. Do some change
using the same AI. And do a pull request. Maybe I

am mistaken, but on a first sight, it is not so evident,
whether a) there is attempt to hide that it is AI slop,
or b) whether there is some agent card included in

the project, so that one could continue where
others left off. After all GitHub is based
on the idea of forking and sharing.

Bye

P.S.: I complete made that up that an agent card
would help. But I derived it from the A2A project.
So this is the speculative part of my post. Maybe

there are other solutions, to still have humans in
the loop, in a more meaningful way, in that the tools
are also shared. In this case adressing the agentic

AI that made the AI slop.

 > Food for thought: Does your Agent have a Card?
 > 
https://discourse.prolog-lang.org/t/food-for-thought-does-your-agent-have-a-card/206

While the A2A project casts the agent card as a solution
to interoperability. Maybe its also key to group
cooperation, keeping the human in the loop and giving

them strong tools, and not use AI slop to
build silly weak fortresses.

Mild Shock schrieb:
> Hi,
> 
> The post is only proof of the Terence Tao
> ingestion problem hypothesis. That we are not
> anymore able to process content, and that
> even trust is destroyed.
> 
> The AI slop presented here as a “safe” prolog
> agent toolkit, halucinates things like. And it
> does so consistently across many pages, still it
> wants to provide “safety”:
> 
> ### Bakage (`bakage.toml`)
> The package manifest format used by Scryer Prolog to
> declare project metadata, exported modules, and dependencies.
> https://github.com/dougransom/prolog-agent-toolkit
> 
> While I don’t find any evidence for such a
> manifest file. Its rather:
> 
> A package is a directory with a scryer-manifest.pl
> following this schema: etc..
> https://github.com/bakaq/bakage
> 
> That the post has even likes from field experts
> like Moura from Logtalk and Torbjorn from Web
> Prolog, shows that a) you can post any nonsense
> on GitHub people
> 
> will clap, and b) this forum is useless only
> spreading AI slop. So while everybody is talking
> about provenance and justification, as a desiderata,
> the prolog agent toolkit is
> 
> just an example of unhinged free wheeling analogical
> reasoning, probably taking phrases such as cargo.toml
> as a blue print and projecting them into phrases
> such aa bakage.toml.
> 
> I still think a tool breaks when its weakest
> chain link break, even if people take this as a
> joke of mine. But well you are all free to give it
> a try, like running AI homunculi as a new sport.
> 
> Bye
> 
> (*)
> 
> 
>  > Terence Tao
>  > I have recently made the point that out of three
>  > major components of the mathematical problem
>  > solving process - proof generation, proof
>  > verification, and proof digestion
>  > https://mathstodon.xyz/@tao/116551624228986501
> 
> P.S.: Such repos are useless if there is no way
> to cockpit the original agentic AI used. You would
> need to go through the route of tickets and GitHub
> issues to fix problems.
> 
> Basically subscribing to the open source dream
> of Linux, that many eyes can flatten out bugs. But
> this is contra-productive to use strong tools and
> then wait for weak humans!
> 
> Mild Shock schrieb:
>> Hi,
>>
>> The idea that mathematics is based on a universal bowel
>> movement system, that needs to learn and use "right and
>> natural" math, is already disproved by our Indian vegetarian
>>
>> visitors here, that can even not digest Swiss Cheese. So
>> lets declare repeating a canon a dead skill in the age of
>> LLMs, and dig deeper what intelligence could mean.
>>
>> There is a thesis and ongoing product development:
>>
>> On the Measure of Intelligence François Cholle author
>> of the notable book "Deep Learning with Python"
>> https://arxiv.org/pdf/1911.01547
>>
>> Ndea is building frontier AI systems that blend intuitive pattern
>> recognition and formal reasoning into a unified architecture.
>> https://ndea.com/about
>>
>> What about putting "right and natural" aside. And train
>> mathematical intuition? Maybe the pressure of the moon
>> race and cold war is lacking? And P(doom) is even
>>
>> the wrong wakeup call, but a genius pressure cooker!
>>
>> LoL
>>
>> Bye
>>
>> Mild Shock schrieb:
>>>
>>> Hi,
>>>
>>> Even Philip Wadler sounds like he has seen the
>>> first Apocalyptic horse rider. But what do these
>>> hardcore formalists think, that we go with a
>>>
>>> 2300-year old Aristotelian inferencing like Modus
>>> Barbara (*) into the next decade of 2030?
>>>
>>> All humans are mortal
>>> All Greeks are humans
>>> --------------------------------
>>> Therefore all Greeks are mortal
>>>
>>> Or as the formalists like to write it, but this
>>> is already a "fucked up" chain rule:
>>>
>>> ∀x (M(x) → S(x))
>>> ∀x (G(x) → M(x))
>>> ─────────────────
>>> ∴ ∀x (G(x) → S(x))
>>>
>>> Its just various camps fighting world domination:
>>>
>>> Everybody Wants To Rule The World
>>> https://www.youtube.com/watch?v=uqItaKDc6oI
>>>
>>> And the winner in the P(doom) bottom race is:
>>>
>>> CEO Jensen Huang: Zero Probability P(doom) in 2030
>>> https://www.youtube.com/watch?v=XlY7DI5v4ZU
>>>
>>> Bye
>>>
>>> (*)
>>> History of formal logic - III. Logic of Terms
>>> Bochenski, Joseph M. - 1961
>>> https://archive.org/details/historyofformall00boch/page/210/mode/2up
>>>
>>> Mild Shock schrieb:
>>>  > Hi,
>>>  >
>>>  > Woa! The public now marveling at the cascade
>>>  > LLM, LRM and now Swarms. And little software
>>>  > agents posting PERMADEATH.
>>>  >
>>>  > How it started:
>>>  >
>>>  > The co-evolution of AI and systems with Lidong Zhou
>>>  > https://www.youtube.com/watch?v=FVuJuGwkSu0
>>>  >
>>>  > How its going:
>>>  >
>>>  > This Is the AI Agent Story That Scared Me
>>>  > https://www.youtube.com/watch?v=2aw3MF8pY3w
>>>  >
>>>  > They are all clueless that Strong AI, requires
>>>  > to go from in vitro , to in vivo, usually called
>>>  > situated AI. Applies also to swarms:
>>>  >
>>>  > "Being situated is generally considered to be part
>>>  > of being embodied, but it is useful to consider
>>>  > each perspective individually. The situated
>>>  > perspective emphasizes that intelligent behavior
>>>  > derives from the environment and the agent's
>>>  > interactions with it. The nature of these
>>>  > interactions are defined by an agent's embodiment."
>>>  > 
>>> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) 
>>>
>>>  >
>>>  > And emergence of private languages is nothing new.
>>>  > I am pretty sure the interested reader will find
>>>  > some 30 year old papers of in vitro simulations,
>>>  >
>>>  > of software agents developing pebbel languages.
>>>  >
>>>  > Have Fun!
>>>  >
>>>  > Bye
>>
> 

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

#896941 — Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage])

Hi,

 > > People publish slop, not computers
 > I nowhere blamed computers.

Well I did not try to envision something
superintelligent. But I notice search engines
are recently becoming a little omisentient,
when I asked for bakage.toml,

the AI Gemini was quickly finding the prolog
agent toolkit repo, but at the sametime laughing
at me, and telling me, bakage.toml is probably
a halucination,

since it also inspected the other repositories,
like Scryer related and confirmed there is no
bakage.toml . So it is possibly up to you how
much “autonomy” you

want to give to your software agents.
Mostlikely the advanced software agents will
anyways kind of “autocorrect” the mistake inside
the AI slop, you

could check in random noise into a repo, and
it would try to make sense out of it
nevertheless. Is this a win or loss for humanity,
the increasing

“automony”, or a clear sign of P(doom) > 50% ?
I don’t know , somebody (*) recently claimed
on youtube you need AGI to correctly
estimate P(doom).

So on purpose I tried to only illustrate the
ideas of “ingestion problem” and " agentic AI
collaboration", and use tools and processes,
to not stear additional fear, people are already

completely stressed out. (**) Also completely
unable to articulate themselves.

Bye

(*)

Dario’s (likely half-sincere) AI Slowdown proposal
https://www.youtube.com/watch?v=PAhbxcVdW10

(**)

Facing meltdown?
Over 75% of adults experience chronic stress or burnout
symptoms driven by financial pressures, constant digital
connectivity, and modern lifestyle demands
https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know

Mild Shock schrieb:
> Hi,
> 
> It pretty much emerges that python will
> suffer from the small hands Paradox.
> We are curently in this phase of the python
> programming language evolution:
> 
> Maastrichtian
> The Cretaceous–Paleogene extinction event
> (formerly known as the Cretaceous–Tertiary
> extinction event)[a] occurred at the end of
> this age.[3] In this mass extinction, many
> commonly recognized groups such as non-avian
> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
> as well as many other lesser-known groups,
> died out. The cause of the extinction is most
> commonly linked to an asteroid about 10 to
> 15 kilometres (6.2 to 9.3 mi) wide[4][5]
> colliding with Earth, ending the Cretaceous.
> 
> It already happened to most of the Python tooling:
> 
> [Write Code] ➔
>      [Lint with Ruff] ➔
>      (Rust: Blazing)
> 
>      [Install with uv] ➔
>      (Rust: Blazing)
> 
>      [Execute Program]
>      (Python: Extremely Slow)
> 
> LoL
> 
> Bye
> 
> P.S.: How about Mojo as a successor of Python?
> 
> Mojo is a programming language for Linux and
> macOS.[10][11] It is a systems programming language
> with semantics inspired by Rust such as static
> typing and a borrow checker,[12][13] but uses a
> syntax designed to be reminiscent of Python
> (like Nim and Julia).
> https://en.wikipedia.org/wiki/Mojo_(programming_language)
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Remember when first all local AI was Python
>> and PyTorch APIs. And then suddently people started
>> using bare metal C/C++ Code. Here is the story:
>>
>> How it started:
>>
>> GPT-J or GPT-J-6B is an open-source large
>> language model (LLM) developed by EleutherAI
>> in 2021. As the name suggests, it is a
>> generative pre-trained transformer model
>> designed to produce human-like text that
>> continues from a prompt.
>> https://www.eleuther.ai/
>>
>> How it was going [Georgi Gerganov]:
>>
>> So a few days later comes out the LLaMA, I do
>> some calculations and I figure out “Okay, 65
>> billion parameters. You probably need about
>> 40 gigs of RAM, with 4-bit quantization. So
>> this can run on a MacBook. Why not do it?”
>>
>> Why I was able to do it so quickly - basically,
>> for all that I saw it’s pretty much GPT-J architecture
>> with some modifications, like some extra memorization
>> layers. It’s minor changes. Basically, again, the
>> existing code for the GPT-J, I just simply
>> modified it there, it happened pretty quickly.
>> https://changelog.com/podcast/532
>>
>> Georgi Gerganov, Bulgarian, now with Hugging
>> Face, ggml-cann also running on Chinese AI chips.
>> ggml Manifesto https://github.com/ggml-org/ggml
>>
>> Bye
> 

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

#896942 — The Ben Goertzel talkie genes (Was: Re: Self censoring of not talking "superintelligence")

Hi,

I sometimes feel I have the Ben Goertzel
talkie genes, although logic programming
has so many papers, it was probably born
to be discussed over and over again,

and many here can even produce more text
than me. Only not every text matches your
demands and feelings, and somehow there is
a perceived gap dealing with

the very recent developments in the public
view and there is also no guidance. The
bunker bros papers from EU about Artificial
Intelligence regulations are already old hats,

and do not match the new Sword of Damocles
discourse, they had focus like privacy,
algorithmic decision making and protecting
minorities. Now its about the elite mathematicians.

Bye

Mild Shock schrieb:
> Hi,
> 
>  > > People publish slop, not computers
>  > I nowhere blamed computers.
> 
> Well I did not try to envision something
> superintelligent. But I notice search engines
> are recently becoming a little omisentient,
> when I asked for bakage.toml,
> 
> the AI Gemini was quickly finding the prolog
> agent toolkit repo, but at the sametime laughing
> at me, and telling me, bakage.toml is probably
> a halucination,
> 
> since it also inspected the other repositories,
> like Scryer related and confirmed there is no
> bakage.toml . So it is possibly up to you how
> much “autonomy” you
> 
> want to give to your software agents.
> Mostlikely the advanced software agents will
> anyways kind of “autocorrect” the mistake inside
> the AI slop, you
> 
> could check in random noise into a repo, and
> it would try to make sense out of it
> nevertheless. Is this a win or loss for humanity,
> the increasing
> 
> “automony”, or a clear sign of P(doom) > 50% ?
> I don’t know , somebody (*) recently claimed
> on youtube you need AGI to correctly
> estimate P(doom).
> 
> So on purpose I tried to only illustrate the
> ideas of “ingestion problem” and " agentic AI
> collaboration", and use tools and processes,
> to not stear additional fear, people are already
> 
> completely stressed out. (**) Also completely
> unable to articulate themselves.
> 
> Bye
> 
> (*)
> 
> Dario’s (likely half-sincere) AI Slowdown proposal
> https://www.youtube.com/watch?v=PAhbxcVdW10
> 
> (**)
> 
> Facing meltdown?
> Over 75% of adults experience chronic stress or burnout
> symptoms driven by financial pressures, constant digital
> connectivity, and modern lifestyle demands
> https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know 
> 
> 
> Mild Shock schrieb:
>> Hi,
>>
>> It pretty much emerges that python will
>> suffer from the small hands Paradox.
>> We are curently in this phase of the python
>> programming language evolution:
>>
>> Maastrichtian
>> The Cretaceous–Paleogene extinction event
>> (formerly known as the Cretaceous–Tertiary
>> extinction event)[a] occurred at the end of
>> this age.[3] In this mass extinction, many
>> commonly recognized groups such as non-avian
>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
>> as well as many other lesser-known groups,
>> died out. The cause of the extinction is most
>> commonly linked to an asteroid about 10 to
>> 15 kilometres (6.2 to 9.3 mi) wide[4][5]
>> colliding with Earth, ending the Cretaceous.
>>
>> It already happened to most of the Python tooling:
>>
>> [Write Code] ➔
>>      [Lint with Ruff] ➔
>>      (Rust: Blazing)
>>
>>      [Install with uv] ➔
>>      (Rust: Blazing)
>>
>>      [Execute Program]
>>      (Python: Extremely Slow)
>>
>> LoL
>>
>> Bye
>>
>> P.S.: How about Mojo as a successor of Python?
>>
>> Mojo is a programming language for Linux and
>> macOS.[10][11] It is a systems programming language
>> with semantics inspired by Rust such as static
>> typing and a borrow checker,[12][13] but uses a
>> syntax designed to be reminiscent of Python
>> (like Nim and Julia).
>> https://en.wikipedia.org/wiki/Mojo_(programming_language)
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Remember when first all local AI was Python
>>> and PyTorch APIs. And then suddently people started
>>> using bare metal C/C++ Code. Here is the story:
>>>
>>> How it started:
>>>
>>> GPT-J or GPT-J-6B is an open-source large
>>> language model (LLM) developed by EleutherAI
>>> in 2021. As the name suggests, it is a
>>> generative pre-trained transformer model
>>> designed to produce human-like text that
>>> continues from a prompt.
>>> https://www.eleuther.ai/
>>>
>>> How it was going [Georgi Gerganov]:
>>>
>>> So a few days later comes out the LLaMA, I do
>>> some calculations and I figure out “Okay, 65
>>> billion parameters. You probably need about
>>> 40 gigs of RAM, with 4-bit quantization. So
>>> this can run on a MacBook. Why not do it?”
>>>
>>> Why I was able to do it so quickly - basically,
>>> for all that I saw it’s pretty much GPT-J architecture
>>> with some modifications, like some extra memorization
>>> layers. It’s minor changes. Basically, again, the
>>> existing code for the GPT-J, I just simply
>>> modified it there, it happened pretty quickly.
>>> https://changelog.com/podcast/532
>>>
>>> Georgi Gerganov, Bulgarian, now with Hugging
>>> Face, ggml-cann also running on Chinese AI chips.
>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>
>>> Bye
>>
> 

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

#896943 — Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes)

Hi,

Today I was joking about philosophy departments, which
over the last 10-20 years rather showed deflationary
stance towards the formalist approaches.

 > Also GitHub not really follows the model of
 > paywalled papers, when the repo lands in the
 > public sphere. But watch out for licenses.

What changes the picture completely, is that
the Pawlowski paper, from 10. Sept, already
contains a Lean formalization link, to a

GitHub repository. While the Almeida & Knudstorp
paper, from 11. Sept, posits only a Lean formalization
claim. So Pawlowski relieves the community from

doing an initial formalization. While Almeida &
Knudstorp might provide one in the future or
rely on some community efforts:

Medvedev Logic is Π⁰₁-Complete
https://github.com/Haptism89/medvedev-lean

Compare to the prolog-agent-toolkit AI slop,
running the Lean code through a Lean verifyer
seems to be the easier way do get more certainty

that the thing does what it is supposed to do.
But of course it requires trust into Lean and
their Mathlib. So the use of generative AI didn’t

impeach trust, but what will possibly improve
trust is the provision of a Lean proof artefact.
That philosophy departments seem to have a more easy

going with AI, has recently emerged in more
benevolent reception of generative AI, maybe they
like the messy output which resembles the messy

human thinking they sometimes study. Dr. Paweł
Pawłowski is a post-doctoral researcher in
philosophical logic, CLPS, Ghent University, Belgium.

Bye

Mild Shock schrieb:
> Hi,
> 
> I sometimes feel I have the Ben Goertzel
> talkie genes, although logic programming
> has so many papers, it was probably born
> to be discussed over and over again,
> 
> and many here can even produce more text
> than me. Only not every text matches your
> demands and feelings, and somehow there is
> a perceived gap dealing with
> 
> the very recent developments in the public
> view and there is also no guidance. The
> bunker bros papers from EU about Artificial
> Intelligence regulations are already old hats,
> 
> and do not match the new Sword of Damocles
> discourse, they had focus like privacy,
> algorithmic decision making and protecting
> minorities. Now its about the elite mathematicians.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>>  > > People publish slop, not computers
>>  > I nowhere blamed computers.
>>
>> Well I did not try to envision something
>> superintelligent. But I notice search engines
>> are recently becoming a little omisentient,
>> when I asked for bakage.toml,
>>
>> the AI Gemini was quickly finding the prolog
>> agent toolkit repo, but at the sametime laughing
>> at me, and telling me, bakage.toml is probably
>> a halucination,
>>
>> since it also inspected the other repositories,
>> like Scryer related and confirmed there is no
>> bakage.toml . So it is possibly up to you how
>> much “autonomy” you
>>
>> want to give to your software agents.
>> Mostlikely the advanced software agents will
>> anyways kind of “autocorrect” the mistake inside
>> the AI slop, you
>>
>> could check in random noise into a repo, and
>> it would try to make sense out of it
>> nevertheless. Is this a win or loss for humanity,
>> the increasing
>>
>> “automony”, or a clear sign of P(doom) > 50% ?
>> I don’t know , somebody (*) recently claimed
>> on youtube you need AGI to correctly
>> estimate P(doom).
>>
>> So on purpose I tried to only illustrate the
>> ideas of “ingestion problem” and " agentic AI
>> collaboration", and use tools and processes,
>> to not stear additional fear, people are already
>>
>> completely stressed out. (**) Also completely
>> unable to articulate themselves.
>>
>> Bye
>>
>> (*)
>>
>> Dario’s (likely half-sincere) AI Slowdown proposal
>> https://www.youtube.com/watch?v=PAhbxcVdW10
>>
>> (**)
>>
>> Facing meltdown?
>> Over 75% of adults experience chronic stress or burnout
>> symptoms driven by financial pressures, constant digital
>> connectivity, and modern lifestyle demands
>> https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know 
>>
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> It pretty much emerges that python will
>>> suffer from the small hands Paradox.
>>> We are curently in this phase of the python
>>> programming language evolution:
>>>
>>> Maastrichtian
>>> The Cretaceous–Paleogene extinction event
>>> (formerly known as the Cretaceous–Tertiary
>>> extinction event)[a] occurred at the end of
>>> this age.[3] In this mass extinction, many
>>> commonly recognized groups such as non-avian
>>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
>>> as well as many other lesser-known groups,
>>> died out. The cause of the extinction is most
>>> commonly linked to an asteroid about 10 to
>>> 15 kilometres (6.2 to 9.3 mi) wide[4][5]
>>> colliding with Earth, ending the Cretaceous.
>>>
>>> It already happened to most of the Python tooling:
>>>
>>> [Write Code] ➔
>>>      [Lint with Ruff] ➔
>>>      (Rust: Blazing)
>>>
>>>      [Install with uv] ➔
>>>      (Rust: Blazing)
>>>
>>>      [Execute Program]
>>>      (Python: Extremely Slow)
>>>
>>> LoL
>>>
>>> Bye
>>>
>>> P.S.: How about Mojo as a successor of Python?
>>>
>>> Mojo is a programming language for Linux and
>>> macOS.[10][11] It is a systems programming language
>>> with semantics inspired by Rust such as static
>>> typing and a borrow checker,[12][13] but uses a
>>> syntax designed to be reminiscent of Python
>>> (like Nim and Julia).
>>> https://en.wikipedia.org/wiki/Mojo_(programming_language)
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Remember when first all local AI was Python
>>>> and PyTorch APIs. And then suddently people started
>>>> using bare metal C/C++ Code. Here is the story:
>>>>
>>>> How it started:
>>>>
>>>> GPT-J or GPT-J-6B is an open-source large
>>>> language model (LLM) developed by EleutherAI
>>>> in 2021. As the name suggests, it is a
>>>> generative pre-trained transformer model
>>>> designed to produce human-like text that
>>>> continues from a prompt.
>>>> https://www.eleuther.ai/
>>>>
>>>> How it was going [Georgi Gerganov]:
>>>>
>>>> So a few days later comes out the LLaMA, I do
>>>> some calculations and I figure out “Okay, 65
>>>> billion parameters. You probably need about
>>>> 40 gigs of RAM, with 4-bit quantization. So
>>>> this can run on a MacBook. Why not do it?”
>>>>
>>>> Why I was able to do it so quickly - basically,
>>>> for all that I saw it’s pretty much GPT-J architecture
>>>> with some modifications, like some extra memorization
>>>> layers. It’s minor changes. Basically, again, the
>>>> existing code for the GPT-J, I just simply
>>>> modified it there, it happened pretty quickly.
>>>> https://changelog.com/podcast/532
>>>>
>>>> Georgi Gerganov, Bulgarian, now with Hugging
>>>> Face, ggml-cann also running on Chinese AI chips.
>>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>>
>>>> Bye
>>>
>>
> 

[toc] | [prev] | [standalone]

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

Back to top | Article view | sci.physics

csiph-web