Ljubljana School versus Zurich School (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic, sci.physics, comp.lang.prolog
Subject	Ljubljana School versus Zurich School (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)
Date	2026-08-03 20:16 +0200
Message-ID	<114qlu6$t7q2$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>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.

But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula

compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,

when I read this here:

Finite Algebraic Effects as dicts and such
https://www.philipzucker.com/bdd_term_alg_effects/

I only find gibberish like:
- “Data” is somehow less mysterious to me
   than “computation”.  [..] I don’t even
   know what “computation” really is

- In temporal logic, there is a logic CTL
   which talks about computation trees.

- Algerbaic (LoL) effects is almost a complete
   hackery abuse of the notion of arity
   and that’s neat.

- Then there are 10^10 etc vectors which
   show up if you discretize 3d/4d space. [..]
   or reinforcement learning.

- Etc..

WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments à go go,

possibly a Python brain damage.

But still less sever than Rossy Boys.

Bye

Ross Finlayson schrieb:
 > Hello, here I'll post some design notes and a panel discussion with some
 > chat-bots about making some sense of the "vector-wide scalar word"
 > and "character machines", on commodity hardware about ubiquitous 
operations.
 >
 >
 > It's considered at least tangentially relevant to comp.lang.c and
 > comp.lang.c++ because for example text is ubiquitous and the targets
 > would be low-level, while the higher-level languages would have a
 > same sort of patternry, and for example that libc and cstdlib are
 > standard, and as with regards to POSIX and Unicode and so on.
 >
 > Please feel free to excuse or ignore, or comment as freely.
 >
 > Thanks for reading.
 >

Mild Shock schrieb:
> Hi,
> 
> Thats was fun, maybe somebody did use the Stoic Grisu,
> no delusional digits, only zeros:
> 
> /* Dogelog Player for Java, Dogelog Player for JavaScript */
> 
> ?- between(95,105,N), format('~6f', [pi**N]), nl, fail; true.
> 169526621072093600000000000000000000000000000000.000000
> 532583587347989900000000000000000000000000000000.000000
> 1673160685434943000000000000000000000000000000000.000000
> 5256389317637680000000000000000000000000000000000.000000
> 16513434064698400000000000000000000000000000000000.000000
> 51878483143195920000000000000000000000000000000000.000000
> 162981061522046250000000000000000000000000000000000.000000
> 512020105551926600000000000000000000000000000000000.000000
> 1608558602092203000000000000000000000000000000000000.000000
> 5053435887201532000000000000000000000000000000000000.000000
> 15875837058619354000000000000000000000000000000000000.000000
> true.
> 
> /* Dogelog Player for CPython, Scryer Prolog */
> 
> ?- between(95,105,N), format("~6f", [pi**N]), nl, fail; true.
> 169526621072093604906820176085840076682051977216.000000
> 532583587347989896682185959640830761243896709120.000000
> 1673160685434943094521965146828670065372972449792.000000
> 5256389317637679918948413843353324366868288372736.000000
> 16513434064698399680249672647558109095601897472000.000000
> 51878483143195924744806997083865846970332907307008.000000
> 162981061522046250302000391689502574507182910341120.000000
> 512020105551926606134531253131181174736461909458944.000000
> 1608558602092203016045060452811678201001748662845440.000000
> 5053435887201532208668864202632055738347047857684480.000000
> 15875837058619353962143820726017670908628371861667840.000000
>     true.
> 
> /* SWI-Prolog */
> 
> ?- between(95,105,N), format('~6f', [pi**N]), nl, fail; true.
> 169526621072093767166097005299203468260062265344.000000
> 532583587347990464589654861887602631766932717568.000000
> 1673160685434944717114733438962303981153075331072.000000
> 5256389317637684462208165061327499331052576440320.000000
> 16513434064698415257140248252040994687090885132288.000000
> 51878483143195987052369299501797389336288857948160.000000
> 162981061522046416455499864803986687483065445384192.000000
> 512020105551927104595029672474633513664109514588160.000000
> 1608558602092204677580055183956519330760574013276160.000000
> 5053435887201537525580847342295547353575288979062784.000000
> 15875837058619369912879770145008145754313095225802752.000000
> true.
> 
> The Prolog systems with the delusional digits made my day,
> they even don't agree in the delusional digits itself.

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
          Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:28 +0200
            Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Re: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:29 +0200
              Train yourself to become a nosomatic AI chirurgeon (Re: Forget your Sputnik Commodore C64 with 8088 [Logic Tiling]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:40 +0200
                Homework: Game Engine in WebGPU (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:06 +0200
                Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 18:17 +0200
                But how can you deploy, when its ROM? (Re: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 18:21 +0200
                New addition to π-WAM is π-WAM Assembly (Re: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:46 +0200
              Re: Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Re: Hyperspectral Measurements for Inter-Calibration) Lane W <cactus_DAC@yahoo.com> - 2026-07-27 08:07 -0600
            Brova you enjoy made up nonsense? [Einstein tech cult] (Re: Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:08 +0200
              NVIDIA Einstein and Q8.24 RGB Values [Earth and Star Gazers] (Re: Brova you enjoy made up nonsense?) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:33 +0200
                Just lookup orbital AI and SpaceX (Re: NVIDIA Einstein and Q8.24 RGB Values) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:38 +0200
              Re: Brova you enjoy made up nonsense? [Einstein tech cult] (Re: Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 18:55 -0700
    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
    Ljubljana School versus Zurich School (Re: 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-08-03 20:16 +0200
      Big thanks to Ljubljana School [Searching 0xCAFFEE] (Re: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:42 +0200

csiph-web