Nosomatic AI Chirurgeon: RSI of Use/Mention? (Re: Train yourself to become a nosomatic AI chirurgeon)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic, sci.math, comp.lang.prolog
Subject	Nosomatic AI Chirurgeon: RSI of Use/Mention? (Re: Train yourself to become a nosomatic AI chirurgeon)
Date	2026-10-24 12:55 +0200
Message-ID	<11bi2qf$aflb$1@solani.org> (permalink)
References	(5 earlier) <10srjsg$13bfs$1@solani.org> <10ssije$13umd$3@solani.org> <11478b2$fv28$2@solani.org> <11478e3$fv28$3@solani.org> <1147921$fvic$2@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

Looks like we are in the mists of
Recursive self-improvement (RSI).
While my Prolog mini Prover9 and mini

Mace4, can solve all the Terrence Tao
EQT examples in a blink. This guy
is already a step further:

MENTION.md — the mention-algebra experiment
https://github.com/stefanopalmieri/finite-magma-independence/blob/main/MENTION.md

Re-inventing some of the marvels
of Post Schönfinkel aera in combinatory
logic, but with neural networks?

Do people in Texas have too
much GPU compute?

Bye

P.S.: From now on I take magma A*B
as application (A B) like in SKI combinatory
logic. In as far, its  always fun to add

some more exotic combinators.

LoL

Mild Shock schrieb:
> Hi,
> 
> A nosomatic AI chirurgeon is a halfling student
> of sickness, and a master of the ebb and flow of
> the energies of life and death of data packets.
> 
> He is a air bender, water bender and earth bender
> in one person, using OpenVINO to juggle with
> CPU, GPU and NPU.
> 
> Last but not least he can freely switch between
> symbolic and neural representation of knowledge
> forms, there is no abyss for him.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> The nature of time has puzzled people -- from the ancient
>> Greeks to the present day -- Especially the nosomatic
>> perception of time is a hot topic now.
>>
>> How does time evolve inside a GPU with multiple units
>> or a CPU with multiple cores. GPUs even having multiple
>> logical threads inside a group.
>>
>> Forget the von Neumann model of computing. You need
>> a total new thinking of shared memory and more
>> message passing, and have a grip of vector and
>>
>> matrix tiling of problems. π-WAM already deploys
>> logic tiling in its Seven Eleven demonstrator. So forget
>> everything you have learned in your BASIC computer
>>
>> course for your Sputnik Commodore C64 with 8088.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Hyperspectral measurements for inter-calibration,
>>> reached a significant milestone this summer.
>>>
>>> The naval observatory only uses fidget spinners
>>> to measure time, so forget Colorado.
>>>
>>> Bye
>>>
>>> Ross Finlayson schrieb:
>>>  >
>>>  > So, there's at least three accounts of what can define 
>>> "measurement of
>>>  > time", in the micro, meso, and macro.
>>>  >
>>>  > Then these days pretty much the world relies on "the naval 
>>> observatory
>>>  > in Colorado" if not so much "the clock tower in Greenwich", as with
>>>  > regards to ye olde UTC, CUT, "Zulu", and so on, time.
>>>  >
>>>  > About relativity theory and "measuring rods and clocks", then, it's
>>>  > similar that "metric and norm" for "length and distance" also has
>>>  > about the Planckian what are "iota-values" as it would be, or, "Pauli
>>>  > Plancks", or "Dirac's Pauli Plancks", of measuring space, vis-a-vis,
>>>  > measuring time.
>>>  >
>>>  >
>>>  > So, there are at least three accounts of what defines measuring time,
>>>  > and at least three accounts of what defines measuring space.
>>>  >
>>>  >
>>>  > Then, since relativity theory is defined by what does that,
>>>  > it has the various ways, to so fulfill doing that.
>>>  >
>>>  >
>>>  > Yeah, I know, most "professional physicists" only have one of those
>>>  > on their little note-card with which they passed graduate school.
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Ross Finlayson schrieb:
>>>>  > Or shaves pennies.
>>>>
>>>>  >>> X-Machines Virtual Machine (XVM™) is a neurosymbolic virtual AI
>>>>  >>> processor which combines neural processes with symbolic reasoning.
>>>>  >>> https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe
>>>>
>>>> Cost/hour: $200,000.00
>>>>
>>>> LoL
>>>>
>>>> Bye
>>>>
>>>> P.S.: If it could do some quant trading magic, one would
>>>> possibly pay so much. But Logtalk is simply too lame:
>>>>
>>>> Version release notes
>>>> XVM Engine v10.2.4 is the full engine capable of running
>>>> all XVM and Logtalk programs, excluding for logtalk tools.
>>>>
>>>> Mild Shock schrieb:
>>>>> Hi,
>>>>>
>>>>> The 9122171.18175435 is a little offending, what if one
>>>>> keeps a federal secret after the 6 fraction digit?
>>>>>
>>>>> Bye
>>>>>
>>>>> Mild Shock schrieb:
>>>>>> Hi,
>>>>>>
>>>>>> Ok, leaving the beaten path of my Prolog system
>>>>>> probing, and look at some newer beast.
>>>>>>
>>>>>> This looks bad:
>>>>>>
>>>>>> ?- format('~6f', [pi**14]), nl.
>>>>>> 9122171.18175435
>>>>>>
>>>>>> Expected result:
>>>>>>
>>>>>> ?- format('~6f', [pi**14]), nl.
>>>>>> 9122171.181754
>>>>>>
>>>>>> Bye
>>>>>>
>>>>>> BTW: Tested using this test tester:
>>>>>>
>>>>>> X-Machines Virtual Machine (XVM™) is a neurosymbolic virtual AI 
>>>>>> processor which combines neural processes with symbolic reasoning.
>>>>>> https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe
>>>>>>
>>>>>> Mild Shock schrieb:
>>>>>>  >>> See also:
>>>>>>  >>> https://prolog-lang.org/ImprovementsForum/0110-format.html
>>>>>>
>>>>>>
>>>>>
>>>>
>>>
>>
>

Thread

Clueless Moron and Paid Putin Troll (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:50 +0100
  2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:51 +0100
    Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:52 +0100
      Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:52 +0100
      Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:56 +0100
      Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:58 +0100
        What does Type Free mean? (Re: 2.1 Logical variables and equations) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:59 +0100
  A noiseless patient Spider is a Pussy Mild Shock <janburse@fastmail.fm> - 2025-11-07 00:03 +0100
  Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2026-04-29 00:40 +0200
    Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI) (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World]) Mild Shock <janburse@fastmail.fm> - 2026-04-29 02:14 +0200
      This could be a serious security vulnerability (Re: Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI)) Mild Shock <janburse@fastmail.fm> - 2026-04-29 02:37 +0200
        Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Re: This could be a serious security vulnerability) Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:21 +0200
          Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:28 +0200
            Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Re: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:29 +0200
              Train yourself to become a nosomatic AI chirurgeon (Re: Forget your Sputnik Commodore C64 with 8088 [Logic Tiling]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:40 +0200
                Homework: Game Engine in WebGPU (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:06 +0200
                Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 18:17 +0200
                But how can you deploy, when its ROM? (Re: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 18:21 +0200
                New addition to π-WAM is π-WAM Assembly (Re: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:46 +0200
                The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:10 +0200
                Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:13 +0200
                Nosomatic AI Chirurgeon: RSI of Use/Mention? (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-10-24 12:55 +0200
              Re: Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Re: Hyperspectral Measurements for Inter-Calibration) Lane W <cactus_DAC@yahoo.com> - 2026-07-27 08:07 -0600
            Brova you enjoy made up nonsense? [Einstein tech cult] (Re: Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:08 +0200
              NVIDIA Einstein and Q8.24 RGB Values [Earth and Star Gazers] (Re: Brova you enjoy made up nonsense?) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:33 +0200
                Just lookup orbital AI and SpaceX (Re: NVIDIA Einstein and Q8.24 RGB Values) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:38 +0200
              Re: Brova you enjoy made up nonsense? [Einstein tech cult] (Re: Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 18:55 -0700
            Dark Math Factories Interpret the Infinite! (Re: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-10-02 18:38 +0200
            Dark Math Factories Interpret the Infinite! (Re: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-10-02 18:39 +0200
              So it was a race against Buzzard. Well done! [Langlands FML and SML] (Was: Dark Math Factories Interpret the Infinite!) Mild Shock <janburse@fastmail.fm> - 2026-10-03 01:37 +0200
                Math is the premier AI Victim [Billions of $USD later] (Re: So it was a race against Buzzard. Well done! [Langlands FML and SML]) Mild Shock <janburse@fastmail.fm> - 2026-10-08 13:11 +0200
                Play Snaky, who did it better OpenAI or Anthropic? (Re: Math is the premier AI Victim [Billions of $USD later]) Mild Shock <janburse@fastmail.fm> - 2026-10-08 23:36 +0200
                Re: Play Snaky, who did it better OpenAI or Anthropic? (Re: Math is the premier AI Victim [Billions of $USD later]) Mild Shock <janburse@fastmail.fm> - 2026-10-08 23:37 +0200
                Lean 4: That golden era of logic is gone (Was: So it was a race against Buzzard. Well done!) Mild Shock <janburse@fastmail.fm> - 2026-10-15 12:08 +0200
                Math AI Vegans hate the Druids Cauldron [MakazhanAlpamys / Soup] (Re: So it was a race against Buzzard. Well done!) Mild Shock <janburse@fastmail.fm> - 2026-11-11 00:17 +0100
              An elementary proof or pi irrationality = 2 [Natural Intelligence] Mild Shock <janburse@fastmail.fm> - 2026-10-09 19:39 +0200
                Cont. Now with Integers (Was: An elementary proof or pi irrationality = 2 [Natural Intelligence]) Mild Shock <janburse@fastmail.fm> - 2026-10-09 20:22 +0200
                Superintelligenz ist auch F.U.D. (OAI:The-irrationality-exponent-of-pi-is-2-September-24-2026) Mild Shock <janburse@fastmail.fm> - 2026-10-10 00:34 +0200
                Time got dilated by Gemini & Deepseek [The new Shalosh B. Ekhad] (Was: Superintelligenz ist auch F.U.D. ) Mild Shock <janburse@fastmail.fm> - 2026-10-10 13:00 +0200
            Avoiding logical strength in real analysis [Lattice Games] (Was: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-10-15 17:35 +0200
    format/3 that does not have some Spaghetti logic (Re: Prolog PIP-0110: Its a Floating-Point Multiverse?) Mild Shock <janburse@fastmail.fm> - 2026-04-30 17:50 +0200
    Ljubljana School versus Zurich School (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:16 +0200
      Big thanks to Ljubljana School [Searching 0xCAFFEE] (Re: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:42 +0200
      Peking School versus Ljubljana School [Everything Is a Plugin] (Re: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-21 17:44 +0200

csiph-web