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

Groups > comp.lang.prolog > #15847

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

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 comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

😂 "Plog-like" - that should be the official term! Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:14 +0200
  How deep seek went bonkers (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:23 +0200
  Declarative farts versus MSI Claw AI+, who would win? (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-23 14:35 +0200
    Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction] (Re: Declarative farts versus MSI Claw AI+, who would win?) Mild Shock <janburse@fastmail.fm> - 2025-10-23 15:19 +0200
      The intelligent Cloud, Fog and Edge is evolving (Was: Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction]) Mild Shock <janburse@fastmail.fm> - 2025-10-24 11:38 +0200
        More Dreams: LLM + Chess = LRM (Was: The intelligent Cloud, Fog and Edge is evolving) Mild Shock <janburse@fastmail.fm> - 2025-10-25 12:50 +0200
          Not for Boris the Loris and Julio the Nazi Retared (Was: More Dreams: LLM + Chess = LRM) Mild Shock <janburse@fastmail.fm> - 2025-10-25 13:08 +0200
  Arrow Functions can do Existential Quantifier (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:12 +0100
    Resolving Ambiguity in Negation as Failure Re: Arrow Functions can do Existential Quantifier (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:21 +0100
      Future Outlook of Logic Programming (Was: Resolving Ambiguity in Negation as Failure) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:25 +0100
    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
      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
      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
  2025 Obituary: Skew Confluence (aka “Stews” 😆) (Was: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-07 01:38 +0100
    Backdoor Monkeys from Eternal September (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-07 10:14 +0100
      From Vibe-Coding to Vibe-Sniffing (Re: Backdoor Monkeys from Eternal September) Mild Shock <janburse@fastmail.fm> - 2025-11-07 11:06 +0100
    From Feferman to Peyton Jones, no luck with ∃ (Was: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-08 20:33 +0100
      Taxon (TBox) / Affirm (ABox) was a thing in the 90s? (e: The quantifer ∃ is just the Combinator K (Schönfinkels C)?) Mild Shock <janburse@fastmail.fm> - 2025-11-08 22:30 +0100
  Not Ross Finlayson: Pioneers Cliff B. Jones (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-09 21:18 +0100

csiph-web