Big thanks to Ljubljana School [Searching 0xCAFFEE] (Re: Ljubljana School versus Zurich School)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic, sci.physics, comp.lang.prolog
Subject	Big thanks to Ljubljana School [Searching 0xCAFFEE] (Re: Ljubljana School versus Zurich School)
Date	2026-08-03 20:42 +0200
Message-ID	<114qneg$t8ve$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> <114qlu6$t7q2$2@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

I have nevertheless to thank the Ljubljana
School, especially this blog post:

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

Which raised my interest in Hack. Meanwhile
I could produce this toy eample:

"We try to find 0xCAFFEE in enumerating 4
6-bit digits and the baseline is Dogelog
Player VM in a browser. The CPU backend
with 64 logical threads is already 20
times faster, partly due to its 32-bit
specialization. The GPU backend with
4096 logical threads boosts a further
factor of 7 times."

GPU Backend: Find 0xCAFFEE with π-WAM
https://medium.com/2989/8890efd3503c

LoL

Bye

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

Back to sci.logic | Previous | Next — Previous in thread | Find similar | Unroll thread

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