Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #124392 > 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 | 6 on this page of 126 — 7 participants |
Back to article view | Back to comp.lang.c++
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
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
Re: Please don't extend your cross posting / What does abstract mean? Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-30 16:00 +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
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
Turbo Vison, again (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:31 +0800
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
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
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
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
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-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
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
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") 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
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 7 of 7 — ← Prev page 1 2 3 4 5 6 [7]
| 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 | #124548 |
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 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 | #124747 |
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 | #124747 |
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 | #124749 |
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 | #124750 |
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 | 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 | #124548 |
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 7 of 7 — ← Prev page 1 2 3 4 5 6 [7]
Back to top | Article view | comp.lang.c++
csiph-web