Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | sci.logic |
| Subject | This could be a serious security vulnerability (Re: Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI)) |
| Date | 2026-04-29 02:37 +0200 |
| Message-ID | <10srjsg$13bfs$1@solani.org> (permalink) |
| References | <10c46ti$mf1d$1@solani.org> <10ei6rc$1efa$1@solani.org> <10ej57h$227u$2@solani.org> <10srd0a$14g17$2@solani.org> <10sriht$13app$2@solani.org> |
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
>
>
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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