Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > sci.logic > #348344

New addition to π-WAM is π-WAM Assembly (Re: Johnny Depp prevention [Windows 11 etc...])

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.logic, sci.physics, comp.lang.prolog
Subject New addition to π-WAM is π-WAM Assembly (Re: Johnny Depp prevention [Windows 11 etc...])
Date 2026-08-09 19:46 +0200
Message-ID <115aee1$6b75$2@solani.org> (permalink)
References (7 earlier) <11478b2$fv28$2@solani.org> <11478e3$fv28$3@solani.org> <1147921$fvic$2@solani.org> <114om24$s9h3$2@solani.org> <114qeun$t244$2@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw


Hi,

 >>> How do you break out of a loop,

What Hamelt is to English language, is Hack to
Compiler Construction. The playbook of Hack contains
every drama that a Compiler Construction will face.
In the following we show how we realized Project 6:
Assembler from the Nand to Tetris journey via
a little Prolog DSL.

BTW, roughly or maybe not?
Hack (the book) =
Nand to Tetris (the website) =
Nisan, N. and Schocken, S. (the authors)

See also:

π-WAM Assembly: Comfortable Labels and Goto
https://medium.com/2989/1a11dd512813

Have Fun!

Bye


Mild Shock schrieb:
 > Hi,
 >
 > pi-WAM is compiled to Hack VM. You
 > can realize goto's wherever you want. The
 > Hack VM I am using is a variant of:
 >
 > The Elements of Computing Systems
 > Nisan, N. and Schocken, S. - June 15, 2021, MIT Press
 > https://mitpress.mit.edu/9780262539807/the-elements-of-computing-systems/
 >
 > I just combine the 16-bit A and D instructions
 > into single 32-bit instructions. You
 > find a Hack VM interpreter for WebGPU here:
 >
 > 11.4 Giga Lips with a Budget Laptop
 > https://github.com/Jean-Luc-Picard-2021/gigabudget
 >
 > Hava Fun!
 >
 > Bye
 >
 > Mild Shock schrieb:
 >> Hi,
 >>
 >> Using Java sometimes doesn't make me a Java
 >> evangelist. I wouldn't care less about any
 >> programming language, because the idea of
 >>
 >> pi-WAM draws from pi-calculus and WAM. But
 >> since we are in 2026, not many people
 >> might remember pi-calculus:
 >>
 >> Functions as Processes
 >> Robin Milner - June 1989
 >> https://hal.science/docs/00/07/54/05/PDF/RR-1154.pdf
 >>
 >> AI chat bots know pi-calculus from time to
 >> time, while interacting, they spit out
 >> pi-calculus. I have always to tame them,
 >>
 >> and let them cool down, since well, the
 >> pi-calculus doesn't happen directly in the
 >> pi-WAM. Rather in the FFI, which has create
 >>
 >> operations on threads and queue, frankly my
 >> pi-WAM is an extremly crippled, has only
 >> a few primitives from pi-calculus.
 >>
 >> BYe
 >>
 >> Johann 'Myrkraverk' Oskarsson schrieb:
 >>> On 29/07/2026 11:25 PM, Ross Finlayson wrote:
 >>>> On 07/29/2026 08:11 AM, Mild Shock wrote:
 >>>
 >>>>
 >>>> Then, of course, the idea that it naturally employs or "saturates"
 >>>> the processor resources while doing work, in the low-level, yet
 >>>> also has a direct interpretation in higher-level languages, even
 >>>> "higher-level languages without GOTO", has also that it's faster
 >>>> in both machine-organized, compiled, and interpreted environments.
 >>>
 >>> Didn't you say in some other post you've done Java professionally?
 >>>
 >>> How do you break out of a loop, from within a switch () statement
 >>> in Java?  I gather that's simply impossible, because "goto" isn't
 >>> implemented, and the "break" statement doesn't see labels outside
 >>> the switch ()?
 >>>
 >>> Not sure how well that fits within comp.theory, as I haven't sub-
 >>> scribed yet, but perhaps Mild Shock is willing to comment on that
 >>> glaring deficiency in the Java programming language?
 >>>
 >>
 >

Back to sci.logic | Previous | NextPrevious in thread | Next 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