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

Groups > sci.physics > #895048 > unrolled thread

2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back]

Back to article view | Back to sci.physics

Contents

  2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back] Mild Shock <janburse@fastmail.fm> - 2026-02-04 02:22 +0100
    Mark V. Shaney caused Julio Di Egidio Suicide (Was: 2026 the Year golang lost its Marbles) Mild Shock <janburse@fastmail.fm> - 2026-02-14 12:48 +0100
      Gen Alpha will grow up with Causal AI (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010)) Mild Shock <janburse@fastmail.fm> - 2026-02-19 20:03 +0100
      Original Subject established by Chinese Scientists [Extenics] (Re: LRM moving from FOM to TCS [Lean Prover]) Mild Shock <janburse@fastmail.fm> - 2026-02-28 16:51 +0100
      DeepSeekMath: From psychophysischer Parallelismus to GPRO (Re: Odysseus PTSD: Does Function need Consistency?) Mild Shock <janburse@fastmail.fm> - 2026-03-06 02:26 +0100

#895048 — 2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back]

Hi,

Just a quick take on the Prolog pulse:

- SWI-Prolog: Dead Horse, LISP / MeTTa is it.

- Scyer: Dead Horse, no core commits

- Ciao Prolog: Dead Horse, no core commits

- Who else?

So I guess its back to Strawberry Prolog for teaching!

They are also building AGI:

https://dobrev.com/AI/Think_in_mind.pdf

Bye

[toc] | [next] | [standalone]

#895126 — Mark V. Shaney caused Julio Di Egidio Suicide (Was: 2026 the Year golang lost its Marbles)

Hi,

So the Rob Pike account shows the full
extend how people become schizophrenice
or get amnesia in the age of the AI Boom.

How it started:

"Kernighan and Pike listed Mark V. Shaney
in the acknowledgements in The Practice
of Programming,[12] noting its roots in
Mitchell's markov, which, adapted as shaney,
[13] was used for "humorous deconstructionist
activities" in the 1980s.
https://en.wikipedia.org/wiki/Mark_V._Shaney

How its going:

"Fuck you people. Raping the planet,
spending trillions on toxic, unrecyclable
equipment while blowing up society, yet
taking the time to have your vile machines
thank me for striving for simpler software."
https://bsky.app/profile/robpike.io/post/3matwg6w3ic2s

Or it was one of the many academic frauds,
that Rob Pike even appeared talking about
the earl AI bot, to get false credits?

Bye

P.S.: Has somebody seen Julio Di Egidio recently?
He posted the same vile machines stance on
SWI-Prolog shortly between 2025 and 2026,

got probably banned and disappeared [forever?].
Well good ridance that he *plonked* himself,
fucking moron who didn't understand

rational trees, yet harassed me.

Mild Shock schrieb:
> Hi,
> 
> Just a quick take on the golang pulse:
> 
> How it started:
> 
> A Comparative Study of Language Implementations
> https://www.arxiv.org/abs/2502.01651
> 
> How its going:
> 
> Co-Creator of Go Language is Rightly Furious
> https://itsfoss.com/news/rob-pike-furious/
> 
> Rob Pike going bonkers over AI.
> 
> Bye
> 
> See especially, ca factor 4x-5x behind:
> 
> Go < Julia < Rust < C < Zig < Mojo < C++
> (a): Average tokens per second for stories15M.bin model
> 
> Go < Julia < Rust < Zig < C < C++ < Mojo
> (c): Average tokens per second for stories42M.bin model
> 
> So I guess its back to Fortran.
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Just a quick take on the Prolog pulse:
>>
>> - SWI-Prolog: Dead Horse, LISP / MeTTa is it.
>>
>> - Scyer: Dead Horse, no core commits
>>
>> - Ciao Prolog: Dead Horse, no core commits
>>
>> - Who else?
>>
>> So I guess its back to Strawberry Prolog for teaching!
>>
>> They are also building AGI:
>>
>> https://dobrev.com/AI/Think_in_mind.pdf
>>
>> Bye
> 

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

#895152 — Gen Alpha will grow up with Causal AI (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010))

Hi,

Looks like the Causal AI viewpoint on neural
networks makes people comfortable. Some
work from Pittsburgh:

Causal Representation Learning and Generative AI
by Dr Kun Zhang #CausalNeSyAI
https://www.youtube.com/watch?v=UwcitNXphog

Kathleen M. Carley: Understanding Influence
A Network Science + AI Approach — IC2S2 2025 Keynote
https://www.youtube.com/watch?v=iHjFXtIeXnw

So Gen Alpha will grow up with Causal AI,
while Gen Z just botched Scryer Prolog, its
definitively a dead horse now?

Bye

Mild Shock schrieb:
> Hi,
> 
> Geoffrey E. Hinton, the Nobel Prize winner
> for AI. He was already beating the drums
> for ReLU in 2010:
> 
> HRectified Linear Units Improve Restricted Boltzmann Machines
> Geoffrey E. Hinton & Vinod Nair - 2010
> https://www.cs.toronto.edu/~fritz/absps/reluICML.pdf
> 
> Because ANNs (Artificial Neural Networks) were originally
> designed with other functions, e.g. with Logistic function:
> 
> An artificial neuron is a mathematical function conceived
> as a model of a biological neuron in a neural network.
> https://en.wikipedia.org/wiki/Artificial_neuron
> 
> If you populate additive factor graphs with log P,
> you basically get multiplicative factor graphs.
> So an ANN can express belief networks, right?
> 
> Bye
> 
> P.S.: What is all the hype about Causal AI, and
> the Ladder of Causation à la Judea Pearl?
> 
> Causal AI – the next gen AI
> Prof. Sotirios A. Tsaftaris - 2025
> https://www.youtube.com/watch?v=IelslFzdsYw

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

#895238 — Original Subject established by Chinese Scientists [Extenics] (Re: LRM moving from FOM to TCS [Lean Prover])

Hi,

Now "white science" might have more leaning
towards Causal AI. But sometimes I have the
feeling Generative AI is the "yellow science"

now. DeepSeek left handedly inventing the
notation M(a,b) for matrix representation of
a dual number a + b e:

M(a,b) = a I + b E

And then discussing variants like:

E = [[ 0 1 ]
      [ 0 0 ]]

Or this variant like:

E = [[ 1 -1 ]
      [ 1 -1 ]]

I am in mild shock! Then I am reading the small print:

Prof. Cai Wen, Institute of Extenics and Innovative Methods, Guangzhou,
https://fs.unm.edu/DualNumbers.pdf

What is Extenics? Any ideas?

Have Fun!

Bye

Mild Shock schrieb:
 > Hi,
 >
 > Large Reasoning Models (LRM) seem to move from
 > Foundation of Mathematics (FOM) to Theoretical
 > Computer Science (TCS). FOM typically gives
 >
 > you "white science" mathematics, with sets and
 > infinity, if you are lucky a little recursion
 > theory. Fun fact TCS is even more "white".
 >
 > Interesting paper in as far:
 >
 > Lean Meets Theoretical Computer Science:
 > Scalable Synthesis of Theorem Proving Challenges
 > in Formal-Informal Pairs
 > Terry Jingchen Zhang et. al. - 2025
 > https://arxiv.org/abs/2508.15878v1
 >
 > One swallow does not make a summer?
 >
 > But its probably a necessary step. The above
 > paper using Busy Beaver and Interger Constraints
 > as examples. What logical frameworks do even
 >
 > apply, is it enough to have a "total function"
 > theory layer, or does TCS need more. TCS can
 > be heavy on all sort of discrete and
 >
 > non-discrete mathematics.
 >
 > Bye
 >
 > Mild Shock schrieb:
 >  > Hi,
 >  >
 >  > Geoffrey E. Hinton, the Nobel Prize winner
 >  > for AI. He was already beating the drums
 >  > for ReLU in 2010:
 >  >
 >  > HRectified Linear Units Improve Restricted Boltzmann Machines
 >  > Geoffrey E. Hinton & Vinod Nair - 2010
 >  > https://www.cs.toronto.edu/~fritz/absps/reluICML.pdf
 >  >
 >  > Because ANNs (Artificial Neural Networks) were originally
 >  > designed with other functions, e.g. with Logistic function:
 >  >
 >  > An artificial neuron is a mathematical function conceived
 >  > as a model of a biological neuron in a neural network.
 >  > https://en.wikipedia.org/wiki/Artificial_neuron
 >  >
 >  > If you populate additive factor graphs with log P,
 >  > you basically get multiplicative factor graphs.
 >  > So an ANN can express belief networks, right?
 >  >
 >  > Bye
 >  >
 >  > P.S.: What is all the hype about Causal AI, and
 >  > the Ladder of Causation à la Judea Pearl?
 >  >
 >  > Causal AI – the next gen AI
 >  > Prof. Sotirios A. Tsaftaris - 2025
 >  > https://www.youtube.com/watch?v=IelslFzdsYw
 >

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

#895336 — DeepSeekMath: From psychophysischer Parallelismus to GPRO (Re: Odysseus PTSD: Does Function need Consistency?)

Hi,

Now I am reading Otto Ludwig Binswanger (* 14.
Oktober 1852 in Scherzingen, Münsterlingen;
† 15. Juli 1929 in Kreuzlingen) war ein Schweizer

Psychiater und Neurologe, der der Richtung der
Neuropsychiatrie zugerechnet werden kann.

"Läßt man alle erkenntnistheoretischen Erwägungen beiseite, so
wird man notwendigerweise zu der Anschauung gelangen, daß
die psychischen Vorgänge zwar regelmäßig von einem physischen
Kräftewechsel, d. h. von materiellen Hirnrindenprozessen, begleitet
sind, daß aber jedes dieser Gebiete selbständig für sich
besteht (psychophysischer Parallelismus)."
https://archive.org/details/binswanger-siemerling.-lehrbuch-der-psychiatrie-3.-aufl.-1911/page/2/mode/2up

On the same page he describes some Aristoteles Style
Learning Model. But the interesting thing is that around 12
Months ago DeekSeek R1 made furore with a comparte-
mentalized learning and inferencing. More coarse grained

than mixture of experts and end user sensing, i.e. GPRO:

DeepSeekMath: Pushing the Limits of Mathematical
Reasoning in Open Language Models
https://arxiv.org/abs/2402.03300

Have Fun!

Bye

Mild Shock schrieb:
> Hi,
> 
> Our Chinese Nostradamous claims there are at least
> two methods how humans deal with trauma aka contradiction,
> soul repair or split brain:
> 
> Great Books #5: The Odyssey
> https://www.youtube.com/watch?v=gXlcR7uHHdA
> 
> Brain plasticity, or neuroplasticity, is the brain's
> remarkable ability to reorganize its structure, functions,
> and neural connections throughout life in response to
> learning, experience, or injury. It enables adaptation,
> 
> memory formation, and recovery from damage by creating
> new synaptic connections and pathways. This dynamic
> process continues into adulthood, allowing for, but
> also influenced by, factors like exercise, sleep,
> 
> and mental stimulation. Does this adaption or
> maladaption need consistency, or asked differently
> what does structure and function mean?
> 
> Bye

[toc] | [prev] | [standalone]

Back to top | Article view | sci.physics

csiph-web