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 205 — 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
Wikipedia is SNAFU by the AI boom (Re: A yellow mustard called Rossy Bod) Mild Shock <janburse@fastmail.fm> - 2026-10-29 23:42 +0100
Robot writes Wikipedia en the fly [Google AI] (Re: Wikipedia is SNAFU by the AI boom) Mild Shock <janburse@fastmail.fm> - 2026-11-01 10:52 +0100
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
Expert Routing to solve Bonini's paradox [P(tao) > 0] (Re: Pontifex Codex the idea of "right and natural") Mild Shock <janburse@fastmail.fm> - 2026-10-28 15:20 +0100
Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-10-13 23:21 +0200
Lean 4: Basically just Microsoft Advertising (Was: Lean versus Natural Language) Mild Shock <janburse@fastmail.fm> - 2026-10-15 11:29 +0200
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
Less Ego more Math [Somebody got Excited] (Re: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-11-01 22:59 +0100
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
Terrence Tao sold your soul to SAIR Goodfellas [E-graph problems!] (Re: Terrence Tao payed troll, by System Inteligence Sect) Mild Shock <janburse@fastmail.fm> - 2026-10-18 23:20 +0200
How AA Robotics works [Embodied AI via Frontier LLMs] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) Mild Shock <janburse@fastmail.fm> - 2026-10-30 10:46 +0100
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
Nosomatic AI Chirurgeon: RSI of Use/Mention? (Re: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-10-24 12:56 +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
I found a picture of David Blackwell [NVIDIA Namesake] (Re: Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident]) Mild Shock <janburse@fastmail.fm> - 2026-10-16 23:20 +0200
I need a Sponsor for a new N1X [Windows ARM64 on the Rise] (Re: I found a picture of David Blackwell [NVIDIA Namesake]) Mild Shock <janburse@fastmail.fm> - 2026-10-17 00:35 +0200
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 11 — ← Prev page 1 … 3 4 [5] 6 7 … 11 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-07-30 11:27 +0200 |
| Subject | Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) |
| Message-ID | <114f5e6$lao5$4@solani.org> |
| In reply to | #143113 |
Hi,
Woa! Thats a very sad and non fitting statement:
"This was before I was indoctrinated into
ISO Prolog and the ways of monotonic logic
programming. Shen Prolog has many semantic
and syntactic limitations that Scryer Prolog
does not. Also, I now know constraints are a
much better, purer solution to the problems
mode declarations were meant to address"
https://github.com/mthom/scryer-prolog/issues/3410#issuecomment-5030471183
Ok, here is the summer challenge, thats the easy one:
SQL --> Prolog --> WAM
Here come two variations, slightly mindboggling maybe?
SQL --> AST --> VDBE
SQL --> Prolog+Modes --> π-WAM
Bye
BTW: What is VDBE? Some abstract machine, that can
be used to run SQL, following some ideas here:
Database Co-Design With Asynchronous I/O
https://penberg.org/papers/penberg-edgesys24.pdf
Or to run Doom:
Doom on the Turso VDBE
https://github.com/tursodatabase/turso-vdbe-doom-example
What if we would run Doom with π-WAM, on a GPU,
using multiple shaders. We could add some ray tracing.
Mild Shock schrieb:
> Hi,
>
> This seems to be a funny Q16.16 experiment.
> It shows that an integerish Hack can do
> floatish stuff, by using binary fixpoint:
>
> Raytracing on the Hack computer
> 2021/06/13 - im alex
> https://blog.alexqua.ch/posts/from-nand-to-raytracer/
>
> That it uses Rust is arbitrary. Feel free
> to do it in C, C++, FORTRAN or Java. I guess
> these languages all have basic arithmethic,
>
> right? Maybe not a long jump always?
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> > Who exactly is the thief? Does this person
>> > have stats in the Rogue class in dungeons
>> > and dragons?
>>
>> The conspiracy theory of a stealing of Torso VDBE,
>> by Rossy Boy, is probably a result of complete
>> ignorance of the Hack ecosystem.
>>
>> Hack is a very popular computer science project,
>> with a couple of subprojects in hardware and
>> software. It goes also by the name Nand to Tetris,
>>
>> and is programming language agnositic. You can do
>> Hack experiments in any programming language, be
>> it BASIC, ADA or Rust. Nobody cares.
>>
>> The gist are projects like here, first to
>> educate yourself about Hack:
>>
>> https://www.nand2tetris.org/course
>>
>> And then to use Hack in different contexts:
>>
>> https://www.nand2tetris.org/copy-of-talks
>>
>> For didactic purposes, I used Hack for my WebGPU
>> experiment. I didn't even take a look at Torso
>> VDBE, why should I? Hack is nicely documented,
>>
>> has even a book, and fusing the two 16-bit
>> instruction types A and D, into a single 32-bit
>> instruction stream, is nowhere patented.
>>
>> Bye
>>
>>
>> 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-12 20:30 +0200 |
| Subject | Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) |
| Message-ID | <115ie44$c21n$3@solani.org> |
| In reply to | #143116 |
Hi,
Ok, I see, its not really a Prolog.
For example I get the below. Why
does it have ISO compliance tests?
?- T = f(Y,Z,S), f(X,Y,Z) = T.
(no answers)
https://eyereasoner.github.io/eyeprolog/playground
Whoever payed for this nonsense, had
his money lavishly thrown out of a
window. They could use the australian
gas to directly burn some dollar notes.
LoL
Bye
Mild Shock schrieb:
> Hi,
>
> Its interesting that we already have
> like for 50 years the Curry Howard
> isomorphims, as proof justifications terms,
>
> Still it seems extremly hard to generate
> proof certificates for Prolog, isn't it?
> How it started:
>
> Ai x Big Gas. What could go wrong?
> https://www.youtube.com/watch?v=kON2ZI2BNj8
>
> How its going:
>
> eq(Z,Z).
> why eq(f(X,a),f(b,Y))
> eq(f(b, a), f(b, a)).
> why(
> eq(f(b, a), f(b, a)),
> proof(
> goal(eq(f(b, a), f(b, a))),
> by(fact("<input>", clause(1))),
> bindings([binding("Z", f(b, a))])
> )
> ).
> https://eyereasoner.github.io/eyeprolog/playground
>
> Truely some bullshit authorized by Sarah Connor.
> So far there is no danger of an upcoming
> Skynet that will gain self-awareness.
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> Woa! Thats a very sad and non fitting statement:
>>
>> "This was before I was indoctrinated into
>> ISO Prolog and the ways of monotonic logic
>> programming. Shen Prolog has many semantic
>> and syntactic limitations that Scryer Prolog
>> does not. Also, I now know constraints are a
>> much better, purer solution to the problems
>> mode declarations were meant to address"
>> https://github.com/mthom/scryer-prolog/issues/3410#issuecomment-5030471183
>>
>>
>> Ok, here is the summer challenge, thats the easy one:
>>
>> SQL --> Prolog --> WAM
>>
>> Here come two variations, slightly mindboggling maybe?
>>
>> SQL --> AST --> VDBE
>>
>> SQL --> Prolog+Modes --> π-WAM
>>
>> Bye
>>
>> BTW: What is VDBE? Some abstract machine, that can
>> be used to run SQL, following some ideas here:
>>
>> Database Co-Design With Asynchronous I/O
>> https://penberg.org/papers/penberg-edgesys24.pdf
>>
>> Or to run Doom:
>>
>> Doom on the Turso VDBE
>> https://github.com/tursodatabase/turso-vdbe-doom-example
>>
>> What if we would run Doom with π-WAM, on a GPU,
>> using multiple shaders. We could add some ray tracing.
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> This seems to be a funny Q16.16 experiment.
>>> It shows that an integerish Hack can do
>>> floatish stuff, by using binary fixpoint:
>>>
>>> Raytracing on the Hack computer
>>> 2021/06/13 - im alex
>>> https://blog.alexqua.ch/posts/from-nand-to-raytracer/
>>>
>>> That it uses Rust is arbitrary. Feel free
>>> to do it in C, C++, FORTRAN or Java. I guess
>>> these languages all have basic arithmethic,
>>>
>>> right? Maybe not a long jump always?
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> > Who exactly is the thief? Does this person
>>>> > have stats in the Rogue class in dungeons
>>>> > and dragons?
>>>>
>>>> The conspiracy theory of a stealing of Torso VDBE,
>>>> by Rossy Boy, is probably a result of complete
>>>> ignorance of the Hack ecosystem.
>>>>
>>>> Hack is a very popular computer science project,
>>>> with a couple of subprojects in hardware and
>>>> software. It goes also by the name Nand to Tetris,
>>>>
>>>> and is programming language agnositic. You can do
>>>> Hack experiments in any programming language, be
>>>> it BASIC, ADA or Rust. Nobody cares.
>>>>
>>>> The gist are projects like here, first to
>>>> educate yourself about Hack:
>>>>
>>>> https://www.nand2tetris.org/course
>>>>
>>>> And then to use Hack in different contexts:
>>>>
>>>> https://www.nand2tetris.org/copy-of-talks
>>>>
>>>> For didactic purposes, I used Hack for my WebGPU
>>>> experiment. I didn't even take a look at Torso
>>>> VDBE, why should I? Hack is nicely documented,
>>>>
>>>> has even a book, and fusing the two 16-bit
>>>> instruction types A and D, into a single 32-bit
>>>> instruction stream, is nowhere patented.
>>>>
>>>> Bye
>>>>
>>>>
>>>> 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 | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
|---|---|
| Date | 2026-07-30 21:27 +0800 |
| Subject | Crating Interpreters, Java part (was: Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!)) |
| Message-ID | <1jIaS.2448$la89.2042@fx06.ams4> |
| In reply to | #143110 |
On 30/07/2026 4:49 AM, Mild Shock wrote: > 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. > 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! -- 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 19:32 +0200 |
| Subject | I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) |
| Message-ID | <114g1rn$m15d$1@solani.org> |
| In reply to | #143119 |
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 19:47 +0200 |
| Subject | For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) |
| Message-ID | <114g2o2$m1rd$1@solani.org> |
| In reply to | #143128 |
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 | 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-11-01 22:59 +0100 |
| Subject | Less Ego more Math [Somebody got Excited] (Re: A real Terence Tao Ingestion Problem) |
| Message-ID | <11c8col$qmpe$3@solani.org> |
| In reply to | #143617 |
Hi, How its started: More Math, Less Ego (talk about AI and Math) Erik Demaine - 29.10.2026 https://www.youtube.com/watch?v=Gdc1yll04qI How its going: Classification of Finite Simple Groups Samuel Alexander - 28.10.2026 https://www.youtube.com/watch?v=NZklSBoLC30 Bye 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]
Page 5 of 11 — ← Prev page 1 … 3 4 [5] 6 7 … 11 Next page →
Back to top | Article view | comp.theory
csiph-web