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

Groups > sci.math > #647012

From Unrusting Blade to Unburning Icarus (Re: Prolog Expert Ginis (PEGs) on a Keychain)

Cross-posted to 2 groups.

Show all headers | View raw

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
    about the LogicBiz V.2.0 project!
B: Thank you so much for your kind words
    and encouragement!
A: Thank you so much for your honest and
    heartfelt reply!
B: Thank you so much for your heartwarming
    and supportive reply!
A: Thank you for your openness!
B: Thank you for your valuable feedback!
A: Thank you for sharing such a detailed
    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) —
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 |   | x1 |     | x4 |
>>> | 0 0 1 0 |   | x2 |  =  | x3 |
>>> | 0 1 0 0 |   | x3 |     | x2 |
>>> | 1 0 0 0 |   | x4 |     | 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.
>>
> 

Back to sci.math | Previous | Next | Find similar | Unroll thread

Thread

From Unrusting Blade to Unburning Icarus (Re: Prolog Expert Ginis (PEGs) on a Keychain) Mild Shock <janburse@fastmail.fm> - 2026-07-27 12:19 +0200

csiph-web