From Newsgroup: sci.math

Hi,

NVIDIA has just release RTX 3080 Mini.
Only the size of space bar, it easily
fits into a keyboard:

Nvidia RTX 3080 Mini! The Future of GPUs! https://www.instagram.com/p/C3gbuA8P0eE/

The association of logic programming has
coorperated with Morbid AI Inc. and used
a local GPT builder to bring Prolog

Expert Ginis on a keychain. You can now
easily carry around in your pocket:

Mini Hakan: Ask it anything about
constraint programming, contains the
wealth of CLP examples written in
different CLP dialect.

Mini Paul: Ask it anything about Jini
Prolog VMs. The complete hitchhiker guide
to engineering fabulous sequential
Prolog engines.

Mini Jan: Ask it anything about XPCE
and SWI. More than a manual , rather
a language monument. Fancy easter egg,
contains a complete GUI tracer.

Stay tuned, more to come...

Bye

Mild Shock schrieb:

Hi,

You just escaped AI dooms day. Humanity has
reset all internet and computers as a last resort
to prevent AGI developing, by an electromagnetic

pulse. You are stuck in G|+ttinger Wald and hunted
down a deer by your bare hands, the deer still
confused and tame because tourists were feeding it.

Now you have no knife, what do you do:

Chimpanzees Have Entered The Stone Age https://www.youtube.com/watch?v=wPXX2I_uYjc

So we are just apes with internet.

Bye

Mild Shock schrieb:

Hi,

Ok I was looking at this learning challenge,
producing vector (y1,y2,y3,y4) from a vector
(x1,x2,x3,x4), System R can do it via least square?

| 0 0 0 1 |-a-a | x1 |-a-a-a-a | x4 |
| 0 0 1 0 |-a-a | x2 |-a =-a | x3 |
| 0 1 0 0 |-a-a | x3 |-a-a-a-a | x2 |
| 1 0 0 0 |-a-a | x4 |-a-a-a-a | x1 |

How it started:

"multiplicative RNNs arises naturally from a
proof-theoretic interpretation of next-token
prediction as nested intuitionistic implication"
Paul Tarau - 2026
https://arxiv.org/abs/2601.19915

How its going:

"Dave uses a PDP-11 to train a real Neural
Network complete with Transformers and
Attention so you can see them at their most basic."
Mr. Taskmanager - 2026
https://www.youtube.com/watch?v=OUE3FSIk46g

We see Doctor Frankstein in action from
the Bronze Age of Computing, producing
a Humunkulus, the progenitor of todays

Bulgakov Shuriks in the Hyperscale Age!

Bye

P.S.: My impression neither cut to the core, that
this incredible transformer most likely
produced this deterministic attention:

| -1 | * | k | + | 5 | = | k' |

Or differently expressed y_k = x_{5-k}.

How did the transformer do it? It produced
a neural network with 1216 parameters, but
didn't use embeddings or polar encoding

of positions. But if we strip the noise
and denoise from the position encoding,
the denoise is done via softmax. We somehow

must get the above, right? I still need to
verify my claim! BTW: The PDP-11 assembly
from 1979 uses wider example not with n=4

but with n=8.

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

Statement on the US government https://www.anthropic.com/news/fable-mythos-access

The Government Classified a Chatbot as a Weapon https://www.youtube.com/watch?v=0RxMj0L0-fY

Ha Ha, AI leaders learning that they are
treated as Yuri Orlov, since their models
now do easily recursive self improvement?

But look at the bright size, you don't
need HK staff, which are also a security
risk, if your models are self-improving

anyways. But hey who cares, China has
already countered with Z.ai from Zhipu,
announcing as well at 5:21 pm, that

they will make it open source.

Bye

P.S.: BTW, anybody already using WPS
Office? It has a Copilot, is this
terrifying Microsoft?

Mild Shock schrieb:

Hi,

NVIDIA has just release RTX 3080 Mini.
Only the size of space bar, it easily
fits into a keyboard:

Nvidia RTX 3080 Mini! The Future of GPUs! https://www.instagram.com/p/C3gbuA8P0eE/

The association of logic programming has
coorperated with Morbid AI Inc. and used
a local GPT builder to bring Prolog

Expert Ginis on a keychain. You can now
easily carry around in your pocket:

Mini Hakan: Ask it anything about
constraint programming, contains the
wealth of CLP examples written in
different CLP dialect.

Mini Paul: Ask it anything about Jini
Prolog VMs. The complete hitchhiker guide
to engineering fabulous sequential
Prolog engines.

Mini Jan: Ask it anything about XPCE
and SWI. More than a manual , rather
a language monument. Fancy easter egg,
contains a complete GUI tracer.

Stay tuned, more to come...

Bye

Mild Shock schrieb:

Hi,

You just escaped AI dooms day. Humanity has
reset all internet and computers as a last resort
to prevent AGI developing, by an electromagnetic

pulse. You are stuck in G|+ttinger Wald and hunted
down a deer by your bare hands, the deer still
confused and tame because tourists were feeding it.

Now you have no knife, what do you do:

Chimpanzees Have Entered The Stone Age
https://www.youtube.com/watch?v=wPXX2I_uYjc

So we are just apes with internet.

Bye

Mild Shock schrieb:

Hi,

Ok I was looking at this learning challenge,
producing vector (y1,y2,y3,y4) from a vector
(x1,x2,x3,x4), System R can do it via least square?

| 0 0 0 1 |-a-a | x1 |-a-a-a-a | x4 |
| 0 0 1 0 |-a-a | x2 |-a =-a | x3 |
| 0 1 0 0 |-a-a | x3 |-a-a-a-a | x2 |
| 1 0 0 0 |-a-a | x4 |-a-a-a-a | x1 |

How it started:

"multiplicative RNNs arises naturally from a
proof-theoretic interpretation of next-token
prediction as nested intuitionistic implication"
Paul Tarau - 2026
https://arxiv.org/abs/2601.19915

How its going:

"Dave uses a PDP-11 to train a real Neural
Network complete with Transformers and
Attention so you can see them at their most basic."
Mr. Taskmanager - 2026
https://www.youtube.com/watch?v=OUE3FSIk46g

We see Doctor Frankstein in action from
the Bronze Age of Computing, producing
a Humunkulus, the progenitor of todays

Bulgakov Shuriks in the Hyperscale Age!

Bye

P.S.: My impression neither cut to the core, that
this incredible transformer most likely
produced this deterministic attention:

| -1 | * | k | + | 5 | = | k' |

Or differently expressed y_k = x_{5-k}.

How did the transformer do it? It produced
a neural network with 1216 parameters, but
didn't use embeddings or polar encoding

of positions. But if we strip the noise
and denoise from the position encoding,
the denoise is done via softmax. We somehow

must get the above, right? I still need to
verify my claim! BTW: The PDP-11 assembly
from 1979 uses wider example not with n=4

but with n=8.

--- Synchronet 3.22a-Linux NewsLink 1.2