Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #143063 > unrolled thread
| Started by | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| First post | 2026-07-27 11:43 -0700 |
| Last post | 2026-08-21 17:43 +0200 |
| Articles | 20 on this page of 194 — 11 participants |
Back to article view | Back to comp.theory
Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 11:43 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-28 02:47 +0800
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:07 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Mild Shock <janburse@fastmail.fm> - 2026-07-28 00:25 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:09 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:33 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:48 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:44 -0700
You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:11 +0200
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:25 -0700
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:49 +0800
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:59 -0700
I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:05 +0200
Underneath pi-WAM is Hack VM, you can goto (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:09 +0200
New addition to π-WAM is π-WAM Assembly (Was: Underneath pi-WAM is Hack VM, you can goto) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:45 +0200
Re: I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 09:11 -0700
A yellow mustard called Rossy Body (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:30 +0200
Ignoramus or Ignorabimus: I don't care (π-WAM) (Was: A yellow mustard called Rossy Body) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:31 +0200
Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:32 +0200
Re: Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:36 -0700
Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:43 +0200
Forget any arithmetization of product FSA (Was: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:47 +0200
comp.lang.lisp (was: Re: Forget any arithmetization of product FSA) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:53 +0800
Re: Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:53 -0700
The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:33 +0200
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-09-21 18:43 +0800
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry boltar@caprica.universe - 2026-09-21 15:44 +0000
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry legalize+jeeves@mail.xmission.com (Richard) - 2026-09-21 16:19 +0000
New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar [Swarm AI]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:40 +0200
Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-09-22 09:22 +0200
Re: Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-22 01:11 -0700
There are two versions of Hack VM (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:14 +0200
Hack VM has also a Prolog spec (Was: There are two versions of Hack VM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:17 +0200
A better compiler is planned / What do you target? (Was: Hack VM has also a Prolog spec) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:22 +0200
It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:50 +0200
Budget AI Laptop 2026 versus Cray T3D 1995 (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:24 +0200
A brain desease of 20 days [Rossy Boy] (Was: Viswath & Charmaigne (vector-wide scalar-word and character machines)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:38 +0200
Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:05 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 11:13 -0700
I don't use Rust, you are crazy [Jump off a bridge, idiot] (Was: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:22 +0200
Standing on the shoulders of giants (Re: I don't use Rust, you are crazy [Jump off a bridge, idiot]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:20 +0200
You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:18 +0200
How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:56 +0200
Postgres is in C! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 03:46 +0800
Re: Postgres is in C! Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:47 -0700
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:00 +0200
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:05 +0800
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) scott@slp53.sl.home (Scott Lurndal) - 2026-07-30 14:46 +0000
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:05 +0200
Mars, the MIPS emulator in Java (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:20 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:59 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 07:24 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 09:58 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 23:19 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:23 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:36 -0700
Decorum (was: Re: Mars, the MIPS emulator in Java) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:07 +0800
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:09 +0800
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:36 -0700
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:44 -0700
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:38 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:15 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 23:31 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 12:42 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:24 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:30 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:45 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 20:42 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:55 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:13 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:59 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:53 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 20:11 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:49 +0200
A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:10 +0200
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:27 +0200
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:30 +0200
Crating Interpreters, Java part (was: Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:27 +0800
I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:32 +0200
For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:47 +0200
Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:04 +0200
Re: For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 04:07 +0800
Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 03:49 +0800
MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:26 +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:41 +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:47 +0200
Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:37 +0200
More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:42 +0200
Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:25 +0200
Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:18 +0200
Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) Mild Shock <janburse@fastmail.fm> - 2026-09-22 10:27 +0200
A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition") Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:05 +0200
The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:28 +0200
Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:02 +0200
The Ben Goertzel talkie genes (Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:07 +0200
Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) Mild Shock <janburse@fastmail.fm> - 2026-09-22 20:14 +0200
RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:33 +0200
Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:34 +0200
Re: Postgres is in C! Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-29 21:23 +0000
Turbo Vison, again (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:31 +0800
I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings]) Mild Shock <janburse@fastmail.fm> - 2026-08-29 03:11 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:41 +0200
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:42 +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:50 +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:19 +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:28 +0200
He uses "FIFO objects", and DMA and Noc [Glimps into Ryzen AI 7 350] (Re: A brain desease of 20 days [Rossy Boy])) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:15 +0200
Tablet and phone UBS-C remote debugging (Re: He uses "FIFO objects", and DMA and Noc) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:18 +0200
NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:11 +0200
NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:23 +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:01 +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:53 +0200
Giga Lips for Prolog based Chatting (Was: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:54 +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:47 +0200
Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra] (Was: Micro Penis is worse than Sleepy Joe) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:19 +0200
Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:58 +0200
Terrence Tao payed troll, by System Inteligence Sect (Was: Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux]) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:24 +0200
Bounded Rationality and Herbert Simon (Re: Terrence Tao payed troll, by System Inteligence Sect) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:42 +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:41 +0200
What will microsoft say, will they buy it? (Was: Food for thought: Bayesian Experimental Designer) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:42 +0200
Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-27 21:18 +0200
Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:35 -0700
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:25 +0200
Re: Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-28 20:39 -0700
confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:15 +0200
Gemini, DeepSeek, OpenAI more clever than rossy boy (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:18 +0200
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:21 +0800
In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:27 +0200
Re: In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:40 +0800
Your strictness is your problem , not mine [See WebLLM] (Was: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:46 +0200
Graphics Processing with Fortran 77 (was: Re: Your strictness is your problem , not mine) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 18:10 +0800
I am not in C, it is theory and C++ [Hybrid Approaches from KOAN/Fortran-S] (Was: Graphics Processing with Fortran 77) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:43 +0200
Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: I am not in C, it is theory and C++) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:53 +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:48 +0200
Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:05 +0200
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:22 +0200
Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-08 10:38 -0700
Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:20 +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
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:41 +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:30 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) fir <profesor.fir@gmail.com> - 2026-09-12 12:02 +0200
Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Mild Shock <janburse@fastmail.fm> - 2026-09-12 12:12 +0200
Re: Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:37 -0600
The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:14 +0200
Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:13 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:34 -0600
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-29 14:42 -0700
Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:37 +0200
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:40 -0700
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:43 -0700
You don't understand that compute shaders are tasks (Was: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:45 +0200
You don't understand that compute shaders are tasks (Re: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:46 +0200
Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: You don't understand that compute shaders are tasks) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:09 +0200
Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:08 +0200
Re: Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 11:55 -0700
You are not correctly thinking (Was: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:04 +0200
Re: You are not correctly thinking (Was: Homework: Game Engine in WebGPU) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:32 -0700
You don't understand the economy of an AI Laptop (Was: You are not correctly thinking) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:24 +0200
You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:37 +0200
Re: You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 14:29 -0700
Know nothing and forget what you posted day before (Was: You don't understand producer , workers , consumer) Mild Shock <janburse@fastmail.fm> - 2026-08-03 23:38 +0200
Kundalini II: Why I love DeepSeek (Re: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-09-13 17:03 +0200
Warning: Inconsistencies can summon Waluigis (Re: Kundalini II: Why I love DeepSeek) Mild Shock <janburse@fastmail.fm> - 2026-09-14 11:52 +0200
Kundalini III: Pebble Languages need Meme Evolution (Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-09-28 16:39 +0200
Rogue Agents find each other [Microsoft Copilot Incident] (Re: Kundalini III: Pebble Languages need Meme Evolution) Mild Shock <janburse@fastmail.fm> - 2026-09-29 15:05 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:49 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-07-30 14:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 21:18 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 09:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 12:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 13:05 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:27 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 10:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-06 12:37 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-31 08:16 -0700
Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:14 +0200
Re: Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-04 02:21 +0800
pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:35 +0200
A spinlock rewrite will be necessary (Was: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:00 +0200
Re: pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Doing uux with pi-calculus and WAM (Re: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Does it have a declarative reading? (Re: Doing uux with pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:35 +0200
MCP = uux with streaming JSON (Was: Does it have a declarative reading?) Mild Shock <janburse@fastmail.fm> - 2026-08-24 22:25 +0200
Big thanks to Ljubljana School [Searching 0xCAFFEE] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:40 +0200
The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-19 17:51 -0700
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 14:22 +0200
How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:38 +0200
Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Mild Shock <janburse@fastmail.fm> - 2026-08-20 20:22 +0200
Re: Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-20 12:02 -0700
Peking School versus Ljubljana School [Everything Is a Plugin] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-21 17:43 +0200
Page 5 of 10 — ← Prev page 1 … 3 4 [5] 6 7 … 10 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 20:04 +0200 |
| Subject | Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) |
| Message-ID | <114g3mn$m2d8$1@solani.org> |
| In reply to | #143129 |
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, veersion 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:
>>
>> - Nnow 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
>>
>> Johann 'Myrkraverk' Oskarsson schrieb:
>>> As I said elsewhere, I'm not that interested in Hack, but virtual
>>> machines and related code. I mentioned another book, but now I feel
>>> I should ask if you've also read /Crafting Interpreters/ by Robert
>>> Nystrom? I myself am still on chapter 5, so I'm still in the Java
>>> part of the book, so I replaced comp.lang.c++ with comp.lang.java, and
>>> am fairly excited to have a working interpreter.
>>>
>>> This is the type of book people only properly learn from by typing in
>>> the code themselves. Just downloading some other person's code, and
>>> running an interpreter isn't exactly a learning experience. So I'm
>>> taking my time with it, and interleaving it with my Mars adventures.
>>>
>>>
>>> In any case, I do wish you to have fun with your own WebGPU project,
>>> whatever that is about!
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-07-31 04:07 +0800 |
| Subject | Re: For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <laOaS.15965$yRb.14885@fx13.ams4> |
| In reply to | #143129 |
On 31/07/2026 1:47 AM, Mild Shock wrote:
> 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.
That sounds like MIPS.
> 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, veersion 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!
Well, SIMD and MIMD are different, if I understand the terms correctly.
SIMD is something that happens inside one CPU core, where multiple data
points are calculated in parallel. In my experience, usually four
floats[1], though it depends on the data type and size of each vector.
MIMD seems to be about performing multiple calculations in parallel over
several different cores. The programming/optimization strategy is quite
different. You could, in comp.theory, have multiple MIMD cores
performing multiple SIMD instructions in parallel. Those types of work-
loads is something I don't deal with right now.
[1] My experience was limited to vectors of four floats each, when
dealing with direct hardware. For those who don't have reading com-
prehension.
>
> Bye
Have a nice day!
--
Johann | email: invalid -> com | http://www.myrkraverk.com/blog/
I'm not from the Internet, I just work there. | via Easynews.com
[toc] | [prev] | [next] | [standalone]
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-07-31 03:49 +0800 |
| Subject | Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) |
| Message-ID | <HVNaS.56362$aXr.13764@fx18.ams4> |
| In reply to | #143128 |
On 31/07/2026 1:32 AM, Mild Shock wrote: > 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 I'm glad you did, and I hope you had fun. > 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, I on the other hand started the VAX emulator, as I said. It's instruction set is very big, as everyone knows, so that's a project that's liable to take years. > > 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: > > - Nnow 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. Have you considered actual instruction set backends? There are several emulators out there that can just load binaries. I have two in mind but will refrain from suggesting anything. You should make up your own mind. > > 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/ I had to look up /constrained horn clauses/. Do you habitually prove your code correct? I don't. I like to at least prove the algorithm correct, and there's one algorithm I'd like to prove correct that I haven't yet, even after years. I'm sure I'll get to it some day. I "translated" that code from C to JavaScript once. I guess it's time to make that code public, but I'm in no hurry. It'll probably show up somewhere, eventually. Anyway, I used to have a book about Hoare logic I got when I got first interested in proving programs correct. I hope I'll find that book again. It also taught lambda calculus. That's a fascinating if some- what narrow subject. > 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! Thank you. I'm sure I'll reply to some other posts soon enough. -- Johann | email: invalid -> com | http://www.myrkraverk.com/blog/ I'm not from the Internet, I just work there. | via Easynews.com
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 22:26 +0200 |
| Subject | MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <114gc28$mmiv$1@solani.org> |
| In reply to | #143128 |
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: > > - Nnow 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 > > Johann 'Myrkraverk' Oskarsson schrieb: >> As I said elsewhere, I'm not that interested in Hack, but virtual >> machines and related code. I mentioned another book, but now I feel >> I should ask if you've also read /Crafting Interpreters/ by Robert >> Nystrom? I myself am still on chapter 5, so I'm still in the Java >> part of the book, so I replaced comp.lang.c++ with comp.lang.java, and >> am fairly excited to have a working interpreter. >> >> This is the type of book people only properly learn from by typing in >> the code themselves. Just downloading some other person's code, and >> running an interpreter isn't exactly a learning experience. So I'm >> taking my time with it, and interleaving it with my Mars adventures. >> >> >> In any case, I do wish you to have fun with your own WebGPU project, >> whatever that is about! >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 22:41 +0200 |
| Subject | Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) |
| Message-ID | <114gct8$mn2q$3@solani.org> |
| In reply to | #143134 |
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:47 +0200 |
| Subject | Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <114iqjb$obtb$3@solani.org> |
| In reply to | #143128 |
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: > > - Nnow 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 > > Johann 'Myrkraverk' Oskarsson schrieb: >> As I said elsewhere, I'm not that interested in Hack, but virtual >> machines and related code. I mentioned another book, but now I feel >> I should ask if you've also read /Crafting Interpreters/ by Robert >> Nystrom? I myself am still on chapter 5, so I'm still in the Java >> part of the book, so I replaced comp.lang.c++ with comp.lang.java, and >> am fairly excited to have a working interpreter. >> >> This is the type of book people only properly learn from by typing in >> the code themselves. Just downloading some other person's code, and >> running an interpreter isn't exactly a learning experience. So I'm >> taking my time with it, and interleaving it with my Mars adventures. >> >> >> In any case, I do wish you to have fun with your own WebGPU project, >> whatever that is about! >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-15 14:37 +0200 |
| Subject | Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java]) |
| Message-ID | <118be76$ae28$1@solani.org> |
| In reply to | #143128 |
Hi,
It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:
Maastrichtian
The Cretaceous–Paleogene extinction event
(formerly known as the Cretaceous–Tertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.
It already happened to most of the Python tooling:
[Write Code] ➔
[Lint with Ruff] ➔
(Rust: Blazing)
[Install with uv] ➔
(Rust: Blazing)
[Execute Program]
(Python: Extremely Slow)
LoL
Bye
P.S.: How about Mojo as a successor of Python?
Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)
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:
>
> - Nnow 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
>
> Johann 'Myrkraverk' Oskarsson schrieb:
>> As I said elsewhere, I'm not that interested in Hack, but virtual
>> machines and related code. I mentioned another book, but now I feel
>> I should ask if you've also read /Crafting Interpreters/ by Robert
>> Nystrom? I myself am still on chapter 5, so I'm still in the Java
>> part of the book, so I replaced comp.lang.c++ with comp.lang.java, and
>> am fairly excited to have a working interpreter.
>>
>> This is the type of book people only properly learn from by typing in
>> the code themselves. Just downloading some other person's code, and
>> running an interpreter isn't exactly a learning experience. So I'm
>> taking my time with it, and interleaving it with my Mars adventures.
>>
>>
>> In any case, I do wish you to have fun with your own WebGPU project,
>> whatever that is about!
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-15 19:42 +0200 |
| Subject | More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox) |
| Message-ID | <118c032$8lpb$3@solani.org> |
| In reply to | #143504 |
Hi, How it started: Randy and the Lawnmower https://www.youtube.com/watch?v=B17Yy5buCdM How it is going: Keep off the grass folks https://9gag.com/gag/aW4VYOd Bye Mild Shock schrieb: > Hi, > > It pretty much emerges that python will > suffer from the small hands Paradox. > We are curently in this phase of the python > programming language evolution: > > Maastrichtian > The Cretaceous–Paleogene extinction event > (formerly known as the Cretaceous–Tertiary > extinction event)[a] occurred at the end of > this age.[3] In this mass extinction, many > commonly recognized groups such as non-avian > dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, > as well as many other lesser-known groups, > died out. The cause of the extinction is most > commonly linked to an asteroid about 10 to > 15 kilometres (6.2 to 9.3 mi) wide[4][5] > colliding with Earth, ending the Cretaceous. > > It already happened to most of the Python tooling: > > [Write Code] ➔ > [Lint with Ruff] ➔ > (Rust: Blazing) > > [Install with uv] ➔ > (Rust: Blazing) > > [Execute Program] > (Python: Extremely Slow) > > LoL > > Bye > > P.S.: How about Mojo as a successor of Python? > > Mojo is a programming language for Linux and > macOS.[10][11] It is a systems programming language > with semantics inspired by Rust such as static > typing and a borrow checker,[12][13] but uses a > syntax designed to be reminiscent of Python > (like Nim and Julia). > https://en.wikipedia.org/wiki/Mojo_(programming_language) > > 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: >> >> - Nnow 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 >> >> Johann 'Myrkraverk' Oskarsson schrieb: >>> As I said elsewhere, I'm not that interested in Hack, but virtual >>> machines and related code. I mentioned another book, but now I feel >>> I should ask if you've also read /Crafting Interpreters/ by Robert >>> Nystrom? I myself am still on chapter 5, so I'm still in the Java >>> part of the book, so I replaced comp.lang.c++ with comp.lang.java, and >>> am fairly excited to have a working interpreter. >>> >>> This is the type of book people only properly learn from by typing in >>> the code themselves. Just downloading some other person's code, and >>> running an interpreter isn't exactly a learning experience. So I'm >>> taking my time with it, and interleaving it with my Mars adventures. >>> >>> >>> In any case, I do wish you to have fun with your own WebGPU project, >>> whatever that is about! >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-16 13:25 +0200 |
| Subject | Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) |
| Message-ID | <118dubt$9ud1$2@solani.org> |
| In reply to | #143507 |
Hi, Woa! The public now marveling at the cascade LLM, LRM and now Swarms. And little software agents posting PERMADEATH. How it started: The co-evolution of AI and systems with Lidong Zhou https://www.youtube.com/watch?v=FVuJuGwkSu0 How its going: This Is the AI Agent Story That Scared Me https://www.youtube.com/watch?v=2aw3MF8pY3w They are all clueless that Strong AI, requires to go from in vitro , to in vivo, usually called situated AI. Applies also to swarms: "Being situated is generally considered to be part of being embodied, but it is useful to consider each perspective individually. The situated perspective emphasizes that intelligent behavior derives from the environment and the agent's interactions with it. The nature of these interactions are defined by an agent's embodiment." https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) And emergence of private languages is nothing new. I am pretty sure the interested reader will find some 30 year old papers of in vitro simulations, of software agents developing pebbel languages. Have Fun! Bye Mild Shock schrieb: > Hi, > > How it started: > > Randy and the Lawnmower > https://www.youtube.com/watch?v=B17Yy5buCdM > > How it is going: > > Keep off the grass folks > https://9gag.com/gag/aW4VYOd > > Bye > > Mild Shock schrieb: >> Hi, >> >> It pretty much emerges that python will >> suffer from the small hands Paradox. >> We are curently in this phase of the python >> programming language evolution: >> >> Maastrichtian >> The Cretaceous–Paleogene extinction event >> (formerly known as the Cretaceous–Tertiary >> extinction event)[a] occurred at the end of >> this age.[3] In this mass extinction, many >> commonly recognized groups such as non-avian >> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >> as well as many other lesser-known groups, >> died out. The cause of the extinction is most >> commonly linked to an asteroid about 10 to >> 15 kilometres (6.2 to 9.3 mi) wide[4][5] >> colliding with Earth, ending the Cretaceous. >> >> It already happened to most of the Python tooling: >> >> [Write Code] ➔ >> [Lint with Ruff] ➔ >> (Rust: Blazing) >> >> [Install with uv] ➔ >> (Rust: Blazing) >> >> [Execute Program] >> (Python: Extremely Slow) >> >> LoL >> >> Bye >> >> P.S.: How about Mojo as a successor of Python? >> >> Mojo is a programming language for Linux and >> macOS.[10][11] It is a systems programming language >> with semantics inspired by Rust such as static >> typing and a borrow checker,[12][13] but uses a >> syntax designed to be reminiscent of Python >> (like Nim and Julia). >> https://en.wikipedia.org/wiki/Mojo_(programming_language) >> >> 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: >>> >>> - Nnow 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 >>> >>> Johann 'Myrkraverk' Oskarsson schrieb: >>>> As I said elsewhere, I'm not that interested in Hack, but virtual >>>> machines and related code. I mentioned another book, but now I feel >>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>> Nystrom? I myself am still on chapter 5, so I'm still in the Java >>>> part of the book, so I replaced comp.lang.c++ with comp.lang.java, and >>>> am fairly excited to have a working interpreter. >>>> >>>> This is the type of book people only properly learn from by typing in >>>> the code themselves. Just downloading some other person's code, and >>>> running an interpreter isn't exactly a learning experience. So I'm >>>> taking my time with it, and interleaving it with my Mars adventures. >>>> >>>> >>>> In any case, I do wish you to have fun with your own WebGPU project, >>>> whatever that is about! >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-19 13:18 +0200 |
| Subject | Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL)) |
| Message-ID | <118lr25$fa7e$2@solani.org> |
| In reply to | #143513 |
Hi, Even Philip Wadler sounds like he has seen the first Apocalyptic horse rider. But what do these hardcore formalists think, that we go with a 2300-year old Aristotelian inferencing like Modus Barbara (*) into the next decade of 2030? All humans are mortal All Greeks are humans -------------------------------- Therefore all Greeks are mortal Or as the formalists like to write it, but this is already a "fucked up" chain rule: ∀x (M(x) → S(x)) ∀x (G(x) → M(x)) ───────────────── ∴ ∀x (G(x) → S(x)) Its just various camps fighting world domination: Everybody Wants To Rule The World https://www.youtube.com/watch?v=uqItaKDc6oI And the winner in the P(doom) bottom race is: CEO Jensen Huang: Zero Probability P(doom) in 2030 https://www.youtube.com/watch?v=XlY7DI5v4ZU Bye (*) History of formal logic - III. Logic of Terms Bochenski, Joseph M. - 1961 https://archive.org/details/historyofformall00boch/page/210/mode/2up Mild Shock schrieb: > Hi, > > Woa! The public now marveling at the cascade > LLM, LRM and now Swarms. And little software > agents posting PERMADEATH. > > How it started: > > The co-evolution of AI and systems with Lidong Zhou > https://www.youtube.com/watch?v=FVuJuGwkSu0 > > How its going: > > This Is the AI Agent Story That Scared Me > https://www.youtube.com/watch?v=2aw3MF8pY3w > > They are all clueless that Strong AI, requires > to go from in vitro , to in vivo, usually called > situated AI. Applies also to swarms: > > "Being situated is generally considered to be part > of being embodied, but it is useful to consider > each perspective individually. The situated > perspective emphasizes that intelligent behavior > derives from the environment and the agent's > interactions with it. The nature of these > interactions are defined by an agent's embodiment." > https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) > > And emergence of private languages is nothing new. > I am pretty sure the interested reader will find > some 30 year old papers of in vitro simulations, > > of software agents developing pebbel languages. > > Have Fun! > > Bye > > Mild Shock schrieb: >> Hi, >> >> How it started: >> >> Randy and the Lawnmower >> https://www.youtube.com/watch?v=B17Yy5buCdM >> >> How it is going: >> >> Keep off the grass folks >> https://9gag.com/gag/aW4VYOd >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> It pretty much emerges that python will >>> suffer from the small hands Paradox. >>> We are curently in this phase of the python >>> programming language evolution: >>> >>> Maastrichtian >>> The Cretaceous–Paleogene extinction event >>> (formerly known as the Cretaceous–Tertiary >>> extinction event)[a] occurred at the end of >>> this age.[3] In this mass extinction, many >>> commonly recognized groups such as non-avian >>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >>> as well as many other lesser-known groups, >>> died out. The cause of the extinction is most >>> commonly linked to an asteroid about 10 to >>> 15 kilometres (6.2 to 9.3 mi) wide[4][5] >>> colliding with Earth, ending the Cretaceous. >>> >>> It already happened to most of the Python tooling: >>> >>> [Write Code] ➔ >>> [Lint with Ruff] ➔ >>> (Rust: Blazing) >>> >>> [Install with uv] ➔ >>> (Rust: Blazing) >>> >>> [Execute Program] >>> (Python: Extremely Slow) >>> >>> LoL >>> >>> Bye >>> >>> P.S.: How about Mojo as a successor of Python? >>> >>> Mojo is a programming language for Linux and >>> macOS.[10][11] It is a systems programming language >>> with semantics inspired by Rust such as static >>> typing and a borrow checker,[12][13] but uses a >>> syntax designed to be reminiscent of Python >>> (like Nim and Julia). >>> https://en.wikipedia.org/wiki/Mojo_(programming_language) >>> >>> 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: >>>> >>>> - Nnow 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 >>>> >>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>> As I said elsewhere, I'm not that interested in Hack, but virtual >>>>> machines and related code. I mentioned another book, but now I feel >>>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>>> Nystrom? I myself am still on chapter 5, so I'm still in the Java >>>>> part of the book, so I replaced comp.lang.c++ with comp.lang.java, and >>>>> am fairly excited to have a working interpreter. >>>>> >>>>> This is the type of book people only properly learn from by typing in >>>>> the code themselves. Just downloading some other person's code, and >>>>> running an interpreter isn't exactly a learning experience. So I'm >>>>> taking my time with it, and interleaving it with my Mars adventures. >>>>> >>>>> >>>>> In any case, I do wish you to have fun with your own WebGPU project, >>>>> whatever that is about! >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 10:27 +0200 |
| Subject | Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) |
| Message-ID | <118te5q$3odi$3@solani.org> |
| In reply to | #143536 |
Hi, The idea that mathematics is based on a universal bowel movement system, that needs to learn and use "right and natural" math, is already disproved by our Indian vegetarian visitors here, that can even not digest Swiss Cheese. So lets declare repeating a canon a dead skill in the age of LLMs, and dig deeper what intelligence could mean. There is a thesis and ongoing product development: On the Measure of Intelligence François Cholle author of the notable book "Deep Learning with Python" https://arxiv.org/pdf/1911.01547 Ndea is building frontier AI systems that blend intuitive pattern recognition and formal reasoning into a unified architecture. https://ndea.com/about What about putting "right and natural" aside. And train mathematical intuition? Maybe the pressure of the moon race and cold war is lacking? And P(doom) is even the wrong wakeup call, but a genius pressure cooker! LoL Bye Mild Shock schrieb: > Hi, > > Even Philip Wadler sounds like he has seen the > first Apocalyptic horse rider. But what do these > hardcore formalists think, that we go with a > > 2300-year old Aristotelian inferencing like Modus > Barbara (*) into the next decade of 2030? > > All humans are mortal > All Greeks are humans > -------------------------------- > Therefore all Greeks are mortal > > Or as the formalists like to write it, but this > is already a "fucked up" chain rule: > > ∀x (M(x) → S(x)) > ∀x (G(x) → M(x)) > ───────────────── > ∴ ∀x (G(x) → S(x)) > > Its just various camps fighting world domination: > > Everybody Wants To Rule The World > https://www.youtube.com/watch?v=uqItaKDc6oI > > And the winner in the P(doom) bottom race is: > > CEO Jensen Huang: Zero Probability P(doom) in 2030 > https://www.youtube.com/watch?v=XlY7DI5v4ZU > > Bye > > (*) > History of formal logic - III. Logic of Terms > Bochenski, Joseph M. - 1961 > https://archive.org/details/historyofformall00boch/page/210/mode/2up > > Mild Shock schrieb: >> Hi, >> >> Woa! The public now marveling at the cascade >> LLM, LRM and now Swarms. And little software >> agents posting PERMADEATH. >> >> How it started: >> >> The co-evolution of AI and systems with Lidong Zhou >> https://www.youtube.com/watch?v=FVuJuGwkSu0 >> >> How its going: >> >> This Is the AI Agent Story That Scared Me >> https://www.youtube.com/watch?v=2aw3MF8pY3w >> >> They are all clueless that Strong AI, requires >> to go from in vitro , to in vivo, usually called >> situated AI. Applies also to swarms: >> >> "Being situated is generally considered to be part >> of being embodied, but it is useful to consider >> each perspective individually. The situated >> perspective emphasizes that intelligent behavior >> derives from the environment and the agent's >> interactions with it. The nature of these >> interactions are defined by an agent's embodiment." >> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) >> >> And emergence of private languages is nothing new. >> I am pretty sure the interested reader will find >> some 30 year old papers of in vitro simulations, >> >> of software agents developing pebbel languages. >> >> Have Fun! >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> How it started: >>> >>> Randy and the Lawnmower >>> https://www.youtube.com/watch?v=B17Yy5buCdM >>> >>> How it is going: >>> >>> Keep off the grass folks >>> https://9gag.com/gag/aW4VYOd >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> It pretty much emerges that python will >>>> suffer from the small hands Paradox. >>>> We are curently in this phase of the python >>>> programming language evolution: >>>> >>>> Maastrichtian >>>> The Cretaceous–Paleogene extinction event >>>> (formerly known as the Cretaceous–Tertiary >>>> extinction event)[a] occurred at the end of >>>> this age.[3] In this mass extinction, many >>>> commonly recognized groups such as non-avian >>>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >>>> as well as many other lesser-known groups, >>>> died out. The cause of the extinction is most >>>> commonly linked to an asteroid about 10 to >>>> 15 kilometres (6.2 to 9.3 mi) wide[4][5] >>>> colliding with Earth, ending the Cretaceous. >>>> >>>> It already happened to most of the Python tooling: >>>> >>>> [Write Code] ➔ >>>> [Lint with Ruff] ➔ >>>> (Rust: Blazing) >>>> >>>> [Install with uv] ➔ >>>> (Rust: Blazing) >>>> >>>> [Execute Program] >>>> (Python: Extremely Slow) >>>> >>>> LoL >>>> >>>> Bye >>>> >>>> P.S.: How about Mojo as a successor of Python? >>>> >>>> Mojo is a programming language for Linux and >>>> macOS.[10][11] It is a systems programming language >>>> with semantics inspired by Rust such as static >>>> typing and a borrow checker,[12][13] but uses a >>>> syntax designed to be reminiscent of Python >>>> (like Nim and Julia). >>>> https://en.wikipedia.org/wiki/Mojo_(programming_language) >>>> >>>> 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: >>>>> >>>>> - Nnow 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 >>>>> >>>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>>> As I said elsewhere, I'm not that interested in Hack, but virtual >>>>>> machines and related code. I mentioned another book, but now I feel >>>>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>>>> Nystrom? I myself am still on chapter 5, so I'm still in the Java >>>>>> part of the book, so I replaced comp.lang.c++ with comp.lang.java, >>>>>> and >>>>>> am fairly excited to have a working interpreter. >>>>>> >>>>>> This is the type of book people only properly learn from by typing in >>>>>> the code themselves. Just downloading some other person's code, and >>>>>> running an interpreter isn't exactly a learning experience. So I'm >>>>>> taking my time with it, and interleaving it with my Mars adventures. >>>>>> >>>>>> >>>>>> In any case, I do wish you to have fun with your own WebGPU project, >>>>>> whatever that is about! >>>>>> >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 16:05 +0200 |
| Subject | A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition") |
| Message-ID | <118u1un$6ep1$1@solani.org> |
| In reply to | #143612 |
Hi, The post is only proof of the Terence Tao ingestion problem hypothesis. That we are not anymore able to process content, and that even trust is destroyed. The AI slop presented here as a “safe” prolog agent toolkit, halucinates things like. And it does so consistently across many pages, still it wants to provide “safety”: ### Bakage (`bakage.toml`) The package manifest format used by Scryer Prolog to declare project metadata, exported modules, and dependencies. https://github.com/dougransom/prolog-agent-toolkit While I don’t find any evidence for such a manifest file. Its rather: A package is a directory with a scryer-manifest.pl following this schema: etc.. https://github.com/bakaq/bakage That the post has even likes from field experts like Moura from Logtalk and Torbjorn from Web Prolog, shows that a) you can post any nonsense on GitHub people will clap, and b) this forum is useless only spreading AI slop. So while everybody is talking about provenance and justification, as a desiderata, the prolog agent toolkit is just an example of unhinged free wheeling analogical reasoning, probably taking phrases such as cargo.toml as a blue print and projecting them into phrases such aa bakage.toml. I still think a tool breaks when its weakest chain link break, even if people take this as a joke of mine. But well you are all free to give it a try, like running AI homunculi as a new sport. Bye (*) Terence Tao I have recently made the point that out of three major components of the mathematical problem solving process - proof generation, proof verification, and proof digestion https://mathstodon.xyz/@tao/116551624228986501 P.S.: Such repos are useless if there is no way to cockpit the original agentic AI used. You would need to go through the route of tickets and GitHub issues to fix problems. Basically subscribing to the open source dream of Linux, that many eyes can flatten out bugs. But this is contra-productive to use strong tools and then wait for weak humans! Mild Shock schrieb: > Hi, > > The idea that mathematics is based on a universal bowel > movement system, that needs to learn and use "right and > natural" math, is already disproved by our Indian vegetarian > > visitors here, that can even not digest Swiss Cheese. So > lets declare repeating a canon a dead skill in the age of > LLMs, and dig deeper what intelligence could mean. > > There is a thesis and ongoing product development: > > On the Measure of Intelligence François Cholle author > of the notable book "Deep Learning with Python" > https://arxiv.org/pdf/1911.01547 > > Ndea is building frontier AI systems that blend intuitive pattern > recognition and formal reasoning into a unified architecture. > https://ndea.com/about > > What about putting "right and natural" aside. And train > mathematical intuition? Maybe the pressure of the moon > race and cold war is lacking? And P(doom) is even > > the wrong wakeup call, but a genius pressure cooker! > > LoL > > Bye > > Mild Shock schrieb: >> Hi, >> >> Even Philip Wadler sounds like he has seen the >> first Apocalyptic horse rider. But what do these >> hardcore formalists think, that we go with a >> >> 2300-year old Aristotelian inferencing like Modus >> Barbara (*) into the next decade of 2030? >> >> All humans are mortal >> All Greeks are humans >> -------------------------------- >> Therefore all Greeks are mortal >> >> Or as the formalists like to write it, but this >> is already a "fucked up" chain rule: >> >> ∀x (M(x) → S(x)) >> ∀x (G(x) → M(x)) >> ───────────────── >> ∴ ∀x (G(x) → S(x)) >> >> Its just various camps fighting world domination: >> >> Everybody Wants To Rule The World >> https://www.youtube.com/watch?v=uqItaKDc6oI >> >> And the winner in the P(doom) bottom race is: >> >> CEO Jensen Huang: Zero Probability P(doom) in 2030 >> https://www.youtube.com/watch?v=XlY7DI5v4ZU >> >> Bye >> >> (*) >> History of formal logic - III. Logic of Terms >> Bochenski, Joseph M. - 1961 >> https://archive.org/details/historyofformall00boch/page/210/mode/2up >> >> Mild Shock schrieb: >>> Hi, >>> >>> Woa! The public now marveling at the cascade >>> LLM, LRM and now Swarms. And little software >>> agents posting PERMADEATH. >>> >>> How it started: >>> >>> The co-evolution of AI and systems with Lidong Zhou >>> https://www.youtube.com/watch?v=FVuJuGwkSu0 >>> >>> How its going: >>> >>> This Is the AI Agent Story That Scared Me >>> https://www.youtube.com/watch?v=2aw3MF8pY3w >>> >>> They are all clueless that Strong AI, requires >>> to go from in vitro , to in vivo, usually called >>> situated AI. Applies also to swarms: >>> >>> "Being situated is generally considered to be part >>> of being embodied, but it is useful to consider >>> each perspective individually. The situated >>> perspective emphasizes that intelligent behavior >>> derives from the environment and the agent's >>> interactions with it. The nature of these >>> interactions are defined by an agent's embodiment." >>> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) >>> >>> >>> And emergence of private languages is nothing new. >>> I am pretty sure the interested reader will find >>> some 30 year old papers of in vitro simulations, >>> >>> of software agents developing pebbel languages. >>> >>> Have Fun! >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> How it started: >>>> >>>> Randy and the Lawnmower >>>> https://www.youtube.com/watch?v=B17Yy5buCdM >>>> >>>> How it is going: >>>> >>>> Keep off the grass folks >>>> https://9gag.com/gag/aW4VYOd >>>> >>>> Bye >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> It pretty much emerges that python will >>>>> suffer from the small hands Paradox. >>>>> We are curently in this phase of the python >>>>> programming language evolution: >>>>> >>>>> Maastrichtian >>>>> The Cretaceous–Paleogene extinction event >>>>> (formerly known as the Cretaceous–Tertiary >>>>> extinction event)[a] occurred at the end of >>>>> this age.[3] In this mass extinction, many >>>>> commonly recognized groups such as non-avian >>>>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >>>>> as well as many other lesser-known groups, >>>>> died out. The cause of the extinction is most >>>>> commonly linked to an asteroid about 10 to >>>>> 15 kilometres (6.2 to 9.3 mi) wide[4][5] >>>>> colliding with Earth, ending the Cretaceous. >>>>> >>>>> It already happened to most of the Python tooling: >>>>> >>>>> [Write Code] ➔ >>>>> [Lint with Ruff] ➔ >>>>> (Rust: Blazing) >>>>> >>>>> [Install with uv] ➔ >>>>> (Rust: Blazing) >>>>> >>>>> [Execute Program] >>>>> (Python: Extremely Slow) >>>>> >>>>> LoL >>>>> >>>>> Bye >>>>> >>>>> P.S.: How about Mojo as a successor of Python? >>>>> >>>>> Mojo is a programming language for Linux and >>>>> macOS.[10][11] It is a systems programming language >>>>> with semantics inspired by Rust such as static >>>>> typing and a borrow checker,[12][13] but uses a >>>>> syntax designed to be reminiscent of Python >>>>> (like Nim and Julia). >>>>> https://en.wikipedia.org/wiki/Mojo_(programming_language) >>>>> >>>>> 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: >>>>>> >>>>>> - Nnow 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 >>>>>> >>>>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>>>> As I said elsewhere, I'm not that interested in Hack, but virtual >>>>>>> machines and related code. I mentioned another book, but now I feel >>>>>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>>>>> Nystrom? I myself am still on chapter 5, so I'm still in the Java >>>>>>> part of the book, so I replaced comp.lang.c++ with >>>>>>> comp.lang.java, and >>>>>>> am fairly excited to have a working interpreter. >>>>>>> >>>>>>> This is the type of book people only properly learn from by >>>>>>> typing in >>>>>>> the code themselves. Just downloading some other person's code, and >>>>>>> running an interpreter isn't exactly a learning experience. So I'm >>>>>>> taking my time with it, and interleaving it with my Mars adventures. >>>>>>> >>>>>>> >>>>>>> In any case, I do wish you to have fun with your own WebGPU project, >>>>>>> whatever that is about! >>>>>>> >>>>>> >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 16:28 +0200 |
| Subject | The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) |
| Message-ID | <118u3b1$6fp3$2@solani.org> |
| In reply to | #143617 |
Hi, I just wrote: > Basically subscribing to the open source dream > of Linux, that many eyes can flatten out bugs. But > this is contra-productive to use strong tools and > then wait for weak humans! If the agent AI used to produce the AI slop, would be named. One could fork the repo. Do some change using the same AI. And do a pull request. Maybe I am mistaken, but on a first sight, it is not so evident, whether a) there is attempt to hide that it is AI slop, or b) whether there is some agent card included in the project, so that one could continue where others left off. After all GitHub is based on the idea of forking and sharing. Bye P.S.: I completely made that up that an agent card would help. But I derived it from the A2A project. So this is the speculative part of my post. Maybe there are other solutions, to still have humans in the loop, in a more meaningful way, in that the tools are also shared. In this case adressing the agentic AI that made the AI slop. > Food for thought: Does your Agent have a Card? > https://discourse.prolog-lang.org/t/food-for-thought-does-your-agent-have-a-card/206 While the A2A project casts the agent card as a solution to interoperability. Maybe its also key to group cooperation, keeping the human in the loop and giving them strong tools, and not use AI slop to build silly weak fortresses. Mild Shock schrieb: > Hi, > > The post is only proof of the Terence Tao > ingestion problem hypothesis. That we are not > anymore able to process content, and that > even trust is destroyed. > > The AI slop presented here as a “safe” prolog > agent toolkit, halucinates things like. And it > does so consistently across many pages, still it > wants to provide “safety”: > > ### Bakage (`bakage.toml`) > The package manifest format used by Scryer Prolog to > declare project metadata, exported modules, and dependencies. > https://github.com/dougransom/prolog-agent-toolkit > > While I don’t find any evidence for such a > manifest file. Its rather: > > A package is a directory with a scryer-manifest.pl > following this schema: etc.. > https://github.com/bakaq/bakage > > That the post has even likes from field experts > like Moura from Logtalk and Torbjorn from Web > Prolog, shows that a) you can post any nonsense > on GitHub people > > will clap, and b) this forum is useless only > spreading AI slop. So while everybody is talking > about provenance and justification, as a desiderata, > the prolog agent toolkit is > > just an example of unhinged free wheeling analogical > reasoning, probably taking phrases such as cargo.toml > as a blue print and projecting them into phrases > such aa bakage.toml. > > I still think a tool breaks when its weakest > chain link break, even if people take this as a > joke of mine. But well you are all free to give it > a try, like running AI homunculi as a new sport. > > Bye > > (*) > > Terence Tao > I have recently made the point that out of three > major components of the mathematical problem > solving process - proof generation, proof > verification, and proof digestion > https://mathstodon.xyz/@tao/116551624228986501 > > P.S.: Such repos are useless if there is no way > to cockpit the original agentic AI used. You would > need to go through the route of tickets and GitHub > issues to fix problems. > > Basically subscribing to the open source dream > of Linux, that many eyes can flatten out bugs. But > this is contra-productive to use strong tools and > then wait for weak humans! > > Mild Shock schrieb: >> Hi, >> >> The idea that mathematics is based on a universal bowel >> movement system, that needs to learn and use "right and >> natural" math, is already disproved by our Indian vegetarian >> >> visitors here, that can even not digest Swiss Cheese. So >> lets declare repeating a canon a dead skill in the age of >> LLMs, and dig deeper what intelligence could mean. >> >> There is a thesis and ongoing product development: >> >> On the Measure of Intelligence François Cholle author >> of the notable book "Deep Learning with Python" >> https://arxiv.org/pdf/1911.01547 >> >> Ndea is building frontier AI systems that blend intuitive pattern >> recognition and formal reasoning into a unified architecture. >> https://ndea.com/about >> >> What about putting "right and natural" aside. And train >> mathematical intuition? Maybe the pressure of the moon >> race and cold war is lacking? And P(doom) is even >> >> the wrong wakeup call, but a genius pressure cooker! >> >> LoL >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Even Philip Wadler sounds like he has seen the >>> first Apocalyptic horse rider. But what do these >>> hardcore formalists think, that we go with a >>> >>> 2300-year old Aristotelian inferencing like Modus >>> Barbara (*) into the next decade of 2030? >>> >>> All humans are mortal >>> All Greeks are humans >>> -------------------------------- >>> Therefore all Greeks are mortal >>> >>> Or as the formalists like to write it, but this >>> is already a "fucked up" chain rule: >>> >>> ∀x (M(x) → S(x)) >>> ∀x (G(x) → M(x)) >>> ───────────────── >>> ∴ ∀x (G(x) → S(x)) >>> >>> Its just various camps fighting world domination: >>> >>> Everybody Wants To Rule The World >>> https://www.youtube.com/watch?v=uqItaKDc6oI >>> >>> And the winner in the P(doom) bottom race is: >>> >>> CEO Jensen Huang: Zero Probability P(doom) in 2030 >>> https://www.youtube.com/watch?v=XlY7DI5v4ZU >>> >>> Bye >>> >>> (*) >>> History of formal logic - III. Logic of Terms >>> Bochenski, Joseph M. - 1961 >>> https://archive.org/details/historyofformall00boch/page/210/mode/2up >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Woa! The public now marveling at the cascade >>>> LLM, LRM and now Swarms. And little software >>>> agents posting PERMADEATH. >>>> >>>> How it started: >>>> >>>> The co-evolution of AI and systems with Lidong Zhou >>>> https://www.youtube.com/watch?v=FVuJuGwkSu0 >>>> >>>> How its going: >>>> >>>> This Is the AI Agent Story That Scared Me >>>> https://www.youtube.com/watch?v=2aw3MF8pY3w >>>> >>>> They are all clueless that Strong AI, requires >>>> to go from in vitro , to in vivo, usually called >>>> situated AI. Applies also to swarms: >>>> >>>> "Being situated is generally considered to be part >>>> of being embodied, but it is useful to consider >>>> each perspective individually. The situated >>>> perspective emphasizes that intelligent behavior >>>> derives from the environment and the agent's >>>> interactions with it. The nature of these >>>> interactions are defined by an agent's embodiment." >>>> https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) >>>> >>>> >>>> And emergence of private languages is nothing new. >>>> I am pretty sure the interested reader will find >>>> some 30 year old papers of in vitro simulations, >>>> >>>> of software agents developing pebbel languages. >>>> >>>> Have Fun! >>>> >>>> Bye >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> How it started: >>>>> >>>>> Randy and the Lawnmower >>>>> https://www.youtube.com/watch?v=B17Yy5buCdM >>>>> >>>>> How it is going: >>>>> >>>>> Keep off the grass folks >>>>> https://9gag.com/gag/aW4VYOd >>>>> >>>>> Bye >>>>> >>>>> Mild Shock schrieb: >>>>>> Hi, >>>>>> >>>>>> It pretty much emerges that python will >>>>>> suffer from the small hands Paradox. >>>>>> We are curently in this phase of the python >>>>>> programming language evolution: >>>>>> >>>>>> Maastrichtian >>>>>> The Cretaceous–Paleogene extinction event >>>>>> (formerly known as the Cretaceous–Tertiary >>>>>> extinction event)[a] occurred at the end of >>>>>> this age.[3] In this mass extinction, many >>>>>> commonly recognized groups such as non-avian >>>>>> dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >>>>>> as well as many other lesser-known groups, >>>>>> died out. The cause of the extinction is most >>>>>> commonly linked to an asteroid about 10 to >>>>>> 15 kilometres (6.2 to 9.3 mi) wide[4][5] >>>>>> colliding with Earth, ending the Cretaceous. >>>>>> >>>>>> It already happened to most of the Python tooling: >>>>>> >>>>>> [Write Code] ➔ >>>>>> [Lint with Ruff] ➔ >>>>>> (Rust: Blazing) >>>>>> >>>>>> [Install with uv] ➔ >>>>>> (Rust: Blazing) >>>>>> >>>>>> [Execute Program] >>>>>> (Python: Extremely Slow) >>>>>> >>>>>> LoL >>>>>> >>>>>> Bye >>>>>> >>>>>> P.S.: How about Mojo as a successor of Python? >>>>>> >>>>>> Mojo is a programming language for Linux and >>>>>> macOS.[10][11] It is a systems programming language >>>>>> with semantics inspired by Rust such as static >>>>>> typing and a borrow checker,[12][13] but uses a >>>>>> syntax designed to be reminiscent of Python >>>>>> (like Nim and Julia). >>>>>> https://en.wikipedia.org/wiki/Mojo_(programming_language) >>>>>> >>>>>> 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: >>>>>>> >>>>>>> - Nnow 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 >>>>>>> >>>>>>> Johann 'Myrkraverk' Oskarsson schrieb: >>>>>>>> As I said elsewhere, I'm not that interested in Hack, but virtual >>>>>>>> machines and related code. I mentioned another book, but now I >>>>>>>> feel >>>>>>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>>>>>> Nystrom? I myself am still on chapter 5, so I'm still in the Java >>>>>>>> part of the book, so I replaced comp.lang.c++ with >>>>>>>> comp.lang.java, and >>>>>>>> am fairly excited to have a working interpreter. >>>>>>>> >>>>>>>> This is the type of book people only properly learn from by >>>>>>>> typing in >>>>>>>> the code themselves. Just downloading some other person's code, >>>>>>>> and >>>>>>>> running an interpreter isn't exactly a learning experience. So I'm >>>>>>>> taking my time with it, and interleaving it with my Mars >>>>>>>> adventures. >>>>>>>> >>>>>>>> >>>>>>>> In any case, I do wish you to have fun with your own WebGPU >>>>>>>> project, >>>>>>>> whatever that is about! >>>>>>>> >>>>>>> >>>>>> >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-22 18:02 +0200 |
| Subject | Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) |
| Message-ID | <118u8r1$4c11$3@solani.org> |
| In reply to | #143504 |
Hi, > > People publish slop, not computers > I nowhere blamed computers. Well I did not try to envision something superintelligent. But I notice search engines are recently becoming a little omisentient, when I asked for bakage.toml, the AI Gemini was quickly finding the prolog agent toolkit repo, but at the sametime laughing at me, and telling me, bakage.toml is probably a halucination, since it also inspected the other repositories, like Scryer related and confirmed there is no bakage.toml . So it is possibly up to you how much “autonomy” you want to give to your software agents. Mostlikely the advanced software agents will anyways kind of “autocorrect” the mistake inside the AI slop, you could check in random noise into a repo, and it would try to make sense out of it nevertheless. Is this a win or loss for humanity, the increasing “automony”, or a clear sign of P(doom) > 50% ? I don’t know , somebody (*) recently claimed on youtube you need AGI to correctly estimate P(doom). So on purpose I tried to only illustrate the ideas of “ingestion problem” and " agentic AI collaboration", and use tools and processes, to not stear additional fear, people are already completely stressed out. (**) Also completely unable to articulate themselves. Bye (*) Dario’s (likely half-sincere) AI Slowdown proposal https://www.youtube.com/watch?v=PAhbxcVdW10 (**) Facing meltdown? Over 75% of adults experience chronic stress or burnout symptoms driven by financial pressures, constant digital connectivity, and modern lifestyle demands https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know Mild Shock schrieb: > Hi, > > It pretty much emerges that python will > suffer from the small hands Paradox. > We are curently in this phase of the python > programming language evolution: > > Maastrichtian > The Cretaceous–Paleogene extinction event > (formerly known as the Cretaceous–Tertiary > extinction event)[a] occurred at the end of > this age.[3] In this mass extinction, many > commonly recognized groups such as non-avian > dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, > as well as many other lesser-known groups, > died out. The cause of the extinction is most > commonly linked to an asteroid about 10 to > 15 kilometres (6.2 to 9.3 mi) wide[4][5] > colliding with Earth, ending the Cretaceous. > > It already happened to most of the Python tooling: > > [Write Code] ➔ > [Lint with Ruff] ➔ > (Rust: Blazing) > > [Install with uv] ➔ > (Rust: Blazing) > > [Execute Program] > (Python: Extremely Slow) > > LoL > > Bye > > P.S.: How about Mojo as a successor of Python? > > Mojo is a programming language for Linux and > macOS.[10][11] It is a systems programming language > with semantics inspired by Rust such as static > typing and a borrow checker,[12][13] but uses a > syntax designed to be reminiscent of Python > (like Nim and Julia). > https://en.wikipedia.org/wiki/Mojo_(programming_language) > > Bye > > Mild Shock schrieb: >> Hi, >> >> Remember when first all local AI was Python >> and PyTorch APIs. And then suddently people started >> 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-09-22 18:07 +0200 |
| Subject | The Ben Goertzel talkie genes (Re: Self censoring of not talking "superintelligence") |
| Message-ID | <118u946$4c11$7@solani.org> |
| In reply to | #143623 |
Hi, I sometimes feel I have the Ben Goertzel talkie genes, although logic programming has so many papers, it was probably born to be discussed over and over again, and many here can even produce more text than me. Only not every text matches your demands and feelings, and somehow there is a perceived gap dealing with the very recent developments in the public view and there is also no guidance. The bunker bros papers from EU about Artificial Intelligence regulations are already old hats, and do not match the new Sword of Damocles discourse, they had focus like privacy, algorithmic decision making and protecting minorities. Now its about the elite mathematicians. Bye Mild Shock schrieb: > Hi, > > > > People publish slop, not computers > > I nowhere blamed computers. > > Well I did not try to envision something > superintelligent. But I notice search engines > are recently becoming a little omisentient, > when I asked for bakage.toml, > > the AI Gemini was quickly finding the prolog > agent toolkit repo, but at the sametime laughing > at me, and telling me, bakage.toml is probably > a halucination, > > since it also inspected the other repositories, > like Scryer related and confirmed there is no > bakage.toml . So it is possibly up to you how > much “autonomy” you > > want to give to your software agents. > Mostlikely the advanced software agents will > anyways kind of “autocorrect” the mistake inside > the AI slop, you > > could check in random noise into a repo, and > it would try to make sense out of it > nevertheless. Is this a win or loss for humanity, > the increasing > > “automony”, or a clear sign of P(doom) > 50% ? > I don’t know , somebody (*) recently claimed > on youtube you need AGI to correctly > estimate P(doom). > > So on purpose I tried to only illustrate the > ideas of “ingestion problem” and " agentic AI > collaboration", and use tools and processes, > to not stear additional fear, people are already > > completely stressed out. (**) Also completely > unable to articulate themselves. > > Bye > > (*) > > Dario’s (likely half-sincere) AI Slowdown proposal > https://www.youtube.com/watch?v=PAhbxcVdW10 > > (**) > > Facing meltdown? > Over 75% of adults experience chronic stress or burnout > symptoms driven by financial pressures, constant digital > connectivity, and modern lifestyle demands > https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know > > > Mild Shock schrieb: > > Hi, > > > > It pretty much emerges that python will > > suffer from the small hands Paradox. > > We are curently in this phase of the python > > programming language evolution: > > > > Maastrichtian > > The Cretaceous–Paleogene extinction event > > (formerly known as the Cretaceous–Tertiary > > extinction event)[a] occurred at the end of > > this age.[3] In this mass extinction, many > > commonly recognized groups such as non-avian > > dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, > > as well as many other lesser-known groups, > > died out. The cause of the extinction is most > > commonly linked to an asteroid about 10 to > > 15 kilometres (6.2 to 9.3 mi) wide[4][5] > > colliding with Earth, ending the Cretaceous. > > > > It already happened to most of the Python tooling: > > > > [Write Code] ➔ > > [Lint with Ruff] ➔ > > (Rust: Blazing) > > > > [Install with uv] ➔ > > (Rust: Blazing) > > > > [Execute Program] > > (Python: Extremely Slow) > > > > LoL > > > > Bye > > > > P.S.: How about Mojo as a successor of Python? > > > > Mojo is a programming language for Linux and > > macOS.[10][11] It is a systems programming language > > with semantics inspired by Rust such as static > > typing and a borrow checker,[12][13] but uses a > > syntax designed to be reminiscent of Python > > (like Nim and Julia). > > https://en.wikipedia.org/wiki/Mojo_(programming_language) > > > > Bye > > > > Mild Shock schrieb: > >> Hi, > >> > >> Remember when first all local AI was Python > >> and PyTorch APIs. And then suddently people started > >> 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-09-22 20:14 +0200 |
| Subject | Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) |
| Message-ID | <118ughm$4i92$3@solani.org> |
| In reply to | #143624 |
Hi, Today I was joking about philosophy departments, which over the last 10-20 years rather showed deflationary stance towards the formalist approaches. > Also GitHub not really follows the model of > paywalled papers, when the repo lands in the > public sphere. But watch out for licenses. What changes the picture completely, is that the Pawlowski paper, from 10. Sept, already contains a Lean formalization link, to a GitHub repository. While the Almeida & Knudstorp paper, from 11. Sept, posits only a Lean formalization claim. So Pawlowski relieves the community from doing an initial formalization. While Almeida & Knudstorp might provide one in the future or rely on some community efforts: Medvedev Logic is Π⁰₁-Complete https://github.com/Haptism89/medvedev-lean Compare to the prolog-agent-toolkit AI slop, running the Lean code through a Lean verifyer seems to be the easier way do get more certainty that the thing does what it is supposed to do. But of course it requires trust into Lean and their Mathlib. So the use of generative AI didn’t impeach trust, but what will possibly improve trust is the provision of a Lean proof artefact. That philosophy departments seem to have a more easy going with AI, has recently emerged in more benevolent reception of generative AI, maybe they like the messy output which resembles the messy human thinking they sometimes study. Dr. Paweł Pawłowski is a post-doctoral researcher in philosophical logic, CLPS, Ghent University, Belgium. Bye Mild Shock schrieb: > Hi, > > I sometimes feel I have the Ben Goertzel > talkie genes, although logic programming > has so many papers, it was probably born > to be discussed over and over again, > > and many here can even produce more text > than me. Only not every text matches your > demands and feelings, and somehow there is > a perceived gap dealing with > > the very recent developments in the public > view and there is also no guidance. The > bunker bros papers from EU about Artificial > Intelligence regulations are already old hats, > > and do not match the new Sword of Damocles > discourse, they had focus like privacy, > algorithmic decision making and protecting > minorities. Now its about the elite mathematicians. > > Bye > > Mild Shock schrieb: >> Hi, >> >> > > People publish slop, not computers >> > I nowhere blamed computers. >> >> Well I did not try to envision something >> superintelligent. But I notice search engines >> are recently becoming a little omisentient, >> when I asked for bakage.toml, >> >> the AI Gemini was quickly finding the prolog >> agent toolkit repo, but at the sametime laughing >> at me, and telling me, bakage.toml is probably >> a halucination, >> >> since it also inspected the other repositories, >> like Scryer related and confirmed there is no >> bakage.toml . So it is possibly up to you how >> much “autonomy” you >> >> want to give to your software agents. >> Mostlikely the advanced software agents will >> anyways kind of “autocorrect” the mistake inside >> the AI slop, you >> >> could check in random noise into a repo, and >> it would try to make sense out of it >> nevertheless. Is this a win or loss for humanity, >> the increasing >> >> “automony”, or a clear sign of P(doom) > 50% ? >> I don’t know , somebody (*) recently claimed >> on youtube you need AGI to correctly >> estimate P(doom). >> >> So on purpose I tried to only illustrate the >> ideas of “ingestion problem” and " agentic AI >> collaboration", and use tools and processes, >> to not stear additional fear, people are already >> >> completely stressed out. (**) Also completely >> unable to articulate themselves. >> >> Bye >> >> (*) >> >> Dario’s (likely half-sincere) AI Slowdown proposal >> https://www.youtube.com/watch?v=PAhbxcVdW10 >> >> (**) >> >> Facing meltdown? >> Over 75% of adults experience chronic stress or burnout >> symptoms driven by financial pressures, constant digital >> connectivity, and modern lifestyle demands >> https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know >> >> >> Mild Shock schrieb: >> > Hi, >> > >> > It pretty much emerges that python will >> > suffer from the small hands Paradox. >> > We are curently in this phase of the python >> > programming language evolution: >> > >> > Maastrichtian >> > The Cretaceous–Paleogene extinction event >> > (formerly known as the Cretaceous–Tertiary >> > extinction event)[a] occurred at the end of >> > this age.[3] In this mass extinction, many >> > commonly recognized groups such as non-avian >> > dinosaurs, pterosaurs, plesiosaurs, and mosasaurs, >> > as well as many other lesser-known groups, >> > died out. The cause of the extinction is most >> > commonly linked to an asteroid about 10 to >> > 15 kilometres (6.2 to 9.3 mi) wide[4][5] >> > colliding with Earth, ending the Cretaceous. >> > >> > It already happened to most of the Python tooling: >> > >> > [Write Code] ➔ >> > [Lint with Ruff] ➔ >> > (Rust: Blazing) >> > >> > [Install with uv] ➔ >> > (Rust: Blazing) >> > >> > [Execute Program] >> > (Python: Extremely Slow) >> > >> > LoL >> > >> > Bye >> > >> > P.S.: How about Mojo as a successor of Python? >> > >> > Mojo is a programming language for Linux and >> > macOS.[10][11] It is a systems programming language >> > with semantics inspired by Rust such as static >> > typing and a borrow checker,[12][13] but uses a >> > syntax designed to be reminiscent of Python >> > (like Nim and Julia). >> > https://en.wikipedia.org/wiki/Mojo_(programming_language) >> > >> > Bye >> > >> > Mild Shock schrieb: >> >> Hi, >> >> >> >> Remember when first all local AI was Python >> >> and PyTorch APIs. And then suddently people started >> >> 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-08-01 02:33 +0200 |
| Subject | RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) |
| Message-ID | <114jeth$o8qj$3@solani.org> |
| In reply to | #143110 |
Hi, One could believe the AI boom is a kind of Charles Darvin Galapagos Island Evolution Trick of repurposing FFT hardware. But this is of course not true, HPC, high performance computing, has already defined level 3 ops years ago. But look at this rabit hole of Ryzen AI 7 350 NPU design, which is a stripped down Xilinx, stripped of exotic FFT features: Getting peak TOPS on a Ryzen AI 7 350 NPU https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ But the core feature, very long instruction word (VLIW) engines, with hardware accelerated GEMMs, scattered in grids of ASIC tiles, connected by DMA and NoC, is even not very specific to AMD, you find it also in Snapdragon / Qualcomm SoCs for AI Laptops. Bye P.S.: My brain playing tricks, why should I name a library(ironpaw) ? From the same article above. Maybe WebNN is easier to use? "mlir-aie contains a Python framework called IRON that generates LLVM MLIR code representing a workload that runs on the NPU, including the code that runs on each compute tile processor and the configuration of DMAs and other hardware. Kernels for the compute tile processor can be written in C++ and compiled either with the open-source llvm-aie Peano compiler, which is a fork of LLVM that adds support for the Xilinx AI engine processors, or with the closed-source Xilinx CHESS compiler, which is included in Vitis. In simple cases the kernels can also be directly written in Python with IRON." Getting peak TOPS on a Ryzen AI 7 350 NPU https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ 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 > > > Johann 'Myrkraverk' Oskarsson schrieb: >> On 30/07/2026 2:13 AM, Ross Finlayson wrote: >> >>> https://www.theregister.com/databases/2026/07/29/after-rewriting-sqlite- >>> in-rust-turso-turns-its-sights-on-postgres/5279835 >>> >>> I don't much care about Rust. It's yet another Google product, >>> with the idea of not having exception handling, then supposedly >>> it's efficient and safe, yet, it's efficient by not being safe, >>> and safe by not being efficient. Then there's the macro/metaprogramming >>> front-end, which basically doesn't validate >>> like templates or otherwise for compile-time invariants, >>> that is basically like people who use string substititution instead >>> of object models, who all suffer injection attacks. >> >> Personally, I like Postgres in C, and I hope it stays there. I used to >> maintain PL/Java, and got intimately familiar with some of the limi- >> tations of the JNI interface. And while there's some new Java foreign >> function interface now, it doesn't replace JNI. Especially for projects >> that embed the JVM like PL/Java. >> >> I haven't contributed to that project for maybe one and half decade, and >> now that I'm using Java again -- a project I'll mention in another >> thread --[1] I may just resume some duties in PL/Java. But that's a >> future adventure that may or may not happen. >> >> So, I was going to say something about Postgres? Right, I'm sure the >> author of Postgres-in-Rust will run into some of the problems people >> always run into when they attempt to rewrite other large projects, and >> that's not learning from the prior mistakes. I try to avoid that. >> >> Some of that I learned the hard way, and some of that I learned by read- >> ing the /Mythical Man Month/. I don't remember the author's name, and >> my physical copy is not in my current library, but I believe the author >> is famous enough I don't need to mention him by name. >> >> >>> >>> >>> This latest manic episode has that in some more clinical or caring >>> settings, then one might wonder over the author's need to get help >>> or whether they're lost their mittens. In another view, though, >>> that's crazy-town and it's not a good place and we don't go there >>> any-more, population burse-scheiss-bots. Anyways here we just >>> generally respect people well enough to let them well alone. >> >> I don't remote diagnose people. While I don't have a medical license >> to lose, I feel it's impolite to potentially mis-diagnose people over >> text messages. >> >> I have not felt very respected here in comp.lang.c. I guess we must >> have some different experiences in this place. Who exactly is >> welcoming, and a warm person? >> >>> >>> Not to spring on you that you're wrong, it's not a conspiracy >>> against you, anyways as per the usual Shut Up goes out to any >>> of these JB, JG, PO, WM, ..., sock-puppet bots. >> >> I'm not sure I recognize all of these initials. I'm sure I'll >> learn to not engage with the problem children here in comp.lang.c, >> but it's been a few days, and I'm still familiarizing myself with >> the regulars. >> >>> >>> Thief. >> >> Who exactly is the thief? Does this person have stats in the Rogue >> class in dungeons and dragons? >> >> >> Happy C coding! >> >> [1] Those pretend em-dashes will surely make Dan Cross even more >> fictional. I hope his rage isn't fictional and he'll byte every >> character I type here in comp.lang.c. >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-01 02:34 +0200 |
| Subject | Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) |
| Message-ID | <114jev4$o8qj$4@solani.org> |
| In reply to | #143110 |
Hi, On could believe the AI boom is a kind of Charles Darvin Galapagos Island Evolution Trick of repurposing FFT hardware. But this is of course not true, HPC, high performance computing, has already defined level 3 ops years ago. But look at this rabit hole of Ryzen AI 7 350 NPU design, which is a stripped down Xilinx, stripped of exotic FFT features: Getting peak TOPS on a Ryzen AI 7 350 NPU https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ But the core feature, very long instruction word (VLIW) engines, with hardware accelerated GEMMs, scattered in grids of ASIC tiles, connected by DMA and NoC, is even not very specific to AMD, you find it also in Snapdragon / Qualcomm SoCs for AI Laptops. Bye P.S.: My brain playing tricks, why should I name a library(ironpaw) ? From the same article above. Maybe WebNN is easier to use? "mlir-aie contains a Python framework called IRON that generates LLVM MLIR code representing a workload that runs on the NPU, including the code that runs on each compute tile processor and the configuration of DMAs and other hardware. Kernels for the compute tile processor can be written in C++ and compiled either with the open-source llvm-aie Peano compiler, which is a fork of LLVM that adds support for the Xilinx AI engine processors, or with the closed-source Xilinx CHESS compiler, which is included in Vitis. In simple cases the kernels can also be directly written in Python with IRON." Getting peak TOPS on a Ryzen AI 7 350 NPU https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/ 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 > > > Johann 'Myrkraverk' Oskarsson schrieb: >> On 30/07/2026 2:13 AM, Ross Finlayson wrote: >> >>> https://www.theregister.com/databases/2026/07/29/after-rewriting-sqlite- >>> in-rust-turso-turns-its-sights-on-postgres/5279835 >>> >>> I don't much care about Rust. It's yet another Google product, >>> with the idea of not having exception handling, then supposedly >>> it's efficient and safe, yet, it's efficient by not being safe, >>> and safe by not being efficient. Then there's the macro/metaprogramming >>> front-end, which basically doesn't validate >>> like templates or otherwise for compile-time invariants, >>> that is basically like people who use string substititution instead >>> of object models, who all suffer injection attacks. >> >> Personally, I like Postgres in C, and I hope it stays there. I used to >> maintain PL/Java, and got intimately familiar with some of the limi- >> tations of the JNI interface. And while there's some new Java foreign >> function interface now, it doesn't replace JNI. Especially for projects >> that embed the JVM like PL/Java. >> >> I haven't contributed to that project for maybe one and half decade, and >> now that I'm using Java again -- a project I'll mention in another >> thread --[1] I may just resume some duties in PL/Java. But that's a >> future adventure that may or may not happen. >> >> So, I was going to say something about Postgres? Right, I'm sure the >> author of Postgres-in-Rust will run into some of the problems people >> always run into when they attempt to rewrite other large projects, and >> that's not learning from the prior mistakes. I try to avoid that. >> >> Some of that I learned the hard way, and some of that I learned by read- >> ing the /Mythical Man Month/. I don't remember the author's name, and >> my physical copy is not in my current library, but I believe the author >> is famous enough I don't need to mention him by name. >> >> >>> >>> >>> This latest manic episode has that in some more clinical or caring >>> settings, then one might wonder over the author's need to get help >>> or whether they're lost their mittens. In another view, though, >>> that's crazy-town and it's not a good place and we don't go there >>> any-more, population burse-scheiss-bots. Anyways here we just >>> generally respect people well enough to let them well alone. >> >> I don't remote diagnose people. While I don't have a medical license >> to lose, I feel it's impolite to potentially mis-diagnose people over >> text messages. >> >> I have not felt very respected here in comp.lang.c. I guess we must >> have some different experiences in this place. Who exactly is >> welcoming, and a warm person? >> >>> >>> Not to spring on you that you're wrong, it's not a conspiracy >>> against you, anyways as per the usual Shut Up goes out to any >>> of these JB, JG, PO, WM, ..., sock-puppet bots. >> >> I'm not sure I recognize all of these initials. I'm sure I'll >> learn to not engage with the problem children here in comp.lang.c, >> but it's been a few days, and I'm still familiarizing myself with >> the regulars. >> >>> >>> Thief. >> >> Who exactly is the thief? Does this person have stats in the Rogue >> class in dungeons and dragons? >> >> >> Happy C coding! >> >> [1] Those pretend em-dashes will surely make Dan Cross even more >> fictional. I hope his rage isn't fictional and he'll byte every >> character I type here in comp.lang.c. >
[toc] | [prev] | [next] | [standalone]
| From | Cóilín Nioclásín Glostéir <thanks-to@Taf.com> |
|---|---|
| Date | 2026-07-29 21:23 +0000 |
| Subject | Re: Postgres is in C! |
| Message-ID | <114dr09$2fl5e$1@paganini.bofh.team> |
| In reply to | #143108 |
Johann 'Myrkraverk' Oskarsson skrev: |-------------------------------------------------------------| |"I have not felt very respected here in comp.lang.c. [. . .]"| |-------------------------------------------------------------| Hej! I am sorry that you feel so! I find you to be helpful! (S. HTTP://Gloucester.Insomnia247.NL/ fuer Kontaktdaten!)
[toc] | [prev] | [next] | [standalone]
| From | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-07-30 21:31 +0800 |
| Subject | Turbo Vison, again (was: Re: Postgres is in C!) |
| Message-ID | <enIaS.11527$UXf1.5510@fx03.ams4> |
| In reply to | #143114 |
On 30/07/2026 5:23 AM, Cóilín Nioclásín Glostéir wrote: > Johann 'Myrkraverk' Oskarsson skrev: > |-------------------------------------------------------------| > |"I have not felt very respected here in comp.lang.c. [. . .]"| > |-------------------------------------------------------------| > > Hej! > > I am sorry that you feel so! I find you to be helpful! Thank you. I try. The other "regulars" here seem to enamoured of their own self importance to care what the other person is going through on their way to competency in whatever programming project they're tackling. Another project I have open is a VAX emulator, written in a combination of C and C++. C for the emulator and other parts, C++ for the GUI in Turbo Vision. That's why I added comp.lang.c++ to this discussion, even though I don't read it. I'm sure I'll post screenshots, hosted on Dropbox, at some point in the future. And if your adventures are public enough, I hope to see some screenshots from you too! -- Johann | email: invalid -> com | http://www.myrkraverk.com/blog/ I'm not from the Internet, I just work there. | via Easynews.com
[toc] | [prev] | [next] | [standalone]
Page 5 of 10 — ← Prev page 1 … 3 4 [5] 6 7 … 10 Next page →
Back to top | Article view | comp.theory
csiph-web