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

Groups > sci.logic > #349498

Less Ego more Math [Somebody got Excited] (Was: A real Terence Tao Ingestion Problem)

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.logic, comp.lang.prolog, sci.physics
Subject Less Ego more Math [Somebody got Excited] (Was: A real Terence Tao Ingestion Problem)
Date 2026-11-01 22:57 +0100
Message-ID <11c8cl7$qmpe$1@solani.org> (permalink)
References (2 earlier) <118c00s$8lpb$2@solani.org> <118du81$9ud1$1@solani.org> <118lqvt$fa7e$1@solani.org> <118tdud$3odi$1@solani.org> <118u28j$6ep1$3@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

How its started:

More Math, Less Ego (talk about AI and Math)
Erik Demaine - 29.10.2026
https://www.youtube.com/watch?v=Gdc1yll04qI

How its going:

Classification of Finite Simple Groups
Samuel Alexander - 28.10.2026
https://www.youtube.com/watch?v=NZklSBoLC30

Bye

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

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-22 21:01 +0200
  Deadlock Exorcism: Switch from Push to Pull [A pi-calculus Specification of Prolog] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 00:25 +0200
    Why do you even need a mpmc queue? [Thunder Kittens] (Re: Deadlock Exorcism: Switch from Push to Pull) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:45 +0200
      Trivial balancing example for (int i=0; i<global_id; i++) (Re: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:55 +0200
        The Pixel Phone AI Experiment Song (Enqueue/dequeue need not be fast and can spinn ["fairness" questions]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:19 +0200
          Enqueue/dequeue need not be fast and can spinn ["fairness" questions] (Re: The Pixel Phone AI Experiment Song (Enqueue/dequeue need not be fast and can spinn ["fairness" questions]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:23 +0200
      And, where did I talk about rockets? [Hint its about xAI's Grok] (Re: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-25 01:25 +0200
        Why forget something, that was never on my mind (Re: And, where did I talk about rockets? [Hint its about xAI's Grok]) Mild Shock <janburse@fastmail.fm> - 2026-07-25 09:49 +0200
      Example Mandel Brot rendering [Faster with MIMD] (Was: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-25 09:56 +0200
  Potential Python Recovery: Free Threading [3.13 release] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 10:21 +0200
  The things XILINX braught to the AMD table (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 18:48 +0200
    NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-23 19:13 +0200
      Micro penis mother sung arias (Re: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 14:40 +0200
        Micro penis brain is in constant hiatus (Re: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:27 +0200
          Ignoramus or Ignorabimus: I don't care [(Re: Micro penis brain is in constant hiatus (Re: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:35 +0200
            You are a moron, brainless putin payed (Re: Ignoramus or Ignorabimus: I don't care) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:01 +0200
              Yeah keep reading my posts, uninspired fool (Re: You are a moron, brainless putin payed) Mild Shock <janburse@fastmail.fm> - 2026-07-24 19:47 +0200
            Out of the blue accusation span 15 days [Empirical USENET study] (Re: Ignoramus or Ignorabimus: I don't care) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:27 +0200
            A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:41 +0200
              I didn't use a Ryzen Halo, whats wrong with you? (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:25 +0200
              Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:07 +0200
              Food for thought: Bayesian Experimental Designer (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:43 +0200
                Re: Food for thought: Bayesian Experimental Designer (Re: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:44 +0200
                What will microsoft say, will they buy it? (Was: Food for thought: Bayesian Experimental Designer) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:46 +0200
      Re: NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-28 14:17 +0200
      ASML stocks are plunging, bye bye dutchies (Re: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-28 14:18 +0200
  Little Data Center on Your Palm [AI Laptops for 500 USD] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 17:59 +0200
    2008: 4 Blades + Tesla S1070 versus 2026: 1 AI Laptop (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:15 +0200
    Budget AI Laptop 2026 versus Cray T3D 1995 (Was: Little Data Center on Your Palm) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:21 +0200
      Re: Budget AI Laptop 2026 versus Cray T3D 1995 R Kym Horsell <kym@sdf.org> - 2026-08-05 21:11 +0000
        AI Alarmist with Supercomputer on Yacht [Horsy Boy] (Was: Budget AI Laptop 2026 versus Cray T3D 1995) Mild Shock <janburse@fastmail.fm> - 2026-08-06 13:21 +0200
          Re: AI Alarmist with Supercomputer on Yacht [Horsy Boy] R Kym Horsell <kym@sdf.org> - 2026-08-06 11:56 +0000
    Warning: Inconsistencies can summon Waluigis Mild Shock <janburse@fastmail.fm> - 2026-09-14 11:51 +0200
    Mathematical Pokémon Hunting [Carina Hong] (Was: Kundalini II: Why I love DeepSeek) Mild Shock <janburse@fastmail.fm> - 2026-11-07 00:40 +0100
    Vide Coding no-AI for KIDS (Leiden Declaration) (Re: Little Data Center on Your Palm [AI Laptops for 500 USD] ) Mild Shock <janburse@fastmail.fm> - 2026-11-10 15:59 +0100
      DIY Math AI: Norman Megill and Ilya Sutskever [Strix Halo Experiment] (Was: Vide Coding no-AI for KIDS (Leiden Declaration)) Mild Shock <janburse@fastmail.fm> - 2026-11-10 18:44 +0100
  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
        Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-10-13 23:19 +0200
          Lean versus Natural Language (Re: Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New! P(tao) versus the Euler Turbine)) Mild Shock <janburse@fastmail.fm> - 2026-10-13 23:37 +0200
            ean 4: Basically just Microsoft Advertising (Was: Lean versus Natural Language) Mild Shock <janburse@fastmail.fm> - 2026-10-15 11:27 +0200
            Lean 4: Basically just Microsoft Advertising Re: Lean versus Natural Language (Re: Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New! P(tao) versus the Euler Turbine)) Mild Shock <janburse@fastmail.fm> - 2026-10-15 11:27 +0200
        Expert Routing to solve Bonini's paradox [P(tao) > 0] (Was: Pontifex Codex the idea of "right and natural") Mild Shock <janburse@fastmail.fm> - 2026-10-28 15:15 +0100
      Best time to study math [Autformalization Experiment] (Was: The Bazar is dead, long live the Bazar [Swarm AI]) Mild Shock <janburse@fastmail.fm> - 2026-10-27 17:10 +0100
  Got it. Or are you too stupid? [New Usenet Mantra] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:59 +0200
  Lamas in a cradle and Lamas on the edge [Red Pyjama] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:03 +0200
    AI Accelerators and ISO Prolog multi-threading (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:02 +0200
      Actor/Erlang is dead, no Thread and Mailbox conflation [golang channels] (Re: AI Accelerators and ISO Prolog multi-threading) (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:04 +0200
        Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Actor/Erlang is dead, no Thread and Mailbox conflation ) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:32 +0200
    Tablet and phone UBS-C remote debugging (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:19 +0200
      NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:12 +0200
        NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:24 +0200
          I am using WebGPU, and not WebGL (Re: NACK retransmission might double Manhattan Distance) Mild Shock <janburse@fastmail.fm> - 2026-08-02 00:47 +0200
            Texture inside my compute shader makes no sense (Re: I am using WebGPU, and not WebGL) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:40 +0200
              Prolog inferencing and not canvasing fancy stuff (Re: Texture inside my compute shader makes no sense) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:42 +0200
                It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:49 +0200
        First AI laptops, now AI single-boarders [Budget, Budget, ..] (Was: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm)) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:07 +0200
          Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) Mild Shock <janburse@fastmail.fm> - 2026-08-31 18:02 +0200
            Food for thought: Le Petit Bistro as a Trinity Use Case (Was: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:51 +0200
              Giga Lips for Prolog based Chatting (Re: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:55 +0200
                Google holds the keys to the AI kingdom [WebClaw Dominance] (Was: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:42 +0200
      Chris M. Thomasson can ask 100 more questions (Was: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:46 +0200
        npm install webgpu [Google Dawn] (Re: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 03:03 +0200
          GPU elasticity was already invented in 2008 with CUDA (Re: npm install webgpu [Google Dawn]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:01 +0200
    Synthetic Multilanguage Autoformalization Dataset [Informath project] (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:17 +0200
      Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) x3 <x@x.net> - 2026-08-08 11:45 -0700
        Nice try Rossy Boy --> **plonk** (Was: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 23:02 +0200
          Ethernal September Idiots Gone (Was: Nice try Rossy Boy --> **plonk**) Mild Shock <janburse@fastmail.fm> - 2026-08-08 23:15 +0200
      Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:19 +0200
        Everybody does eat and sleep [The SK hynix Story] (Was: Six Proofs and Generally Intelligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:47 +0200
  Even send_color and recv_color can block [Cerebras Waver] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:39 +0200
  GPU Elasticity: Collective Communications Libraries (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-07 14:35 +0200
    What are Flits and Phits? [Network on a Chip] (Was: GPU Elasticity: Collective Communications Libraries) Mild Shock <janburse@fastmail.fm> - 2026-08-07 18:05 +0200
      The Mac Neo is a Budget Monster [GPU Channels] (Re: What are Flits and Phits? [Network on a Chip]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:25 +0200
        The luminaries of duct-tape engineering [Sweeney and Torvald] (Re: The Mac Neo is a Budget Monster [GPU Channels]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:54 +0200
  Cristallina: Thank you for the Beam (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 21:19 +0200
    Re: Cristallina: Thank you for the Beam (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-18 14:56 +0200
    Giant Shoulders for AI Surprises (Was: Cristallina: Thank you for the Beam) Mild Shock <janburse@fastmail.fm> - 2026-08-18 14:57 +0200
      Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:23 +0200
        How to shoot yourself in the foot (Was: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group]) Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:42 +0200
        William A. Howard solved all his 99 problems (Re: Loderunner Enemy AI better than SWI-Prolog?) Mild Shock <janburse@fastmail.fm> - 2026-08-23 01:47 +0200
          Lean 4: The new Sun King [Martin Löf is watching Birds] (Was: William A. Howard solved all his 99 problems) Mild Shock <janburse@fastmail.fm> - 2026-11-04 22:09 +0100
  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
              Less Ego more Math [Somebody got Excited] (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-11-01 22:57 +0100
    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
  Wikipedia is SNAFU by the AI boom (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-10-29 23:39 +0100
    Re: Wikipedia is SNAFU by the AI boom (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Zayd Mohammed <zaydm@172.24.208.1> - 2026-10-29 22:50 +0000
    Re: Wikipedia is SNAFU by the AI boom (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Jan Panteltje <alien@comet.invalid> - 2026-10-30 07:04 +0000
    Robot writes Wikipedia en the fly [Google AI] (Re: Wikipedia is SNAFU by the AI boom) Mild Shock <janburse@fastmail.fm> - 2026-11-01 10:51 +0100

csiph-web