Groups > sci.physics.relativity > #673837

Re: The future Numa Brains will be gorgeous (Re: Train yourself to become a nosomatic AI chirurgeon)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.physics.relativity, sci.physics
Subject	Re: The future Numa Brains will be gorgeous (Re: Train yourself to become a nosomatic AI chirurgeon)
Date	2026-09-28 14:15 +0200
Message-ID	<119dlo6$houj$3@solani.org> (permalink)
References	(15 earlier) <11475ju$fsrh$1@solani.org> <0jWdnUSmIegmh_r3nZ2dnZfqnPSdnZ2d@giganews.com> <11478gh$fv28$4@solani.org> <11478t5$fvic$1@solani.org> <1196a2o$cfa0$2@solani.org>

Cross-posted to 2 groups.

Show all headers | View raw

Hi,

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

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

in the nowhere of la la land. Reading:

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

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

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

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

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

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

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

Bye

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

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

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

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

Thread

Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-06 12:59 +0200
  Re: Nobody understands relativity Python <python@cccp.invalid> - 2026-06-06 18:07 +0000
  Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-06 20:19 +0200
    Re: Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-06 21:23 +0200
      Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-06 16:57 -0700
      Re: Nobody understands relativity nospam@de-ster.demon.nl (J. J. Lodder) - 2026-06-07 10:54 +0200
        Re: Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-07 13:13 +0200
          Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 08:25 -0700
            Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:06 -0700
              Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:21 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:50 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:59 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-08 08:46 -0700
                Re: Nobody understands relativity nospam@de-ster.demon.nl (J. J. Lodder) - 2026-06-09 13:41 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:15 -0700
                Re: Nobody understands relativity marika <marika5000@gmail.com> - 2026-06-14 05:01 +0000
      Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-07 13:30 +0200
        Re: Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-07 13:37 +0200
          Re: Nobody understands relativity Python <python@cccp.invalid> - 2026-06-07 11:40 +0000
          Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-07 13:58 +0200
            Re: Nobody understands relativity Thomas Heger <ttt_heg@web.de> - 2026-06-08 10:17 +0200
        Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-07 21:43 -0700
        Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-07 21:48 -0700
          Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-08 07:41 +0200
            Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-08 09:50 +0200
              Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-08 10:46 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-08 19:16 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-08 19:42 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-08 16:54 -0700
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 07:34 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 10:59 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 11:06 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 20:22 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 20:55 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 21:27 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 21:37 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 10:32 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 11:00 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 20:56 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 21:01 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 21:46 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 22:03 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:10 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:22 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:31 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:40 -0700
                Hyperspectral Measurements for Inter-Calibration (Was: Nobody understands relativity) Mild Shock <janburse@fastmail.fm> - 2026-07-27 10:41 +0200
                Re: Hyperspectral Measurements for Inter-Calibration (Was: Nobody understands relativity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:45 -0700
                Forget your Sputnik Commodore C64 with 8088 (Was: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:26 +0200
                Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Was: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:30 +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:37 +0200
                Homework: Game Engine in WebGPU (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:05 +0200
                Re: Homework: Game Engine in WebGPU (Was: Train yourself to become a nosomatic AI chirurgeon) Piotr Agamirov <ppp@togit.ru> - 2026-08-03 12:05 +0000
                Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 18:18 +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:22 +0200
                Re: Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-04 00:45 +0800
                Re: Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Bayard Djabrailov <yjbob@aodorbv.ru> - 2026-08-03 17:28 +0000
                Re: Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Thomas Heger <ttt_heg@web.de> - 2026-08-07 08:17 +0200
                Norton Commander and Norton Antivirus again? [AI Laptop Memory] (Was: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-07 14:13 +0200
                New addition to π-WAM is π-WAM Assembly (Re: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:47 +0200
                The future Numa Brains will be gorgeous (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:12 +0200
                Re: The future Numa Brains will be gorgeous (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:15 +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:15 +0200
                Re: Hyperspectral Measurements for Inter-Calibration (Was: Nobody understands relativity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 07:13 -0700
                Brova you enjoy made up nonsense? [Einstein tech cult] (Was: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:07 +0200
                NVIDIA Einstein and Q8.24 RGB Values [Earth and Star Gazers] (Was: Brova you enjoy made up nonsense? [Einstein tech cult]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:30 +0200
                Just lookup orbital AI and SpaceX (Re: NVIDIA Einstein and Q8.24 RGB Values) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:39 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 21:05 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 08:39 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-10 14:53 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 18:20 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-10 20:48 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-12 08:13 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-12 08:42 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-10 22:54 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-12 13:39 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-14 09:05 -0700
    Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-06 21:24 +0200
      Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-07 13:45 +0200
        Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-07 15:14 +0200
          Re: Nobody understands relativity Auburn Morandi <bia@auuur.it> - 2026-06-07 15:39 +0000
  Re: Nobody understands relativity nospam@de-ster.demon.nl (J. J. Lodder) - 2026-06-07 10:54 +0200
  Re: Nobody understands relativity marika <marika5000@gmail.com> - 2026-07-02 00:09 +0000

csiph-web