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

Groups > sci.physics.relativity > #671998

Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: From Unrusting Blade to Unburning Icarus)

Cross-posted to 2 groups.

Show all headers | View raw

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(
   eq(f(b, a), f(b, a)),
   proof(
     goal(eq(f(b, a), f(b, a))),
     by(fact("<input>", clause(1))),
     bindings([binding("Z", f(b, 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
>     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.physics.relativity | Previous | Next — Previous in thread | Next in thread | 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
  Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: From Unrusting Blade to Unburning Icarus) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:20 +0200
    Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: From Unrusting Blade to Unburning Icarus) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:29 +0200

csiph-web