Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| 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.
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 | 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
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