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.
Hi,
Now the SWI community has create a new circus
example, probably AI generated by a prompt
enginerring, add a silly greeting line:
A: Thank you so much for sharing information
-a-a about the LogicBiz V.2.0 project!
B: Thank you so much for your kind words
-a-a and encouragement!
A: Thank you so much for your honest and
-a-a heartfelt reply!
B: Thank you so much for your heartwarming
-a-a and supportive reply!
A: Thank you for your openness!
B: Thank you for your valuable feedback!
A: Thank you for sharing such a detailed
-a-a and impressive technical breakdown!
B: Thank you for the detailed breakdown!
A: Thank you for the fascinating perspective! https://swi-prolog.discourse.group/t/the-unrusting-blade-an-offline-first-logicbiz-v-2-0-powered-by-swi-prolog-sqlcipher-reply-01/9752
The pinacle of their "logic programming":
"Barcode Scanners & EDC inputs: Barcode scanners
inherently act as Human Interface Devices (HID) rCo
meaning they just inject keyboard strokes into
the active field. Since my input terminal is
already standard web HTML, a physical USB/Bluetooth
scanner works instantly out-of-the-box without
needing complex C/C++ bindings or custom drivers
in Prolog. The same applies to manually
entering EDC trace codes." https://swi-prolog.discourse.group/t/the-unrusting-blade-an-offline-first-logicbiz-v-2-0-powered-by-swi-prolog-sqlcipher-reply-01/9752
Thank you for your unhinged nonsense!
Bye
P.S.: Isn't following georgi gerganov or
andrej karpathy more exciting. What if you
want to integrate a chatbot into your web
storefront, which is not a point of sale,
but a pizza ordering web site? Do it with
uber eats out of the box. Are we already lost?
Or can we rise without burning?
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.
Hi,
Its interesting that we already have
like for 50 years the Curry Howard
isomorphims, as proof justifications terms,
Still it seems extremly hard to generate
proof certificates for Prolog, isn't it?
How it started:
Ai x Big Gas. What could go wrong? https://www.youtube.com/watch?v=kON2ZI2BNj8
How its going:
eq(Z,Z).
why eq(f(X,a),f(b,Y))
eq(f(b, a), f(b, a)).
why(
-a eq(f(b, a), f(b, a)),
-a proof(
-a-a-a goal(eq(f(b, a), f(b, a))),
-a-a-a by(fact("<input>", clause(1))),
-a-a-a bindings([binding("Z", f(b, a))])
-a )
).
https://eyereasoner.github.io/eyeprolog/playground
Truely some bullshit authorized by Sarah Connor.
So far there is no danger of an upcoming
Skynet that will gain self-awareness.
Bye
Mild Shock schrieb:
Hi,
Now the SWI community has create a new circus
example, probably AI generated by a prompt
enginerring, add a silly greeting line:
A: Thank you so much for sharing information
-a-a-a about the LogicBiz V.2.0 project!
B: Thank you so much for your kind words
-a-a-a and encouragement!
A: Thank you so much for your honest and
-a-a-a heartfelt reply!
B: Thank you so much for your heartwarming
-a-a-a and supportive reply!
A: Thank you for your openness!
B: Thank you for your valuable feedback!
A: Thank you for sharing such a detailed
-a-a-a and impressive technical breakdown!
B: Thank you for the detailed breakdown!
A: Thank you for the fascinating perspective!
https://swi-prolog.discourse.group/t/the-unrusting-blade-an-offline-first-logicbiz-v-2-0-powered-by-swi-prolog-sqlcipher-reply-01/9752
The pinacle of their "logic programming":
"Barcode Scanners & EDC inputs: Barcode scanners
inherently act as Human Interface Devices (HID) rCo
meaning they just inject keyboard strokes into
the active field. Since my input terminal is
already standard web HTML, a physical USB/Bluetooth
scanner works instantly out-of-the-box without
needing complex C/C++ bindings or custom drivers
in Prolog. The same applies to manually
entering EDC trace codes."
https://swi-prolog.discourse.group/t/the-unrusting-blade-an-offline-first-logicbiz-v-2-0-powered-by-swi-prolog-sqlcipher-reply-01/9752
Thank you for your unhinged nonsense!
Bye
P.S.: Isn't following georgi gerganov or
andrej karpathy more exciting. What if you
want to integrate a chatbot into your web
storefront, which is not a point of sale,
but a pizza ordering web site? Do it with
uber eats out of the box. Are we already lost?
Or can we rise without burning?
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.
| Sysop: | Amessyroom |
|---|---|
| Location: | Fayetteville, NC |
| Users: | 74 |
| Nodes: | 6 (0 / 6) |
| Uptime: | 52:42:44 |
| Calls: | 1,101 |
| Calls today: | 1 |
| Files: | 1,339 |
| Messages: | 276,187 |