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 | 14 on this page of 194 — 11 participants |
Back to article view | Back to comp.theory
Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 11:43 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-28 02:47 +0800
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:07 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Mild Shock <janburse@fastmail.fm> - 2026-07-28 00:25 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:09 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:33 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:48 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:44 -0700
You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:11 +0200
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:25 -0700
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:49 +0800
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:59 -0700
I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:05 +0200
Underneath pi-WAM is Hack VM, you can goto (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:09 +0200
New addition to π-WAM is π-WAM Assembly (Was: Underneath pi-WAM is Hack VM, you can goto) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:45 +0200
Re: I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 09:11 -0700
A yellow mustard called Rossy Body (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:30 +0200
Ignoramus or Ignorabimus: I don't care (π-WAM) (Was: A yellow mustard called Rossy Body) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:31 +0200
Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:32 +0200
Re: Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:36 -0700
Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:43 +0200
Forget any arithmetization of product FSA (Was: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:47 +0200
comp.lang.lisp (was: Re: Forget any arithmetization of product FSA) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:53 +0800
Re: Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:53 -0700
The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:33 +0200
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-09-21 18:43 +0800
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry boltar@caprica.universe - 2026-09-21 15:44 +0000
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry legalize+jeeves@mail.xmission.com (Richard) - 2026-09-21 16:19 +0000
New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar [Swarm AI]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:40 +0200
Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-09-22 09:22 +0200
Re: Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-22 01:11 -0700
There are two versions of Hack VM (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:14 +0200
Hack VM has also a Prolog spec (Was: There are two versions of Hack VM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:17 +0200
A better compiler is planned / What do you target? (Was: Hack VM has also a Prolog spec) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:22 +0200
It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:50 +0200
Budget AI Laptop 2026 versus Cray T3D 1995 (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:24 +0200
A brain desease of 20 days [Rossy Boy] (Was: Viswath & Charmaigne (vector-wide scalar-word and character machines)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:38 +0200
Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:05 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 11:13 -0700
I don't use Rust, you are crazy [Jump off a bridge, idiot] (Was: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:22 +0200
Standing on the shoulders of giants (Re: I don't use Rust, you are crazy [Jump off a bridge, idiot]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:20 +0200
You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:18 +0200
How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:56 +0200
Postgres is in C! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 03:46 +0800
Re: Postgres is in C! Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:47 -0700
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:00 +0200
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:05 +0800
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) scott@slp53.sl.home (Scott Lurndal) - 2026-07-30 14:46 +0000
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:05 +0200
Mars, the MIPS emulator in Java (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:20 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:59 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 07:24 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 09:58 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 23:19 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:23 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:36 -0700
Decorum (was: Re: Mars, the MIPS emulator in Java) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:07 +0800
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:09 +0800
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:36 -0700
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:44 -0700
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:38 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:15 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 23:31 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 12:42 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:24 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:30 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:45 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 20:42 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:55 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:13 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:59 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:53 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 20:11 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:49 +0200
A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:10 +0200
Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:27 +0200
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:30 +0200
Crating Interpreters, Java part (was: Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:27 +0800
I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:32 +0200
For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:47 +0200
Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:04 +0200
Re: For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 04:07 +0800
Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 03:49 +0800
MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:26 +0200
Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:41 +0200
Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:47 +0200
Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:37 +0200
More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:42 +0200
Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:25 +0200
Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:18 +0200
Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) Mild Shock <janburse@fastmail.fm> - 2026-09-22 10:27 +0200
A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition") Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:05 +0200
The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:28 +0200
Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:02 +0200
The Ben Goertzel talkie genes (Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:07 +0200
Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) Mild Shock <janburse@fastmail.fm> - 2026-09-22 20:14 +0200
RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:33 +0200
Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:34 +0200
Re: Postgres is in C! Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-29 21:23 +0000
Turbo Vison, again (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:31 +0800
I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings]) Mild Shock <janburse@fastmail.fm> - 2026-08-29 03:11 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:41 +0200
Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:42 +0200
The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) Mild Shock <janburse@fastmail.fm> - 2026-09-04 11:50 +0200
Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 14:19 +0200
Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 16:28 +0200
He uses "FIFO objects", and DMA and Noc [Glimps into Ryzen AI 7 350] (Re: A brain desease of 20 days [Rossy Boy])) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:15 +0200
Tablet and phone UBS-C remote debugging (Re: He uses "FIFO objects", and DMA and Noc) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:18 +0200
NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:11 +0200
NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:23 +0200
First AI laptops, now AI single-boarders [Budget, Budget, ..] (Re: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm)) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:08 +0200
Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) Mild Shock <janburse@fastmail.fm> - 2026-08-31 18:01 +0200
Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:53 +0200
Giga Lips for Prolog based Chatting (Was: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:54 +0200
Google holds the keys to the AI kingdom [WebClaw Dominance] (Re: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:47 +0200
Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra] (Was: Micro Penis is worse than Sleepy Joe) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:19 +0200
Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:58 +0200
Terrence Tao payed troll, by System Inteligence Sect (Was: Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux]) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:24 +0200
Bounded Rationality and Herbert Simon (Re: Terrence Tao payed troll, by System Inteligence Sect) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:42 +0200
Food for thought: Bayesian Experimental Designer (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:41 +0200
What will microsoft say, will they buy it? (Was: Food for thought: Bayesian Experimental Designer) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:42 +0200
Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-27 21:18 +0200
Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:35 -0700
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-28 11:25 +0200
Re: Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-28 20:39 -0700
confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:15 +0200
Gemini, DeepSeek, OpenAI more clever than rossy boy (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:18 +0200
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:21 +0800
In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:27 +0200
Re: In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:40 +0800
Your strictness is your problem , not mine [See WebLLM] (Was: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:46 +0200
Graphics Processing with Fortran 77 (was: Re: Your strictness is your problem , not mine) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 18:10 +0800
I am not in C, it is theory and C++ [Hybrid Approaches from KOAN/Fortran-S] (Was: Graphics Processing with Fortran 77) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:43 +0200
Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: I am not in C, it is theory and C++) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:53 +0200
Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:48 +0200
Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:05 +0200
Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:22 +0200
Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-08 10:38 -0700
Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:20 +0200
Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:49 +0200
Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 20:41 +0200
Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Mild Shock <janburse@fastmail.fm> - 2026-09-12 11:30 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) fir <profesor.fir@gmail.com> - 2026-09-12 12:02 +0200
Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Mild Shock <janburse@fastmail.fm> - 2026-09-12 12:12 +0200
Re: Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:37 -0600
The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:14 +0200
Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:13 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:34 -0600
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-29 14:42 -0700
Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:37 +0200
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:40 -0700
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:43 -0700
You don't understand that compute shaders are tasks (Was: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:45 +0200
You don't understand that compute shaders are tasks (Re: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:46 +0200
Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: You don't understand that compute shaders are tasks) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:09 +0200
Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:08 +0200
Re: Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 11:55 -0700
You are not correctly thinking (Was: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:04 +0200
Re: You are not correctly thinking (Was: Homework: Game Engine in WebGPU) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:32 -0700
You don't understand the economy of an AI Laptop (Was: You are not correctly thinking) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:24 +0200
You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:37 +0200
Re: You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 14:29 -0700
Know nothing and forget what you posted day before (Was: You don't understand producer , workers , consumer) Mild Shock <janburse@fastmail.fm> - 2026-08-03 23:38 +0200
Kundalini II: Why I love DeepSeek (Re: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-09-13 17:03 +0200
Warning: Inconsistencies can summon Waluigis (Re: Kundalini II: Why I love DeepSeek) Mild Shock <janburse@fastmail.fm> - 2026-09-14 11:52 +0200
Kundalini III: Pebble Languages need Meme Evolution (Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-09-28 16:39 +0200
Rogue Agents find each other [Microsoft Copilot Incident] (Re: Kundalini III: Pebble Languages need Meme Evolution) Mild Shock <janburse@fastmail.fm> - 2026-09-29 15:05 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:49 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-07-30 14:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 21:18 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 09:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 12:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 13:05 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:27 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 10:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-06 12:37 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-31 08:16 -0700
Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:14 +0200
Re: Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-04 02:21 +0800
pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:35 +0200
A spinlock rewrite will be necessary (Was: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:00 +0200
Re: pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Doing uux with pi-calculus and WAM (Re: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Does it have a declarative reading? (Re: Doing uux with pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:35 +0200
MCP = uux with streaming JSON (Was: Does it have a declarative reading?) Mild Shock <janburse@fastmail.fm> - 2026-08-24 22:25 +0200
Big thanks to Ljubljana School [Searching 0xCAFFEE] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:40 +0200
The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-19 17:51 -0700
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 14:22 +0200
How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:38 +0200
Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Mild Shock <janburse@fastmail.fm> - 2026-08-20 20:22 +0200
Re: Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-20 12:02 -0700
Peking School versus Ljubljana School [Everything Is a Plugin] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-21 17:43 +0200
Page 10 of 10 — ← Prev page 1 … 8 9 [10]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 21:00 +0200 |
| Subject | A spinlock rewrite will be necessary (Was: pi-WAM uses ADA RendezVous) |
| Message-ID | <114qogr$t9ob$1@solani.org> |
| In reply to | #143192 |
Hi,
But because I do a grouping of logical threads
before I go on physical threads, a spinlock
rewrite will be necessary.
I did already a spinlock rewrite, using
a class Spinlock instead of the class Semaphore.
But ultimately I would switch from put() to
an offer() API, that returns a boolean, and
this can be used to skip instructions or otherwise
react in the Hack VM. Same for take() would
need to replace by poll() with repercussions
to Hack VM again. This is much to the dismay
of Chris M. Thomasson, who thinks spinning
is strictly forbidden. But I will sing the song:
I'm a spinner, I'm a sinner
I spin on CAS loops for my dinner
Some call it busy-wait, I call it fate
When the queue is empty, I just rotate
Bye
Mild Shock schrieb:
> Hi,
>
> I found that this here:
>
> public final static class RendezVous {
> private final Semaphore head = new Semaphore(0);
> private final Semaphore tail = new Semaphore(1);
> private Object data;
>
> public void put(Object data) throws InterruptedException {
> tail.acquire();
> this.data = data;
> head.release();
> }
>
> public Object take() throws InterruptedException {
> Object res;
> head.acquire();
> res = data;
> tail.release();
> return res;
> }
> }
>
> Is almost as fast as ArrayBlockingQueue(4),
> in a producer worker consumer scenario.
>
> So I considering using the above for the
> pi-WAM channels. It would be also closer
>
> to pi-calculus by Robin Milner.
>
> Bye
>
> Johann 'Myrkraverk' Oskarsson schrieb:
>> On 04/08/2026 2:14 AM, Mild Shock wrote:
>>> Hi,
>>>
>>> I even don't remember exactly why I landed
>>> in comp.theory. A yes, because Rossy Boy,
>>> was hooked on SIMD and didn't understand Hack.
>>>
>>> But the Hack work, rather belongs to my
>>> Alma Mater Zurich and my personal heros, Gutnecht
>>> and Wirth, who wrote a one pass Modula
>>
>> That's interesting. Have you read /Software Engineering
>> with Modula-2 and Ada/ (1984) by Richard Wiener and Richard
>> Sincovec? I have it on my shelf, and haven't gotten to read
>> it yet.
>>
>>>
>>> compiler during some christmas holidays,
>>> back then when I was student. Not sure
>>> whether the Ljubljana School can do that,
>>>
>>> when I read this here:
>>>
>>> Finite Algebraic Effects as dicts and such
>>> https://www.philipzucker.com/bdd_term_alg_effects/
>>>
>>> I only find gibberish like:
>>> - “Data” is somehow less mysterious to me
>>> than “computation”. [..] I don’t even
>>> know what “computation” really is
>>
>> Computation is at the core just a calculation. Humans
>> used to do this, and there's a good documentary about it
>> titled /Hidden Figures/. I assume everyone here has seen
>> it.
>>
>>>
>>> - In temporal logic, there is a logic CTL
>>> which talks about computation trees.
>>>
>>> - Algerbaic (LoL) effects is almost a complete
>>> hackery abuse of the notion of arity
>>> and that’s neat.
>>
>> Are you using /algebraic effects/ when playing League
>> of Legends? I tried it once, but discovered it's a
>> gameplay that doesn't appeal to me. I didn't think to
>> use /algebraic effects/ in it.
>>
>>>
>>> - Then there are 10^10 etc vectors which
>>> show up if you discretize 3d/4d space. [..]
>>> or reinforcement learning.
>>
>> I don't know why you have that many vectors visiting,
>> but please treat them with hospitality according to
>> Zeus' laws.
>>
>>>
>>> - Etc..
>>>
>>> WTF is this guy smoking? I mean he even
>>> doesn't uses math notation, only posts
>>> Python code fragments à go go,
>>>
>>> possibly a Python brain damage.
>>
>> Or he just works in the ministry of silly walks?
>>
>>
>> Enjoy!
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-24 20:17 +0200 |
| Subject | Re: pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) |
| Message-ID | <116i1qu$11ln3$3@solani.org> |
| In reply to | #143192 |
Hi,
I find an early precendent of a command
in a unix system, which has an interesting
flavor, that goes beyond Web Prolog Trinity
RPC nonsense. Take this command:
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
https://www.ibm.com/docs/en/aix/7.1.0?topic=u-uux-command
So basically wc, i.e. word count is executed
on merlin, takes data from venus and moves it
to marks. We can do the same with pi-WAM,
currently experimenting with a non-blocking
execute/1 built-in, spawn/2:
?- chan(In), chan(Out),
spawn((recv(3,[Z]), wc(Z,T), send(4,[T])), [comm([In,Out])]),
venus(X),
send(In,[X]), repeat, recv(Out,[Y]),
mars(Y).
But maybe introducing in/1 and out/1 options
to spawn/2, would be more easier to write,
now I have split spawn/2 into prepare/3 and run/1.
?- prepare(wc(X,Y)), [in(X), out(Y)], P),
venus(X),
run(P),
mars(Y).
But the point is to do prepare/3 only once,
and do mars and venus later. It also reflects
the ordering on a uux command:
1 2 3
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
But we wouldn't do it alone for this cosmetic.
The idea is that the spawned process is using
its channels, to do more than only one job.
Bye
Mild Shock schrieb:
> Hi,
>
> I found that this here:
>
> public final static class RendezVous {
> private final Semaphore head = new Semaphore(0);
> private final Semaphore tail = new Semaphore(1);
> private Object data;
>
> public void put(Object data) throws InterruptedException {
> tail.acquire();
> this.data = data;
> head.release();
> }
>
> public Object take() throws InterruptedException {
> Object res;
> head.acquire();
> res = data;
> tail.release();
> return res;
> }
> }
>
> Is almost as fast as ArrayBlockingQueue(4),
> in a producer worker consumer scenario.
>
> So I considering using the above for the
> pi-WAM channels. It would be also closer
>
> to pi-calculus by Robin Milner.
>
> Bye
>
> Johann 'Myrkraverk' Oskarsson schrieb:
>> On 04/08/2026 2:14 AM, Mild Shock wrote:
>>> Hi,
>>>
>>> I even don't remember exactly why I landed
>>> in comp.theory. A yes, because Rossy Boy,
>>> was hooked on SIMD and didn't understand Hack.
>>>
>>> But the Hack work, rather belongs to my
>>> Alma Mater Zurich and my personal heros, Gutnecht
>>> and Wirth, who wrote a one pass Modula
>>
>> That's interesting. Have you read /Software Engineering
>> with Modula-2 and Ada/ (1984) by Richard Wiener and Richard
>> Sincovec? I have it on my shelf, and haven't gotten to read
>> it yet.
>>
>>>
>>> compiler during some christmas holidays,
>>> back then when I was student. Not sure
>>> whether the Ljubljana School can do that,
>>>
>>> when I read this here:
>>>
>>> Finite Algebraic Effects as dicts and such
>>> https://www.philipzucker.com/bdd_term_alg_effects/
>>>
>>> I only find gibberish like:
>>> - “Data” is somehow less mysterious to me
>>> than “computation”. [..] I don’t even
>>> know what “computation” really is
>>
>> Computation is at the core just a calculation. Humans
>> used to do this, and there's a good documentary about it
>> titled /Hidden Figures/. I assume everyone here has seen
>> it.
>>
>>>
>>> - In temporal logic, there is a logic CTL
>>> which talks about computation trees.
>>>
>>> - Algerbaic (LoL) effects is almost a complete
>>> hackery abuse of the notion of arity
>>> and that’s neat.
>>
>> Are you using /algebraic effects/ when playing League
>> of Legends? I tried it once, but discovered it's a
>> gameplay that doesn't appeal to me. I didn't think to
>> use /algebraic effects/ in it.
>>
>>>
>>> - Then there are 10^10 etc vectors which
>>> show up if you discretize 3d/4d space. [..]
>>> or reinforcement learning.
>>
>> I don't know why you have that many vectors visiting,
>> but please treat them with hospitality according to
>> Zeus' laws.
>>
>>>
>>> - Etc..
>>>
>>> WTF is this guy smoking? I mean he even
>>> doesn't uses math notation, only posts
>>> Python code fragments à go go,
>>>
>>> possibly a Python brain damage.
>>
>> Or he just works in the ministry of silly walks?
>>
>>
>> Enjoy!
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-24 20:17 +0200 |
| Subject | Doing uux with pi-calculus and WAM (Re: pi-WAM uses ADA RendezVous) |
| Message-ID | <116i1se$11ln3$4@solani.org> |
| In reply to | #143192 |
Hi,
I find an early precendent of a command
in a unix system, which has an interesting
flavor, that goes beyond Web Prolog Trinity
RPC nonsense. Take this command:
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
https://www.ibm.com/docs/en/aix/7.1.0?topic=u-uux-command
So basically wc, i.e. word count is executed
on merlin, takes data from venus and moves it
to marks. We can do the same with pi-WAM,
currently experimenting with a non-blocking
execute/1 built-in, spawn/2:
?- chan(In), chan(Out),
spawn((recv(3,[Z]), wc(Z,T), send(4,[T])), [comm([In,Out])]),
venus(X),
send(In,[X]), repeat, recv(Out,[Y]),
mars(Y).
But maybe introducing in/1 and out/1 options
to spawn/2, would be more easier to write,
now I have split spawn/2 into prepare/3 and run/1.
?- prepare(wc(X,Y)), [in(X), out(Y)], P),
venus(X),
run(P),
mars(Y).
But the point is to do prepare/3 only once,
and do mars and venus later. It also reflects
the ordering on a uux command:
1 2 3
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
But we wouldn't do it alone for this cosmetic.
The idea is that the spawned process is using
its channels, to do more than only one job.
Bye
Mild Shock schrieb:
> Hi,
>
> I found that this here:
>
> public final static class RendezVous {
> private final Semaphore head = new Semaphore(0);
> private final Semaphore tail = new Semaphore(1);
> private Object data;
>
> public void put(Object data) throws InterruptedException {
> tail.acquire();
> this.data = data;
> head.release();
> }
>
> public Object take() throws InterruptedException {
> Object res;
> head.acquire();
> res = data;
> tail.release();
> return res;
> }
> }
>
> Is almost as fast as ArrayBlockingQueue(4),
> in a producer worker consumer scenario.
>
> So I considering using the above for the
> pi-WAM channels. It would be also closer
>
> to pi-calculus by Robin Milner.
>
> Bye
>
> Johann 'Myrkraverk' Oskarsson schrieb:
>> On 04/08/2026 2:14 AM, Mild Shock wrote:
>>> Hi,
>>>
>>> I even don't remember exactly why I landed
>>> in comp.theory. A yes, because Rossy Boy,
>>> was hooked on SIMD and didn't understand Hack.
>>>
>>> But the Hack work, rather belongs to my
>>> Alma Mater Zurich and my personal heros, Gutnecht
>>> and Wirth, who wrote a one pass Modula
>>
>> That's interesting. Have you read /Software Engineering
>> with Modula-2 and Ada/ (1984) by Richard Wiener and Richard
>> Sincovec? I have it on my shelf, and haven't gotten to read
>> it yet.
>>
>>>
>>> compiler during some christmas holidays,
>>> back then when I was student. Not sure
>>> whether the Ljubljana School can do that,
>>>
>>> when I read this here:
>>>
>>> Finite Algebraic Effects as dicts and such
>>> https://www.philipzucker.com/bdd_term_alg_effects/
>>>
>>> I only find gibberish like:
>>> - “Data” is somehow less mysterious to me
>>> than “computation”. [..] I don’t even
>>> know what “computation” really is
>>
>> Computation is at the core just a calculation. Humans
>> used to do this, and there's a good documentary about it
>> titled /Hidden Figures/. I assume everyone here has seen
>> it.
>>
>>>
>>> - In temporal logic, there is a logic CTL
>>> which talks about computation trees.
>>>
>>> - Algerbaic (LoL) effects is almost a complete
>>> hackery abuse of the notion of arity
>>> and that’s neat.
>>
>> Are you using /algebraic effects/ when playing League
>> of Legends? I tried it once, but discovered it's a
>> gameplay that doesn't appeal to me. I didn't think to
>> use /algebraic effects/ in it.
>>
>>>
>>> - Then there are 10^10 etc vectors which
>>> show up if you discretize 3d/4d space. [..]
>>> or reinforcement learning.
>>
>> I don't know why you have that many vectors visiting,
>> but please treat them with hospitality according to
>> Zeus' laws.
>>
>>>
>>> - Etc..
>>>
>>> WTF is this guy smoking? I mean he even
>>> doesn't uses math notation, only posts
>>> Python code fragments à go go,
>>>
>>> possibly a Python brain damage.
>>
>> Or he just works in the ministry of silly walks?
>>
>>
>> Enjoy!
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-24 20:35 +0200 |
| Subject | Does it have a declarative reading? (Re: Doing uux with pi-calculus and WAM) |
| Message-ID | <116i2tc$11miu$1@solani.org> |
| In reply to | #143367 |
Hi,
Sorry I forget to specify the site for wc.
Lets just write it as follows, the site
somehow encoded in a the predicate name,
and forget about a lot of (!)/2 details:
?- prepare(merlin(X,Y)), [in(X), out(Y)], P),
venus(X),
run(P),
mars(Y).
Does it have a declarative reading? Besides
the benefit of shipping merlin/1 only once?
Of course we can interpret it as follows:
?- venus(X),
merlin(X,Y),
mars(Y).
This would be much more also in the spirit of a
Jens Ottens theorem provers, that ultimately end
in connection proof problems, when they have
decended down. Maybe the Trinity system can
somehow avoid the multiple shipping of the merlin
payload through caching. But the problem is it
will see merlin(foo, Y), merlin(bar, Y),
merlin(baz, Y). So it doesn't know what was
the input. It cannot create a single logical
thread on the executing site.
Bye
Mild Shock schrieb:
> Hi,
>
> I find an early precendent of a command
> in a unix system, which has an interesting
> flavor, that goes beyond Web Prolog Trinity
>
> RPC nonsense. Take this command:
>
> uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
> https://www.ibm.com/docs/en/aix/7.1.0?topic=u-uux-command
>
> So basically wc, i.e. word count is executed
> on merlin, takes data from venus and moves it
> to marks. We can do the same with pi-WAM,
>
> currently experimenting with a non-blocking
> execute/1 built-in, spawn/2:
>
> ?- chan(In), chan(Out),
> spawn((recv(3,[Z]), wc(Z,T), send(4,[T])), [comm([In,Out])]),
> venus(X),
> send(In,[X]), repeat, recv(Out,[Y]),
> mars(Y).
>
> But maybe introducing in/1 and out/1 options
> to spawn/2, would be more easier to write,
> now I have split spawn/2 into prepare/3 and run/1.
>
> ?- prepare(wc(X,Y)), [in(X), out(Y)], P),
> venus(X),
> run(P),
> mars(Y).
>
> But the point is to do prepare/3 only once,
> and do mars and venus later. It also reflects
> the ordering on a uux command:
>
> 1 2 3
> uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
>
> But we wouldn't do it alone for this cosmetic.
> The idea is that the spawned process is using
> its channels, to do more than only one job.
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> I found that this here:
>>
>> public final static class RendezVous {
>> private final Semaphore head = new Semaphore(0);
>> private final Semaphore tail = new Semaphore(1);
>> private Object data;
>>
>> public void put(Object data) throws InterruptedException {
>> tail.acquire();
>> this.data = data;
>> head.release();
>> }
>>
>> public Object take() throws InterruptedException {
>> Object res;
>> head.acquire();
>> res = data;
>> tail.release();
>> return res;
>> }
>> }
>>
>> Is almost as fast as ArrayBlockingQueue(4),
>> in a producer worker consumer scenario.
>>
>> So I considering using the above for the
>> pi-WAM channels. It would be also closer
>>
>> to pi-calculus by Robin Milner.
>>
>> Bye
>>
>> Johann 'Myrkraverk' Oskarsson schrieb:
>>> On 04/08/2026 2:14 AM, Mild Shock wrote:
>>>> Hi,
>>>>
>>>> I even don't remember exactly why I landed
>>>> in comp.theory. A yes, because Rossy Boy,
>>>> was hooked on SIMD and didn't understand Hack.
>>>>
>>>> But the Hack work, rather belongs to my
>>>> Alma Mater Zurich and my personal heros, Gutnecht
>>>> and Wirth, who wrote a one pass Modula
>>>
>>> That's interesting. Have you read /Software Engineering
>>> with Modula-2 and Ada/ (1984) by Richard Wiener and Richard
>>> Sincovec? I have it on my shelf, and haven't gotten to read
>>> it yet.
>>>
>>>>
>>>> compiler during some christmas holidays,
>>>> back then when I was student. Not sure
>>>> whether the Ljubljana School can do that,
>>>>
>>>> when I read this here:
>>>>
>>>> Finite Algebraic Effects as dicts and such
>>>> https://www.philipzucker.com/bdd_term_alg_effects/
>>>>
>>>> I only find gibberish like:
>>>> - “Data” is somehow less mysterious to me
>>>> than “computation”. [..] I don’t even
>>>> know what “computation” really is
>>>
>>> Computation is at the core just a calculation. Humans
>>> used to do this, and there's a good documentary about it
>>> titled /Hidden Figures/. I assume everyone here has seen
>>> it.
>>>
>>>>
>>>> - In temporal logic, there is a logic CTL
>>>> which talks about computation trees.
>>>>
>>>> - Algerbaic (LoL) effects is almost a complete
>>>> hackery abuse of the notion of arity
>>>> and that’s neat.
>>>
>>> Are you using /algebraic effects/ when playing League
>>> of Legends? I tried it once, but discovered it's a
>>> gameplay that doesn't appeal to me. I didn't think to
>>> use /algebraic effects/ in it.
>>>
>>>>
>>>> - Then there are 10^10 etc vectors which
>>>> show up if you discretize 3d/4d space. [..]
>>>> or reinforcement learning.
>>>
>>> I don't know why you have that many vectors visiting,
>>> but please treat them with hospitality according to
>>> Zeus' laws.
>>>
>>>>
>>>> - Etc..
>>>>
>>>> WTF is this guy smoking? I mean he even
>>>> doesn't uses math notation, only posts
>>>> Python code fragments à go go,
>>>>
>>>> possibly a Python brain damage.
>>>
>>> Or he just works in the ministry of silly walks?
>>>
>>>
>>> Enjoy!
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-24 22:25 +0200 |
| Subject | MCP = uux with streaming JSON (Was: Does it have a declarative reading?) |
| Message-ID | <116i9c9$123m2$1@solani.org> |
| In reply to | #143368 |
Hi,
Amazing turn of events, Model Context Protocol
(MCP) can be viewed as uux using streaming
JSON, so as to obtain message boundaries
even on stdin/stdout:
> **Newline-delimited JSON**
{"some":"thing\n"}⏎
{"may":{"include":"nested","objects":["and","arrays"]}}⏎
https://en.wikipedia.org/wiki/JSON_streaming#Newline-delimited_JSON
Well if we ignore some SOAP add on, i.e.
JSON-RPC envelopes, but Iguess they are not
mandatory on the transport level to
keep this level lean?
Bye
Mild Shock schrieb:
> Hi,
>
> Sorry I forget to specify the site for wc.
> Lets just write it as follows, the site
> somehow encoded in a the predicate name,
>
> and forget about a lot of (!)/2 details:
>
> ?- prepare(merlin(X,Y)), [in(X), out(Y)], P),
> venus(X),
> run(P),
> mars(Y).
>
> Does it have a declarative reading? Besides
> the benefit of shipping merlin/1 only once?
> Of course we can interpret it as follows:
>
> ?- venus(X),
> merlin(X,Y),
> mars(Y).
>
> This would be much more also in the spirit of a
> Jens Ottens theorem provers, that ultimately end
> in connection proof problems, when they have
>
> decended down. Maybe the Trinity system can
> somehow avoid the multiple shipping of the merlin
> payload through caching. But the problem is it
>
> will see merlin(foo, Y), merlin(bar, Y),
> merlin(baz, Y). So it doesn't know what was
> the input. It cannot create a single logical
>
> thread on the executing site.
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> I find an early precendent of a command
>> in a unix system, which has an interesting
>> flavor, that goes beyond Web Prolog Trinity
>>
>> RPC nonsense. Take this command:
>>
>> uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
>> https://www.ibm.com/docs/en/aix/7.1.0?topic=u-uux-command
>>
>> So basically wc, i.e. word count is executed
>> on merlin, takes data from venus and moves it
>> to marks. We can do the same with pi-WAM,
>>
>> currently experimenting with a non-blocking
>> execute/1 built-in, spawn/2:
>>
>> ?- chan(In), chan(Out),
>> spawn((recv(3,[Z]), wc(Z,T), send(4,[T])), [comm([In,Out])]),
>> venus(X),
>> send(In,[X]), repeat, recv(Out,[Y]),
>> mars(Y).
>>
>> But maybe introducing in/1 and out/1 options
>> to spawn/2, would be more easier to write,
>> now I have split spawn/2 into prepare/3 and run/1.
>>
>> ?- prepare(wc(X,Y)), [in(X), out(Y)], P),
>> venus(X),
>> run(P),
>> mars(Y).
>>
>> But the point is to do prepare/3 only once,
>> and do mars and venus later. It also reflects
>> the ordering on a uux command:
>>
>> 1 2 3
>> uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
>>
>> But we wouldn't do it alone for this cosmetic.
>> The idea is that the spawned process is using
>> its channels, to do more than only one job.
>>
>> Bye
>>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 20:40 +0200 |
| Subject | Big thanks to Ljubljana School [Searching 0xCAFFEE] (Was: Ljubljana School versus Zurich School) |
| Message-ID | <114qnbd$t8ve$1@solani.org> |
| In reply to | #143190 |
Hi, I have nevertheless to thank the Ljubljana School, especially this blog post: Verifying Nand2Tetris Assembly https://www.philipzucker.com/nand2tetris-chc/ Which raised my interest in Hack. Meanwhile I could produce this toy eample: "We try to find 0xCAFFEE in enumerating 4 6-bit digits and the baseline is Dogelog Player VM in a browser. The CPU backend with 64 logical threads is already 20 times faster, partly due to its 32-bit specialization. The GPU backend with 4096 logical threads boosts a further factor of 7 times." GPU Backend: Find 0xCAFFEE with π-WAM https://medium.com/2989/8890efd3503c LoL Bye Mild Shock schrieb: > Hi, > > I even don't remember exactly why I landed > in comp.theory. A yes, because Rossy Boy, > was hooked on SIMD and didn't understand Hack. > > But the Hack work, rather belongs to my > Alma Mater Zurich and my personal heros, Gutnecht > and Wirth, who wrote a one pass Modula > > compiler during some christmas holidays, > back then when I was student. Not sure > whether the Ljubljana School can do that, > > when I read this here: > > Finite Algebraic Effects as dicts and such > https://www.philipzucker.com/bdd_term_alg_effects/ > > I only find gibberish like: > - “Data” is somehow less mysterious to me > than “computation”. [..] I don’t even > know what “computation” really is > > - In temporal logic, there is a logic CTL > which talks about computation trees. > > - Algerbaic (LoL) effects is almost a complete > hackery abuse of the notion of arity > and that’s neat. > > - Then there are 10^10 etc vectors which > show up if you discretize 3d/4d space. [..] > or reinforcement learning. > > - Etc.. > > WTF is this guy smoking? I mean he even > doesn't uses math notation, only posts > Python code fragments à go go, > > possibly a Python brain damage. > > But still less sever than Rossy Boys. > > Bye > > Ross Finlayson schrieb: >> Hello, here I'll post some design notes and a panel discussion with some >> chat-bots about making some sense of the "vector-wide scalar word" >> and "character machines", on commodity hardware about ubiquitous >> operations. >> >> >> It's considered at least tangentially relevant to comp.lang.c and >> comp.lang.c++ because for example text is ubiquitous and the targets >> would be low-level, while the higher-level languages would have a >> same sort of patternry, and for example that libc and cstdlib are >> standard, and as with regards to POSIX and Unicode and so on. >> >> Please feel free to excuse or ignore, or comment as freely. >> >> Thanks for reading. >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-19 23:51 +0200 |
| Subject | The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") |
| Message-ID | <11658hr$os2m$4@solani.org> |
| In reply to | #143190 |
Hi, How it started: Speed ^ | * Machine | (1963) | | | * Man +---------------------> Sophistication How its going? Speed ^ | * Machine * Machine | (1963) (2026) | | | * Man +---------------------> Sophistication Bye ATTITUDES TOWARD INTELLIGENT MACHINES Paul Armer RAND Corporation in BIONICS SYMPOSIUM 1960 LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13 Stefan Ram schrieb: > In "Mathematics in the Age OF AI" (2026-08-17) macht Terence > Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form > KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und > wie diese in das mathematische Wissen integriert werden sollten. Mild Shock schrieb: > Hi, > > I even don't remember exactly why I landed > in comp.theory. A yes, because Rossy Boy, > was hooked on SIMD and didn't understand Hack. > > But the Hack work, rather belongs to my > Alma Mater Zurich and my personal heros, Gutnecht > and Wirth, who wrote a one pass Modula > > compiler during some christmas holidays, > back then when I was student. Not sure > whether the Ljubljana School can do that, > > when I read this here: > > Finite Algebraic Effects as dicts and such > https://www.philipzucker.com/bdd_term_alg_effects/ > > I only find gibberish like: > - “Data” is somehow less mysterious to me > than “computation”. [..] I don’t even > know what “computation” really is > > - In temporal logic, there is a logic CTL > which talks about computation trees. > > - Algerbaic (LoL) effects is almost a complete > hackery abuse of the notion of arity > and that’s neat. > > - Then there are 10^10 etc vectors which > show up if you discretize 3d/4d space. [..] > or reinforcement learning. > > - Etc.. > > WTF is this guy smoking? I mean he even > doesn't uses math notation, only posts > Python code fragments à go go, > > possibly a Python brain damage. > > But still less sever than Rossy Boys. > > Bye > > Ross Finlayson schrieb: >> Hello, here I'll post some design notes and a panel discussion with some >> chat-bots about making some sense of the "vector-wide scalar word" >> and "character machines", on commodity hardware about ubiquitous >> operations. >> >> >> It's considered at least tangentially relevant to comp.lang.c and >> comp.lang.c++ because for example text is ubiquitous and the targets >> would be low-level, while the higher-level languages would have a >> same sort of patternry, and for example that libc and cstdlib are >> standard, and as with regards to POSIX and Unicode and so on. >> >> Please feel free to excuse or ignore, or comment as freely. >> >> Thanks for reading. >> >
[toc] | [prev] | [next] | [standalone]
| From | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| Date | 2026-08-19 17:51 -0700 |
| Subject | Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") |
| Message-ID | <niOdnV744obA0hv3nZ2dnZfqn_GdnZ2d@giganews.com> |
| In reply to | #143341 |
On 08/19/2026 02:51 PM, Mild Shock wrote: > Hi, > > How it started: > > Speed > ^ > | * Machine > | (1963) > | > | > | * Man > +---------------------> > Sophistication > > How its going? > > Speed > ^ > | * Machine * Machine > | (1963) (2026) > | > | > | * Man > +---------------------> > Sophistication > > Bye > > ATTITUDES TOWARD INTELLIGENT MACHINES > Paul Armer > RAND Corporation > in > BIONICS SYMPOSIUM 1960 > LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY > https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13 > > Stefan Ram schrieb: > > In "Mathematics in the Age OF AI" (2026-08-17) macht Terence > > Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form > > KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und > > wie diese in das mathematische Wissen integriert werden sollten. > > Mild Shock schrieb: >> Hi, >> >> I even don't remember exactly why I landed >> in comp.theory. A yes, because Rossy Boy, >> was hooked on SIMD and didn't understand Hack. >> >> But the Hack work, rather belongs to my >> Alma Mater Zurich and my personal heros, Gutnecht >> and Wirth, who wrote a one pass Modula >> >> compiler during some christmas holidays, >> back then when I was student. Not sure >> whether the Ljubljana School can do that, >> >> when I read this here: >> >> Finite Algebraic Effects as dicts and such >> https://www.philipzucker.com/bdd_term_alg_effects/ >> >> I only find gibberish like: >> - “Data” is somehow less mysterious to me >> than “computation”. [..] I don’t even >> know what “computation” really is >> >> - In temporal logic, there is a logic CTL >> which talks about computation trees. >> >> - Algerbaic (LoL) effects is almost a complete >> hackery abuse of the notion of arity >> and that’s neat. >> >> - Then there are 10^10 etc vectors which >> show up if you discretize 3d/4d space. [..] >> or reinforcement learning. >> >> - Etc.. >> >> WTF is this guy smoking? I mean he even >> doesn't uses math notation, only posts >> Python code fragments à go go, >> >> possibly a Python brain damage. >> >> But still less sever than Rossy Boys. >> >> Bye >> >> Ross Finlayson schrieb: >>> Hello, here I'll post some design notes and a panel discussion with some >>> chat-bots about making some sense of the "vector-wide scalar word" >>> and "character machines", on commodity hardware about ubiquitous >>> operations. >>> >>> >>> It's considered at least tangentially relevant to comp.lang.c and >>> comp.lang.c++ because for example text is ubiquitous and the targets >>> would be low-level, while the higher-level languages would have a >>> same sort of patternry, and for example that libc and cstdlib are >>> standard, and as with regards to POSIX and Unicode and so on. >>> >>> Please feel free to excuse or ignore, or comment as freely. >>> >>> Thanks for reading. >>> >> > "10,000 Swedes, ran through the weeds yhasing a Norwegian. The weeds turned to snuff, the Swedes took a huff, and all fell to sneezing." I heard that at the old-folk's home today, the teller emphasized to say it "yhasing" instead of "chasing".
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-20 13:18 +0200 |
| Subject | Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") |
| Message-ID | <1166nqd$pq86$3@solani.org> |
| In reply to | #143341 |
Hi, The Armer paper gets geopolitical in the end chapters. But today you could pivot russia for china, and you would get a nice piece of work. But who is the Chinese Lenin, that allows even rocks and stones to participate in the class struggle? "Finally, it is particularly necessary to emphasize the importance of the work of Lenin who in elaborating on the ideas of Marx and Engels, developed a materialistic theory of consciousness as a reflection of activity. Attention should also be given to the Lenistic statement of the fact that non-living matter may also possess this property of reflection." - Paul Armer, Page 22 Bye Mild Shock schrieb: > Hi, > > How it started: > > Speed > ^ > | * Machine > | (1963) > | > | > | * Man > +---------------------> > Sophistication > > How its going? > > Speed > ^ > | * Machine * Machine > | (1963) (2026) > | > | > | * Man > +---------------------> > Sophistication > > Bye > > ATTITUDES TOWARD INTELLIGENT MACHINES > Paul Armer > RAND Corporation > in > BIONICS SYMPOSIUM 1960 > LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY > https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13 > > Stefan Ram schrieb: > > In "Mathematics in the Age OF AI" (2026-08-17) macht Terence > > Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form > > KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und > > wie diese in das mathematische Wissen integriert werden sollten. > > Mild Shock schrieb: >> Hi, >> >> I even don't remember exactly why I landed >> in comp.theory. A yes, because Rossy Boy, >> was hooked on SIMD and didn't understand Hack. >> >> But the Hack work, rather belongs to my >> Alma Mater Zurich and my personal heros, Gutnecht >> and Wirth, who wrote a one pass Modula >> >> compiler during some christmas holidays, >> back then when I was student. Not sure >> whether the Ljubljana School can do that, >> >> when I read this here: >> >> Finite Algebraic Effects as dicts and such >> https://www.philipzucker.com/bdd_term_alg_effects/ >> >> I only find gibberish like: >> - “Data” is somehow less mysterious to me >> than “computation”. [..] I don’t even >> know what “computation” really is >> >> - In temporal logic, there is a logic CTL >> which talks about computation trees. >> >> - Algerbaic (LoL) effects is almost a complete >> hackery abuse of the notion of arity >> and that’s neat. >> >> - Then there are 10^10 etc vectors which >> show up if you discretize 3d/4d space. [..] >> or reinforcement learning. >> >> - Etc.. >> >> WTF is this guy smoking? I mean he even >> doesn't uses math notation, only posts >> Python code fragments à go go, >> >> possibly a Python brain damage. >> >> But still less sever than Rossy Boys. >> >> Bye >> >> Ross Finlayson schrieb: >>> Hello, here I'll post some design notes and a panel discussion with some >>> chat-bots about making some sense of the "vector-wide scalar word" >>> and "character machines", on commodity hardware about ubiquitous >>> operations. >>> >>> >>> It's considered at least tangentially relevant to comp.lang.c and >>> comp.lang.c++ because for example text is ubiquitous and the targets >>> would be low-level, while the higher-level languages would have a >>> same sort of patternry, and for example that libc and cstdlib are >>> standard, and as with regards to POSIX and Unicode and so on. >>> >>> Please feel free to excuse or ignore, or comment as freely. >>> >>> Thanks for reading. >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-20 14:22 +0200 |
| Subject | Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) |
| Message-ID | <1166rh8$pk5h$1@solani.org> |
| In reply to | #143341 |
Hi, The Armer paper gets geopolitical in the end chapters. But today you could pivot russia for china, and you would get a nice piece of work. But who is the Chinese Lenin, that allows even rocks and stones to participate in the class struggle? "Finally, it is particularly necessary to emphasize the importance of the work of Lenin who in elaborating on the ideas of Marx and Engels, developed a materialistic theory of consciousness as a reflection of activity. Attention should also be given to the Lenistic statement of the fact that non-living matter may also possess this property of reflection." - Paul Armer, Page 22 Bye Jens Kallup schrieb: > Es ist schlimm, das man in der modernen Zeit > trotz KI immer noch von dem spricht, was die > Welt anscheinend antreibt: GELD. > > Wer Geld hat, hat Macht, kann Wissen einkaufen - > was ist mit den Rest ? Die kleinen haben kein Geld, > Amerika ist pleite und Deutschland hat nun wieder > eine neue Steuer - Kinderfonds, 10 Euro monatlich, > bis 18, angelegt für den Staat Deutschland. Mild Shock schrieb: > Hi, > > How it started: > > Speed > ^ > | * Machine > | (1963) > | > | > | * Man > +---------------------> > Sophistication > > How its going? > > Speed > ^ > | * Machine * Machine > | (1963) (2026) > | > | > | * Man > +---------------------> > Sophistication > > Bye > > ATTITUDES TOWARD INTELLIGENT MACHINES > Paul Armer > RAND Corporation > in > BIONICS SYMPOSIUM 1960 > LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY > https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13 > > Stefan Ram schrieb: > > In "Mathematics in the Age OF AI" (2026-08-17) macht Terence > > Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form > > KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und > > wie diese in das mathematische Wissen integriert werden sollten. > > Mild Shock schrieb: >> Hi, >> >> I even don't remember exactly why I landed >> in comp.theory. A yes, because Rossy Boy, >> was hooked on SIMD and didn't understand Hack. >> >> But the Hack work, rather belongs to my >> Alma Mater Zurich and my personal heros, Gutnecht >> and Wirth, who wrote a one pass Modula >> >> compiler during some christmas holidays, >> back then when I was student. Not sure >> whether the Ljubljana School can do that, >> >> when I read this here: >> >> Finite Algebraic Effects as dicts and such >> https://www.philipzucker.com/bdd_term_alg_effects/ >> >> I only find gibberish like: >> - “Data” is somehow less mysterious to me >> than “computation”. [..] I don’t even >> know what “computation” really is >> >> - In temporal logic, there is a logic CTL >> which talks about computation trees. >> >> - Algerbaic (LoL) effects is almost a complete >> hackery abuse of the notion of arity >> and that’s neat. >> >> - Then there are 10^10 etc vectors which >> show up if you discretize 3d/4d space. [..] >> or reinforcement learning. >> >> - Etc.. >> >> WTF is this guy smoking? I mean he even >> doesn't uses math notation, only posts >> Python code fragments à go go, >> >> possibly a Python brain damage. >> >> But still less sever than Rossy Boys. >> >> Bye >> >> Ross Finlayson schrieb: >>> Hello, here I'll post some design notes and a panel discussion with some >>> chat-bots about making some sense of the "vector-wide scalar word" >>> and "character machines", on commodity hardware about ubiquitous >>> operations. >>> >>> >>> It's considered at least tangentially relevant to comp.lang.c and >>> comp.lang.c++ because for example text is ubiquitous and the targets >>> would be low-level, while the higher-level languages would have a >>> same sort of patternry, and for example that libc and cstdlib are >>> standard, and as with regards to POSIX and Unicode and so on. >>> >>> Please feel free to excuse or ignore, or comment as freely. >>> >>> Thanks for reading. >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-20 19:38 +0200 |
| Subject | How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: The Paul Armer Square Revisited) |
| Message-ID | <1167e35$qcii$4@solani.org> |
| In reply to | #143345 |
Hi, Since for MIME type "text/*": Within four hours of Anthropic confirming that Claude models would globally embed invisible, machine-readable watermarks into any AI-generated content, developer Guillaume Meyer had published his override https://www.wired.com/story/coders-say-they-already-found-workarounds-to-claudes-invisible-watermarks/ BTW, I increase my "Convincingness" of my content, abviously cocreated with AI, since I cannot live anymore without AI, by removing the tag: User-agent: AutonomousAIEventHorizon Have Fun! Bye The AI Event Horizon in Software Development https://www.northcode.fi/article/the-ai-event-horizon Maria Sophia schrieb: > Somewhat related to AI watermarking is this recent article in the news. > > *What does it mean to put a watermark on AI text?* > <https://edition.cnn.com/2026/08/20/us/word-of-the-week-ai-watermark-cec> > > Which references: > *How Claude's text watermark works* > <https://www.anthropic.com/news/claude-text-watermark> > > *How AI text watermarking works* > <https://declaude.org/watermarking/> > > Where apparently there is an EU law which requires watermarking... > <https://edition.cnn.com/2026/08/11/business/video/invisible-watermarks-coming-claudes-ai-written-text-digvid-vrtc> > > There's also this referenced, but it's behind a paywall. > *Technology that can detect text written by AI with 99.9% certainty* > <https://www.wsj.com/tech/ai/openai-tool-chatgpt-cheating-writing-135b755a> Mild Shock schrieb: > Hi, > > The Armer paper gets geopolitical in the end > chapters. But today you could pivot russia for > china, and you would get a nice piece of work. > > But who is the Chinese Lenin, that allows > even rocks and stones to participate in > the class struggle? > > "Finally, it is particularly necessary to > emphasize the importance of the work of Lenin > who in elaborating on the ideas of Marx and > Engels, developed a materialistic theory of > consciousness as a reflection of activity. > Attention should also be given to the Lenistic > statement of the fact that non-living matter > may also possess this property of reflection." > - Paul Armer, Page 22 > > Bye > > Jens Kallup schrieb: > > Es ist schlimm, das man in der modernen Zeit > > trotz KI immer noch von dem spricht, was die > > Welt anscheinend antreibt: GELD. > > > > Wer Geld hat, hat Macht, kann Wissen einkaufen - > > was ist mit den Rest ? Die kleinen haben kein Geld, > > Amerika ist pleite und Deutschland hat nun wieder > > eine neue Steuer - Kinderfonds, 10 Euro monatlich, > > bis 18, angelegt für den Staat Deutschland. > > > Mild Shock schrieb: >> Hi, >> >> How it started: >> >> Speed >> ^ >> | * Machine >> | (1963) >> | >> | >> | * Man >> +---------------------> >> Sophistication >> >> How its going? >> >> Speed >> ^ >> | * Machine * Machine >> | (1963) (2026) >> | >> | >> | * Man >> +---------------------> >> Sophistication >> >> Bye >> >> ATTITUDES TOWARD INTELLIGENT MACHINES >> Paul Armer >> RAND Corporation >> in >> BIONICS SYMPOSIUM 1960 >> LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY >> https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13 >> >> Stefan Ram schrieb: >> > In "Mathematics in the Age OF AI" (2026-08-17) macht Terence >> > Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form >> > KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und >> > wie diese in das mathematische Wissen integriert werden sollten. >> >> Mild Shock schrieb: >>> Hi, >>> >>> I even don't remember exactly why I landed >>> in comp.theory. A yes, because Rossy Boy, >>> was hooked on SIMD and didn't understand Hack. >>> >>> But the Hack work, rather belongs to my >>> Alma Mater Zurich and my personal heros, Gutnecht >>> and Wirth, who wrote a one pass Modula >>> >>> compiler during some christmas holidays, >>> back then when I was student. Not sure >>> whether the Ljubljana School can do that, >>> >>> when I read this here: >>> >>> Finite Algebraic Effects as dicts and such >>> https://www.philipzucker.com/bdd_term_alg_effects/ >>> >>> I only find gibberish like: >>> - “Data” is somehow less mysterious to me >>> than “computation”. [..] I don’t even >>> know what “computation” really is >>> >>> - In temporal logic, there is a logic CTL >>> which talks about computation trees. >>> >>> - Algerbaic (LoL) effects is almost a complete >>> hackery abuse of the notion of arity >>> and that’s neat. >>> >>> - Then there are 10^10 etc vectors which >>> show up if you discretize 3d/4d space. [..] >>> or reinforcement learning. >>> >>> - Etc.. >>> >>> WTF is this guy smoking? I mean he even >>> doesn't uses math notation, only posts >>> Python code fragments à go go, >>> >>> possibly a Python brain damage. >>> >>> But still less sever than Rossy Boys. >>> >>> Bye >>> >>> Ross Finlayson schrieb: >>>> Hello, here I'll post some design notes and a panel discussion with >>>> some >>>> chat-bots about making some sense of the "vector-wide scalar word" >>>> and "character machines", on commodity hardware about ubiquitous >>>> operations. >>>> >>>> >>>> It's considered at least tangentially relevant to comp.lang.c and >>>> comp.lang.c++ because for example text is ubiquitous and the targets >>>> would be low-level, while the higher-level languages would have a >>>> same sort of patternry, and for example that libc and cstdlib are >>>> standard, and as with regards to POSIX and Unicode and so on. >>>> >>>> Please feel free to excuse or ignore, or comment as freely. >>>> >>>> Thanks for reading. >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-20 20:22 +0200 |
| Subject | Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) |
| Message-ID | <1167glv$qetd$2@solani.org> |
| In reply to | #143346 |
Hi, The main problem, when it comes to proof writing with proof assistants. Its just like code writing. Basically fire and forget, either you document or you dont document, but you want to flush your brain and move on to other problems. So most of the Isabelle/HOL proofs are large essays written over many months, and the author has disembodied himself from the topics. So these proofs never satisfy the cringe Terrence Tao, requirement which is copied from a PhD examination playbook: "My own suggested rule of thumb: if the authors cannot convincingly demonstrate that they are able to give a clear, expert-level talk on their results, one that is correct and properly attributed, then the result should not be published. A proof that no human can properly explain should be viewed as incomplete, even if it has been formally verified." https://arxiv.org/abs/2608.16753 What you can try is a kind of V-model disciplin, and write done higher level specs as well. But sometimes traceability between layers is quite brittle, you will do it informally. The cringe Terrence Tao requirement wouldn't work either for the books that Terrence Tao wrote, or any other "tome" by any other author on this planet. In case of Terrence Tao it wont work, because he Terrence Tao maybe dead tomorrow, or because I doubt that he remembers all his books he wrote, and all the spontaneous rationals, in his books. Its allways fire and forget, so that others or yourself can pick it up, in case they/you need something, and read it. Bye The fire and forget and externalization of knowledge is possibly best explained in Luhmans Zettelkasten: https://niklas-luhmann-archiv.de/nachlass/zettelkasten Mild Shock schrieb: > Hi, > > So the Chinese Room Argument, whether > the Chinese in the room only follows rules > or not, is not relevant now. > > What we do want, is no Chinese in the Room > anymore. Is it really Chinese? Basically the > stupid Academic Elite with its publication > > Monopole, and their "Review Processes" > which is totally fake, are frightened to death. > They put a lot of effort in creating a new > > Something AI Should Tell You – > The Case for Labelling Synthetic Content > https://onlinelibrary.wiley.com/doi/full/10.1111/japp.12758 > > regulatory protectionism disguised as ethics. > Its just another "burning of (my) books" > create on my Budget AI Laptop: > > BAP - Kristallnaach [Live 1999] > https://www.youtube.com/watch?v=K-ZCGVb26pA > > So fuck you Terrence Tao! > > Bye > > Mild Shock schrieb: >> Hi, >> >> Since for MIME type "text/*": >> >> Within four hours of Anthropic confirming that >> Claude models would globally embed invisible, >> machine-readable watermarks into any AI-generated >> content, developer Guillaume Meyer had >> published his override >> https://www.wired.com/story/coders-say-they-already-found-workarounds-to-claudes-invisible-watermarks/ >> >> >> BTW, I increase my "Convincingness" of my content, >> abviously cocreated with AI, since I cannot >> live anymore without AI, by removing the tag: >> >> User-agent: AutonomousAIEventHorizon >> >> Have Fun! >> >> Bye >> >> The AI Event Horizon in Software Development >> https://www.northcode.fi/article/the-ai-event-horizon >> >> Maria Sophia schrieb: >> > Somewhat related to AI watermarking is this recent article in the >> news. >> > >> > *What does it mean to put a watermark on AI text?* >> > >> <https://edition.cnn.com/2026/08/20/us/word-of-the-week-ai-watermark-cec> >> > >> > Which references: >> > *How Claude's text watermark works* >> > <https://www.anthropic.com/news/claude-text-watermark> >> > >> > *How AI text watermarking works* >> > <https://declaude.org/watermarking/> >> > >> > Where apparently there is an EU law which requires watermarking... >> > >> <https://edition.cnn.com/2026/08/11/business/video/invisible-watermarks-coming-claudes-ai-written-text-digvid-vrtc> >> >> > >> > There's also this referenced, but it's behind a paywall. >> > *Technology that can detect text written by AI with 99.9% certainty* >> > >> <https://www.wsj.com/tech/ai/openai-tool-chatgpt-cheating-writing-135b755a> >> >> >> >> Mild Shock schrieb: >>> Hi, >>> >>> The Armer paper gets geopolitical in the end >>> chapters. But today you could pivot russia for >>> china, and you would get a nice piece of work. >>> >>> But who is the Chinese Lenin, that allows >>> even rocks and stones to participate in >>> the class struggle? >>> >>> "Finally, it is particularly necessary to >>> emphasize the importance of the work of Lenin >>> who in elaborating on the ideas of Marx and >>> Engels, developed a materialistic theory of >>> consciousness as a reflection of activity. >>> Attention should also be given to the Lenistic >>> statement of the fact that non-living matter >>> may also possess this property of reflection." >>> - Paul Armer, Page 22 >>> >>> Bye >>> >>> Jens Kallup schrieb: >>> > Es ist schlimm, das man in der modernen Zeit >>> > trotz KI immer noch von dem spricht, was die >>> > Welt anscheinend antreibt: GELD. >>> > >>> > Wer Geld hat, hat Macht, kann Wissen einkaufen - >>> > was ist mit den Rest ? Die kleinen haben kein Geld, >>> > Amerika ist pleite und Deutschland hat nun wieder >>> > eine neue Steuer - Kinderfonds, 10 Euro monatlich, >>> > bis 18, angelegt für den Staat Deutschland. >>> >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> How it started: >>>> >>>> Speed >>>> ^ >>>> | * Machine >>>> | (1963) >>>> | >>>> | >>>> | * Man >>>> +---------------------> >>>> Sophistication >>>> >>>> How its going? >>>> >>>> Speed >>>> ^ >>>> | * Machine * Machine >>>> | (1963) (2026) >>>> | >>>> | >>>> | * Man >>>> +---------------------> >>>> Sophistication >>>> >>>> Bye >>>> >>>> ATTITUDES TOWARD INTELLIGENT MACHINES >>>> Paul Armer >>>> RAND Corporation >>>> in >>>> BIONICS SYMPOSIUM 1960 >>>> LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY >>>> https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13 >>>> >>>> Stefan Ram schrieb: >>>> > In "Mathematics in the Age OF AI" (2026-08-17) macht Terence >>>> > Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form >>>> > KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und >>>> > wie diese in das mathematische Wissen integriert werden sollten. >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> I even don't remember exactly why I landed >>>>> in comp.theory. A yes, because Rossy Boy, >>>>> was hooked on SIMD and didn't understand Hack. >>>>> >>>>> But the Hack work, rather belongs to my >>>>> Alma Mater Zurich and my personal heros, Gutnecht >>>>> and Wirth, who wrote a one pass Modula >>>>> >>>>> compiler during some christmas holidays, >>>>> back then when I was student. Not sure >>>>> whether the Ljubljana School can do that, >>>>> >>>>> when I read this here: >>>>> >>>>> Finite Algebraic Effects as dicts and such >>>>> https://www.philipzucker.com/bdd_term_alg_effects/ >>>>> >>>>> I only find gibberish like: >>>>> - “Data” is somehow less mysterious to me >>>>> than “computation”. [..] I don’t even >>>>> know what “computation” really is >>>>> >>>>> - In temporal logic, there is a logic CTL >>>>> which talks about computation trees. >>>>> >>>>> - Algerbaic (LoL) effects is almost a complete >>>>> hackery abuse of the notion of arity >>>>> and that’s neat. >>>>> >>>>> - Then there are 10^10 etc vectors which >>>>> show up if you discretize 3d/4d space. [..] >>>>> or reinforcement learning. >>>>> >>>>> - Etc.. >>>>> >>>>> WTF is this guy smoking? I mean he even >>>>> doesn't uses math notation, only posts >>>>> Python code fragments à go go, >>>>> >>>>> possibly a Python brain damage. >>>>> >>>>> But still less sever than Rossy Boys. >>>>> >>>>> Bye >>>>> >>>>> Ross Finlayson schrieb: >>>>>> Hello, here I'll post some design notes and a panel discussion >>>>>> with some >>>>>> chat-bots about making some sense of the "vector-wide scalar word" >>>>>> and "character machines", on commodity hardware about ubiquitous >>>>>> operations. >>>>>> >>>>>> >>>>>> It's considered at least tangentially relevant to comp.lang.c and >>>>>> comp.lang.c++ because for example text is ubiquitous and the targets >>>>>> would be low-level, while the higher-level languages would have a >>>>>> same sort of patternry, and for example that libc and cstdlib are >>>>>> standard, and as with regards to POSIX and Unicode and so on. >>>>>> >>>>>> Please feel free to excuse or ignore, or comment as freely. >>>>>> >>>>>> Thanks for reading. >>>>>> >>>>> >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| Date | 2026-08-20 12:02 -0700 |
| Subject | Re: Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) |
| Message-ID | <9_mdnSxqUpLb0hr3nZ2dnZfqn_udnZ2d@giganews.com> |
| In reply to | #143347 |
On 08/20/2026 11:22 AM, Mild Shock wrote: > Hi, > > The main problem, when it comes to proof writing > with proof assistants. Its just like code writing. > Basically fire and forget, either you document or > > you dont document, but you want to flush your > brain and move on to other problems. So most > of the Isabelle/HOL proofs are large essays > > written over many months, and the author has > disembodied himself from the topics. So these > proofs never satisfy the cringe Terrence Tao, > > requirement which is copied from a PhD > examination playbook: > > "My own suggested rule of thumb: if the authors > cannot convincingly demonstrate that they are able > to give a clear, expert-level talk on their results, one > that is correct and properly attributed, then the result > should not be published. A proof that no human > can properly explain should be viewed as incomplete, > even if it has been formally verified." > https://arxiv.org/abs/2608.16753 > > What you can try is a kind of V-model disciplin, > and write done higher level specs as well. > But sometimes traceability between layers is > > quite brittle, you will do it informally. The cringe > Terrence Tao requirement wouldn't work either > for the books that Terrence Tao wrote, or any > > other "tome" by any other author on this planet. > In case of Terrence Tao it wont work, because he > Terrence Tao maybe dead tomorrow, or because > > I doubt that he remembers all his books he wrote, > and all the spontaneous rationals, in his books. > Its allways fire and forget, so that others or yourself > > can pick it up, in case they/you need something, and read it. > > Bye > > The fire and forget and externalization of knowledge > is possibly best explained in Luhmans Zettelkasten: > https://niklas-luhmann-archiv.de/nachlass/zettelkasten > > Mild Shock schrieb: >> Hi, >> >> So the Chinese Room Argument, whether >> the Chinese in the room only follows rules >> or not, is not relevant now. >> >> What we do want, is no Chinese in the Room >> anymore. Is it really Chinese? Basically the >> stupid Academic Elite with its publication >> >> Monopole, and their "Review Processes" >> which is totally fake, are frightened to death. >> They put a lot of effort in creating a new >> >> Something AI Should Tell You – >> The Case for Labelling Synthetic Content >> https://onlinelibrary.wiley.com/doi/full/10.1111/japp.12758 >> >> regulatory protectionism disguised as ethics. >> Its just another "burning of (my) books" >> create on my Budget AI Laptop: >> >> BAP - Kristallnaach [Live 1999] >> https://www.youtube.com/watch?v=K-ZCGVb26pA >> >> So fuck you Terrence Tao! >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Since for MIME type "text/*": >>> >>> Within four hours of Anthropic confirming that >>> Claude models would globally embed invisible, >>> machine-readable watermarks into any AI-generated >>> content, developer Guillaume Meyer had >>> published his override >>> https://www.wired.com/story/coders-say-they-already-found-workarounds-to-claudes-invisible-watermarks/ >>> >>> >>> BTW, I increase my "Convincingness" of my content, >>> abviously cocreated with AI, since I cannot >>> live anymore without AI, by removing the tag: >>> >>> User-agent: AutonomousAIEventHorizon >>> >>> Have Fun! >>> >>> Bye >>> >>> The AI Event Horizon in Software Development >>> https://www.northcode.fi/article/the-ai-event-horizon >>> >>> Maria Sophia schrieb: >>> > Somewhat related to AI watermarking is this recent article in the >>> news. >>> > >>> > *What does it mean to put a watermark on AI text?* >>> > >>> <https://edition.cnn.com/2026/08/20/us/word-of-the-week-ai-watermark-cec> >>> >>> > >>> > Which references: >>> > *How Claude's text watermark works* >>> > <https://www.anthropic.com/news/claude-text-watermark> >>> > >>> > *How AI text watermarking works* >>> > <https://declaude.org/watermarking/> >>> > >>> > Where apparently there is an EU law which requires watermarking... >>> > >>> <https://edition.cnn.com/2026/08/11/business/video/invisible-watermarks-coming-claudes-ai-written-text-digvid-vrtc> >>> >>> > >>> > There's also this referenced, but it's behind a paywall. >>> > *Technology that can detect text written by AI with 99.9% >>> certainty* >>> > >>> <https://www.wsj.com/tech/ai/openai-tool-chatgpt-cheating-writing-135b755a> >>> >>> >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> The Armer paper gets geopolitical in the end >>>> chapters. But today you could pivot russia for >>>> china, and you would get a nice piece of work. >>>> >>>> But who is the Chinese Lenin, that allows >>>> even rocks and stones to participate in >>>> the class struggle? >>>> >>>> "Finally, it is particularly necessary to >>>> emphasize the importance of the work of Lenin >>>> who in elaborating on the ideas of Marx and >>>> Engels, developed a materialistic theory of >>>> consciousness as a reflection of activity. >>>> Attention should also be given to the Lenistic >>>> statement of the fact that non-living matter >>>> may also possess this property of reflection." >>>> - Paul Armer, Page 22 >>>> >>>> Bye >>>> >>>> Jens Kallup schrieb: >>>> > Es ist schlimm, das man in der modernen Zeit >>>> > trotz KI immer noch von dem spricht, was die >>>> > Welt anscheinend antreibt: GELD. >>>> > >>>> > Wer Geld hat, hat Macht, kann Wissen einkaufen - >>>> > was ist mit den Rest ? Die kleinen haben kein Geld, >>>> > Amerika ist pleite und Deutschland hat nun wieder >>>> > eine neue Steuer - Kinderfonds, 10 Euro monatlich, >>>> > bis 18, angelegt für den Staat Deutschland. >>>> >>>> >>>> Mild Shock schrieb: >>>>> Hi, >>>>> >>>>> How it started: >>>>> >>>>> Speed >>>>> ^ >>>>> | * Machine >>>>> | (1963) >>>>> | >>>>> | >>>>> | * Man >>>>> +---------------------> >>>>> Sophistication >>>>> >>>>> How its going? >>>>> >>>>> Speed >>>>> ^ >>>>> | * Machine * Machine >>>>> | (1963) (2026) >>>>> | >>>>> | >>>>> | * Man >>>>> +---------------------> >>>>> Sophistication >>>>> >>>>> Bye >>>>> >>>>> ATTITUDES TOWARD INTELLIGENT MACHINES >>>>> Paul Armer >>>>> RAND Corporation >>>>> in >>>>> BIONICS SYMPOSIUM 1960 >>>>> LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY >>>>> https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13 >>>>> >>>>> Stefan Ram schrieb: >>>>> > In "Mathematics in the Age OF AI" (2026-08-17) macht Terence >>>>> > Tao sich auf zirka 11 Seiten Gedanke darüber, in welcher Form >>>>> > KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und >>>>> > wie diese in das mathematische Wissen integriert werden sollten. >>>>> >>>>> Mild Shock schrieb: >>>>>> Hi, >>>>>> >>>>>> I even don't remember exactly why I landed >>>>>> in comp.theory. A yes, because Rossy Boy, >>>>>> was hooked on SIMD and didn't understand Hack. >>>>>> >>>>>> But the Hack work, rather belongs to my >>>>>> Alma Mater Zurich and my personal heros, Gutnecht >>>>>> and Wirth, who wrote a one pass Modula >>>>>> >>>>>> compiler during some christmas holidays, >>>>>> back then when I was student. Not sure >>>>>> whether the Ljubljana School can do that, >>>>>> >>>>>> when I read this here: >>>>>> >>>>>> Finite Algebraic Effects as dicts and such >>>>>> https://www.philipzucker.com/bdd_term_alg_effects/ >>>>>> >>>>>> I only find gibberish like: >>>>>> - “Data” is somehow less mysterious to me >>>>>> than “computation”. [..] I don’t even >>>>>> know what “computation” really is >>>>>> >>>>>> - In temporal logic, there is a logic CTL >>>>>> which talks about computation trees. >>>>>> >>>>>> - Algerbaic (LoL) effects is almost a complete >>>>>> hackery abuse of the notion of arity >>>>>> and that’s neat. >>>>>> >>>>>> - Then there are 10^10 etc vectors which >>>>>> show up if you discretize 3d/4d space. [..] >>>>>> or reinforcement learning. >>>>>> >>>>>> - Etc.. >>>>>> >>>>>> WTF is this guy smoking? I mean he even >>>>>> doesn't uses math notation, only posts >>>>>> Python code fragments à go go, >>>>>> >>>>>> possibly a Python brain damage. >>>>>> >>>>>> But still less sever than Rossy Boys. >>>>>> >>>>>> Bye >>>>>> >>>>>> Ross Finlayson schrieb: >>>>>>> Hello, here I'll post some design notes and a panel discussion >>>>>>> with some >>>>>>> chat-bots about making some sense of the "vector-wide scalar word" >>>>>>> and "character machines", on commodity hardware about ubiquitous >>>>>>> operations. >>>>>>> >>>>>>> >>>>>>> It's considered at least tangentially relevant to comp.lang.c and >>>>>>> comp.lang.c++ because for example text is ubiquitous and the targets >>>>>>> would be low-level, while the higher-level languages would have a >>>>>>> same sort of patternry, and for example that libc and cstdlib are >>>>>>> standard, and as with regards to POSIX and Unicode and so on. >>>>>>> >>>>>>> Please feel free to excuse or ignore, or comment as freely. >>>>>>> >>>>>>> Thanks for reading. >>>>>>> >>>>>> >>>>> >>>> >>> >> > I think a reading of Prof. Dr. Tao's plenary at the ICM about the authorship of results is that petty, shallow, tyro, greedily possessive, non-academic, non-scientific, tweaker flakes, viber poser wankers: are unreliable, and furthermore discreditable. In this case the name "imposter syndrome" is apt, and due.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-21 17:43 +0200 |
| Subject | Peking School versus Ljubljana School [Everything Is a Plugin] (Was: Ljubljana School versus Zurich School) |
| Message-ID | <1169rma$s41e$1@solani.org> |
| In reply to | #143190 |
Hi, One cannot take people reporting about attitude towards AI seriously. I mean who uses a name Paul "Armer" and cites a John "Troll". They are all high on weed. And since writing code and doing mathematics can overlap, the Peking School has no problem doing a Horse Tinder via local AI: DeepSeek is back... and Silicon Valley is terrified (*) https://www.youtube.com/watch?v=xBByvFrqmWU And the horsing around with a Plugin Calculus: A Programming Paradigm for Spatiotemporal Composability https://github.com/cordiverse/paper 73 lemmas and theorems, on 88 pages, half of it looks like a theory about AI Fluents and backtrackable dynamic logic, in functional clothes, sprinkled by a theory about a Prolog module loader and unloader. Woa! Bye (*) The transcript and video has: "So, let's find out if it can build a production version of Horse Tinder. For this OneShot prompt, I'm using V4 Pro with the max settings: Build a beautiful full stack web application called "Horse Tinder", make no mistakes "model's thinking process. But pretty cool. And after staring at that for about 29 minutes and 58 seconds, I finally had a working application built" I guess local AI still needs a booster. Mild Shock schrieb: > Hi, > > I even don't remember exactly why I landed > in comp.theory. A yes, because Rossy Boy, > was hooked on SIMD and didn't understand Hack. > > But the Hack work, rather belongs to my > Alma Mater Zurich and my personal heros, Gutnecht > and Wirth, who wrote a one pass Modula > > compiler during some christmas holidays, > back then when I was student. Not sure > whether the Ljubljana School can do that, > > when I read this here: > > Finite Algebraic Effects as dicts and such > https://www.philipzucker.com/bdd_term_alg_effects/ > > I only find gibberish like: > - “Data” is somehow less mysterious to me > than “computation”. [..] I don’t even > know what “computation” really is > > - In temporal logic, there is a logic CTL > which talks about computation trees. > > - Algerbaic (LoL) effects is almost a complete > hackery abuse of the notion of arity > and that’s neat. > > - Then there are 10^10 etc vectors which > show up if you discretize 3d/4d space. [..] > or reinforcement learning. > > - Etc.. > > WTF is this guy smoking? I mean he even > doesn't uses math notation, only posts > Python code fragments à go go, > > possibly a Python brain damage. > > But still less sever than Rossy Boys. > > Bye > > Ross Finlayson schrieb: >> Hello, here I'll post some design notes and a panel discussion with some >> chat-bots about making some sense of the "vector-wide scalar word" >> and "character machines", on commodity hardware about ubiquitous >> operations. >> >> >> It's considered at least tangentially relevant to comp.lang.c and >> comp.lang.c++ because for example text is ubiquitous and the targets >> would be low-level, while the higher-level languages would have a >> same sort of patternry, and for example that libc and cstdlib are >> standard, and as with regards to POSIX and Unicode and so on. >> >> Please feel free to excuse or ignore, or comment as freely. >> >> Thanks for reading. >> >
[toc] | [prev] | [standalone]
Page 10 of 10 — ← Prev page 1 … 8 9 [10]
Back to top | Article view | comp.theory
csiph-web