Sujet : Re: Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Was: This could be a serious security vulnerability)
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : sci.mathDate : 30. Apr 2026, 17:13:31
Autres entêtes
Message-ID : <G2idnV8uOehI4m70nZ2dnZfqn_qdnZ2d@giganews.com>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 04/29/2026 02:20 AM, Mild Shock wrote:
Hi,
>
>
Ross Finlayson schrieb:
> Or shaves pennies.
>
>>> X-Machines Virtual Machine (XVM™) is a neurosymbolic virtual AI
>>> processor which combines neural processes with symbolic reasoning.
>>> https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe
>
Cost/hour: $200,000.00
>
LoL
>
Bye
>
P.S.: If it could do some quant trading magic, one would
possibly pay so much. But Logtalk is simply too lame:
>
Version release notes
XVM Engine v10.2.4 is the full engine capable of running
all XVM and Logtalk programs, excluding for logtalk tools.
>
On 04/28/2026 05:38 PM, Mild Shock wrote:
Hi,
>
The 9122171.18175435 is a little offending, what if one
keeps a federal secret after the 6 fraction digit?
>
Bye
>
Mild Shock schrieb:
Hi,
>
Ok, leaving the beaten path of my Prolog system
probing, and look at some newer beast.
>
This looks bad:
>
?- format('~6f', [pi**14]), nl.
9122171.18175435
>
Expected result:
>
?- format('~6f', [pi**14]), nl.
9122171.181754
>
Bye
>
BTW: Tested using this test tester:
>
X-Machines Virtual Machine (XVM™) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning.
https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe
>
Mild Shock schrieb:
>>> See also:
>>> https://prolog-lang.org/ImprovementsForum/0110-format.html
>
>
>
>
Or shaves pennies.
>
>
>
Those "traders" who seek "liquidity"
and "investors" who seek "safety",
have that those traders weren't investors
and now there's no liquidity and they got no safety
and now they get nothing.
Haut de la page
Les messages affichés proviennent d'usenet.
NewsPortal