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])

Path	csiph.com!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic
Subject	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])
Date	Wed, 29 Apr 2026 02:14:53 +0200
Message-ID	<10sriht$13app$2@solani.org> (permalink)
References	<10c46ti$mf1d$1@solani.org> <10ei6rc$1efa$1@solani.org> <10ej57h$227u$2@solani.org> <10srd0a$14g17$2@solani.org>
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	8bit
Injection-Date	Wed, 29 Apr 2026 00:14:53 -0000 (UTC)
Injection-Info	solani.org; logging-data="1157945"; mail-complaints-to="abuse@news.solani.org"
User-Agent	Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.23
Cancel-Lock	sha1:Z2PQghLhl67lGf+ZTfDeEpNpj4k=
X-User-ID	eJwVysERACEIBLCWQNiFK0cU+i/BubwDo/KEE3QMZoLrpqd5fByR9jiN07l1SrPQS/VuUav/ihU41YKLXUh9TLUVjw==
In-Reply-To	<10srd0a$14g17$2@solani.org>
Xref	csiph.com sci.logic:345723

Show key headers only | View raw

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