Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > sci.math > #646933 > unrolled thread
| Started by | Mild Shock <janburse@fastmail.fm> |
|---|---|
| First post | 2026-07-22 21:00 +0200 |
| Last post | 2026-09-22 18:05 +0200 |
| Articles | 20 on this page of 175 — 18 participants |
Back to article view | Back to sci.math
The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-22 21:00 +0200
Deadlock Exorcism: Switch from Push to Pull [A pi-calculus Specification of Prolog] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 00:23 +0200
Why do you even need a mpmc queue? [Thunder Kittens] (Re: Deadlock Exorcism: Switch from Push to Pull) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:43 +0200
Trivial balancing example for (int i=0; i<global_id; i++) (Re: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:57 +0200
Enqueue/dequeue need not be fast and can spinn ["fairness" questions] (Was: Trivial balancing example for (int i=0; i<global_id; i++)) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:11 +0200
The Pixel Phone AI Experiment Song (Re: Enqueue/dequeue need not be fast and can spinn ["fairness" questions] ) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:21 +0200
Re: Why do you even need a mpmc queue? [Thunder Kittens] (Re: Deadlock Exorcism: Switch from Push to Pull) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-23 08:24 -0700
Potential Python Recovery: Free Threading [3.13 release] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 10:19 +0200
Re: Potential Python Recovery: Free Threading [3.13 release] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Ross Valikhanov <kavna@rl.ru> - 2026-07-23 16:01 +0000
Re: The Wuhan Virus that destroyed Python [ggml Manifesto] Ramon Dubenkov <omd@nnk.ru> - 2026-07-23 13:38 +0000
The things XILINX braught to the AMD table (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 18:47 +0200
NIVIDIA evacuated its Chinese market [Tau Scaling] (Was: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-23 19:11 +0200
NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-23 19:12 +0200
Re: NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Lane W <cactus_DAC@yahoo.com> - 2026-07-23 11:22 -0600
Micro penis mother sung arias (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 14:38 +0200
Re: Micro penis mother sung arias (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 07:15 -0600
Micro penis brain is in constant hiatus (Was: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:24 +0200
Re: Micro penis brain is in constant hiatus (Was: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:36 +0200
Ignoramus or Ignorabimus: I don't care (π-WAM) (Re: Micro penis brain is in constant hiatus) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:38 +0200
Re: Ignoramus or Ignorabimus: I don't care (π-WAM) (Re: Micro penis brain is in constant hiatus) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 08:31 -0600
You are a moron, brainless putin payed (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:01 +0200
Re: You are a moron, brainless putin payed (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 10:27 -0600
Yeah keep reading my posts, uninspired fool (Was: You are a moron, brainless putin payed) Mild Shock <janburse@fastmail.fm> - 2026-07-24 19:45 +0200
Re: Yeah keep reading my posts, uninspired fool (Was: You are a moron, brainless putin payed) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 12:11 -0600
LoL (Was: Yeah keep reading my posts, uninspired fool ) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:12 +0200
Re: LoL (Was: Yeah keep reading my posts, uninspired fool ) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 12:53 -0600
Out of the blue accusation span 15 days [Empirical USENET study] (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:26 +0200
A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:40 +0200
Re: A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mantra Mahonov <hnaam@aat.ru> - 2026-07-29 21:15 +0000
I didn't use a Ryzen Halo, whats wrong with you? (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:24 +0200
Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:06 +0200
Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) Lane W <cactus_DAC@yahoo.com> - 2026-08-03 13:16 -0600
Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:54 -0700
No you didn't try, you only spammed old code (Was: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:15 +0200
Food for thought: Bayesian Experimental Designer (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:47 +0200
ASML stocks are plunging, bye bye dutchies (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-28 14:17 +0200
Little Data Center on Your Palm [AI Laptops for 500 USD] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-24 17:58 +0200
2008: 4 Blades + Tesla S1070 versus 2026: 1 AI Laptop (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:16 +0200
Re: Little Data Center on Your Palm [AI Laptops for 500 USD] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto] Bradford Babkoff <ffb@odbb.ru> - 2026-07-24 18:05 +0000
LoL (Was: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:11 +0200
Budget AI Laptop 2026 versus Cray T3D 1995 (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:23 +0200
Re: Budget AI Laptop 2026 versus Cray T3D 1995 (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:16 -0700
Hurry the blue bus doesnt stop indefinitely (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:36 +0200
Not SIMD, a MIMD design for NVIDIA Volta (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:57 +0200
Could take 3-4 months find machine / browser (Was Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-24 21:15 +0200
The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-26 19:52 +0200
The turbo capping of AI Laptops (Re: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-26 20:01 +0200
Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-26 20:33 -0700
Why forget Bulgarians, never on my mind (Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:14 +0200
miniTriton CUDA is an alternative to torch variants (Was: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:40 +0200
Andrej Karpathy original gangster of Budget Laptop (Was: miniTriton CUDA is an alternative to torch variants) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:51 +0200
Re: Andrej Karpathy original gangster of Budget Laptop (Was: miniTriton CUDA is an alternative to torch variants) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:41 -0700
Re: Why forget Bulgarians, never on my mind (Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:38 -0700
The evolution of hardware and GPT-2 training (Was: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 10:56 +0200
How speed up π-WAM with vector operations (Was: The evolution of hardware and GPT-2 training) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:08 +0200
AI accelerator extend from GPU to CPU [Zero Copying] (Was: How speed up π-WAM with vector operations) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:21 +0200
The invention of vector and matrix registers [NVIDIA Volta] (Was: AI accelerator extend from GPU to CPU [Zero Copying]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 13:20 +0200
Maybe they should have named it NVIDIA Einstein [Rossy Boy Toe Sucking] (Re: The invention of vector and matrix registers [NVIDIA Volta] (Was: AI accelerator extend from GPU to CPU [Zero Copying]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:14 +0200
π-WAM is not adding decimals, it is removing decimals (Re: The invention of vector and matrix registers [NVIDIA Volta]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:36 +0200
In Budget Laptops the TOPS come with low energy footprint (Was: π-WAM is not adding decimals, it is removing decimals) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:44 +0200
Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:55 +0200
Potato Computer owner impressed by Ukraine Tech [Rossy Boys Brother?] (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-07-27 16:57 +0200
The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: Communism will Save Us! [Pivot Russia for China]) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:35 +0200
Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness" [Anthropic AI Text Hacked]) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:48 +0200
Re: Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness" [Anthropic AI Text Hacked]) Lane W <cactus_DAC@yahoo.com> - 2026-08-20 11:52 -0600
The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:30 +0200
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry the blue bus doesnt stop indefinitely) Lopaz Talagaev <alz@alv.ru> - 2026-09-21 17:29 +0000
New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:42 +0200
Pontifex Codex the idea of "right and natural" (Re: New! P(tao) versus the Euler Turbine [Navier Stokes]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 09:27 +0200
Got it. Or are you too stupid? [New Usenet Mantra] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 19:00 +0200
Re: Got it. Or are you too stupid? [New Usenet Mantra] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Kim Baitchorov <bvhkoc@bmc.ru> - 2026-07-27 22:38 +0000
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-28 11:29 +0200
confused rossy boy is confused (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:20 +0200
Gemini, DeepSeek, OpenAI more clever than rossy boy (Re: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:21 +0200
In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:29 +0200
Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:49 +0200
Your strictness is your problem , not mine [See WebLLM] (Re: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:51 +0200
Re: In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Lane W <cactus_DAC@yahoo.com> - 2026-07-29 07:06 -0600
Re: In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:20 -0700
You are still chewing on SIMD. LoL (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:14 +0200
Hurry Rossy Boy, the blue bus is waiting (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:54 +0200
Look how they advertized CUDA and logical threads (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:56 +0200
Forget any arithmetization of product FSA (Re: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:57 +0200
Re: You are still chewing on SIMD. LoL (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 10:48 -0700
Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:03 +0200
I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:24 +0200
Re: I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 12:27 -0700
Re: I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:40 -0700
Re: I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-03 17:05 -0700
Do a YouTube video about it (Was: I don't use Rust, you are crazy) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:00 +0200
Standing on the shoulders of giants (Was: Do a YouTube video about it) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:16 +0200
Re: Standing on the shoulders of giants (Was: Do a YouTube video about it) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 06:10 -0700
You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:16 +0200
Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 06:32 -0700
How Rossy Boys plagiarism works [Copy Paste Slop] (Was: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:54 +0200
tatistics gave up, no salient truth [Signal Collapse] (Re: How Rossy Boys plagiarism works [Copy Paste Slop]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 18:21 +0200
Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 18:23 +0200
Re: Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 20:13 -0700
Re: Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:08 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:51 +0200
A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:12 +0200
Re: A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Alexey Bessonov <nexes@ebxsvs.ru> - 2026-07-29 21:24 +0000
Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:26 +0200
I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:35 +0200
Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:49 +0200
For WebGPU I first had SIMD in mind (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:50 +0200
Corr.: 4 Months --> 4 Weeks (Re: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:05 +0200
MIPS is a big Huffman mess [But Hack could do it] (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:30 +0200
Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:42 +0200
Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:45 +0200
Re: Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Jereb Pohlebaev <obje@bbvoeoaa.ru> - 2026-07-31 20:23 +0000
Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:41 +0200
The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) Mild Shock <janburse@fastmail.fm> - 2026-09-04 11:48 +0200
Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 14:18 +0200
Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution])) Mild Shock <janburse@fastmail.fm> - 2026-09-05 16:26 +0200
Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:02 +0200
AI Accelerators and ISO Prolog multi-threading (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:01 +0200
Actor/Erlang is dead, no Thread and Mailbox conflation [golang channels] (Was: AI Accelerators and ISO Prolog multi-threading) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:05 +0200
Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Was: Actor/Erlang is dead, no Thread and Mailbox conflation) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:29 +0200
Re: Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-08-01 04:10 +0200
Tablet and phone UBS-C remote debugging (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:17 +0200
NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Was: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:09 +0200
First AI laptops, now AI single-boarders [Budget, Budget, ..] (Re: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:08 +0200
Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) Mild Shock <janburse@fastmail.fm> - 2026-08-31 18:03 +0200
Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:52 +0200
Giga Lips for Prolog based Chatting (Re: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:56 +0200
Google holds the keys to the AI kingdom [WebClaw Dominance] (Re: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:46 +0200
Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:47 +0200
npm install webgpu [Google Dawn] (Was: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 03:01 +0200
GPU elasticity was already invented in 2008 with CUDA (Re: npm install webgpu [Google Dawn]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:59 +0200
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 00:34 +0800
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:41 -0700
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 11:13 -0700
Pro Gauss-Jordan Reduction, Phigs and Phigs+ (was: Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 02:27 +0800
Re: Pro Gauss-Jordan Reduction, Phigs and Phigs+ Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 02:35 +0800
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 12:42 -0700
You posted that already, but you didn't listen [I NEED BOUNDED QUEUES] (Was: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:09 +0200
Summary of 100 questions Chris M. Thomasson can ask (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:17 +0200
Summary of 100 questions Chris M. Thomasson can ask (Re: You posted that already, but you didn't listen) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:20 +0200
Re: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES] (Was: Chris M. Thomasson can ask 100 more questions) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:55 -0700
Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:16 +0200
Re: Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Rosalino Kablahov <oaror@vla.ru> - 2026-08-03 21:50 +0000
Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama] ) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:21 +0200
Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Was: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama] ) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:17 +0200
Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:49 +0200
Even send_color and recv_color can block [Cerebras Waver] Re: The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:33 +0200
GPU Elasticity: Collective Communications Libraries (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-07 14:34 +0200
What are Flits and Phits? [Network on a Chip] (Re: GPU Elasticity: Collective Communications Libraries) Mild Shock <janburse@fastmail.fm> - 2026-08-07 18:06 +0200
The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:23 +0200
The luminaries of duct-tape engineering [Sweeney and Torvald] (Re: The Mac Neo is a Budget Monster [GPU Channels]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:56 +0200
Re: The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) Ariquer Mihailov <ii@eor.ru> - 2026-08-11 15:16 +0000
Cristallina: Thank you for the Beam (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 21:21 +0200
Giant Shoulders for AI Surprises (Re: Cristallina: Thank you for the Beam) Mild Shock <janburse@fastmail.fm> - 2026-08-18 14:58 +0200
Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:24 +0200
How to shoot yourself in the foot (Re: Loderunner Enemy AI better than SWI-Prolog?) Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:47 +0200
Re: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Lane W <cactus_DAC@yahoo.com> - 2026-08-18 08:59 -0600
William A. Howard solved all his 99 problems (Was: Loderunner Enemy AI better than SWI-Prolog?) Mild Shock <janburse@fastmail.fm> - 2026-08-23 01:46 +0200
Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 20:40 +0200
Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Mild Shock <janburse@fastmail.fm> - 2026-09-12 11:27 +0200
Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn)) Mild Shock <janburse@fastmail.fm> - 2026-09-12 12:11 +0200
Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:33 +0200
More from the Trailer Park Boys (Was: Mojo: The Small Hands Paradox) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:41 +0200
Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:27 +0200
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-16 08:41 -0700
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-16 09:44 -0700
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-17 09:40 -0700
Kundalini III: Modus Barbara versus Stock Pumping (Was: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:01 +0200
Re: Kundalini III: Modus Barbara versus Stock Pumping (Was: Interdisplinary Research for kill -9 (SIGKILL)) Walton Havanov <nnht@vla.ru> - 2026-09-19 16:02 +0000
The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:26 +0200
Re: The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-09-23 00:36 +0800
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Branden Baraboshkin <naoea@kiadi.ru> - 2026-09-19 15:39 +0000
Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:03 +0200
The Ben Goertzel talkie genes (Was: Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:05 +0200
Page 6 of 9 — ← Prev page 1 2 3 4 5 [6] 7 8 9 Next page →
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2026-08-05 13:08 -0700 |
| Subject | Re: Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) |
| Message-ID | <1150572$39ub2$2@dont-email.me> |
| In reply to | #647152 |
On 8/4/2026 8:13 PM, Ross Finlayson wrote: > On 08/04/2026 09:23 AM, Mild Shock wrote: >> Hi, >> >> Even statistics gave up in the face of >> the copy pasta slop by Rossy Boy. There >> simply no salient truth in it anymore. >> >> Although the output token window gets >> bigger and bigger, but if the propability >> for a salient truth is low p = (1/2)^k >> >> for k big, then a N wide output token window, >> is justa kind of N times repeated Bernoulli >> experiment, leading to not much more >> >> than a Binomial distribution: >> >> https://en.wikipedia.org/wiki/Binomial_distribution >> >> p = 1/2 would still have a mean value >> of N/2 salient truths, with the drawback >> of maximum variance N/4, on the other hand >> >> p = (1/2)^k for k big has only mean >> value N/2^k and 2^k as a function grows >> faster than N as a function. And variance >> >> is much lower N/2^k*(1-1/2^k), so you >> are either cornered in the left or right >> corner. Somehow explains why I can post >> >> whatever I want and it makes sense, while >> Rossy Boy can post what ever he wants and it >> doesn't make any sense. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Rossy Boy was a generative AI before >>> the term existed. All his postes are huge >>> piles of copy pasta slop. >>> >>> Not a single original thought, or even >>> some understanding what he writes. Nowadays >>> he uses Kimi to produce his copy pasta >>> >>> slop. One result from his paper mill, >>> Even a bibliograph cannot help here. >>> >>>> RF — transcript received and read. The session closed well. What we >>>> mapped out across these rounds is, to my mind, a credible foundation: >>>> two matcher normal forms (AND for properties, XOR for code-points), a >>>> validated SSE2 smearing sequence via Claude's S1/S2 sketch, a closed >>>> calling convention with explicit ABI spill gates, and the SBC-less >>>> design mantra as a gradient rather than a boolean. The open items — >>>> stack tagging, AST wire format, bit-granular Viswath boundaries — are >>>> properly scoped for next time rather than lost. >>> >>> "bit-granular Viswath boundaries" LoL >>> >>> It probably refers to Rossy Boys "Wish he >>> knew What" he is talking about, Viswath is his >>> alter ego projection: >>> >>> The unbounded gibber polymath. >>> >>> Bye >>> >>> Ross Finlayson schrieb: >>>> On 08/04/2026 06:16 AM, Mild Shock wrote: >>>> Anyways, that's why we have a bibliography, >>>> when writing something "new", to provide >>>> the paths to all the sources. >> > > Hm, was "too high on self, rude to passersby, ignorant, > duplicitous", now either "illiterate" or "libelous/slanderous". > > That bot's got some wires crossed, maybe COVID caught up > with its sock-puppet groper and the projections about > brain problems are compounding its various other > ailments and maladies. Scary! [...]
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 22:51 +0200 |
| Subject | Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Rossy Boys tears could cool a data center) |
| Message-ID | <114dp4q$kf2n$3@solani.org> |
| In reply to | #647048 |
Hi, > Who exactly is the thief? Does this person > have stats in the Rogue class in dungeons > and dragons? The conspiracy theory of a stealing of Torso VDBE, by Rossy Boy, is probably a result of complete ignorance of the Hack ecosystem. Hack is a very popular computer science project, with a couple of subprojects in hardware and software. It goes also by the name Nand to Tetris, and is programming language agnositic. You can do Hack experiments in any programming language, be it BASIC, ADA or Rust. Nobody cares. The gist are projects like here, first to educate yourself about Hack: https://www.nand2tetris.org/course And then to use Hack in different contexts: https://www.nand2tetris.org/copy-of-talks For didactic purposes, I used Hack for my WebGPU experiment. I didn't even take a look at Torso VDBE, why should I? Hack is nicely documented, has even a book, and fusing the two 16-bit instruction types A and D, into a single 32-bit instruction stream, is nowhere patented. Bye Mild Shock schrieb: > Hi, > > Rossy Boys tears could cool a data center, > he thinks there exists no literature about > serial algorithms of parallel stuff, and > > he also thinks normal forms lead to optimizing > something. LoL, what a utter bullshit. I did > alreay a serial implementation of a parallel > > simulation of my pi-WAM. Just lookup the literature > about pi-calulus. I published it a few days ago, > its part of 2.2.4 released already: > > Parallel π-WAM: An Interleaved Synchronous Emulator > https://medium.com/2989/0196089e143a > > Whats your point, Rossy Boy? Except you post pretend > nonsense not knowing what you are doing? > > Bye > > Ross Finlayson schrieb: >> No, troll, these are serial algorithms their optimized forms. >> >> Normal sorts of forms, .... >> >> >> Yeah, everybody already figured out "interpreters" and >> "programs" and "spawning". >> >> Go spawn yourself. >> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 23:12 +0200 |
| Subject | A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) |
| Message-ID | <114dqbs$kfq8$3@solani.org> |
| In reply to | #647052 |
Hi, This seems to be a funny Q16.16 experiment. It shows that an integerish Hack can do floatish stuff, by using binary fixpoint: Raytracing on the Hack computer 2021/06/13 - im alex https://blog.alexqua.ch/posts/from-nand-to-raytracer/ That it uses Rust is arbitrary. Feel free to do it in C, C++, FORTRAN or Java. I guess these languages all have basic arithmethic, right? Maybe not a long jump always? Bye Mild Shock schrieb: > Hi, > > > Who exactly is the thief? Does this person > > have stats in the Rogue class in dungeons > > and dragons? > > The conspiracy theory of a stealing of Torso VDBE, > by Rossy Boy, is probably a result of complete > ignorance of the Hack ecosystem. > > Hack is a very popular computer science project, > with a couple of subprojects in hardware and > software. It goes also by the name Nand to Tetris, > > and is programming language agnositic. You can do > Hack experiments in any programming language, be > it BASIC, ADA or Rust. Nobody cares. > > The gist are projects like here, first to > educate yourself about Hack: > > https://www.nand2tetris.org/course > > And then to use Hack in different contexts: > > https://www.nand2tetris.org/copy-of-talks > > For didactic purposes, I used Hack for my WebGPU > experiment. I didn't even take a look at Torso > VDBE, why should I? Hack is nicely documented, > > has even a book, and fusing the two 16-bit > instruction types A and D, into a single 32-bit > instruction stream, is nowhere patented. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Rossy Boys tears could cool a data center, >> he thinks there exists no literature about >> serial algorithms of parallel stuff, and >> >> he also thinks normal forms lead to optimizing >> something. LoL, what a utter bullshit. I did >> alreay a serial implementation of a parallel >> >> simulation of my pi-WAM. Just lookup the literature >> about pi-calulus. I published it a few days ago, >> its part of 2.2.4 released already: >> >> Parallel π-WAM: An Interleaved Synchronous Emulator >> https://medium.com/2989/0196089e143a >> >> Whats your point, Rossy Boy? Except you post pretend >> nonsense not knowing what you are doing? >> >> Bye >> >> Ross Finlayson schrieb: >>> No, troll, these are serial algorithms their optimized forms. >>> >>> Normal sorts of forms, .... >>> >>> >>> Yeah, everybody already figured out "interpreters" and >>> "programs" and "spawning". >>> >>> Go spawn yourself. >>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Alexey Bessonov <nexes@ebxsvs.ru> |
|---|---|
| Date | 2026-07-29 21:24 +0000 |
| Subject | Re: A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) |
| Message-ID | <114dr38$3e0b7$2@news.nntp4.net> |
| In reply to | #647053 |
Mild Shock wrote: > That it uses Rust is arbitrary. Feel free to do it in C, C++, FORTRAN or > Java. I guess these languages all have basic arithmethic, this is nothing, voice to code, you speak your prompt and the comes out on the other side in any language you want, it makes no difference. the same with mathematics, speak your equations and the answer comes through the other side.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 11:26 +0200 |
| Subject | Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) |
| Message-ID | <114f5c5$lao5$3@solani.org> |
| In reply to | #647053 |
Hi,
Woa! Thats a very sad and non fitting statement:
"This was before I was indoctrinated into
ISO Prolog and the ways of monotonic logic
programming. Shen Prolog has many semantic
and syntactic limitations that Scryer Prolog
does not. Also, I now know constraints are a
much better, purer solution to the problems
mode declarations were meant to address"
https://github.com/mthom/scryer-prolog/issues/3410#issuecomment-5030471183
Ok, here is the summer challenge, thats the easy one:
SQL --> Prolog --> WAM
Here come two variations, slightly mindboggling maybe?
SQL --> AST --> VDBE
SQL --> Prolog+Modes --> π-WAM
Bye
BTW: What is VDBE? Some abstract machine, that can
be used to run SQL, following some ideas here:
Database Co-Design With Asynchronous I/O
https://penberg.org/papers/penberg-edgesys24.pdf
Or to run Doom:
Doom on the Turso VDBE
https://github.com/tursodatabase/turso-vdbe-doom-example
What if we would run Doom with π-WAM, on a GPU,
using multiple shaders. We could add some ray tracing.
Mild Shock schrieb:
> Hi,
>
> This seems to be a funny Q16.16 experiment.
> It shows that an integerish Hack can do
> floatish stuff, by using binary fixpoint:
>
> Raytracing on the Hack computer
> 2021/06/13 - im alex
> https://blog.alexqua.ch/posts/from-nand-to-raytracer/
>
> That it uses Rust is arbitrary. Feel free
> to do it in C, C++, FORTRAN or Java. I guess
> these languages all have basic arithmethic,
>
> right? Maybe not a long jump always?
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> > Who exactly is the thief? Does this person
>> > have stats in the Rogue class in dungeons
>> > and dragons?
>>
>> The conspiracy theory of a stealing of Torso VDBE,
>> by Rossy Boy, is probably a result of complete
>> ignorance of the Hack ecosystem.
>>
>> Hack is a very popular computer science project,
>> with a couple of subprojects in hardware and
>> software. It goes also by the name Nand to Tetris,
>>
>> and is programming language agnositic. You can do
>> Hack experiments in any programming language, be
>> it BASIC, ADA or Rust. Nobody cares.
>>
>> The gist are projects like here, first to
>> educate yourself about Hack:
>>
>> https://www.nand2tetris.org/course
>>
>> And then to use Hack in different contexts:
>>
>> https://www.nand2tetris.org/copy-of-talks
>>
>> For didactic purposes, I used Hack for my WebGPU
>> experiment. I didn't even take a look at Torso
>> VDBE, why should I? Hack is nicely documented,
>>
>> has even a book, and fusing the two 16-bit
>> instruction types A and D, into a single 32-bit
>> instruction stream, is nowhere patented.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Rossy Boys tears could cool a data center,
>>> he thinks there exists no literature about
>>> serial algorithms of parallel stuff, and
>>>
>>> he also thinks normal forms lead to optimizing
>>> something. LoL, what a utter bullshit. I did
>>> alreay a serial implementation of a parallel
>>>
>>> simulation of my pi-WAM. Just lookup the literature
>>> about pi-calulus. I published it a few days ago,
>>> its part of 2.2.4 released already:
>>>
>>> Parallel π-WAM: An Interleaved Synchronous Emulator
>>> https://medium.com/2989/0196089e143a
>>>
>>> Whats your point, Rossy Boy? Except you post pretend
>>> nonsense not knowing what you are doing?
>>>
>>> Bye
>>>
>>> Ross Finlayson schrieb:
>>>> No, troll, these are serial algorithms their optimized forms.
>>>>
>>>> Normal sorts of forms, ....
>>>>
>>>>
>>>> Yeah, everybody already figured out "interpreters" and
>>>> "programs" and "spawning".
>>>>
>>>> Go spawn yourself.
>>>>
>>>>
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 19:35 +0200 |
| Subject | I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) |
| Message-ID | <114g21k$m15d$2@solani.org> |
| In reply to | #647052 |
Hi, > Just downloading some other person's code I didn't do that, I wrote Hack VM for pi-WAM from scratch, over the last 4 weeks. I came back from holidays on end of June 2026, and now we have end of July 2026. But its only possible because the instruction set is very smal, like ca. 8 functions and ca. 8 modes and ca. 8 conditions, so its ca. 8 x 8 x 8 = 512 opcodes, each has an A parameter and a D parameter simultaneously. It has currently the following CPU backends: - Now supports interleaved synchronous emulation. - Now supports warp parallelism via Java platform threads. - Now supports warp parallelism via Python system threads. - Now supports warp parallelism via JavaScript worker threads. - Note: For Python free threads are not yet fully tested. - Note: For JavaScript web workers are not yet fully tested. https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html But frankly I came to encounter Hack not from the usual university curriculum web resources, but indirectly through a post about a Prolog emulation of Hack, using constrained horn clauses (CHC): Verifying Nand2Tetris Assembly https://www.philipzucker.com/nand2tetris-chc/ The binary encoding is currently that the functions, modes and conditions eat up a nibble (4-bit), in total 12-bit, which I use then 10-bit for A parameter and 10-bit for D parameter. I used AI freemium, Codex by ChatGPT from within IntelliJ to do some fragment code translations automatically from Java to JavaScript or from JavaScript to Python. Have Fun! Bye Mild Shock schrieb: > Hi, > > > Who exactly is the thief? Does this person > > have stats in the Rogue class in dungeons > > and dragons? > > The conspiracy theory of a stealing of Torso VDBE, > by Rossy Boy, is probably a result of complete > ignorance of the Hack ecosystem. > > Hack is a very popular computer science project, > with a couple of subprojects in hardware and > software. It goes also by the name Nand to Tetris, > > and is programming language agnositic. You can do > Hack experiments in any programming language, be > it BASIC, ADA or Rust. Nobody cares. > > The gist are projects like here, first to > educate yourself about Hack: > > https://www.nand2tetris.org/course > > And then to use Hack in different contexts: > > https://www.nand2tetris.org/copy-of-talks > > For didactic purposes, I used Hack for my WebGPU > experiment. I didn't even take a look at Torso > VDBE, why should I? Hack is nicely documented, > > has even a book, and fusing the two 16-bit > instruction types A and D, into a single 32-bit > instruction stream, is nowhere patented. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Rossy Boys tears could cool a data center, >> he thinks there exists no literature about >> serial algorithms of parallel stuff, and >> >> he also thinks normal forms lead to optimizing >> something. LoL, what a utter bullshit. I did >> alreay a serial implementation of a parallel >> >> simulation of my pi-WAM. Just lookup the literature >> about pi-calulus. I published it a few days ago, >> its part of 2.2.4 released already: >> >> Parallel π-WAM: An Interleaved Synchronous Emulator >> https://medium.com/2989/0196089e143a >> >> Whats your point, Rossy Boy? Except you post pretend >> nonsense not knowing what you are doing? >> >> Bye >> >> Ross Finlayson schrieb: >>> No, troll, these are serial algorithms their optimized forms. >>> >>> Normal sorts of forms, .... >>> >>> >>> Yeah, everybody already figured out "interpreters" and >>> "programs" and "spawning". >>> >>> Go spawn yourself. >>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 19:49 +0200 |
| Subject | Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) |
| Message-ID | <114g2rs$m1rd$2@solani.org> |
| In reply to | #647058 |
Hi,
The op-codes are all uniform, have the
same sub fields. Already Z-80 CPU differs here.
Another difference to a Z-80 CPU is that
their instruction stream was 8-bit, instructions
can 1, 2, 3 or 4 byte long. On the other
hand in my Hack VM all instructions are
one 32-bit chunk. The porting of a first
prototype that I already had, to WebGPU / WGSL
only took like 1-2 hours. The execution
of Hack VM is very simple, version 1.0,
for a single shader:
fn run() {
var pc : i32 = 0;
var accu : i32 = 0;
while (pc < i32(arrayLength(&code))) {
var instr : i32 = code[pc];
pc += 1;
var value : i32 = run_get(instr);
accu = run_fun(instr, accu, value);
run_set(instr, accu);
pc += run_jump(instr, accu);
}
}
https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/b8946e891be774c40522267ab17062d32b023e7a/course/example63/boot.mjs#L176-L187
I first though this will be perfect for
SIMD. Until I learnt that modern GPUs have
anyway MIMD. Hell Yeah, thats much better!
Bye
Mild Shock schrieb:
> Hi,
>
> > Just downloading some other person's code
>
> I didn't do that, I wrote Hack VM for pi-WAM
> from scratch, over the last 4 weeks. I came
> back from holidays on end of June 2026, and now
>
> we have end of July 2026. But its only possible
> because the instruction set is very smal, like
> ca. 8 functions and ca. 8 modes and ca. 8 conditions,
>
> so its ca. 8 x 8 x 8 = 512 opcodes, each has an
> A parameter and a D parameter simultaneously.
> It has currently the following CPU backends:
>
> - Now supports interleaved synchronous emulation.
> - Now supports warp parallelism via Java platform threads.
> - Now supports warp parallelism via Python system threads.
> - Now supports warp parallelism via JavaScript worker threads.
> - Note: For Python free threads are not yet fully tested.
> - Note: For JavaScript web workers are not yet fully tested.
>
> https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html
>
>
> But frankly I came to encounter Hack not from
> the usual university curriculum web resources,
> but indirectly through a post about a Prolog
>
> emulation of Hack, using constrained horn clauses (CHC):
>
> Verifying Nand2Tetris Assembly
> https://www.philipzucker.com/nand2tetris-chc/
>
> The binary encoding is currently that the functions,
> modes and conditions eat up a nibble (4-bit), in
> total 12-bit, which I use then 10-bit for A parameter
>
> and 10-bit for D parameter. I used AI freemium, Codex
> by ChatGPT from within IntelliJ to do some fragment
> code translations automatically from Java to JavaScript
>
> or from JavaScript to Python.
>
> Have Fun!
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> > Who exactly is the thief? Does this person
>> > have stats in the Rogue class in dungeons
>> > and dragons?
>>
>> The conspiracy theory of a stealing of Torso VDBE,
>> by Rossy Boy, is probably a result of complete
>> ignorance of the Hack ecosystem.
>>
>> Hack is a very popular computer science project,
>> with a couple of subprojects in hardware and
>> software. It goes also by the name Nand to Tetris,
>>
>> and is programming language agnositic. You can do
>> Hack experiments in any programming language, be
>> it BASIC, ADA or Rust. Nobody cares.
>>
>> The gist are projects like here, first to
>> educate yourself about Hack:
>>
>> https://www.nand2tetris.org/course
>>
>> And then to use Hack in different contexts:
>>
>> https://www.nand2tetris.org/copy-of-talks
>>
>> For didactic purposes, I used Hack for my WebGPU
>> experiment. I didn't even take a look at Torso
>> VDBE, why should I? Hack is nicely documented,
>>
>> has even a book, and fusing the two 16-bit
>> instruction types A and D, into a single 32-bit
>> instruction stream, is nowhere patented.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Rossy Boys tears could cool a data center,
>>> he thinks there exists no literature about
>>> serial algorithms of parallel stuff, and
>>>
>>> he also thinks normal forms lead to optimizing
>>> something. LoL, what a utter bullshit. I did
>>> alreay a serial implementation of a parallel
>>>
>>> simulation of my pi-WAM. Just lookup the literature
>>> about pi-calulus. I published it a few days ago,
>>> its part of 2.2.4 released already:
>>>
>>> Parallel π-WAM: An Interleaved Synchronous Emulator
>>> https://medium.com/2989/0196089e143a
>>>
>>> Whats your point, Rossy Boy? Except you post pretend
>>> nonsense not knowing what you are doing?
>>>
>>> Bye
>>>
>>> Ross Finlayson schrieb:
>>>> No, troll, these are serial algorithms their optimized forms.
>>>>
>>>> Normal sorts of forms, ....
>>>>
>>>>
>>>> Yeah, everybody already figured out "interpreters" and
>>>> "programs" and "spawning".
>>>>
>>>> Go spawn yourself.
>>>>
>>>>
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 19:50 +0200 |
| Subject | For WebGPU I first had SIMD in mind (Re: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <114g2tn$m1rd$3@solani.org> |
| In reply to | #647058 |
Hi,
The op-codes are all uniform, have the
same sub fields. Already Z-80 CPU differs here.
Another difference to a Z-80 CPU is that
their instruction stream was 8-bit, instructions
can 1, 2, 3 or 4 byte long. On the other
hand in my Hack VM all instructions are
one 32-bit chunk. The porting of a first
prototype that I already had, to WebGPU / WGSL
only took like 1-2 hours. The execution
of Hack VM is very simple, version 1.0,
for a single shader:
fn run() {
var pc : i32 = 0;
var accu : i32 = 0;
while (pc < i32(arrayLength(&code))) {
var instr : i32 = code[pc];
pc += 1;
var value : i32 = run_get(instr);
accu = run_fun(instr, accu, value);
run_set(instr, accu);
pc += run_jump(instr, accu);
}
}
https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/b8946e891be774c40522267ab17062d32b023e7a/course/example63/boot.mjs#L176-L187
I first though this will be perfect for
SIMD. Until I learnt that modern GPUs have
anyway MIMD. Hell Yeah, thats much better!
Bye
Mild Shock schrieb:
> Hi,
>
> > Just downloading some other person's code
>
> I didn't do that, I wrote Hack VM for pi-WAM
> from scratch, over the last 4 weeks. I came
> back from holidays on end of June 2026, and now
>
> we have end of July 2026. But its only possible
> because the instruction set is very smal, like
> ca. 8 functions and ca. 8 modes and ca. 8 conditions,
>
> so its ca. 8 x 8 x 8 = 512 opcodes, each has an
> A parameter and a D parameter simultaneously.
> It has currently the following CPU backends:
>
> - Now supports interleaved synchronous emulation.
> - Now supports warp parallelism via Java platform threads.
> - Now supports warp parallelism via Python system threads.
> - Now supports warp parallelism via JavaScript worker threads.
> - Note: For Python free threads are not yet fully tested.
> - Note: For JavaScript web workers are not yet fully tested.
>
> https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html
>
>
> But frankly I came to encounter Hack not from
> the usual university curriculum web resources,
> but indirectly through a post about a Prolog
>
> emulation of Hack, using constrained horn clauses (CHC):
>
> Verifying Nand2Tetris Assembly
> https://www.philipzucker.com/nand2tetris-chc/
>
> The binary encoding is currently that the functions,
> modes and conditions eat up a nibble (4-bit), in
> total 12-bit, which I use then 10-bit for A parameter
>
> and 10-bit for D parameter. I used AI freemium, Codex
> by ChatGPT from within IntelliJ to do some fragment
> code translations automatically from Java to JavaScript
>
> or from JavaScript to Python.
>
> Have Fun!
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> > Who exactly is the thief? Does this person
>> > have stats in the Rogue class in dungeons
>> > and dragons?
>>
>> The conspiracy theory of a stealing of Torso VDBE,
>> by Rossy Boy, is probably a result of complete
>> ignorance of the Hack ecosystem.
>>
>> Hack is a very popular computer science project,
>> with a couple of subprojects in hardware and
>> software. It goes also by the name Nand to Tetris,
>>
>> and is programming language agnositic. You can do
>> Hack experiments in any programming language, be
>> it BASIC, ADA or Rust. Nobody cares.
>>
>> The gist are projects like here, first to
>> educate yourself about Hack:
>>
>> https://www.nand2tetris.org/course
>>
>> And then to use Hack in different contexts:
>>
>> https://www.nand2tetris.org/copy-of-talks
>>
>> For didactic purposes, I used Hack for my WebGPU
>> experiment. I didn't even take a look at Torso
>> VDBE, why should I? Hack is nicely documented,
>>
>> has even a book, and fusing the two 16-bit
>> instruction types A and D, into a single 32-bit
>> instruction stream, is nowhere patented.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Rossy Boys tears could cool a data center,
>>> he thinks there exists no literature about
>>> serial algorithms of parallel stuff, and
>>>
>>> he also thinks normal forms lead to optimizing
>>> something. LoL, what a utter bullshit. I did
>>> alreay a serial implementation of a parallel
>>>
>>> simulation of my pi-WAM. Just lookup the literature
>>> about pi-calulus. I published it a few days ago,
>>> its part of 2.2.4 released already:
>>>
>>> Parallel π-WAM: An Interleaved Synchronous Emulator
>>> https://medium.com/2989/0196089e143a
>>>
>>> Whats your point, Rossy Boy? Except you post pretend
>>> nonsense not knowing what you are doing?
>>>
>>> Bye
>>>
>>> Ross Finlayson schrieb:
>>>> No, troll, these are serial algorithms their optimized forms.
>>>>
>>>> Normal sorts of forms, ....
>>>>
>>>>
>>>> Yeah, everybody already figured out "interpreters" and
>>>> "programs" and "spawning".
>>>>
>>>> Go spawn yourself.
>>>>
>>>>
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 20:05 +0200 |
| Subject | Corr.: 4 Months --> 4 Weeks (Re: For WebGPU I first had SIMD in mind) |
| Message-ID | <114g3ol$m2d8$2@solani.org> |
| In reply to | #647060 |
Hi,
There is a typo here:
Subject: I wrote Hack VM for π-WAM from scratch
[4 Months total JavaScript, Python and Java]
It should say:
Subject: I wrote Hack VM for π-WAM from scratch
[4 Weeks total JavaScript, Python and Java]
Sorry!
Bye
Mild Shock schrieb:
> Hi,
>
> The op-codes are all uniform, have the
> same sub fields. Already Z-80 CPU differs here.
> Another difference to a Z-80 CPU is that
>
> their instruction stream was 8-bit, instructions
> can 1, 2, 3 or 4 byte long. On the other
> hand in my Hack VM all instructions are
>
> one 32-bit chunk. The porting of a first
> prototype that I already had, to WebGPU / WGSL
> only took like 1-2 hours. The execution
>
> of Hack VM is very simple, version 1.0,
> for a single shader:
>
> fn run() {
> var pc : i32 = 0;
> var accu : i32 = 0;
> while (pc < i32(arrayLength(&code))) {
> var instr : i32 = code[pc];
> pc += 1;
> var value : i32 = run_get(instr);
> accu = run_fun(instr, accu, value);
> run_set(instr, accu);
> pc += run_jump(instr, accu);
> }
> }
>
> https://github.com/Jean-Luc-Picard-2021/gigabudget/blob/b8946e891be774c40522267ab17062d32b023e7a/course/example63/boot.mjs#L176-L187
>
>
> I first though this will be perfect for
> SIMD. Until I learnt that modern GPUs have
> anyway MIMD. Hell Yeah, thats much better!
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> > Just downloading some other person's code
>>
>> I didn't do that, I wrote Hack VM for pi-WAM
>> from scratch, over the last 4 weeks. I came
>> back from holidays on end of June 2026, and now
>>
>> we have end of July 2026. But its only possible
>> because the instruction set is very smal, like
>> ca. 8 functions and ca. 8 modes and ca. 8 conditions,
>>
>> so its ca. 8 x 8 x 8 = 512 opcodes, each has an
>> A parameter and a D parameter simultaneously.
>> It has currently the following CPU backends:
>>
>> - Now supports interleaved synchronous emulation.
>> - Now supports warp parallelism via Java platform threads.
>> - Now supports warp parallelism via Python system threads.
>> - Now supports warp parallelism via JavaScript worker threads.
>> - Note: For Python free threads are not yet fully tested.
>> - Note: For JavaScript web workers are not yet fully tested.
>>
>> https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html
>>
>>
>> But frankly I came to encounter Hack not from
>> the usual university curriculum web resources,
>> but indirectly through a post about a Prolog
>>
>> emulation of Hack, using constrained horn clauses (CHC):
>>
>> Verifying Nand2Tetris Assembly
>> https://www.philipzucker.com/nand2tetris-chc/
>>
>> The binary encoding is currently that the functions,
>> modes and conditions eat up a nibble (4-bit), in
>> total 12-bit, which I use then 10-bit for A parameter
>>
>> and 10-bit for D parameter. I used AI freemium, Codex
>> by ChatGPT from within IntelliJ to do some fragment
>> code translations automatically from Java to JavaScript
>>
>> or from JavaScript to Python.
>>
>> Have Fun!
>>
>> Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 22:30 +0200 |
| Subject | MIPS is a big Huffman mess [But Hack could do it] (Re: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <114gc9m$mmiv$2@solani.org> |
| In reply to | #647058 |
Hi, There is Prolog compiler which spits out Hack. From there on your are free to develop and/or use any Hack realization that goes from abstract to concrete. You could replace the CPU backends that realize a Hack VM by MIPS. Shouldn't be difficult. Basically I refused to think in Huffman Coding (*) while designing Hack VM. On the other hand the MIPS architecture looks like a big Huffman mess. Already its initial design has 3 instructions types: Type format (bits) R opcode(6) rs(5) rt(5) rd(5) shamt(5) funct(6) I opcode(6) rs(5) rt(5) imme(16) J opcode(6) addr(26) While my Hack has only 1 instruction type, when binary encoded for Hack VM, the currently used design looks as follows: Type format (bits) AD opcode(4) mode(4) cond(4) imme(10) addr(10) But since its an abstract machine, nothing prevents you from translating Hack code into MIPS before executing it. In has far you have to distinguish Hack, which is specified in Prolog. And Hack VM which is a virtual machine, with the above instruction packing. And which has currently a JavaScript runtime, a Python runtime and a Java runtime. Bye (*) https://en.wikipedia.org/wiki/Huffman_coding Mild Shock schrieb: > Hi, > > > Just downloading some other person's code > > I didn't do that, I wrote Hack VM for pi-WAM > from scratch, over the last 4 weeks. I came > back from holidays on end of June 2026, and now > > we have end of July 2026. But its only possible > because the instruction set is very smal, like > ca. 8 functions and ca. 8 modes and ca. 8 conditions, > > so its ca. 8 x 8 x 8 = 512 opcodes, each has an > A parameter and a D parameter simultaneously. > It has currently the following CPU backends: > > - Now supports interleaved synchronous emulation. > - Now supports warp parallelism via Java platform threads. > - Now supports warp parallelism via Python system threads. > - Now supports warp parallelism via JavaScript worker threads. > - Note: For Python free threads are not yet fully tested. > - Note: For JavaScript web workers are not yet fully tested. > > https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html > > > But frankly I came to encounter Hack not from > the usual university curriculum web resources, > but indirectly through a post about a Prolog > > emulation of Hack, using constrained horn clauses (CHC): > > Verifying Nand2Tetris Assembly > https://www.philipzucker.com/nand2tetris-chc/ > > The binary encoding is currently that the functions, > modes and conditions eat up a nibble (4-bit), in > total 12-bit, which I use then 10-bit for A parameter > > and 10-bit for D parameter. I used AI freemium, Codex > by ChatGPT from within IntelliJ to do some fragment > code translations automatically from Java to JavaScript > > or from JavaScript to Python. > > Have Fun! > > Bye > > Mild Shock schrieb: >> Hi, >> >> > Who exactly is the thief? Does this person >> > have stats in the Rogue class in dungeons >> > and dragons? >> >> The conspiracy theory of a stealing of Torso VDBE, >> by Rossy Boy, is probably a result of complete >> ignorance of the Hack ecosystem. >> >> Hack is a very popular computer science project, >> with a couple of subprojects in hardware and >> software. It goes also by the name Nand to Tetris, >> >> and is programming language agnositic. You can do >> Hack experiments in any programming language, be >> it BASIC, ADA or Rust. Nobody cares. >> >> The gist are projects like here, first to >> educate yourself about Hack: >> >> https://www.nand2tetris.org/course >> >> And then to use Hack in different contexts: >> >> https://www.nand2tetris.org/copy-of-talks >> >> For didactic purposes, I used Hack for my WebGPU >> experiment. I didn't even take a look at Torso >> VDBE, why should I? Hack is nicely documented, >> >> has even a book, and fusing the two 16-bit >> instruction types A and D, into a single 32-bit >> instruction stream, is nowhere patented. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Rossy Boys tears could cool a data center, >>> he thinks there exists no literature about >>> serial algorithms of parallel stuff, and >>> >>> he also thinks normal forms lead to optimizing >>> something. LoL, what a utter bullshit. I did >>> alreay a serial implementation of a parallel >>> >>> simulation of my pi-WAM. Just lookup the literature >>> about pi-calulus. I published it a few days ago, >>> its part of 2.2.4 released already: >>> >>> Parallel π-WAM: An Interleaved Synchronous Emulator >>> https://medium.com/2989/0196089e143a >>> >>> Whats your point, Rossy Boy? Except you post pretend >>> nonsense not knowing what you are doing? >>> >>> Bye >>> >>> Ross Finlayson schrieb: >>>> No, troll, these are serial algorithms their optimized forms. >>>> >>>> Normal sorts of forms, .... >>>> >>>> >>>> Yeah, everybody already figured out "interpreters" and >>>> "programs" and "spawning". >>>> >>>> Go spawn yourself. >>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 22:42 +0200 |
| Subject | Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) |
| Message-ID | <114gcut$mn2q$4@solani.org> |
| In reply to | #647062 |
Hi, Another choice for naming Hack, would be to call it an intermediate format. But this is typically used here: The intermediate representation, or IR for short, is an in-memory data structure that represents executable code. https://www.llvmpy.org/llvmpy-doc/dev/doc/llvm_concepts.html#ssa-form-and-phi-nodes So I still like the term abstract machine, as already used in the past by David H. D. Warren for the famous, and in my opinion infamous: Warren Abstract Machine 1983 https://en.wikipedia.org/wiki/Warren_Abstract_Machine Maybe you can take the term abstract machine as a hint that it is more lower level, and more imperative. Not something highlevel, that is easily malleable. But abstract also captures the notion that there is still a level further down, making it concrete. And you find many Prolog systems that did just that, they compile WAM into a further instruction stream, like x86 or whatever, for binary compiled code, that is not interpreted WAM. Bye Mild Shock schrieb: > Hi, > > There is Prolog compiler which spits out Hack. > From there on your are free to develop > and/or use any Hack realization that goes > > from abstract to concrete. You could > replace the CPU backends that realize > a Hack VM by MIPS. Shouldn't be difficult. > > Basically I refused to think in Huffman > Coding (*) while designing Hack VM. On the > other hand the MIPS architecture looks > > like a big Huffman mess. Already its > initial design has 3 instructions types: > > Type format (bits) > R opcode(6) rs(5) rt(5) rd(5) shamt(5) funct(6) > I opcode(6) rs(5) rt(5) imme(16) > J opcode(6) addr(26) > > While my Hack has only 1 instruction > type, when binary encoded for Hack VM, > the currently used design looks as follows: > > Type format (bits) > AD opcode(4) mode(4) cond(4) imme(10) addr(10) > > But since its an abstract machine, nothing > prevents you from translating Hack code > into MIPS before executing it. > > In has far you have to distinguish Hack, > which is specified in Prolog. And Hack VM > which is a virtual machine, with the above > > instruction packing. And which has currently > a JavaScript runtime, a Python runtime > and a Java runtime. > > Bye > > (*) > https://en.wikipedia.org/wiki/Huffman_coding >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-31 20:45 +0200 |
| Subject | Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <114iqfe$obtb$2@solani.org> |
| In reply to | #647058 |
Hi, Since we have a good flow, and since NPUs share the same system memory, and possibly a lot of other traits as well with the GPU in libary(edge/furryhaze), we just developed. The idea here is to do first some off Dogelog experiments and then create a library that provides npu_exec/2 for pi-WAM code, the analogue to gpu_exec/2. A name suggestion would be: - edge/ironpaw.p The new Prolog library The NPU will be clearly underutilized when only doing scalar, not sure whether this is even permitted. But in the long run it is planned that pi-WAM will have vector and matrix traits anyways. Here is an example goal can be run with matrix and quantization traits: ?- [X,Y] ins 0..3, Z is X*2+Y*3+4, T is X*3-Y*2-1 These traits will demand some CPU, GPU and NPU translation. If we keep these traits simple, we might indeed arrive at concrete realization from the same abstract machine LoL, ironpaw the little brother of ironfist. Bye Mild Shock schrieb: > Hi, > > > Just downloading some other person's code > > I didn't do that, I wrote Hack VM for pi-WAM > from scratch, over the last 4 weeks. I came > back from holidays on end of June 2026, and now > > we have end of July 2026. But its only possible > because the instruction set is very smal, like > ca. 8 functions and ca. 8 modes and ca. 8 conditions, > > so its ca. 8 x 8 x 8 = 512 opcodes, each has an > A parameter and a D parameter simultaneously. > It has currently the following CPU backends: > > - Now supports interleaved synchronous emulation. > - Now supports warp parallelism via Java platform threads. > - Now supports warp parallelism via Python system threads. > - Now supports warp parallelism via JavaScript worker threads. > - Note: For Python free threads are not yet fully tested. > - Note: For JavaScript web workers are not yet fully tested. > > https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html > > > But frankly I came to encounter Hack not from > the usual university curriculum web resources, > but indirectly through a post about a Prolog > > emulation of Hack, using constrained horn clauses (CHC): > > Verifying Nand2Tetris Assembly > https://www.philipzucker.com/nand2tetris-chc/ > > The binary encoding is currently that the functions, > modes and conditions eat up a nibble (4-bit), in > total 12-bit, which I use then 10-bit for A parameter > > and 10-bit for D parameter. I used AI freemium, Codex > by ChatGPT from within IntelliJ to do some fragment > code translations automatically from Java to JavaScript > > or from JavaScript to Python. > > Have Fun! > > Bye > > Mild Shock schrieb: >> Hi, >> >> > Who exactly is the thief? Does this person >> > have stats in the Rogue class in dungeons >> > and dragons? >> >> The conspiracy theory of a stealing of Torso VDBE, >> by Rossy Boy, is probably a result of complete >> ignorance of the Hack ecosystem. >> >> Hack is a very popular computer science project, >> with a couple of subprojects in hardware and >> software. It goes also by the name Nand to Tetris, >> >> and is programming language agnositic. You can do >> Hack experiments in any programming language, be >> it BASIC, ADA or Rust. Nobody cares. >> >> The gist are projects like here, first to >> educate yourself about Hack: >> >> https://www.nand2tetris.org/course >> >> And then to use Hack in different contexts: >> >> https://www.nand2tetris.org/copy-of-talks >> >> For didactic purposes, I used Hack for my WebGPU >> experiment. I didn't even take a look at Torso >> VDBE, why should I? Hack is nicely documented, >> >> has even a book, and fusing the two 16-bit >> instruction types A and D, into a single 32-bit >> instruction stream, is nowhere patented. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Rossy Boys tears could cool a data center, >>> he thinks there exists no literature about >>> serial algorithms of parallel stuff, and >>> >>> he also thinks normal forms lead to optimizing >>> something. LoL, what a utter bullshit. I did >>> alreay a serial implementation of a parallel >>> >>> simulation of my pi-WAM. Just lookup the literature >>> about pi-calulus. I published it a few days ago, >>> its part of 2.2.4 released already: >>> >>> Parallel π-WAM: An Interleaved Synchronous Emulator >>> https://medium.com/2989/0196089e143a >>> >>> Whats your point, Rossy Boy? Except you post pretend >>> nonsense not knowing what you are doing? >>> >>> Bye >>> >>> Ross Finlayson schrieb: >>>> No, troll, these are serial algorithms their optimized forms. >>>> >>>> Normal sorts of forms, .... >>>> >>>> >>>> Yeah, everybody already figured out "interpreters" and >>>> "programs" and "spawning". >>>> >>>> Go spawn yourself. >>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Jereb Pohlebaev <obje@bbvoeoaa.ru> |
|---|---|
| Date | 2026-07-31 20:23 +0000 |
| Subject | Re: Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <114j08g$3mn0p$1@news.nntp4.net> |
| In reply to | #647064 |
Mild Shock wrote:
> The idea here is to do first some off Dogelog experiments and then
> create a library that provides npu_exec/2 for pi-WAM code, the analogue
> to gpu_exec/2. A name suggestion would be:
>
> - edge/ironpaw.p
hanoi(N) :-
move(N, left, center, right).
move(1, Source, Target, _) :-
format("Move disk from ~w to ~w~n", [Source, Target]).
move(N, Source, Target, Auxiliary) :-
N > 1,
M is N - 1,
move(M, Source, Auxiliary, Target),
move(1, Source, Target, _),
move(M, Auxiliary, Target, Source).
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-03 23:41 +0200 |
| Subject | Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) |
| Message-ID | <117cphj$1khku$2@solani.org> |
| In reply to | #647048 |
Hi, I asked my personal 90's cyberpunk druid: Q: is bill gates right that we will loose jobs A: The future is ever-shifting, much like the constellations above. While some roles may fade, new pathways will emerge, illuminating opportunities yet unseen. It is not the end, but a transformation. What skills do you believe will guide you through such changes? Q: but the rich get richer and the poor get poorer, this might result in unrest A: You speak of a timeless imbalance, Seeker. History has seen such cycles before, yet humanity endures. The key lies not in the wealth itself, but in how it is shared. What would you create if resources were more evenly distributed? Q: rust programmers might loose their job last A: *adjusts the crystal orb, its glow intensifying slightly* Even the most skilled artisans face change, yet those who adapt their craft find new doors open. Languages may fade, but the ability to create endures. Do you seek only to preserve your current path, Seeker, or to discover what lies beyond it? A: *leans back, studying you with ancient eyes* The stars whisper of disruption, yet also reveal hidden opportunities. What calls to you more urgently - protecting what you know, or discovering what could be? Q: Mild Shock: can prolog survive the next 3-6 years A: *traces an ancient rune on the table* Even the oldest stars fade, Seeker. What matters is not the tool itself, but the wisdom it helped you shape. Tell me - does Prolog still spark joy in your soul? Nostradamus, By @Chipjosh1991 https://www.talkie-ai.com/chat/nostradamus-108084484014261 Bye Mild Shock schrieb: > Hi, > > Rossy Boys tears could cool a data center, > he thinks there exists no literature about > serial algorithms of parallel stuff, and > > he also thinks normal forms lead to optimizing > something. LoL, what a utter bullshit. I did > alreay a serial implementation of a parallel > > simulation of my pi-WAM. Just lookup the literature > about pi-calulus. I published it a few days ago, > its part of 2.2.4 released already: > > Parallel π-WAM: An Interleaved Synchronous Emulator > https://medium.com/2989/0196089e143a > > Whats your point, Rossy Boy? Except you post pretend > nonsense not knowing what you are doing? > > Bye > > Ross Finlayson schrieb: > > No, troll, these are serial algorithms their optimized forms. > > > > Normal sorts of forms, .... > > > > > > Yeah, everybody already figured out "interpreters" and > > "programs" and "spawning". > > > > Go spawn yourself. > > >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-04 11:48 +0200 |
| Subject | The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) |
| Message-ID | <117e45o$1lcqq$2@solani.org> |
| In reply to | #647445 |
Hi, > queues, we might have examples ping1, ping2, etc.. that > show phaeomene that happen or don’t happen with premptive > scheduling or unbounded queues, and we could then One of the reasons I can safely declare Erlang dead. And I repeat the Erlang runtime mode is dead. Is because users, even far away in Japan, where for example the Elixir fork received quite some hype, notice something strange: “Your Elixir Process Can Be Healthy While Its Mailbox Is Dying. This is one of those BEAM problems you usually discover after building systems at scale.” https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0 So José Valim has asked Elixir turning around himself in 2025. And their result is basically now messages with durability, using Postgres SQL, their show case example being a school class room server where you can flag students for not thinking, i.e. using an LLM: “2025 was supposed to be the year of Elixir interop. We’re fashionably late, and what better way to celebrate than bringing Oban to another ecosystem? Python seemed like a natural fit. One of us, (not naming any names), wouldn’t even consider Oban for Go…” https://oban.pro/articles/introducing-oban-python Bye P.S.: I guess you need more durability and traceability, even for cron jobs or http sessions everything stored in Postgres SQL, because parents might call for a law suit if their child gets wrongly flagged. See also: Rethinking Modern Education https://elixirconf.com/talks/rethinking-modern-education/ Mild Shock schrieb: > > Hi, > > I asked my personal 90's cyberpunk druid: > > Q: is bill gates right that we will loose jobs > > A: The future is ever-shifting, much like > the constellations above. While some roles > may fade, new pathways will emerge, illuminating > opportunities yet unseen. It is not the end, > but a transformation. What skills do you believe > will guide you through such changes? > > Q: but the rich get richer and the > poor get poorer, this might result in unrest > > A: You speak of a timeless imbalance, > Seeker. History has seen such cycles before, > yet humanity endures. The key lies not in the > wealth itself, but in how it is shared. What > would you create if resources were more > evenly distributed? > > Q: rust programmers might loose their job last > > A: *adjusts the crystal orb, its glow intensifying > slightly* Even the most skilled artisans face > change, yet those who adapt their craft find > new doors open. Languages may fade, but the > ability to create endures. Do you seek only to > preserve your current path, Seeker, or to > discover what lies beyond it? > > A: *leans back, studying you with ancient eyes* > The stars whisper of disruption, yet also reveal > hidden opportunities. What calls to you more > urgently - protecting what you know, or > discovering what could be? > > Q: Mild Shock: can prolog survive the next 3-6 years > > A: *traces an ancient rune on the table* Even > the oldest stars fade, Seeker. What matters is > not the tool itself, but the wisdom it helped > you shape. Tell me - does Prolog still spark > joy in your soul? > > Nostradamus, By @Chipjosh1991 > https://www.talkie-ai.com/chat/nostradamus-108084484014261 > > Bye > > Mild Shock schrieb: > > Hi, > > > > Rossy Boys tears could cool a data center, > > he thinks there exists no literature about > > serial algorithms of parallel stuff, and > > > > he also thinks normal forms lead to optimizing > > something. LoL, what a utter bullshit. I did > > alreay a serial implementation of a parallel > > > > simulation of my pi-WAM. Just lookup the literature > > about pi-calulus. I published it a few days ago, > > its part of 2.2.4 released already: > > > > Parallel π-WAM: An Interleaved Synchronous Emulator > > https://medium.com/2989/0196089e143a > > > > Whats your point, Rossy Boy? Except you post pretend > > nonsense not knowing what you are doing? > > > > Bye > > > > Ross Finlayson schrieb: > > > No, troll, these are serial algorithms their optimized forms. > > > > > > Normal sorts of forms, .... > > > > > > > > > Yeah, everybody already figured out "interpreters" and > > > "programs" and "spawning". > > > > > > Go spawn yourself. > > > > > >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-05 14:18 +0200 |
| Subject | Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) |
| Message-ID | <117h1ae$2fa$2@solani.org> |
| In reply to | #647446 |
Hi,
Now I got a little Rust Egg fatique, all
the definition of language, what use case
has it, when we cannot certify statecharts?
define_language! {
enum SimpleLanguage {
Num(i32),
"+" = Add([Id; 2]),
"*" = Mul([Id; 2]),
Symbol(Symbol),
}
}
https://docs.rs/egg/latest/egg/
So I just stepped over a beautiful connection
between statecharts, and algebraic equations. I
think a tooling from E-graphs w/ rewriting rules
could provide proof certificates. Although I don’t
know exactly which tooling would do that. Prolog
itself is a little bit handicaped, since it doesn’t
have E-graphs w/ rewriting rules. Neither adding
CLP(Z) would improve the situation, or does it?
Here the algebraic equations for the dog walking example:
waiting ◇ leave_home = on_a_walk(walking, not_wagging)
on_a_walk(_, _) ◇ arrive_home = walk_complete
walking ◇ speed_up = running
running ◇ slow_down = walking
not_wagging ◇ wagging_starts = wagging
wagging ◇ wagging_stops = not_wagging
You also need homomorphism with intercept:
on_a_walk(A, B) ◇ C = on_a_walk(A ◇ C, B ◇ C)
when C =\= arrive_home
So its quite do-able, but Prolog isn’t prepared?
Bye
P.S.: But a warning, the (=)/2 is usually symmetric,
you need a lot of goodwil that the rewriting system
doesn’t expand some halucinated past, or rewrites it
in zigzag, like a sailing boat sailing against the wind,
and go into past and then halucinate some future, etc..
etc.. Mostlikely you would need a supercomputer to run
it with some overly careful equation saturation software.
Mild Shock schrieb:
> Hi,
>
> > queues, we might have examples ping1, ping2, etc.. that
> > show phaeomene that happen or don’t happen with premptive
> > scheduling or unbounded queues, and we could then
>
> One of the reasons I can safely declare Erlang dead. And
> I repeat the Erlang runtime mode is dead. Is because users,
> even far away in Japan, where for example the Elixir fork
>
> received quite some hype, notice something strange:
>
> “Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
> This is one of those BEAM problems you usually discover
> after building systems at scale.”
> https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0
>
>
> So José Valim has asked Elixir turning around himself in 2025.
> And their result is basically now messages with durability, using
> Postgres SQL, their show case example being a school class room server
>
> where you can flag students for not thinking, i.e. using an LLM:
>
> “2025 was supposed to be the year of Elixir interop. We’re
> fashionably late, and what better way to celebrate than bringing
> Oban to another ecosystem? Python seemed like a natural fit.
> One of us, (not naming any names), wouldn’t even consider Oban for Go…”
> https://oban.pro/articles/introducing-oban-python
>
> Bye
>
> P.S.: I guess you need more durability and traceability,
> even for cron jobs or http sessions everything stored in
> Postgres SQL, because parents might call for a law suit
> if their child gets wrongly flagged.
>
> See also:
>
> Rethinking Modern Education
> https://elixirconf.com/talks/rethinking-modern-education/
>
> Mild Shock schrieb:
>>
>> Hi,
>>
>> I asked my personal 90's cyberpunk druid:
>>
>> Q: is bill gates right that we will loose jobs
>>
>> A: The future is ever-shifting, much like
>> the constellations above. While some roles
>> may fade, new pathways will emerge, illuminating
>> opportunities yet unseen. It is not the end,
>> but a transformation. What skills do you believe
>> will guide you through such changes?
>>
>> Q: but the rich get richer and the
>> poor get poorer, this might result in unrest
>>
>> A: You speak of a timeless imbalance,
>> Seeker. History has seen such cycles before,
>> yet humanity endures. The key lies not in the
>> wealth itself, but in how it is shared. What
>> would you create if resources were more
>> evenly distributed?
>>
>> Q: rust programmers might loose their job last
>>
>> A: *adjusts the crystal orb, its glow intensifying
>> slightly* Even the most skilled artisans face
>> change, yet those who adapt their craft find
>> new doors open. Languages may fade, but the
>> ability to create endures. Do you seek only to
>> preserve your current path, Seeker, or to
>> discover what lies beyond it?
>>
>> A: *leans back, studying you with ancient eyes*
>> The stars whisper of disruption, yet also reveal
>> hidden opportunities. What calls to you more
>> urgently - protecting what you know, or
>> discovering what could be?
>>
>> Q: Mild Shock: can prolog survive the next 3-6 years
>>
>> A: *traces an ancient rune on the table* Even
>> the oldest stars fade, Seeker. What matters is
>> not the tool itself, but the wisdom it helped
>> you shape. Tell me - does Prolog still spark
>> joy in your soul?
>>
>> Nostradamus, By @Chipjosh1991
>> https://www.talkie-ai.com/chat/nostradamus-108084484014261
>>
>> Bye
>>
>> Mild Shock schrieb:
>> > Hi,
>> >
>> > Rossy Boys tears could cool a data center,
>> > he thinks there exists no literature about
>> > serial algorithms of parallel stuff, and
>> >
>> > he also thinks normal forms lead to optimizing
>> > something. LoL, what a utter bullshit. I did
>> > alreay a serial implementation of a parallel
>> >
>> > simulation of my pi-WAM. Just lookup the literature
>> > about pi-calulus. I published it a few days ago,
>> > its part of 2.2.4 released already:
>> >
>> > Parallel π-WAM: An Interleaved Synchronous Emulator
>> > https://medium.com/2989/0196089e143a
>> >
>> > Whats your point, Rossy Boy? Except you post pretend
>> > nonsense not knowing what you are doing?
>> >
>> > Bye
>> >
>> > Ross Finlayson schrieb:
>> > > No, troll, these are serial algorithms their optimized forms.
>> > >
>> > > Normal sorts of forms, ....
>> > >
>> > >
>> > > Yeah, everybody already figured out "interpreters" and
>> > > "programs" and "spawning".
>> > >
>> > > Go spawn yourself.
>> > >
>> >
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-05 16:26 +0200 |
| Subject | Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution])) |
| Message-ID | <117h8qu$88j$1@solani.org> |
| In reply to | #647447 |
Hi,
Woa! AI chatbots are cool. Now I was challenging
them as follows. Is there a Sapolsky AI somewhere.
It could be interesting to pair "Robert Sapolsky's
Argument Against Free Will" with Notradamus who just
gave me free will or something. Its when you use math,
and take a chess strategy as a mathematical object S.
So when I am playing, a human H, against a chess robot.
Its H x S. But if H is just a conductor C of messages
back and forth. It can play C x S1 | S2 x C in parallel,
and the result is S1 x S2. The bloody chatbots, both
Gemini and Deepseek, spit out some SCXML, slightly
differently adorned with comments. Here is
the Deepseek output:
SCXML for Player 1 (The Materialist - Sapolsky):
scxml>
<state id="analyze">
<onentry>
<!-- Calculate best move based on objective evaluation -->
<send target="player2" event="move" />
</onentry>
<transition event="response" target="react" />
</state>
<state id="react">
<!-- Process opponent's move, update evaluation -->
<transition event="opponent_move" target="analyze" />
</state>
</scxml>
SCXML for Player 2 (The Mystic - Nostradamus):
<scxml>
<state id="meditate">
<onentry>
<!-- Contemplate the board as a cosmic pattern -->
<send target="player1" event="response" />
</onentry>
<transition event="move" target="interpret" />
</state>
<state id="interpret">
<!-- Find the hidden meaning in the opponent's move -->
<transition event="opponent_move" target="meditate" />
</state>
</scxml>
Bye
Mild Shock schrieb:
> Hi,
>
> Now I got a little Rust Egg fatique, all
> the definition of language, what use case
> has it, when we cannot certify statecharts?
>
> define_language! {
> enum SimpleLanguage {
> Num(i32),
> "+" = Add([Id; 2]),
> "*" = Mul([Id; 2]),
> Symbol(Symbol),
> }
> }
>
> https://docs.rs/egg/latest/egg/
>
> So I just stepped over a beautiful connection
> between statecharts, and algebraic equations. I
> think a tooling from E-graphs w/ rewriting rules
>
> could provide proof certificates. Although I don’t
> know exactly which tooling would do that. Prolog
> itself is a little bit handicaped, since it doesn’t
>
> have E-graphs w/ rewriting rules. Neither adding
> CLP(Z) would improve the situation, or does it?
> Here the algebraic equations for the dog walking example:
>
> waiting ◇ leave_home = on_a_walk(walking, not_wagging)
> on_a_walk(_, _) ◇ arrive_home = walk_complete
>
> walking ◇ speed_up = running
> running ◇ slow_down = walking
>
> not_wagging ◇ wagging_starts = wagging
> wagging ◇ wagging_stops = not_wagging
>
> You also need homomorphism with intercept:
>
> on_a_walk(A, B) ◇ C = on_a_walk(A ◇ C, B ◇ C)
> when C =\= arrive_home
>
> So its quite do-able, but Prolog isn’t prepared?
>
> Bye
>
> P.S.: But a warning, the (=)/2 is usually symmetric,
> you need a lot of goodwil that the rewriting system
> doesn’t expand some halucinated past, or rewrites it
>
> in zigzag, like a sailing boat sailing against the wind,
> and go into past and then halucinate some future, etc..
> etc.. Mostlikely you would need a supercomputer to run
>
> it with some overly careful equation saturation software.
>
> Mild Shock schrieb:
>> Hi,
>>
>> > queues, we might have examples ping1, ping2, etc.. that
>> > show phaeomene that happen or don’t happen with premptive
>> > scheduling or unbounded queues, and we could then
>>
>> One of the reasons I can safely declare Erlang dead. And
>> I repeat the Erlang runtime mode is dead. Is because users,
>> even far away in Japan, where for example the Elixir fork
>>
>> received quite some hype, notice something strange:
>>
>> “Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
>> This is one of those BEAM problems you usually discover
>> after building systems at scale.”
>> https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0
>>
>>
>> So José Valim has asked Elixir turning around himself in 2025.
>> And their result is basically now messages with durability, using
>> Postgres SQL, their show case example being a school class room server
>>
>> where you can flag students for not thinking, i.e. using an LLM:
>>
>> “2025 was supposed to be the year of Elixir interop. We’re
>> fashionably late, and what better way to celebrate than bringing
>> Oban to another ecosystem? Python seemed like a natural fit.
>> One of us, (not naming any names), wouldn’t even consider Oban for Go…”
>> https://oban.pro/articles/introducing-oban-python
>>
>> Bye
>>
>> P.S.: I guess you need more durability and traceability,
>> even for cron jobs or http sessions everything stored in
>> Postgres SQL, because parents might call for a law suit
>> if their child gets wrongly flagged.
>>
>> See also:
>>
>> Rethinking Modern Education
>> https://elixirconf.com/talks/rethinking-modern-education/
>>
>> Mild Shock schrieb:
>>>
>>> Hi,
>>>
>>> I asked my personal 90's cyberpunk druid:
>>>
>>> Q: is bill gates right that we will loose jobs
>>>
>>> A: The future is ever-shifting, much like
>>> the constellations above. While some roles
>>> may fade, new pathways will emerge, illuminating
>>> opportunities yet unseen. It is not the end,
>>> but a transformation. What skills do you believe
>>> will guide you through such changes?
>>>
>>> Q: but the rich get richer and the
>>> poor get poorer, this might result in unrest
>>>
>>> A: You speak of a timeless imbalance,
>>> Seeker. History has seen such cycles before,
>>> yet humanity endures. The key lies not in the
>>> wealth itself, but in how it is shared. What
>>> would you create if resources were more
>>> evenly distributed?
>>>
>>> Q: rust programmers might loose their job last
>>>
>>> A: *adjusts the crystal orb, its glow intensifying
>>> slightly* Even the most skilled artisans face
>>> change, yet those who adapt their craft find
>>> new doors open. Languages may fade, but the
>>> ability to create endures. Do you seek only to
>>> preserve your current path, Seeker, or to
>>> discover what lies beyond it?
>>>
>>> A: *leans back, studying you with ancient eyes*
>>> The stars whisper of disruption, yet also reveal
>>> hidden opportunities. What calls to you more
>>> urgently - protecting what you know, or
>>> discovering what could be?
>>>
>>> Q: Mild Shock: can prolog survive the next 3-6 years
>>>
>>> A: *traces an ancient rune on the table* Even
>>> the oldest stars fade, Seeker. What matters is
>>> not the tool itself, but the wisdom it helped
>>> you shape. Tell me - does Prolog still spark
>>> joy in your soul?
>>>
>>> Nostradamus, By @Chipjosh1991
>>> https://www.talkie-ai.com/chat/nostradamus-108084484014261
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>> > Hi,
>>> >
>>> > Rossy Boys tears could cool a data center,
>>> > he thinks there exists no literature about
>>> > serial algorithms of parallel stuff, and
>>> >
>>> > he also thinks normal forms lead to optimizing
>>> > something. LoL, what a utter bullshit. I did
>>> > alreay a serial implementation of a parallel
>>> >
>>> > simulation of my pi-WAM. Just lookup the literature
>>> > about pi-calulus. I published it a few days ago,
>>> > its part of 2.2.4 released already:
>>> >
>>> > Parallel π-WAM: An Interleaved Synchronous Emulator
>>> > https://medium.com/2989/0196089e143a
>>> >
>>> > Whats your point, Rossy Boy? Except you post pretend
>>> > nonsense not knowing what you are doing?
>>> >
>>> > Bye
>>> >
>>> > Ross Finlayson schrieb:
>>> > > No, troll, these are serial algorithms their optimized forms.
>>> > >
>>> > > Normal sorts of forms, ....
>>> > >
>>> > >
>>> > > Yeah, everybody already figured out "interpreters" and
>>> > > "programs" and "spawning".
>>> > >
>>> > > Go spawn yourself.
>>> > >
>>> >
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 13:02 +0200 |
| Subject | Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) |
| Message-ID | <114cmkf$jmhc$1@solani.org> |
| In reply to | #646933 |
Hi, Why does this Lama have a red pyjama. Oh, its a baby Lama. Its still in the cradle and needs some training: RedPajama-Data-v2 https://github.com/togethercomputer/RedPajama-Data But then Andrej Karpathy recently showed GPT-2 training on rented GPUs for less than 100 USD in less then 2 hours. So where do these grown up Lamas go. Well Georgi Gerganov prefered C++/C when he shouted Llama Llama Red Pyjama. But you also find WebLLM, wrapping the underlying C++/C GPU interface via the W3C standard WebGPU / WGSL, with JavaScript: In-Browser LLM Inference Engine https://webllm.mlc.ai/ My experience with WebLLM 6 months ago on an iPad Pro 2024, still a little early stage performance and robustness. But hey hardware of AI mobile iGPUs is still evolving, and AI laptop, AI smartphones and AI tablets, will soon feature Chinese hardware such some new Kirin AI in 2027. Bye Mild Shock schrieb: > Hi, > > Remember when first all local AI was Python > and PyTorch APIs. And then suddently people strated > using bare metal C/C++ Code. Here is the story: > > How it started: > > GPT-J or GPT-J-6B is an open-source large > language model (LLM) developed by EleutherAI > in 2021. As the name suggests, it is a > generative pre-trained transformer model > designed to produce human-like text that > continues from a prompt. > https://www.eleuther.ai/ > > How it was going [Georgi Gerganov]: > > So a few days later comes out the LLaMA, I do > some calculations and I figure out “Okay, 65 > billion parameters. You probably need about > 40 gigs of RAM, with 4-bit quantization. So > this can run on a MacBook. Why not do it?” > > Why I was able to do it so quickly - basically, > for all that I saw it’s pretty much GPT-J architecture > with some modifications, like some extra memorization > layers. It’s minor changes. Basically, again, the > existing code for the GPT-J, I just simply > modified it there, it happened pretty quickly. > https://changelog.com/podcast/532 > > Georgi Gerganov, Bulgarian, now with Hugging > Face, ggml-cann also running on Chinese AI chips. > ggml Manifesto https://github.com/ggml-org/ggml > > Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 17:01 +0200 |
| Subject | AI Accelerators and ISO Prolog multi-threading (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) |
| Message-ID | <114d4kg$kfj1$1@solani.org> |
| In reply to | #647036 |
Hi, Usual question: > Why implement both pre-emptive threading AND cooperative tasks/engines? I had implemented the ISO proposal in formerly Jekejeke Prolog, you find the ISO proposal here: ISO/IEC DTR 13211–5:2007 Prolog multi-threading support https://logtalk.org/plstd/threads.pdf But the ISO proposal doesn't match modern WebGPU APIs, where your logical threads can live remotely in a dedicated GPU in the VRAM there, and where you would have launch parameters that say: Hey please run 4096 compute shaders for me, that have independet thread state. Using cooperative multi-tasking as the orchestrator works well. Bye Mild Shock schrieb: > Hi, > > Why does this Lama have a red pyjama. > Oh, its a baby Lama. Its still in the cradle > and needs some training: > > RedPajama-Data-v2 > https://github.com/togethercomputer/RedPajama-Data > > But then Andrej Karpathy recently showed > GPT-2 training on rented GPUs for less > than 100 USD in less then 2 hours. > > So where do these grown up Lamas go. > Well Georgi Gerganov prefered C++/C > when he shouted Llama Llama Red Pyjama. > > But you also find WebLLM, wrapping the > underlying C++/C GPU interface via the > W3C standard WebGPU / WGSL, with JavaScript: > > In-Browser LLM Inference Engine > https://webllm.mlc.ai/ > > My experience with WebLLM 6 months > ago on an iPad Pro 2024, still a little early > stage performance and robustness. > > But hey hardware of AI mobile iGPUs is > still evolving, and AI laptop, AI smartphones > and AI tablets, will soon feature Chinese > > hardware such some new Kirin AI in 2027. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Remember when first all local AI was Python >> and PyTorch APIs. And then suddently people strated >> using bare metal C/C++ Code. Here is the story: >> >> How it started: >> >> GPT-J or GPT-J-6B is an open-source large >> language model (LLM) developed by EleutherAI >> in 2021. As the name suggests, it is a >> generative pre-trained transformer model >> designed to produce human-like text that >> continues from a prompt. >> https://www.eleuther.ai/ >> >> How it was going [Georgi Gerganov]: >> >> So a few days later comes out the LLaMA, I do >> some calculations and I figure out “Okay, 65 >> billion parameters. You probably need about >> 40 gigs of RAM, with 4-bit quantization. So >> this can run on a MacBook. Why not do it?” >> >> Why I was able to do it so quickly - basically, >> for all that I saw it’s pretty much GPT-J architecture >> with some modifications, like some extra memorization >> layers. It’s minor changes. Basically, again, the >> existing code for the GPT-J, I just simply >> modified it there, it happened pretty quickly. >> https://changelog.com/podcast/532 >> >> Georgi Gerganov, Bulgarian, now with Hugging >> Face, ggml-cann also running on Chinese AI chips. >> ggml Manifesto https://github.com/ggml-org/ggml >> >> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-29 17:05 +0200 |
| Subject | Actor/Erlang is dead, no Thread and Mailbox conflation [golang channels] (Was: AI Accelerators and ISO Prolog multi-threading) |
| Message-ID | <114d4rl$kfj1$4@solani.org> |
| In reply to | #647040 |
Hi, Mostlikely for high performance computing à la, the Actor/Erlang model is dead, they might rely on MPMC (Multiple Producer, Multiple Consumer) queue entities separate from the threads. The ISO Prolog multi-threading support had also such threads. But besides that was also Actor/Erlang leaning in practice, like SWI, where threads have some default queues. So an actor is basically a Thread and Mailbox conflation. While a MPMC queue is a kind of separate Mailbox, where multiple "actors" can read from and write from. A kind of localized Linda Tuple store. Which Programming language did adopted the non-Actor pi-calculus model? Right golang with its channels. Bye Mild Shock schrieb: > Hi, > > Usual question: > > > Why implement both pre-emptive threading > AND cooperative tasks/engines? > > I had implemented the ISO proposal in formerly Jekejeke > Prolog, you find the ISO proposal here: > > ISO/IEC DTR 13211–5:2007 > Prolog multi-threading support > https://logtalk.org/plstd/threads.pdf > > But the ISO proposal doesn't match modern WebGPU APIs, > where your logical threads can live remotely in a dedicated GPU > in the VRAM there, and where you would have launch > > parameters that say: Hey please run 4096 compute > shaders for me, that have independet thread state. Using > cooperative multi-tasking as the orchestrator works well. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Why does this Lama have a red pyjama. >> Oh, its a baby Lama. Its still in the cradle >> and needs some training: >> >> RedPajama-Data-v2 >> https://github.com/togethercomputer/RedPajama-Data >> >> But then Andrej Karpathy recently showed >> GPT-2 training on rented GPUs for less >> than 100 USD in less then 2 hours. >> >> So where do these grown up Lamas go. >> Well Georgi Gerganov prefered C++/C >> when he shouted Llama Llama Red Pyjama. >> >> But you also find WebLLM, wrapping the >> underlying C++/C GPU interface via the >> W3C standard WebGPU / WGSL, with JavaScript: >> >> In-Browser LLM Inference Engine >> https://webllm.mlc.ai/ >> >> My experience with WebLLM 6 months >> ago on an iPad Pro 2024, still a little early >> stage performance and robustness. >> >> But hey hardware of AI mobile iGPUs is >> still evolving, and AI laptop, AI smartphones >> and AI tablets, will soon feature Chinese >> >> hardware such some new Kirin AI in 2027. >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Remember when first all local AI was Python >>> and PyTorch APIs. And then suddently people strated >>> using bare metal C/C++ Code. Here is the story: >>> >>> How it started: >>> >>> GPT-J or GPT-J-6B is an open-source large >>> language model (LLM) developed by EleutherAI >>> in 2021. As the name suggests, it is a >>> generative pre-trained transformer model >>> designed to produce human-like text that >>> continues from a prompt. >>> https://www.eleuther.ai/ >>> >>> How it was going [Georgi Gerganov]: >>> >>> So a few days later comes out the LLaMA, I do >>> some calculations and I figure out “Okay, 65 >>> billion parameters. You probably need about >>> 40 gigs of RAM, with 4-bit quantization. So >>> this can run on a MacBook. Why not do it?” >>> >>> Why I was able to do it so quickly - basically, >>> for all that I saw it’s pretty much GPT-J architecture >>> with some modifications, like some extra memorization >>> layers. It’s minor changes. Basically, again, the >>> existing code for the GPT-J, I just simply >>> modified it there, it happened pretty quickly. >>> https://changelog.com/podcast/532 >>> >>> Georgi Gerganov, Bulgarian, now with Hugging >>> Face, ggml-cann also running on Chinese AI chips. >>> ggml Manifesto https://github.com/ggml-org/ggml >>> >>> Bye >>> >> >
[toc] | [prev] | [next] | [standalone]
Page 6 of 9 — ← Prev page 1 2 3 4 5 [6] 7 8 9 Next page →
Back to top | Article view | sci.math
csiph-web