From Newsgroup: sci.math


"Als der franz||sische K||nig, den man wegen
der unerm|+dlichen Regelm|n|figkeit, mit der er,
gleich einer Sonne, deren Lauf niemand
aufzuhalten vermochte, t|nglich zur selben
Stunde, von dem leisen Rascheln der seidnen
Vorh|nnge angek|+ndigt, aus den Gem|nchern
von Versailles hervortrat, um, von einer Schar
Hofleute umgeben, die weniger aus freiem
Willen als aus der wohlbegr|+ndeten Furcht,
in dem Schatten, den sein Glanz warf, unsichtbar
zu werden, ihm folgten, den Gang durch die
Spiegelgalerie anzutreten pflegte, sich an
eben diesem Morgen, an welchem ein
unbedeutender Wolkenzug den Himmel
tr|+bte, die Frage erhob, ob auch die Sonne,
wenn sie denn einmal z||gerte, noch Sonne
genannt werden d|+rfe, da bemerkte er, indem
er den Absatz seines Schuhs auf den Marmorboden
setzte, dass nicht der Himmel, sondern allein
sein Strumpf ein Loch hatte."

-- Menhire von Finist|?re, ca. 1708
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

Am 19.01.2026 um 23:05 schrieb Mild Shock:

in dem Schatten, den sein Glanz warf, [...]

Jetzt habe ich doch glatt, "sein Glied" gelesen. :-)
.
.
.
--
Diese E-Mail wurde von Avast-Antivirussoftware auf Viren gepr|+ft. www.avast.com
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math


Hi,

What do you prefer, the Blue Pill or the Red Pill?

a) Some LinkedIn Pseudo Science nonsense:

My Gripes with Prolog - January 14, 2026 https://buttondown.com/hillelwayne/archive/my-gripes-with-prolog/

b) Some real brain food for CLP(FD) Prologers:

Common constraint programming problems
https://www.hakank.org/common_cp_models/

Tell me your choice!

Bye

Mild Shock schrieb:

"Als der franz||sische K||nig, den man wegen
der unerm|+dlichen Regelm|n|figkeit, mit der er,
gleich einer Sonne, deren Lauf niemand
aufzuhalten vermochte, t|nglich zur selben
Stunde, von dem leisen Rascheln der seidnen
Vorh|nnge angek|+ndigt, aus den Gem|nchern
von Versailles hervortrat, um, von einer Schar
Hofleute umgeben, die weniger aus freiem
Willen als aus der wohlbegr|+ndeten Furcht,
in dem Schatten, den sein Glanz warf, unsichtbar
zu werden, ihm folgten, den Gang durch die
Spiegelgalerie anzutreten pflegte, sich an
eben diesem Morgen, an welchem ein
unbedeutender Wolkenzug den Himmel
tr|+bte, die Frage erhob, ob auch die Sonne,
wenn sie denn einmal z||gerte, noch Sonne
genannt werden d|+rfe, da bemerkte er, indem
er den Absatz seines Schuhs auf den Marmorboden
setzte, dass nicht der Himmel, sondern allein
sein Strumpf ein Loch hatte."

-- Menhire von Finist|?re, ca. 1708

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

Am 22.01.2026 um 01:22 schrieb Mild Shock:

Hi,

What do you prefer, the Blue Pill or the Red Pill?

The blue pill.
See: https://images.handelsblatt.com/WAE6zEFOQe3a/cover/1400/933/48/47/0/0/0.5/0.5/erfolgsmedikament-viagra.avif
--
Diese E-Mail wurde von Avast-Antivirussoftware auf Viren gepr|+ft. www.avast.com
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

The paper outlines, how the AI Boom, changes
some dynamics, in hardware design. Which explains
the NVIDIA and Synopsys Strategic Partnership.

But the paper only shows a 2024 CPU, not yet a NPU.

Neural Model Checking
https://arxiv.org/abs/2410.23790

I suspect with End of 2025 CPU of the Copilot+ kind,
we can get a further speed-up of a factor 10x-100x.
But how difficult can it be to build such a prototype,

just a GNU Prolog with an ANN backend instead of a WAM?

Bye

Mild Shock schrieb:

Hi,

What do you prefer, the Blue Pill or the Red Pill?

a) Some LinkedIn Pseudo Science nonsense:

My Gripes with Prolog - January 14, 2026 https://buttondown.com/hillelwayne/archive/my-gripes-with-prolog/

b) Some real brain food for CLP(FD) Prologers:

Common constraint programming problems https://www.hakank.org/common_cp_models/

Tell me your choice!

Bye

Mild Shock schrieb:

"Als der franz||sische K||nig, den man wegen
der unerm|+dlichen Regelm|n|figkeit, mit der er,
gleich einer Sonne, deren Lauf niemand
aufzuhalten vermochte, t|nglich zur selben
Stunde, von dem leisen Rascheln der seidnen
Vorh|nnge angek|+ndigt, aus den Gem|nchern
von Versailles hervortrat, um, von einer Schar
Hofleute umgeben, die weniger aus freiem
Willen als aus der wohlbegr|+ndeten Furcht,
in dem Schatten, den sein Glanz warf, unsichtbar
zu werden, ihm folgten, den Gang durch die
Spiegelgalerie anzutreten pflegte, sich an
eben diesem Morgen, an welchem ein
unbedeutender Wolkenzug den Himmel
tr|+bte, die Frage erhob, ob auch die Sonne,
wenn sie denn einmal z||gerte, noch Sonne
genannt werden d|+rfe, da bemerkte er, indem
er den Absatz seines Schuhs auf den Marmorboden
setzte, dass nicht der Himmel, sondern allein
sein Strumpf ein Loch hatte."

-- Menhire von Finist|?re, ca. 1708

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

I am thinking my newest NVMe is too fast. I
see some strange thermal effects in disk use
cases. Digging up some Kingston documentation,

they slap into my face: Warranty extens only
to 600 TBW (Terabyte Written). So NVMe have a
limited lifetime. Which might explain my

mantra to switch machines every 4 years. So
that I can continue downloading a couple
of LLMs every day.

NVMe's are worse than a human brain. In a
human brain Alzheimer kicks in after like
75 years, an NVMe has only a 3 years warranty:

A human brain:
- Runs on ~20 W
- Stores petabytes (arguably)
- Learns, forgets, adapts
- Still works after decades of abuse

A 1 TB NVMe:
- Burns 4.5 W just writing
- Panics if you download LLMs every day
- Starts counting its own death in TBW
- Needs SMART logs to tell you itrCOs tired

Bye

Mild Shock schrieb:

"Als der franz||sische K||nig, den man wegen
der unerm|+dlichen Regelm|n|figkeit, mit der er,
gleich einer Sonne, deren Lauf niemand
aufzuhalten vermochte, t|nglich zur selben
Stunde, von dem leisen Rascheln der seidnen
Vorh|nnge angek|+ndigt, aus den Gem|nchern
von Versailles hervortrat, um, von einer Schar
Hofleute umgeben, die weniger aus freiem
Willen als aus der wohlbegr|+ndeten Furcht,
in dem Schatten, den sein Glanz warf, unsichtbar
zu werden, ihm folgten, den Gang durch die
Spiegelgalerie anzutreten pflegte, sich an
eben diesem Morgen, an welchem ein
unbedeutender Wolkenzug den Himmel
tr|+bte, die Frage erhob, ob auch die Sonne,
wenn sie denn einmal z||gerte, noch Sonne
genannt werden d|+rfe, da bemerkte er, indem
er den Absatz seines Schuhs auf den Marmorboden
setzte, dass nicht der Himmel, sondern allein
sein Strumpf ein Loch hatte."

-- Menhire von Finist|?re, ca. 1708

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

Ok, Tensorization on the Deskop seems
to be older than 2025, already featured
by Apple M1 Max hardware in 2021.

BTW, here is a nice piece of linear
algebra meets artificial intelligence,
ChatGPT-2 written in FORTRAN:

User: When did the Mexican-American war start?
fastGPT: 1846.

User: When did it end?
fastGPT: 1848.

File GPT-2 ca. 10 Pages of FORTRAN code https://github.com/certik/fastGPT/blob/main/gpt2.f90

Bye

P.S.: The tensorization acceleration happens here.
Basically a float 32-bit general matrix multiplication,
already specified as THE LEVEL 3 BLAS in 1990:

#include <Accelerate/Accelerate.h>
void acc_sgemm(int m, int n, int k, float *A, float *B, float *C) { https://github.com/certik/fastGPT/blob/main/linalg_accelerate.c

Vectorization would use SIMD (Single Instruction,
Multiple Data) instructions. I guess tensorization uses
typically MAC (multiply-accumulate operations).

The deployment on a Apple M1 Max is especially easy,
since it has UMA, unified memory, so you can pass
arrays just by memory pointers.

P.S.: Some of the top timings, inference of the
input file (20 tokens):

1 core + hardware GEMM:
fastGPT (Accelerate, fast_tanh) 0.288s

8 cores:
PyTorch (OpenBLAS) 0.392s

So the hardware GEMM accelerator easily
compensates for 8 cores? This was on a 2021 machine,
might be even better now?

Mild Shock schrieb:

Hi,

The paper outlines, how the AI Boom, changes
some dynamics, in hardware design. Which explains
the NVIDIA and Synopsys Strategic Partnership.

But the paper only shows a 2024 CPU, not yet a NPU.

Neural Model Checking
https://arxiv.org/abs/2410.23790

I suspect with End of 2025 CPU of the Copilot+ kind,
we can get a further speed-up of a factor 10x-100x.
But how difficult can it be to build such a prototype,

just a GNU Prolog with an ANN backend instead of a WAM?

Bye

Mild Shock schrieb:

Hi,

What do you prefer, the Blue Pill or the Red Pill?

a) Some LinkedIn Pseudo Science nonsense:

My Gripes with Prolog - January 14, 2026
https://buttondown.com/hillelwayne/archive/my-gripes-with-prolog/

b) Some real brain food for CLP(FD) Prologers:

Common constraint programming problems
https://www.hakank.org/common_cp_models/

Tell me your choice!

Bye

Mild Shock schrieb:

"Als der franz||sische K||nig, den man wegen
der unerm|+dlichen Regelm|n|figkeit, mit der er,
gleich einer Sonne, deren Lauf niemand
aufzuhalten vermochte, t|nglich zur selben
Stunde, von dem leisen Rascheln der seidnen
Vorh|nnge angek|+ndigt, aus den Gem|nchern
von Versailles hervortrat, um, von einer Schar
Hofleute umgeben, die weniger aus freiem
Willen als aus der wohlbegr|+ndeten Furcht,
in dem Schatten, den sein Glanz warf, unsichtbar
zu werden, ihm folgten, den Gang durch die
Spiegelgalerie anzutreten pflegte, sich an
eben diesem Morgen, an welchem ein
unbedeutender Wolkenzug den Himmel
tr|+bte, die Frage erhob, ob auch die Sonne,
wenn sie denn einmal z||gerte, noch Sonne
genannt werden d|+rfe, da bemerkte er, indem
er den Absatz seines Schuhs auf den Marmorboden
setzte, dass nicht der Himmel, sondern allein
sein Strumpf ein Loch hatte."

-- Menhire von Finist|?re, ca. 1708

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Mild Shock wrote:

BTW, here is a nice piece of linear algebra meets artificial
intelligence, ChatGPT-2 written in FORTRAN:

fortran high-level, that cant be fast. Do it in assembler or machine code
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math


FORTRAN = Formel Translator.

It generates machine code you moron.
Good luck with hand coding 10 pages GPT code
in assembler for the Apple M1 Max platform.

File GPT-2 ca. 10 Pages of FORTRAN code https://github.com/certik/fastGPT/blob/main/gpt2.f90

Tell us when you are finished.

Macgreger Nakhimov schrieb:

Mild Shock wrote:

BTW, here is a nice piece of linear algebra meets artificial
intelligence, ChatGPT-2 written in FORTRAN:

fortran high-level, that cant be fast. Do it in assembler or machine code

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Mild Shock wrote:

FORTRAN = Formel Translator.

It generates machine code you moron.
Good luck with hand coding 10 pages GPT code in assembler for the Apple
M1 Max platform.

there are many layers of code translation till that machine code. All languages as such are generating machine code, fuckin stoopid. That's not
the point, you are the one saying that is fast. Idiot.

you dont undrastand aNything about prolog. You dont even know it's a high level scripting language
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

Putin Troll Myles Baibakov has shit for brains:

Myles Baibakov schrieb:

All languages as such are generating machine code, fuckin stoopid.

Thats not true. For example GOTRAN was an
interpreted scripting language.

"GOTRAN, a simplified, interpreted version of FORTRAN I (with only 12
types of statements not 32) for "load and go" operation was available
(at least for the early IBM 1620 computer)." https://en.wikipedia.org/wiki/Fortran#cite_note-23

you dont undrastand aNything about prolog. You dont even know

it's a high level scripting language

high level does not automatically imply scripting language.
high level only refers to such things whether there are
some abstraction from the assembly layer, like

for example FORTRAN = Formula Translator. I guess you
are confused what high level means and what scripting
language means. FORTRAN is surely not a scripting

language. There are also Prologs systems that generate
machine code, and such Prologs systems that don't, either
interpret some WAM code, or some other code.

Whats wrong with you? Ah, I know, I forget you are
a Putin Troll, they are usually not that smart.

Bye
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Mild Shock wrote:

you dont undrastand aNything about prolog. You dont even know

it's a high level scripting language

high level does not automatically imply scripting language.
high level only refers to such things whether there are some abstraction
from the assembly layer, like

this braindead suckker doesnt even know the prolog is an interpreted
scripting language. Then all scripting languages are high-level, idiot.
That's they need an interpreter, to interpret, hence not compiled directly
to machine code. As Dr. Myles Baibakov clearly said, to there are many
levels to go through, to achieve the machine code

it looks like just another uneducated former it-supported on the rampage
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hey Mac Neger,

Wellcome to my shape shifter list:

From: Britain Bakhlaev <hav@ahrahbi.ru>
Organization: A noiseless patient Spider
Injection-Info: dont-email.me; posting-host="2866651b00fec9baaeaa9d0034ead0bc";
logging-data="1545019"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX194p+/f8I3N67a2+W80fqcnJUbPFLnHDDk="
User-Agent: VSoup/1.2.9.47Beta

From: Myles Baibakov <ibevyl@aeasayv.ru>
Organization: A noiseless patient Spider
Injection-Info: dont-email.me; posting-host="48707078e3787a8f0010f4e8b10c6efe";
logging-data="38730"; mail-complaints-to="abuse@eternal-september.org";
posting-account="U2FsdGVkX1/nhIORooOynmdGvFk9/hbEEBdw1Ef/WtY="
User-Agent: Mozilla Thunderbird

From: Macgreger Nakhimov <rma@ooi.ru>
Organization: A noiseless patient Spider
Injection-Info: dont-email.me; posting-host="48707078e3787a8f0010f4e8b10c6efe";
logging-data="4116824"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+F+t5WO34ssx/mSan6FeWg"
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101
SeaMonkey/2.49.4

Bye

Britain Bakhlaev schrieb:

Mild Shock wrote:

> you dont undrastand aNything about prolog. You dont even know
it's a high level scripting language

high level does not automatically imply scripting language.
high level only refers to such things whether there are some abstraction
from the assembly layer, like

this braindead suckker doesnt even know the prolog is an interpreted scripting language. Then all scripting languages are high-level, idiot. That's they need an interpreter, to interpret, hence not compiled directly
to machine code. As Dr. Myles Baibakov clearly said, to there are many
levels to go through, to achieve the machine code

it looks like just another uneducated former it-supported on the rampage

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

The 'nym-shifting troll, as "Britain Bakhlaev", demonstrated their
cluelessness again:

[...] prolog is an interpreted scripting language.

Nonsense.

<https://en.wikipedia.org/w/index.php?title=Prolog&oldid=1336455074>
--
PointedEars

Twitter: @PointedEars2
Please do not cc me. / Bitte keine Kopien per E-Mail.
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

Don't be so harsh with Mac Neger. They
only have a boiling water driven Prolog

out there in Ethernal Kongo. Also the African
Hut has an internet connection by means

of Quantum Pingeons.

Bye

Thomas 'PointedEars' Lahn schrieb:

The 'nym-shifting troll, as "Britain Bakhlaev", demonstrated their cluelessness again:

[...] prolog is an interpreted scripting language.

Nonsense.

<https://en.wikipedia.org/w/index.php?title=Prolog&oldid=1336455074>

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Mild Shock wrote:

Wellcome to my shape shifter list:

From: Britain Bakhlaev <hav@ahrahbi.ru> Organization: A noiseless
patient Spider

unbelievable it-supporters. No brain whatsoever. This goy felt offended by
not knowing what his prolog is, thinking it was something else
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

fat wanker unemployed it-supporter Thomas 'PointedEars' Lahn stupid like a door:

The 'nym-shifting troll, as "Britain Bakhlaev", demonstrated their cluelessness again:

[...] prolog is an interpreted scripting language.

Nonsense.

eat shit you braindead idiot.
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math


Still trolling and pissing yourself? LoL

Monroe Bavidov schrieb:

Mild Shock wrote:

Wellcome to my shape shifter list:

From: Britain Bakhlaev <hav@ahrahbi.ru> Organization: A noiseless
patient Spider

unbelievable it-supporters. No brain whatsoever. This goy felt offended by not knowing what his prolog is, thinking it was something else

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math


From: Britain Bakhlaev <hav@ahrahbi.ru>
Organization: A noiseless patient Spider
Injection-Info: dont-email.me; posting-host="2866651b00fec9baaeaa9d0034ead0bc";
logging-data="1545019"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX194p+/f8I3N67a2+W80fqcnJUbPFLnHDDk="
X-Face: ${eIb>4]esQKtF6?0M5go=dC)~=]h)wo.?6iYh`%K)WJ|^kut|bK_(WR=C9nJufI
dN}>n_,QdA%GMpu!=i<l@&5io`O,rkO3E3;!zTLk$R#Z5p`k-kc>5g<T1WTD7d~w_V<~[4J
Is?{!bh[TY2>~:#D1=Ci#|(~y@#)(fRhD,*q2EEf+E("SrKkV#,]!X>vq<3$V&(=1PN-8!N
s_%A"Y

Try the X-Face here:

https://www.dairiki.org/xface/xface.php

Britain Bakhlaev schrieb:

Mild Shock wrote:

> you dont undrastand aNything about prolog. You dont even know
it's a high level scripting language

high level does not automatically imply scripting language.
high level only refers to such things whether there are some abstraction
from the assembly layer, like

this braindead suckker doesnt even know the prolog is an interpreted scripting language. Then all scripting languages are high-level, idiot. That's they need an interpreter, to interpret, hence not compiled directly
to machine code. As Dr. Myles Baibakov clearly said, to there are many
levels to go through, to achieve the machine code

it looks like just another uneducated former it-supported on the rampage

--- Synchronet 3.21b-Linux NewsLink 1.2