Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Re: This could be a serious security vulnerability)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic
Subject	Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Re: This could be a serious security vulnerability)
Date	2026-04-29 11:21 +0200
Message-ID	<10ssije$13umd$3@solani.org> (permalink)
References	(1 earlier) <10ei6rc$1efa$1@solani.org> <10ej57h$227u$2@solani.org> <10srd0a$14g17$2@solani.org> <10sriht$13app$2@solani.org> <10srjsg$13bfs$1@solani.org>

Show all headers | View raw

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.

Mild Shock schrieb:
> 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
>>
>>
>

Thread

Clueless Moron and Paid Putin Troll (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:50 +0100
  2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:51 +0100
    Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:52 +0100
      Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 22:52 +0100
      Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:56 +0100
      Re: 2.1 Logical variables and equations (Re: Clueless Moron and Paid Putin Troll) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:58 +0100
        What does Type Free mean? (Re: 2.1 Logical variables and equations) Mild Shock <janburse@fastmail.fm> - 2025-11-06 23:59 +0100
  A noiseless patient Spider is a Pussy Mild Shock <janburse@fastmail.fm> - 2025-11-07 00:03 +0100
  Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2026-04-29 00:40 +0200
    Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI) (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World]) Mild Shock <janburse@fastmail.fm> - 2026-04-29 02:14 +0200
      This could be a serious security vulnerability (Re: Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI)) Mild Shock <janburse@fastmail.fm> - 2026-04-29 02:37 +0200
        Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Re: This could be a serious security vulnerability) Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:21 +0200
    format/3 that does not have some Spaghetti logic (Re: Prolog PIP-0110: Its a Floating-Point Multiverse?) Mild Shock <janburse@fastmail.fm> - 2026-04-30 17:50 +0200

csiph-web