Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > sci.physics.relativity > #671581 > unrolled thread
| Started by | Mild Shock <janburse@fastmail.fm> |
|---|---|
| First post | 2026-07-22 21:00 +0200 |
| Last post | 2026-09-22 18:05 +0200 |
| Articles | 20 on this page of 173 — 18 participants |
Back to article view | Back to sci.physics.relativity
The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-22 21:00 +0200
Deadlock Exorcism: Switch from Push to Pull [A pi-calculus Specification of Prolog] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 00:23 +0200
Why do you even need a mpmc queue? [Thunder Kittens] (Re: Deadlock Exorcism: Switch from Push to Pull) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:43 +0200
Trivial balancing example for (int i=0; i<global_id; i++) (Re: Why do you even need a mpmc queue? [Thunder Kittens]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 08:57 +0200
Enqueue/dequeue need not be fast and can spinn ["fairness" questions] (Was: Trivial balancing example for (int i=0; i<global_id; i++)) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:11 +0200
The Pixel Phone AI Experiment Song (Re: Enqueue/dequeue need not be fast and can spinn ["fairness" questions] ) Mild Shock <janburse@fastmail.fm> - 2026-07-23 09:21 +0200
Re: Why do you even need a mpmc queue? [Thunder Kittens] (Re: Deadlock Exorcism: Switch from Push to Pull) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-23 08:24 -0700
Potential Python Recovery: Free Threading [3.13 release] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 10:19 +0200
Re: Potential Python Recovery: Free Threading [3.13 release] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Ross Valikhanov <kavna@rl.ru> - 2026-07-23 16:01 +0000
Re: The Wuhan Virus that destroyed Python [ggml Manifesto] Ramon Dubenkov <omd@nnk.ru> - 2026-07-23 13:38 +0000
The things XILINX braught to the AMD table (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-23 18:47 +0200
NIVIDIA evacuated its Chinese market [Tau Scaling] (Was: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-23 19:11 +0200
NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Mild Shock <janburse@fastmail.fm> - 2026-07-23 19:12 +0200
Re: NVIDIA evacuated its Chinese market [Tau Scaling] (Re: The things XILINX braught to the AMD table) Lane W <cactus_DAC@yahoo.com> - 2026-07-23 11:22 -0600
Micro penis mother sung arias (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 14:38 +0200
Re: Micro penis mother sung arias (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 07:15 -0600
Micro penis brain is in constant hiatus (Was: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:24 +0200
Re: Micro penis brain is in constant hiatus (Was: Micro penis mother sung arias) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:36 +0200
Ignoramus or Ignorabimus: I don't care (π-WAM) (Re: Micro penis brain is in constant hiatus) Mild Shock <janburse@fastmail.fm> - 2026-07-24 15:38 +0200
Re: Ignoramus or Ignorabimus: I don't care (π-WAM) (Re: Micro penis brain is in constant hiatus) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 08:31 -0600
You are a moron, brainless putin payed (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:01 +0200
Re: You are a moron, brainless putin payed (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 10:27 -0600
Yeah keep reading my posts, uninspired fool (Was: You are a moron, brainless putin payed) Mild Shock <janburse@fastmail.fm> - 2026-07-24 19:45 +0200
Re: Yeah keep reading my posts, uninspired fool (Was: You are a moron, brainless putin payed) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 12:11 -0600
LoL (Was: Yeah keep reading my posts, uninspired fool ) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:12 +0200
Re: LoL (Was: Yeah keep reading my posts, uninspired fool ) Lane W <cactus_DAC@yahoo.com> - 2026-07-24 12:53 -0600
Out of the blue accusation span 15 days [Empirical USENET study] (Was: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:26 +0200
A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:40 +0200
Re: A brain desease of 20 days [Rossy Boy] (Re: Ignoramus or Ignorabimus: I don't care (π-WAM)) Mantra Mahonov <hnaam@aat.ru> - 2026-07-29 21:15 +0000
I didn't use a Ryzen Halo, whats wrong with you? (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:24 +0200
Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:06 +0200
Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) Lane W <cactus_DAC@yahoo.com> - 2026-08-03 13:16 -0600
Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month (Was: A brain desease of 20 days [Rossy Boy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:54 -0700
No you didn't try, you only spammed old code (Was: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:15 +0200
Food for thought: Bayesian Experimental Designer (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:47 +0200
ASML stocks are plunging, bye bye dutchies (Was: NVIDIA evacuated its Chinese market [Tau Scaling]) Mild Shock <janburse@fastmail.fm> - 2026-07-28 14:17 +0200
Little Data Center on Your Palm [AI Laptops for 500 USD] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-07-24 17:58 +0200
2008: 4 Blades + Tesla S1070 versus 2026: 1 AI Laptop (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 18:16 +0200
Re: Little Data Center on Your Palm [AI Laptops for 500 USD] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto] Bradford Babkoff <ffb@odbb.ru> - 2026-07-24 18:05 +0000
LoL (Was: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:11 +0200
Budget AI Laptop 2026 versus Cray T3D 1995 (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:23 +0200
Re: Budget AI Laptop 2026 versus Cray T3D 1995 (Re: Little Data Center on Your Palm [AI Laptops for 500 USD]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:16 -0700
Hurry the blue bus doesnt stop indefinitely (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:36 +0200
Not SIMD, a MIMD design for NVIDIA Volta (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-07-24 20:57 +0200
Could take 3-4 months find machine / browser (Was Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-24 21:15 +0200
The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-26 19:52 +0200
The turbo capping of AI Laptops (Re: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-26 20:01 +0200
Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-26 20:33 -0700
Why forget Bulgarians, never on my mind (Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:14 +0200
miniTriton CUDA is an alternative to torch variants (Was: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:40 +0200
Andrej Karpathy original gangster of Budget Laptop (Was: miniTriton CUDA is an alternative to torch variants) Mild Shock <janburse@fastmail.fm> - 2026-07-27 09:51 +0200
Re: Andrej Karpathy original gangster of Budget Laptop (Was: miniTriton CUDA is an alternative to torch variants) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:41 -0700
Re: Why forget Bulgarians, never on my mind (Re: The Koan of pi-WAM queues [FORTRAN-S] (Was: Not SIMD, a MIMD design for NVIDIA Volta) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:38 -0700
The evolution of hardware and GPT-2 training (Was: Why forget Bulgarians, never on my mind) Mild Shock <janburse@fastmail.fm> - 2026-07-27 10:56 +0200
How speed up π-WAM with vector operations (Was: The evolution of hardware and GPT-2 training) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:08 +0200
AI accelerator extend from GPU to CPU [Zero Copying] (Was: How speed up π-WAM with vector operations) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:21 +0200
The invention of vector and matrix registers [NVIDIA Volta] (Was: AI accelerator extend from GPU to CPU [Zero Copying]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 13:20 +0200
Maybe they should have named it NVIDIA Einstein [Rossy Boy Toe Sucking] (Re: The invention of vector and matrix registers [NVIDIA Volta] (Was: AI accelerator extend from GPU to CPU [Zero Copying]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:14 +0200
π-WAM is not adding decimals, it is removing decimals (Re: The invention of vector and matrix registers [NVIDIA Volta]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:36 +0200
In Budget Laptops the TOPS come with low energy footprint (Was: π-WAM is not adding decimals, it is removing decimals) Mild Shock <janburse@fastmail.fm> - 2026-07-27 18:44 +0200
Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: The Koan of pi-WAM queues [FORTRAN-S]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:55 +0200
Potato Computer owner impressed by Ukraine Tech [Rossy Boys Brother?] (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-07-27 16:57 +0200
The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: Communism will Save Us! [Pivot Russia for China]) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:35 +0200
Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness" [Anthropic AI Text Hacked]) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:48 +0200
Re: Free Speech for (my) Robots [Kristallnaach BAP] (Re: How to increase your "Convincingness" [Anthropic AI Text Hacked]) Lane W <cactus_DAC@yahoo.com> - 2026-08-20 11:52 -0600
The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry the blue bus doesnt stop indefinitely) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:30 +0200
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry the blue bus doesnt stop indefinitely) Lopaz Talagaev <alz@alv.ru> - 2026-09-21 17:29 +0000
New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:42 +0200
Pontifex Codex the idea of "right and natural" (Re: New! P(tao) versus the Euler Turbine [Navier Stokes]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 09:27 +0200
Got it. Or are you too stupid? [New Usenet Mantra] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 19:00 +0200
Re: Got it. Or are you too stupid? [New Usenet Mantra] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Kim Baitchorov <bvhkoc@bmc.ru> - 2026-07-27 22:38 +0000
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-28 11:29 +0200
confused rossy boy is confused (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:20 +0200
Gemini, DeepSeek, OpenAI more clever than rossy boy (Re: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:21 +0200
In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:29 +0200
Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:49 +0200
Your strictness is your problem , not mine [See WebLLM] (Re: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:51 +0200
Re: In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Lane W <cactus_DAC@yahoo.com> - 2026-07-29 07:06 -0600
Re: In AI Acceleration nobody cares about CivetWeb (Re: Gemini, DeepSeek, OpenAI more clever than rossy boy) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:20 -0700
You are still chewing on SIMD. LoL (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:14 +0200
Hurry Rossy Boy, the blue bus is waiting (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:54 +0200
Look how they advertized CUDA and logical threads (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:56 +0200
Forget any arithmetization of product FSA (Re: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:57 +0200
Re: You are still chewing on SIMD. LoL (Re: Clueless about MIMD as usual [Flynn's Taxonomy]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 10:48 -0700
Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:03 +0200
I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:24 +0200
Re: I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 12:27 -0700
Re: I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:40 -0700
Re: I don't use Rust, you are crazy [Jump off a bridge, idiot] (Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-03 17:05 -0700
Do a YouTube video about it (Was: I don't use Rust, you are crazy) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:00 +0200
Standing on the shoulders of giants (Was: Do a YouTube video about it) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:16 +0200
Re: Standing on the shoulders of giants (Was: Do a YouTube video about it) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 06:10 -0700
You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:16 +0200
Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 06:32 -0700
How Rossy Boys plagiarism works [Copy Paste Slop] (Was: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:54 +0200
tatistics gave up, no salient truth [Signal Collapse] (Re: How Rossy Boys plagiarism works [Copy Paste Slop]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 18:21 +0200
Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 18:23 +0200
Re: Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 20:13 -0700
Re: Statistics gave up, no salient truth [Signal Collapse] (Was: How Rossy Boys plagiarism works [Copy Paste Slop]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:08 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:51 +0200
A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:12 +0200
Re: A funny Q16.16 experiment with Hack (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Alexey Bessonov <nexes@ebxsvs.ru> - 2026-07-29 21:24 +0000
Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:26 +0200
I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:35 +0200
Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:49 +0200
For WebGPU I first had SIMD in mind (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:50 +0200
Corr.: 4 Months --> 4 Weeks (Re: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:05 +0200
MIPS is a big Huffman mess [But Hack could do it] (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:30 +0200
Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:42 +0200
Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:45 +0200
Re: Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Jereb Pohlebaev <obje@bbvoeoaa.ru> - 2026-07-31 20:23 +0000
Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:41 +0200
The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) Mild Shock <janburse@fastmail.fm> - 2026-09-04 11:48 +0200
Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 14:18 +0200
Axiom of Determinacy as SCXML × SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution])) Mild Shock <janburse@fastmail.fm> - 2026-09-05 16:26 +0200
Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:02 +0200
AI Accelerators and ISO Prolog multi-threading (Was: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:01 +0200
Actor/Erlang is dead, no Thread and Mailbox conflation [golang channels] (Was: AI Accelerators and ISO Prolog multi-threading) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:05 +0200
Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Was: Actor/Erlang is dead, no Thread and Mailbox conflation) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:29 +0200
Re: Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2026-08-01 04:10 +0200
Tablet and phone UBS-C remote debugging (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:17 +0200
NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Was: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:09 +0200
First AI laptops, now AI single-boarders [Budget, Budget, ..] (Re: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:08 +0200
Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) Mild Shock <janburse@fastmail.fm> - 2026-08-31 18:03 +0200
Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:52 +0200
Giga Lips for Prolog based Chatting (Re: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:56 +0200
Google holds the keys to the AI kingdom [WebClaw Dominance] (Re: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:46 +0200
Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-02 02:47 +0200
npm install webgpu [Google Dawn] (Was: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 03:01 +0200
GPU elasticity was already invented in 2008 with CUDA (Re: npm install webgpu [Google Dawn]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:59 +0200
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 00:34 +0800
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:41 -0700
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 11:13 -0700
Re: Chris M. Thomasson can ask 100 more questions (Re: Tablet and phone UBS-C remote debugging) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 12:42 -0700
You posted that already, but you didn't listen [I NEED BOUNDED QUEUES] (Was: Chris M. Thomasson can ask 100 more questions) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:09 +0200
Summary of 100 questions Chris M. Thomasson can ask (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:17 +0200
Summary of 100 questions Chris M. Thomasson can ask (Re: You posted that already, but you didn't listen) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:20 +0200
Re: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES] (Was: Chris M. Thomasson can ask 100 more questions) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:55 -0700
Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:16 +0200
Re: Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) Rosalino Kablahov <oaror@vla.ru> - 2026-08-03 21:50 +0000
Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama] ) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:21 +0200
Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Was: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama] ) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:17 +0200
Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:49 +0200
Even send_color and recv_color can block [Cerebras Waver] Re: The Wuhan Virus that destroyed Python [ggml Manifesto] Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:33 +0200
GPU Elasticity: Collective Communications Libraries (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-07 14:34 +0200
What are Flits and Phits? [Network on a Chip] (Re: GPU Elasticity: Collective Communications Libraries) Mild Shock <janburse@fastmail.fm> - 2026-08-07 18:06 +0200
The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:23 +0200
The luminaries of duct-tape engineering [Sweeney and Torvald] (Re: The Mac Neo is a Budget Monster [GPU Channels]) Mild Shock <janburse@fastmail.fm> - 2026-08-11 16:56 +0200
Re: The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) Ariquer Mihailov <ii@eor.ru> - 2026-08-11 15:16 +0000
Cristallina: Thank you for the Beam (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 21:21 +0200
Giant Shoulders for AI Surprises (Re: Cristallina: Thank you for the Beam) Mild Shock <janburse@fastmail.fm> - 2026-08-18 14:58 +0200
Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:24 +0200
How to shoot yourself in the foot (Re: Loderunner Enemy AI better than SWI-Prolog?) Mild Shock <janburse@fastmail.fm> - 2026-08-18 16:47 +0200
Re: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] Lane W <cactus_DAC@yahoo.com> - 2026-08-18 08:59 -0600
William A. Howard solved all his 99 problems (Was: Loderunner Enemy AI better than SWI-Prolog?) Mild Shock <janburse@fastmail.fm> - 2026-08-23 01:46 +0200
Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 20:40 +0200
Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Mild Shock <janburse@fastmail.fm> - 2026-09-12 11:27 +0200
Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn)) Mild Shock <janburse@fastmail.fm> - 2026-09-12 12:11 +0200
Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:33 +0200
More from the Trailer Park Boys (Was: Mojo: The Small Hands Paradox) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:41 +0200
Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:27 +0200
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-16 08:41 -0700
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-16 09:44 -0700
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-17 09:40 -0700
Kundalini III: Modus Barbara versus Stock Pumping (Was: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:01 +0200
Re: Kundalini III: Modus Barbara versus Stock Pumping (Was: Interdisplinary Research for kill -9 (SIGKILL)) Walton Havanov <nnht@vla.ru> - 2026-09-19 16:02 +0000
The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:26 +0200
Re: The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-09-23 00:36 +0800
Re: Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Branden Baraboshkin <naoea@kiadi.ru> - 2026-09-19 15:39 +0000
Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:03 +0200
The Ben Goertzel talkie genes (Was: Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:05 +0200
Page 8 of 9 — ← Prev page 1 2 3 4 5 6 7 [8] 9 Next page →
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-03 22:16 +0200 |
| Subject | Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) |
| Message-ID | <114qsvd$tcmu$2@solani.org> |
| In reply to | #671824 |
Hi, You give up, the rat your are. Liar and spammer. Bye Chris M. Thomasson schrieb: > On 8/2/2026 2:09 PM, Mild Shock wrote: > [...] > > Good bye. >
[toc] | [prev] | [next] | [standalone]
| From | Rosalino Kablahov <oaror@vla.ru> |
|---|---|
| Date | 2026-08-03 21:50 +0000 |
| Subject | Re: Liar and spammer (Was: You posted that already, but you didn't listen [I NEED BOUNDED QUEUES]) |
| Message-ID | <114r2eg$4b6l$1@news.nntp4.net> |
| In reply to | #671826 |
Mild Shock wrote: > Hi, > > You give up, the rat your are. > > Liar and spammer. you are so stupid you cant even fit a curve mathematically
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-08 09:21 +0200 |
| Subject | Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama] ) |
| Message-ID | <1156lds$3p2i$2@solani.org> |
| In reply to | #671725 |
Hi, Why is nobody mentioning Agda here. It has beautiful dependent types, and tactics are just programs. Poor Henk Barendregt, not everybody likes dependent types it seems: Are we stuck with Lean? https://mathoverflow.net/q/513742/ Does Depependent types require proof objects, which waste large amounts of memory. Well, if you are not good in erasing them. But is there a Red Pyjama for Proof Assistants, the baby cradle where LLMs can learn proof assistant lingua and strategies. It seems yes, synthetic data corpuses to the rescue: We address this gap by introducing SMAD (Synthetic Multilanguage Autoformalization Dataset), a 400K 4-to-3 parallel corpus covering four formal languages (Dedukti, Agda, Coq, Lean) and three natural languages ( English, French, Swedish), generated via the Informath project. https://github.com/GrammaticalFramework/informath But the corpus could be an accident, maybe rather a toy from the https://www.grammaticalframework.org/ folks, will this have an impact? Bye Mild Shock schrieb: > Hi, > > Why does this Lama have a red pyjama. > Oh, its a baby Lama. Its still in the cradle > and needs some training: > > RedPajama-Data-v2 > https://github.com/togethercomputer/RedPajama-Data > > But then Andrej Karpathy recently showed > GPT-2 training on rented GPUs for less > than 100 USD in less then 2 hours. > > So where do these grown up Lamas go. > Well Georgi Gerganov prefered C++/C > when he shouted Llama Llama Red Pyjama. > > But you also find WebLLM, wrapping the > underlying C++/C GPU interface via the > W3C standard WebGPU / WGSL, with JavaScript: > > In-Browser LLM Inference Engine > https://webllm.mlc.ai/ > > My experience with WebLLM 6 months > ago on an iPad Pro 2024, still a little early > stage performance and robustness. > > But hey hardware of AI mobile iGPUs is > still evolving, and AI laptop, AI smartphones > and AI tablets, will soon feature Chinese > > hardware such some new Kirin AI in 2027. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Remember when first all local AI was Python >> and PyTorch APIs. And then suddently people strated >> using bare metal C/C++ Code. Here is the story: >> >> How it started: >> >> GPT-J or GPT-J-6B is an open-source large >> language model (LLM) developed by EleutherAI >> in 2021. As the name suggests, it is a >> generative pre-trained transformer model >> designed to produce human-like text that >> continues from a prompt. >> https://www.eleuther.ai/ >> >> How it was going [Georgi Gerganov]: >> >> So a few days later comes out the LLaMA, I do >> some calculations and I figure out “Okay, 65 >> billion parameters. You probably need about >> 40 gigs of RAM, with 4-bit quantization. So >> this can run on a MacBook. Why not do it?” >> >> Why I was able to do it so quickly - basically, >> for all that I saw it’s pretty much GPT-J architecture >> with some modifications, like some extra memorization >> layers. It’s minor changes. Basically, again, the >> existing code for the GPT-J, I just simply >> modified it there, it happened pretty quickly. >> https://changelog.com/podcast/532 >> >> Georgi Gerganov, Bulgarian, now with Hugging >> Face, ggml-cann also running on Chinese AI chips. >> ggml Manifesto https://github.com/ggml-org/ggml >> >> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-15 15:17 +0200 |
| Subject | Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Was: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama] ) |
| Message-ID | <115potk$gtoc$1@solani.org> |
| In reply to | #671895 |
Hi,
Years ago Sam Altman said to have no idea how
to generate revenue, but when the generally
intelligent system is in place, he might ask it.
Some schools approach the “generality” from
a totally wrong perspective. Take the EyeProlog
Pseudo Scientism here:
The Art of EyeProlog
https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog
It is the same nonsense like constraint propagation,
the idea here is to evolve better software, that it
has as a main component refinement:
Start -> Algo1 -> Algo2 -> Algo3 -> Algo4 ...
But EyeProlog itself is an example of not using
this refinement. Like dropping the classical
WAM architecture, and back to YieldProlog somehow.
What if the world ticks like this
when it come to generality:
/-> Algo1
/--> Algo2
Start ---> Algo3
\--> Algo4
\-> ...
Innovation requires to start from scratch.
I think this little booklet, recommended by
Ernst Specker, Proofs from THE BOOK is a
book of mathematical proofs by Martin Aigner
and Günter M. Ziegler, first published in 1998.
Just wants to teach us about this bifurcation:
Chapter 1: Six proofs of the infinity of
the primes, including Euclid's and Furstenberg's.
https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK
Yeah, lets aim for surprises by
generative AI, not refinement.
Bye
See also:
Sam Altman on his Business Model
https://www.youtube.com/shorts/pLnyjxgFxew
Mild Shock schrieb:
> Hi,
>
> Why is nobody mentioning Agda here. It has
> beautiful dependent types, and tactics are
> just programs. Poor Henk Barendregt, not
>
> everybody likes dependent types it seems:
>
> Are we stuck with Lean?
> https://mathoverflow.net/q/513742/
>
> Does Depependent types require proof objects,
> which waste large amounts of memory. Well,
> if you are not good in erasing them.
>
> But is there a Red Pyjama for Proof Assistants,
> the baby cradle where LLMs can learn proof
> assistant lingua and strategies. It seems
>
> yes, synthetic data corpuses to the rescue:
>
> We address this gap by introducing SMAD
> (Synthetic Multilanguage Autoformalization
> Dataset), a 400K 4-to-3 parallel corpus
> covering four formal languages (Dedukti,
> Agda, Coq, Lean) and three natural languages (
> English, French, Swedish), generated via
> the Informath project.
> https://github.com/GrammaticalFramework/informath
>
> But the corpus could be an accident, maybe rather
> a toy from the https://www.grammaticalframework.org/
> folks, will this have an impact?
>
> Bye
>
> Mild Shock schrieb:
>> Hi,
>>
>> Why does this Lama have a red pyjama.
>> Oh, its a baby Lama. Its still in the cradle
>> and needs some training:
>>
>> RedPajama-Data-v2
>> https://github.com/togethercomputer/RedPajama-Data
>>
>> But then Andrej Karpathy recently showed
>> GPT-2 training on rented GPUs for less
>> than 100 USD in less then 2 hours.
>>
>> So where do these grown up Lamas go.
>> Well Georgi Gerganov prefered C++/C
>> when he shouted Llama Llama Red Pyjama.
>>
>> But you also find WebLLM, wrapping the
>> underlying C++/C GPU interface via the
>> W3C standard WebGPU / WGSL, with JavaScript:
>>
>> In-Browser LLM Inference Engine
>> https://webllm.mlc.ai/
>>
>> My experience with WebLLM 6 months
>> ago on an iPad Pro 2024, still a little early
>> stage performance and robustness.
>>
>> But hey hardware of AI mobile iGPUs is
>> still evolving, and AI laptop, AI smartphones
>> and AI tablets, will soon feature Chinese
>>
>> hardware such some new Kirin AI in 2027.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Remember when first all local AI was Python
>>> and PyTorch APIs. And then suddently people strated
>>> using bare metal C/C++ Code. Here is the story:
>>>
>>> How it started:
>>>
>>> GPT-J or GPT-J-6B is an open-source large
>>> language model (LLM) developed by EleutherAI
>>> in 2021. As the name suggests, it is a
>>> generative pre-trained transformer model
>>> designed to produce human-like text that
>>> continues from a prompt.
>>> https://www.eleuther.ai/
>>>
>>> How it was going [Georgi Gerganov]:
>>>
>>> So a few days later comes out the LLaMA, I do
>>> some calculations and I figure out “Okay, 65
>>> billion parameters. You probably need about
>>> 40 gigs of RAM, with 4-bit quantization. So
>>> this can run on a MacBook. Why not do it?”
>>>
>>> Why I was able to do it so quickly - basically,
>>> for all that I saw it’s pretty much GPT-J architecture
>>> with some modifications, like some extra memorization
>>> layers. It’s minor changes. Basically, again, the
>>> existing code for the GPT-J, I just simply
>>> modified it there, it happened pretty quickly.
>>> https://changelog.com/podcast/532
>>>
>>> Georgi Gerganov, Bulgarian, now with Hugging
>>> Face, ggml-cann also running on Chinese AI chips.
>>> ggml Manifesto https://github.com/ggml-org/ggml
>>>
>>> Bye
>>>
>>
>
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-15 18:49 +0200 |
| Subject | Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) |
| Message-ID | <115q59u$h969$2@solani.org> |
| In reply to | #672060 |
Hi, Every does eat and sleep. Thats not, don't give up and restart: Cite 100 collegues, cite 100 papers, and do 100 Python snippets. Thats only warm-up! About - Hi, I’m Philip Zucker! https://www.philipzucker.com/about/ One the other hand, that here is true don't give up and restart: Invent a dozen acronyms HMB2, HBM2E, TC-NCF, MR-UF, MUF, MR-MUF and try them all. How SK hynix Won the AI Memory Race https://www.youtube.com/watch?v=Cg5tAujp6Go Bye Mild Shock schrieb: > Hi, > > Years ago Sam Altman said to have no idea how > to generate revenue, but when the generally > intelligent system is in place, he might ask it. > > Some schools approach the “generality” from > a totally wrong perspective. Take the EyeProlog > Pseudo Scientism here: > > The Art of EyeProlog > https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog > > It is the same nonsense like constraint propagation, > the idea here is to evolve better software, that it > has as a main component refinement: > > Start -> Algo1 -> Algo2 -> Algo3 -> Algo4 ... > > But EyeProlog itself is an example of not using > this refinement. Like dropping the classical > WAM architecture, and back to YieldProlog somehow. > > What if the world ticks like this > when it come to generality: > > /-> Algo1 > /--> Algo2 > Start ---> Algo3 > \--> Algo4 > \-> ... > > Innovation requires to start from scratch. > I think this little booklet, recommended by > Ernst Specker, Proofs from THE BOOK is a > > book of mathematical proofs by Martin Aigner > and Günter M. Ziegler, first published in 1998. > Just wants to teach us about this bifurcation: > > Chapter 1: Six proofs of the infinity of > the primes, including Euclid's and Furstenberg's. > https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK > > Yeah, lets aim for surprises by > generative AI, not refinement. > > Bye > > See also: > > Sam Altman on his Business Model > https://www.youtube.com/shorts/pLnyjxgFxew > > Mild Shock schrieb: >> Hi, >> >> Why is nobody mentioning Agda here. It has >> beautiful dependent types, and tactics are >> just programs. Poor Henk Barendregt, not >> >> everybody likes dependent types it seems: >> >> Are we stuck with Lean? >> https://mathoverflow.net/q/513742/ >> >> Does Depependent types require proof objects, >> which waste large amounts of memory. Well, >> if you are not good in erasing them. >> >> But is there a Red Pyjama for Proof Assistants, >> the baby cradle where LLMs can learn proof >> assistant lingua and strategies. It seems >> >> yes, synthetic data corpuses to the rescue: >> >> We address this gap by introducing SMAD >> (Synthetic Multilanguage Autoformalization >> Dataset), a 400K 4-to-3 parallel corpus >> covering four formal languages (Dedukti, >> Agda, Coq, Lean) and three natural languages ( >> English, French, Swedish), generated via >> the Informath project. >> https://github.com/GrammaticalFramework/informath >> >> But the corpus could be an accident, maybe rather >> a toy from the https://www.grammaticalframework.org/ >> folks, will this have an impact? >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Why does this Lama have a red pyjama. >>> Oh, its a baby Lama. Its still in the cradle >>> and needs some training: >>> >>> RedPajama-Data-v2 >>> https://github.com/togethercomputer/RedPajama-Data >>> >>> But then Andrej Karpathy recently showed >>> GPT-2 training on rented GPUs for less >>> than 100 USD in less then 2 hours. >>> >>> So where do these grown up Lamas go. >>> Well Georgi Gerganov prefered C++/C >>> when he shouted Llama Llama Red Pyjama. >>> >>> But you also find WebLLM, wrapping the >>> underlying C++/C GPU interface via the >>> W3C standard WebGPU / WGSL, with JavaScript: >>> >>> In-Browser LLM Inference Engine >>> https://webllm.mlc.ai/ >>> >>> My experience with WebLLM 6 months >>> ago on an iPad Pro 2024, still a little early >>> stage performance and robustness. >>> >>> But hey hardware of AI mobile iGPUs is >>> still evolving, and AI laptop, AI smartphones >>> and AI tablets, will soon feature Chinese >>> >>> hardware such some new Kirin AI in 2027. >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Remember when first all local AI was Python >>>> and PyTorch APIs. And then suddently people strated >>>> using bare metal C/C++ Code. Here is the story: >>>> >>>> How it started: >>>> >>>> GPT-J or GPT-J-6B is an open-source large >>>> language model (LLM) developed by EleutherAI >>>> in 2021. As the name suggests, it is a >>>> generative pre-trained transformer model >>>> designed to produce human-like text that >>>> continues from a prompt. >>>> https://www.eleuther.ai/ >>>> >>>> How it was going [Georgi Gerganov]: >>>> >>>> So a few days later comes out the LLaMA, I do >>>> some calculations and I figure out “Okay, 65 >>>> billion parameters. You probably need about >>>> 40 gigs of RAM, with 4-bit quantization. So >>>> this can run on a MacBook. Why not do it?” >>>> >>>> Why I was able to do it so quickly - basically, >>>> for all that I saw it’s pretty much GPT-J architecture >>>> with some modifications, like some extra memorization >>>> layers. It’s minor changes. Basically, again, the >>>> existing code for the GPT-J, I just simply >>>> modified it there, it happened pretty quickly. >>>> https://changelog.com/podcast/532 >>>> >>>> Georgi Gerganov, Bulgarian, now with Hugging >>>> Face, ggml-cann also running on Chinese AI chips. >>>> ggml Manifesto https://github.com/ggml-org/ggml >>>> >>>> Bye >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-02 23:33 +0200 |
| Subject | Even send_color and recv_color can block [Cerebras Waver] Re: The Wuhan Virus that destroyed Python [ggml Manifesto] |
| Message-ID | <114od2u$rkoo$1@solani.org> |
| In reply to | #671581 |
Hi, If only the fucking moron Chris M. Thomasson would stop spamming his nonsense, he doesn't listen at all. Problem, he cannot read, he knows nothing. Its very common that compute shaders can block, when they are used for General Purpose computation on GPUs (GPGPU). If only he would pull out his finger from his asshole, and stop thinking in is WebGL legacy code stash nonsense. Even the Cerebras Waver has blocking: "Cerebras Software Language (CSL), send_color and recv_color are parameters passed to tile programs to manage data routing and virtual channels (called colors) across processing elements (PEs) on the wafer Yes, both send and receive operations can block on a Cerebras Processing Element (PE), primarily due to the system's hardware-enforced backpressure mechanism. Because the Cerebras Wafer-Scale Engine (WSE) relies on a fine-grained, dataflow-driven architecture, blocking prevents data loss when hardware resources are fully saturated." Blocking and Unblocking https://sdk.cerebras.ai/computing-with-cerebras#blocking-and-unblocking Chris M. Thomasson is an annoyance and an idiot. He is a total waste of time. And represents those people who cannot use their brain. Bye Mild Shock schrieb: > Hi, > > Remember when first all local AI was Python > and PyTorch APIs. And then suddently people strated > using bare metal C/C++ Code. Here is the story: > > How it started: > > GPT-J or GPT-J-6B is an open-source large > language model (LLM) developed by EleutherAI > in 2021. As the name suggests, it is a > generative pre-trained transformer model > designed to produce human-like text that > continues from a prompt. > https://www.eleuther.ai/ > > How it was going [Georgi Gerganov]: > > So a few days later comes out the LLaMA, I do > some calculations and I figure out “Okay, 65 > billion parameters. You probably need about > 40 gigs of RAM, with 4-bit quantization. So > this can run on a MacBook. Why not do it?” > > Why I was able to do it so quickly - basically, > for all that I saw it’s pretty much GPT-J architecture > with some modifications, like some extra memorization > layers. It’s minor changes. Basically, again, the > existing code for the GPT-J, I just simply > modified it there, it happened pretty quickly. > https://changelog.com/podcast/532 > > Georgi Gerganov, Bulgarian, now with Hugging > Face, ggml-cann also running on Chinese AI chips. > ggml Manifesto https://github.com/ggml-org/ggml > > Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-07 14:34 +0200 |
| Subject | GPU Elasticity: Collective Communications Libraries (Was: The Wuhan Virus that destroyed Python [ggml Manifesto]) |
| Message-ID | <1154jct$296j$1@solani.org> |
| In reply to | #671581 |
Hi, How it started, NVIDIA being cool: NCCL provides routines such as all-gather, all-reduce, broadcast, reduce, reduce-scatter, and point-to-point send and receive. These routines are optimized to achieve high bandwidth and low latency over PCIe, NVIDIA NVLink™, and other high-speed interconnects within a node and over NVIDIA networking across nodes. https://developer.nvidia.com/nccl How its going, vLLM trying to be cool: [RFC]: Native Weight Syncing APIs However, there are no standardized methods for performing online weight syncing. Open source projects like SkyRL, VeRL, and TRL need to include their own implementations of the weight syncing infrastructure, leading to added complexity for developers seeking to adopt vLLM as their inference server for post-training workloads. https://github.com/vllm-project/vllm/issues/31848 How much Workers are enough? I guess it depends on I/O parallelism, CPU Memory parallelism, CPU Processing parallelism, and now also GPU Memory parallelism and GPU Processing parallelism, and last but least you might have a couple DMAs sitting here and there, or even invoking a sort of RDMA. Quite amazing! Bye Mild Shock schrieb: > Hi, > > Remember when first all local AI was Python > and PyTorch APIs. And then suddently people strated > using bare metal C/C++ Code. Here is the story: > > How it started: > > GPT-J or GPT-J-6B is an open-source large > language model (LLM) developed by EleutherAI > in 2021. As the name suggests, it is a > generative pre-trained transformer model > designed to produce human-like text that > continues from a prompt. > https://www.eleuther.ai/ > > How it was going [Georgi Gerganov]: > > So a few days later comes out the LLaMA, I do > some calculations and I figure out “Okay, 65 > billion parameters. You probably need about > 40 gigs of RAM, with 4-bit quantization. So > this can run on a MacBook. Why not do it?” > > Why I was able to do it so quickly - basically, > for all that I saw it’s pretty much GPT-J architecture > with some modifications, like some extra memorization > layers. It’s minor changes. Basically, again, the > existing code for the GPT-J, I just simply > modified it there, it happened pretty quickly. > https://changelog.com/podcast/532 > > Georgi Gerganov, Bulgarian, now with Hugging > Face, ggml-cann also running on Chinese AI chips. > ggml Manifesto https://github.com/ggml-org/ggml > > Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-07 18:06 +0200 |
| Subject | What are Flits and Phits? [Network on a Chip] (Re: GPU Elasticity: Collective Communications Libraries) |
| Message-ID | <1154vqn$2mto$2@solani.org> |
| In reply to | #671869 |
Hi, Recently there was a paper somebody mentioning a flit doing a ACK or NACK, to express backpressure inside a Network on a Chip. But what is a flit? It seems multiple flits can be used to create the message passing in one directiob before the ACK or NACK in the other direction? "The growing need for performance from computing systems drove the industry into the multi-core and many-core arena. In this setup, the execution of a kernel (a program) is split across multiple processors and the computation happens in parallel Flits represent logical units of information, while phits represent the physical domain, that is, phits represent the number of bits that can be transferred in parallel in a single cycle. Consider the Cray T3D. It has an interconnection network which uses flit level message flow control wherein each flit is composed of eight 16-bit phits. That means its flit size is 128bits and phit size is 16bits. Also consider the IBM SP2 switch. It also uses the flit level message flow control, but its flit size is equal to its phit size, which is set to 8 bits." https://en.wikipedia.org/wiki/Flit_(computer_networking)#Example Well my idea how this is realized in silicon is rather foggy, I mean even the Hack project from Nand 2 Tetris, does not show some gate level schemes for flits and phits. Could be an interesting extension. But somehow the image of flits and phits inspired my channel objects here below. But I am afraid they are fire and forget, no ACK and NACK: π-WAM Contest: 1 Million Packets with Prolog https://medium.com/2989/ec3e91551773 Its amazing that a max_size(1) buffer can beat an unbounded buffer! LoL Bye Mild Shock schrieb: > Hi, > > How it started, NVIDIA being cool: > > NCCL provides routines such as all-gather, > all-reduce, broadcast, reduce, reduce-scatter, > and point-to-point send and receive. These > routines are optimized to achieve high > bandwidth and low latency over PCIe, > NVIDIA NVLink™, and other high-speed > interconnects within a node and over > NVIDIA networking across nodes. > https://developer.nvidia.com/nccl > > How its going, vLLM trying to be cool: > > [RFC]: Native Weight Syncing APIs > However, there are no standardized methods for > performing online weight syncing. Open source projects > like SkyRL, VeRL, and TRL need to include their > own implementations of the weight syncing > infrastructure, leading to added complexity > for developers seeking to adopt vLLM as their > inference server for post-training workloads. > https://github.com/vllm-project/vllm/issues/31848 > > How much Workers are enough? I guess it depends > on I/O parallelism, CPU Memory parallelism, CPU > Processing parallelism, and now also > > GPU Memory parallelism and GPU Processing > parallelism, and last but least you might have > a couple DMAs sitting here and there, > > or even invoking a sort of RDMA. Quite amazing! > > Bye > > Mild Shock schrieb: >> Hi, >> >> Remember when first all local AI was Python >> and PyTorch APIs. And then suddently people strated >> using bare metal C/C++ Code. Here is the story: >> >> How it started: >> >> GPT-J or GPT-J-6B is an open-source large >> language model (LLM) developed by EleutherAI >> in 2021. As the name suggests, it is a >> generative pre-trained transformer model >> designed to produce human-like text that >> continues from a prompt. >> https://www.eleuther.ai/ >> >> How it was going [Georgi Gerganov]: >> >> So a few days later comes out the LLaMA, I do >> some calculations and I figure out “Okay, 65 >> billion parameters. You probably need about >> 40 gigs of RAM, with 4-bit quantization. So >> this can run on a MacBook. Why not do it?” >> >> Why I was able to do it so quickly - basically, >> for all that I saw it’s pretty much GPT-J architecture >> with some modifications, like some extra memorization >> layers. It’s minor changes. Basically, again, the >> existing code for the GPT-J, I just simply >> modified it there, it happened pretty quickly. >> https://changelog.com/podcast/532 >> >> Georgi Gerganov, Bulgarian, now with Hugging >> Face, ggml-cann also running on Chinese AI chips. >> ggml Manifesto https://github.com/ggml-org/ggml >> >> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-11 16:23 +0200 |
| Subject | The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) |
| Message-ID | <115fb9u$9vhm$1@solani.org> |
| In reply to | #671873 |
Hi, Now I implemented some multiple producer and multiple consumer channel objects for WebGPU. The only API to integrate it user facing into pi-WAM is this single predicate: /** * flit(C): * The predicate succeeds in C with a new channel. The channel * can be used from within GPU backed π-WAM logical threads. */ The Mac Neo is a Budget Monster. While the Ryzen AI Laptop cost around 1300.- CHF. The Mac Neo was around 600.- CHF with all extras. Here some performance results, checking out whether channel objects scale, when increasing their number to communicate the same 1 millon packets: Java performance: AI Laptop Single Double Ryzen 705.1 337.4 Neo 669.4 239.9 WebGPU performance: AI Laptop Single Double Ryzen 731.8 392.9 Neo 932.8 483.5 Cool! Java is also pretty cool, their semaphore library is top notch. I couldn't replicate the resulst with JavaScript yet, seems their Atomics.wait() resp. Atomics.waitAsync() is totally broken, using futex is mutex for fools somehow. I also found some gremlins attacking one of the GPUs. The Intel AI Laptop fails the above experiment. Maybe its a driver Vulkan versus OpenCL or something problem, or the Lunar lake architecture is nonsense. Bye Mild Shock schrieb: > Hi, > > Recently there was a paper somebody mentioning > a flit doing a ACK or NACK, to express > backpressure inside a Network on a Chip. > > But what is a flit? It seems multiple > flits can be used to create the message > passing in one directiob before the > > ACK or NACK in the other direction? > > "The growing need for performance from > computing systems drove the industry into > the multi-core and many-core arena. In this > setup, the execution of a kernel (a program) > is split across multiple processors and the > computation happens in parallel > > Flits represent logical units of information, > while phits represent the physical domain, > that is, phits represent the number of bits > that can be transferred in parallel in a > single cycle. Consider the Cray T3D. It has > an interconnection network which uses > > flit level message flow control wherein each > flit is composed of eight 16-bit phits. That > means its flit size is 128bits and phit size > is 16bits. Also consider the IBM SP2 switch. > It also uses the flit level message flow > control, but its flit size is equal to its > phit size, which is set to 8 bits." > https://en.wikipedia.org/wiki/Flit_(computer_networking)#Example > > Well my idea how this is realized in silicon > is rather foggy, I mean even the Hack project > from Nand 2 Tetris, does not show some gate level > schemes for flits and phits. > > Could be an interesting extension. But somehow > the image of flits and phits inspired my channel > objects here below. But I am afraid they are fire > and forget, no ACK and NACK: > > π-WAM Contest: 1 Million Packets with Prolog > https://medium.com/2989/ec3e91551773 > > Its amazing that a max_size(1) buffer > can beat an unbounded buffer! > > LoL > > Bye > > Mild Shock schrieb: >> Hi, >> >> How it started, NVIDIA being cool: >> >> NCCL provides routines such as all-gather, >> all-reduce, broadcast, reduce, reduce-scatter, >> and point-to-point send and receive. These >> routines are optimized to achieve high >> bandwidth and low latency over PCIe, >> NVIDIA NVLink™, and other high-speed >> interconnects within a node and over >> NVIDIA networking across nodes. >> https://developer.nvidia.com/nccl >> >> How its going, vLLM trying to be cool: >> >> [RFC]: Native Weight Syncing APIs >> However, there are no standardized methods for >> performing online weight syncing. Open source projects >> like SkyRL, VeRL, and TRL need to include their >> own implementations of the weight syncing >> infrastructure, leading to added complexity >> for developers seeking to adopt vLLM as their >> inference server for post-training workloads. >> https://github.com/vllm-project/vllm/issues/31848 >> >> How much Workers are enough? I guess it depends >> on I/O parallelism, CPU Memory parallelism, CPU >> Processing parallelism, and now also >> >> GPU Memory parallelism and GPU Processing >> parallelism, and last but least you might have >> a couple DMAs sitting here and there, >> >> or even invoking a sort of RDMA. Quite amazing! >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Remember when first all local AI was Python >>> and PyTorch APIs. And then suddently people strated >>> using bare metal C/C++ Code. Here is the story: >>> >>> How it started: >>> >>> GPT-J or GPT-J-6B is an open-source large >>> language model (LLM) developed by EleutherAI >>> in 2021. As the name suggests, it is a >>> generative pre-trained transformer model >>> designed to produce human-like text that >>> continues from a prompt. >>> https://www.eleuther.ai/ >>> >>> How it was going [Georgi Gerganov]: >>> >>> So a few days later comes out the LLaMA, I do >>> some calculations and I figure out “Okay, 65 >>> billion parameters. You probably need about >>> 40 gigs of RAM, with 4-bit quantization. So >>> this can run on a MacBook. Why not do it?” >>> >>> Why I was able to do it so quickly - basically, >>> for all that I saw it’s pretty much GPT-J architecture >>> with some modifications, like some extra memorization >>> layers. It’s minor changes. Basically, again, the >>> existing code for the GPT-J, I just simply >>> modified it there, it happened pretty quickly. >>> https://changelog.com/podcast/532 >>> >>> Georgi Gerganov, Bulgarian, now with Hugging >>> Face, ggml-cann also running on Chinese AI chips. >>> ggml Manifesto https://github.com/ggml-org/ggml >>> >>> Bye >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-11 16:56 +0200 |
| Subject | The luminaries of duct-tape engineering [Sweeney and Torvald] (Re: The Mac Neo is a Budget Monster [GPU Channels]) |
| Message-ID | <115fd63$a0tm$3@solani.org> |
| In reply to | #671969 |
Hi, We didn't find yet a library for our Think that would support webgpu on the ARM architecture, so its back to the browser flag and testing there. The node.js package comes only with: dist +-- d3dcompiler_47.dll +-- darwin-universal.dawn.node +-- linux-arm64.dawn.node +-- linux-x64.dawn.node +-- win32-x64.dawn.node Its a similar situation like with SVN. In some communities its not common to provide a ARM build. They rather use x86 till the end of the universe. Although we think initiatives like the x86 Ecosystem Advisory Group could be a clever marketing trick to hide a funeral service. Adding "luminaries" such as Tim Sweeney and Linus Torvald to the panel, is even more so a joke, given that intel produces mutex bottlenecks instead of futex, where f stands for fast, in their GPU infrastructure. So who is the teacher and who are the students? But why even try to create a collation against ARM, it doesn't make any sense. Bye Mild Shock schrieb: > Hi, > > Now I implemented some multiple producer > and multiple consumer channel objects for > WebGPU. The only API to integrate it user > > facing into pi-WAM is this single predicate: > > /** > * flit(C): > * The predicate succeeds in C with a new channel. The channel > * can be used from within GPU backed π-WAM logical threads. > */ > > The Mac Neo is a Budget Monster. While the > Ryzen AI Laptop cost around 1300.- CHF. > The Mac Neo was around 600.- CHF with all > > extras. Here some performance results, > checking out whether channel objects scale, > when increasing their number to > > communicate the same 1 millon packets: > > Java performance: > > AI Laptop Single Double > Ryzen 705.1 337.4 > Neo 669.4 239.9 > > WebGPU performance: > > AI Laptop Single Double > Ryzen 731.8 392.9 > Neo 932.8 483.5 > > Cool! Java is also pretty cool, their > semaphore library is top notch. I couldn't > replicate the resulst with JavaScript yet, > > seems their Atomics.wait() resp. Atomics.waitAsync() > is totally broken, using futex is mutex for > fools somehow. I also found some gremlins > > attacking one of the GPUs. The Intel AI Laptop > fails the above experiment. Maybe its a driver > Vulkan versus OpenCL or something problem, > > or the Lunar lake architecture is nonsense. > > Bye > > Mild Shock schrieb: >> Hi, >> >> Recently there was a paper somebody mentioning >> a flit doing a ACK or NACK, to express >> backpressure inside a Network on a Chip. >> >> But what is a flit? It seems multiple >> flits can be used to create the message >> passing in one directiob before the >> >> ACK or NACK in the other direction? >> >> "The growing need for performance from >> computing systems drove the industry into >> the multi-core and many-core arena. In this >> setup, the execution of a kernel (a program) >> is split across multiple processors and the >> computation happens in parallel >> >> Flits represent logical units of information, >> while phits represent the physical domain, >> that is, phits represent the number of bits >> that can be transferred in parallel in a >> single cycle. Consider the Cray T3D. It has >> an interconnection network which uses >> >> flit level message flow control wherein each >> flit is composed of eight 16-bit phits. That >> means its flit size is 128bits and phit size >> is 16bits. Also consider the IBM SP2 switch. >> It also uses the flit level message flow >> control, but its flit size is equal to its >> phit size, which is set to 8 bits." >> https://en.wikipedia.org/wiki/Flit_(computer_networking)#Example >> >> Well my idea how this is realized in silicon >> is rather foggy, I mean even the Hack project >> from Nand 2 Tetris, does not show some gate level >> schemes for flits and phits. >> >> Could be an interesting extension. But somehow >> the image of flits and phits inspired my channel >> objects here below. But I am afraid they are fire >> and forget, no ACK and NACK: >> >> π-WAM Contest: 1 Million Packets with Prolog >> https://medium.com/2989/ec3e91551773 >> >> Its amazing that a max_size(1) buffer >> can beat an unbounded buffer! >> >> LoL >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> How it started, NVIDIA being cool: >>> >>> NCCL provides routines such as all-gather, >>> all-reduce, broadcast, reduce, reduce-scatter, >>> and point-to-point send and receive. These >>> routines are optimized to achieve high >>> bandwidth and low latency over PCIe, >>> NVIDIA NVLink™, and other high-speed >>> interconnects within a node and over >>> NVIDIA networking across nodes. >>> https://developer.nvidia.com/nccl >>> >>> How its going, vLLM trying to be cool: >>> >>> [RFC]: Native Weight Syncing APIs >>> However, there are no standardized methods for >>> performing online weight syncing. Open source projects >>> like SkyRL, VeRL, and TRL need to include their >>> own implementations of the weight syncing >>> infrastructure, leading to added complexity >>> for developers seeking to adopt vLLM as their >>> inference server for post-training workloads. >>> https://github.com/vllm-project/vllm/issues/31848 >>> >>> How much Workers are enough? I guess it depends >>> on I/O parallelism, CPU Memory parallelism, CPU >>> Processing parallelism, and now also >>> >>> GPU Memory parallelism and GPU Processing >>> parallelism, and last but least you might have >>> a couple DMAs sitting here and there, >>> >>> or even invoking a sort of RDMA. Quite amazing! >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Remember when first all local AI was Python >>>> and PyTorch APIs. And then suddently people strated >>>> using bare metal C/C++ Code. Here is the story: >>>> >>>> How it started: >>>> >>>> GPT-J or GPT-J-6B is an open-source large >>>> language model (LLM) developed by EleutherAI >>>> in 2021. As the name suggests, it is a >>>> generative pre-trained transformer model >>>> designed to produce human-like text that >>>> continues from a prompt. >>>> https://www.eleuther.ai/ >>>> >>>> How it was going [Georgi Gerganov]: >>>> >>>> So a few days later comes out the LLaMA, I do >>>> some calculations and I figure out “Okay, 65 >>>> billion parameters. You probably need about >>>> 40 gigs of RAM, with 4-bit quantization. So >>>> this can run on a MacBook. Why not do it?” >>>> >>>> Why I was able to do it so quickly - basically, >>>> for all that I saw it’s pretty much GPT-J architecture >>>> with some modifications, like some extra memorization >>>> layers. It’s minor changes. Basically, again, the >>>> existing code for the GPT-J, I just simply >>>> modified it there, it happened pretty quickly. >>>> https://changelog.com/podcast/532 >>>> >>>> Georgi Gerganov, Bulgarian, now with Hugging >>>> Face, ggml-cann also running on Chinese AI chips. >>>> ggml Manifesto https://github.com/ggml-org/ggml >>>> >>>> Bye >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Ariquer Mihailov <ii@eor.ru> |
|---|---|
| Date | 2026-08-11 15:16 +0000 |
| Subject | Re: The Mac Neo is a Budget Monster [GPU Channels] (Was: What are Flits and Phits? [Network on a Chip]) |
| Message-ID | <115febj$16e29$3@news.nntp4.net> |
| In reply to | #671969 |
Mild Shock wrote: > facing into pi-WAM is this single predicate: > > /** > * flit(C): > * The predicate succeeds in C with a new channel. The channel * can be > used from within GPU backed π-WAM logical threads. */ > > The Mac Neo is a Budget Monster. While the Ryzen AI Laptop cost around > 1300.- CHF. > The Mac Neo was around 600.- CHF with all nothing
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-09 21:21 +0200 |
| Subject | Cristallina: Thank you for the Beam (Re: The Wuhan Virus that destroyed Python [ggml Manifesto]) |
| Message-ID | <115ajvk$6g3f$2@solani.org> |
| In reply to | #671581 |
Hi, How it started: Filming a vitamin B12 photoreceptor in action https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action How its going: Elon Musk's potential FEL route could challenge EUV lithography https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography Who will win the Nano Atom mover race, will the USA OutChip its competitor China and its supplier Asia in the next years? Bye Mild Shock schrieb: > Hi, > > Remember when first all local AI was Python > and PyTorch APIs. And then suddently people strated > using bare metal C/C++ Code. Here is the story: > > How it started: > > GPT-J or GPT-J-6B is an open-source large > language model (LLM) developed by EleutherAI > in 2021. As the name suggests, it is a > generative pre-trained transformer model > designed to produce human-like text that > continues from a prompt. > https://www.eleuther.ai/ > > How it was going [Georgi Gerganov]: > > So a few days later comes out the LLaMA, I do > some calculations and I figure out “Okay, 65 > billion parameters. You probably need about > 40 gigs of RAM, with 4-bit quantization. So > this can run on a MacBook. Why not do it?” > > Why I was able to do it so quickly - basically, > for all that I saw it’s pretty much GPT-J architecture > with some modifications, like some extra memorization > layers. It’s minor changes. Basically, again, the > existing code for the GPT-J, I just simply > modified it there, it happened pretty quickly. > https://changelog.com/podcast/532 > > Georgi Gerganov, Bulgarian, now with Hugging > Face, ggml-cann also running on Chinese AI chips. > ggml Manifesto https://github.com/ggml-org/ggml > > Bye >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-18 14:58 +0200 |
| Subject | Giant Shoulders for AI Surprises (Re: Cristallina: Thank you for the Beam) |
| Message-ID | <1161ktc$ma79$3@solani.org> |
| In reply to | #671924 |
Hi, Obviously to generate AI Surprises, you have to stand on the shoulder of giants. Otherwise you will not discover surprises, right? Only mediocre deja vues. For this purpose, and maybe otherwise related, in a discussion concerning the future of the library, Marvin Minsky and Edward A. Feigenbaum endorsed the idea for books to ‘talk to each other’: LET DOCUMENTS TALK TO EACH OTHER Z. CHEN - 1993 doi.org/10.1108/eb026910 Now we have: THE MACHINES ARE STUDYING THE HUMANS ARE SCROLLING https://9gag.com/gag/a9yQ16o Bye P.S.: But who was Marvin Minsky, and would it be important to use symbolic AI? The Perceptron Controversy Yuxi Liu - 2024 https://yuxi.ml/essays/perceptron-controversy Mild Shock schrieb: > Hi, > > How it started: > > Filming a vitamin B12 photoreceptor in action > https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action > > > How its going: > > Elon Musk's potential FEL route could challenge EUV lithography > https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography > > > Who will win the Nano Atom mover race, > > will the USA OutChip its competitor China > and its supplier Asia in the next years? > > Bye > > Mild Shock schrieb: >> Hi, >> >> Remember when first all local AI was Python >> and PyTorch APIs. And then suddently people strated >> using bare metal C/C++ Code. Here is the story: >> >> How it started: >> >> GPT-J or GPT-J-6B is an open-source large >> language model (LLM) developed by EleutherAI >> in 2021. As the name suggests, it is a >> generative pre-trained transformer model >> designed to produce human-like text that >> continues from a prompt. >> https://www.eleuther.ai/ >> >> How it was going [Georgi Gerganov]: >> >> So a few days later comes out the LLaMA, I do >> some calculations and I figure out “Okay, 65 >> billion parameters. You probably need about >> 40 gigs of RAM, with 4-bit quantization. So >> this can run on a MacBook. Why not do it?” >> >> Why I was able to do it so quickly - basically, >> for all that I saw it’s pretty much GPT-J architecture >> with some modifications, like some extra memorization >> layers. It’s minor changes. Basically, again, the >> existing code for the GPT-J, I just simply >> modified it there, it happened pretty quickly. >> https://changelog.com/podcast/532 >> >> Georgi Gerganov, Bulgarian, now with Hugging >> Face, ggml-cann also running on Chinese AI chips. >> ggml Manifesto https://github.com/ggml-org/ggml >> >> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-18 16:24 +0200 |
| Subject | Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] |
| Message-ID | <1161pve$mbl1$2@solani.org> |
| In reply to | #672171 |
Hi, Sometimes I think the Loderunner Enemy AI was way ahead of its time: Lode Runner - Broderbund - 1983 - Apple II https://www.youtube.com/watch?v=pJZJepU8law Meanwhile SWI-Prolog Prologers even don't know whether a Prolog text is CNF or DNF: Sets of rules as conjunctions and/or disjunctions https://swi-prolog.discourse.group/t/sets-of-rules-as-conjunctions-and-or-disjunctions/9779 No Wonder that the EyeProlog "why" feature produces nonsense. Even a Flea circus is less crazy. Bye P.S.: If only there would exist something like universities where one can take a basic course in FOL, and then a world wide web, where one can lookup clark equational theory, clark completion, curry howard correspondence, etc.. etc.. Mild Shock schrieb: > Hi, > > Obviously to generate AI Surprises, > you have to stand on the shoulder of > giants. Otherwise you will not discover > > surprises, right? Only mediocre deja vues. > For this purpose, and maybe otherwise > related, in a discussion concerning the future > > of the library, Marvin Minsky and Edward A. > Feigenbaum endorsed the idea for books > to ‘talk to each other’: > > LET DOCUMENTS TALK TO EACH OTHER > Z. CHEN - 1993 > doi.org/10.1108/eb026910 > > Now we have: > > THE MACHINES ARE STUDYING > THE HUMANS ARE SCROLLING > https://9gag.com/gag/a9yQ16o > > Bye > > P.S.: But who was Marvin Minsky, and would it > be important to use symbolic AI? > > The Perceptron Controversy > Yuxi Liu - 2024 > https://yuxi.ml/essays/perceptron-controversy > > Mild Shock schrieb: >> Hi, >> >> How it started: >> >> Filming a vitamin B12 photoreceptor in action >> https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action >> >> >> How its going: >> >> Elon Musk's potential FEL route could challenge EUV lithography >> https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography >> >> >> Who will win the Nano Atom mover race, >> >> will the USA OutChip its competitor China >> and its supplier Asia in the next years? >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> Remember when first all local AI was Python >>> and PyTorch APIs. And then suddently people strated >>> using bare metal C/C++ Code. Here is the story: >>> >>> How it started: >>> >>> GPT-J or GPT-J-6B is an open-source large >>> language model (LLM) developed by EleutherAI >>> in 2021. As the name suggests, it is a >>> generative pre-trained transformer model >>> designed to produce human-like text that >>> continues from a prompt. >>> https://www.eleuther.ai/ >>> >>> How it was going [Georgi Gerganov]: >>> >>> So a few days later comes out the LLaMA, I do >>> some calculations and I figure out “Okay, 65 >>> billion parameters. You probably need about >>> 40 gigs of RAM, with 4-bit quantization. So >>> this can run on a MacBook. Why not do it?” >>> >>> Why I was able to do it so quickly - basically, >>> for all that I saw it’s pretty much GPT-J architecture >>> with some modifications, like some extra memorization >>> layers. It’s minor changes. Basically, again, the >>> existing code for the GPT-J, I just simply >>> modified it there, it happened pretty quickly. >>> https://changelog.com/podcast/532 >>> >>> Georgi Gerganov, Bulgarian, now with Hugging >>> Face, ggml-cann also running on Chinese AI chips. >>> ggml Manifesto https://github.com/ggml-org/ggml >>> >>> Bye >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-18 16:47 +0200 |
| Subject | How to shoot yourself in the foot (Re: Loderunner Enemy AI better than SWI-Prolog?) |
| Message-ID | <1161ra5$mcl7$1@solani.org> |
| In reply to | #672182 |
Hi, The biggest joke, is to have logic somewhere in procedure and somewhere in declarative, and try to see different takes on logic. They really don't know what this mantra means: Algorithm = Logic + Control And cannot relate it to the ideas of declarative reading and procedural reading. The problem is a too lax introduction of this notions, prematurely before the notion "logic" is even understood. But nobody understands the meaning of the term "logic", i.e. a set of supposedly tautological sentences, as under- stood by mathematical logic. There is a subtle error again to conflate it with a "calculus", so this website has a very misleanding title, although they try hard to not commit the fallacy, and have subtitles "Proof System" and "Logic Level": Welcome to LogicProof https://6ximik9.github.io/naturalDeduction/ The there is this moron: There is only one “minimal logic”. The term denotes Johansson’s Minimalkalkül [1937] — intuitionistic logic without ex falso quodlibet — and nothing else. No rival system competes for the name. https://vidal-rosset.net/rule-correspondence-F.html Of course there are rival "Proof Systems" aka calculi, even when the "Logic Level" is minimal logic. It is as if Joseph Vidal-Rosset doesn't understand basic German. You have to look behind "Minimalkalkül" to find "Minimallogic". Right? To identify calculus with logic, is maybe a 1930's fallacy, but then we had model theory besides proof theory, and people should be more educated now. Model theory can be also expanded to non-classical logics and even minimal logic, to give a purely semantic reading. Ok some modern morons think they need to invoke the word "algebraic". Bye Mild Shock schrieb: > Hi, > > Sometimes I think the Loderunner Enemy AI > was way ahead of its time: > > Lode Runner - Broderbund - 1983 - Apple II > https://www.youtube.com/watch?v=pJZJepU8law > > Meanwhile SWI-Prolog Prologers even don't know > whether a Prolog text is CNF or DNF: > > Sets of rules as conjunctions and/or disjunctions > https://swi-prolog.discourse.group/t/sets-of-rules-as-conjunctions-and-or-disjunctions/9779 > > > No Wonder that the EyeProlog "why" feature produces > nonsense. Even a Flea circus is less crazy. > > Bye > > P.S.: If only there would exist something like > universities where one can take a basic course in > FOL, and then a world wide web, where one can > > lookup clark equational theory, clark completion, > curry howard correspondence, etc.. etc.. > > Mild Shock schrieb: >> Hi, >> >> Obviously to generate AI Surprises, >> you have to stand on the shoulder of >> giants. Otherwise you will not discover >> >> surprises, right? Only mediocre deja vues. >> For this purpose, and maybe otherwise >> related, in a discussion concerning the future >> >> of the library, Marvin Minsky and Edward A. >> Feigenbaum endorsed the idea for books >> to ‘talk to each other’: >> >> LET DOCUMENTS TALK TO EACH OTHER >> Z. CHEN - 1993 >> doi.org/10.1108/eb026910 >> >> Now we have: >> >> THE MACHINES ARE STUDYING >> THE HUMANS ARE SCROLLING >> https://9gag.com/gag/a9yQ16o >> >> Bye >> >> P.S.: But who was Marvin Minsky, and would it >> be important to use symbolic AI? >> >> The Perceptron Controversy >> Yuxi Liu - 2024 >> https://yuxi.ml/essays/perceptron-controversy >> >> Mild Shock schrieb: >>> Hi, >>> >>> How it started: >>> >>> Filming a vitamin B12 photoreceptor in action >>> https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action >>> >>> >>> How its going: >>> >>> Elon Musk's potential FEL route could challenge EUV lithography >>> https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography >>> >>> >>> Who will win the Nano Atom mover race, >>> >>> will the USA OutChip its competitor China >>> and its supplier Asia in the next years? >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Remember when first all local AI was Python >>>> and PyTorch APIs. And then suddently people strated >>>> using bare metal C/C++ Code. Here is the story: >>>> >>>> How it started: >>>> >>>> GPT-J or GPT-J-6B is an open-source large >>>> language model (LLM) developed by EleutherAI >>>> in 2021. As the name suggests, it is a >>>> generative pre-trained transformer model >>>> designed to produce human-like text that >>>> continues from a prompt. >>>> https://www.eleuther.ai/ >>>> >>>> How it was going [Georgi Gerganov]: >>>> >>>> So a few days later comes out the LLaMA, I do >>>> some calculations and I figure out “Okay, 65 >>>> billion parameters. You probably need about >>>> 40 gigs of RAM, with 4-bit quantization. So >>>> this can run on a MacBook. Why not do it?” >>>> >>>> Why I was able to do it so quickly - basically, >>>> for all that I saw it’s pretty much GPT-J architecture >>>> with some modifications, like some extra memorization >>>> layers. It’s minor changes. Basically, again, the >>>> existing code for the GPT-J, I just simply >>>> modified it there, it happened pretty quickly. >>>> https://changelog.com/podcast/532 >>>> >>>> Georgi Gerganov, Bulgarian, now with Hugging >>>> Face, ggml-cann also running on Chinese AI chips. >>>> ggml Manifesto https://github.com/ggml-org/ggml >>>> >>>> Bye >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Lane W <cactus_DAC@yahoo.com> |
|---|---|
| Date | 2026-08-18 08:59 -0600 |
| Subject | Re: Loderunner Enemy AI better than SWI-Prolog? [Prolog Education Group] |
| Message-ID | <1161s1d$1thcc$1@dont-email.me> |
| In reply to | #672182 |
Mild Shock wrote: > Hi, > > Sometimes I think the Loderunner Enemy AI > was way ahead of its time: > > Lode Runner - Broderbund - 1983 - Apple II > https://www.youtube.com/watch?v=pJZJepU8law > > Meanwhile SWI-Prolog Prologers even don't know > whether a Prolog text is CNF or DNF: > > Sets of rules as conjunctions and/or disjunctions > https://swi-prolog.discourse.group/t/sets-of-rules-as-conjunctions-and-or-disjunctions/9779 > > > No Wonder that the EyeProlog "why" feature produces > nonsense. Even a Flea circus is less crazy. > > Bye The difference is that Lode Runner AI, as opposed to say, Pac-Man AI, is deliberately poor because the player must anticipate ways to get past it. If the Lode Runner AI were better, the game would be unplayable. Pac-Man, being quarter fed and also a different sort of maze does not suffer from this restriction. I doubt that your SWI-Prolog intentionally gets CNF and DNF wrong.
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-08-23 01:46 +0200 |
| Subject | William A. Howard solved all his 99 problems (Was: Loderunner Enemy AI better than SWI-Prolog?) |
| Message-ID | <116dccj$uk0e$1@solani.org> |
| In reply to | #672182 |
Hi, Woa! I am impressed: Howard died in Chicago on March 13, 2026, at the age of 99. https://en.wikipedia.org/wiki/William_Alvin_Howard I recomend every body reading his original Curry-Howard Isomorphism paper. He even mentions sigma types, calling it Strong existence (choice operators): THE FORMULAE-AS-TYPES NOTION OF CONSTRUCTION https://www.cs.cmu.edu/~crary/819-f09/Howard80.pdf Can you derive a Prolog program for proof normalization? A good setting to read the paper is a greek FKK beach. Bye Mild Shock schrieb: > Hi, > > Sometimes I think the Loderunner Enemy AI > was way ahead of its time: > > Lode Runner - Broderbund - 1983 - Apple II > https://www.youtube.com/watch?v=pJZJepU8law > > Meanwhile SWI-Prolog Prologers even don't know > whether a Prolog text is CNF or DNF: > > Sets of rules as conjunctions and/or disjunctions > https://swi-prolog.discourse.group/t/sets-of-rules-as-conjunctions-and-or-disjunctions/9779 > > > No Wonder that the EyeProlog "why" feature produces > nonsense. Even a Flea circus is less crazy. > > Bye > > P.S.: If only there would exist something like > universities where one can take a basic course in > FOL, and then a world wide web, where one can > > lookup clark equational theory, clark completion, > curry howard correspondence, etc.. etc.. > > Mild Shock schrieb: >> Hi, >> >> Obviously to generate AI Surprises, >> you have to stand on the shoulder of >> giants. Otherwise you will not discover >> >> surprises, right? Only mediocre deja vues. >> For this purpose, and maybe otherwise >> related, in a discussion concerning the future >> >> of the library, Marvin Minsky and Edward A. >> Feigenbaum endorsed the idea for books >> to ‘talk to each other’: >> >> LET DOCUMENTS TALK TO EACH OTHER >> Z. CHEN - 1993 >> doi.org/10.1108/eb026910 >> >> Now we have: >> >> THE MACHINES ARE STUDYING >> THE HUMANS ARE SCROLLING >> https://9gag.com/gag/a9yQ16o >> >> Bye >> >> P.S.: But who was Marvin Minsky, and would it >> be important to use symbolic AI? >> >> The Perceptron Controversy >> Yuxi Liu - 2024 >> https://yuxi.ml/essays/perceptron-controversy >> >> Mild Shock schrieb: >>> Hi, >>> >>> How it started: >>> >>> Filming a vitamin B12 photoreceptor in action >>> https://www.psi.ch/de/news/science-features/filming-a-vitamin-b12-photoreceptor-in-action >>> >>> >>> How its going: >>> >>> Elon Musk's potential FEL route could challenge EUV lithography >>> https://www.kucoin.com/news/flash/elon-musk-s-potential-fel-route-could-challenge-euv-lithography >>> >>> >>> Who will win the Nano Atom mover race, >>> >>> will the USA OutChip its competitor China >>> and its supplier Asia in the next years? >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> Remember when first all local AI was Python >>>> and PyTorch APIs. And then suddently people strated >>>> using bare metal C/C++ Code. Here is the story: >>>> >>>> How it started: >>>> >>>> GPT-J or GPT-J-6B is an open-source large >>>> language model (LLM) developed by EleutherAI >>>> in 2021. As the name suggests, it is a >>>> generative pre-trained transformer model >>>> designed to produce human-like text that >>>> continues from a prompt. >>>> https://www.eleuther.ai/ >>>> >>>> How it was going [Georgi Gerganov]: >>>> >>>> So a few days later comes out the LLaMA, I do >>>> some calculations and I figure out “Okay, 65 >>>> billion parameters. You probably need about >>>> 40 gigs of RAM, with 4-bit quantization. So >>>> this can run on a MacBook. Why not do it?” >>>> >>>> Why I was able to do it so quickly - basically, >>>> for all that I saw it’s pretty much GPT-J architecture >>>> with some modifications, like some extra memorization >>>> layers. It’s minor changes. Basically, again, the >>>> existing code for the GPT-J, I just simply >>>> modified it there, it happened pretty quickly. >>>> https://changelog.com/podcast/532 >>>> >>>> Georgi Gerganov, Bulgarian, now with Hugging >>>> Face, ggml-cann also running on Chinese AI chips. >>>> ggml Manifesto https://github.com/ggml-org/ggml >>>> >>>> Bye >>>> >>> >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-11 20:40 +0200 |
| Subject | Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) |
| Message-ID | <1181huo$3de6$2@solani.org> |
| In reply to | #671581 |
Hi, Disclaimer: I don't know what I am talking about. But I like the vibe behind connecting topics. So here we go: How it started: Gabriels Horn Gabriel's horn, also called Torricelli's trumpet, is the surface of revolution of the function y=1/x about the x-axis for x>=1. It has infinite surface area but finite volume. https://mathworld.wolfram.com/GabrielsHorn.html How its going: FINITE TIME BLOWUP FOR NAVIER–STOKES or every positive viscosity, we construct a solution of the three-dimensional incompressible Navier–Stokes equations that starts from rest and develops unbounded velocity in finite time while maintaining uniformly bounded kinetic energy https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf Hava Fun everbody! Bye Mild Shock schrieb: > Hi, > > Accelerate Lean! And get from Theorem 3.11 > to Corollary 3.12 done. > > PROJECT LANA INTERIM REPORT ON IUT THEORY > ZEN Mathematics Center - 2026/07/17 > https://zen.ac.jp/en/zmc > > ZMC（ZEN Mathematics Center) is an international > research institute established with the aim > of promoting and developing modern mathematics > > with a focus on arithmetic geometry and the > formalization of modern mathematics using > computer languages > > LoL > > Bye > > Mild Shock schrieb: >> Hi, >> >> Maybe I should write a blog post, titled >> Introduction to AI Accelerator Prolog: >> >> - specialized jobs π-WAM (currently integerish stuff) >> - π-WAM uses no atomics, only comms >> - π-WAM uses warp, 30-40% more speed >> - π-WAM runs on GPU and CPU >> - π-WAM runs from within JavaScript, Python and Java >> >> Feels like reinventing FGCS concurrent >> logic programming. >> >> LoL >> >> Bye >> >> Mild Shock schrieb: >>> Hi, >>> >>> So the idea is to cover backtracking without >>> stack and choice points, only with registers. >>> So at the compute goto will use an instruction >>> >>> that stores the PC target into a register, >>> a new instruction for Hack: >>> >>> REG = PC + REL >>> >>> And then the jump will be, again a new >>> instruction for Hack: >>> >>> PC = REG >>> >>> If we squeeze the lemon and compile as much >>> with that, we will only find that it breaks for >>> calling recursive predicates that can use >>> >>> arbitary registers and choice points. But we >>> could maybe add stack and choice point as an >>> after match, instead of the classical WAM design >>> >>> that starts with stack and choice points! >>> >>> Bye >>> >>> Mild Shock schrieb: >>>> Hi, >>>> >>>> pi-WAM is a nice challenge, since its aim is to go >>>> even blow the instruction set of SWI-Prolog, >>>> while only using a Hack variant as instruction >>>> >>>> stream. But what is Hack? Well Hack seems to be >>>> the missing legacy of Niclaus Wirths PL0. The >>>> Hack (machine .asm) and Jack (highlevel compiler >>>> >>>> generating .vm which can be converted to .asm) >>>> combo makes even the famous Crafting Interpreters >>>> /Lox by Bob Nystrom redundant: >>>> >>>> Nand to Tetris courses are taught at 400+ >>>> universities, high schools, and bootcamps. The >>>> students who take them range from high >>>> schoolers to Ph.D. students to >>>> https://www.nand2tetris.org/ >>>> >>>> But digging deaper in Hack, it has no functions >>>> pointers so objects don't use virtual tables. >>>> But what will pi-WAM need and that is not yet >>>> >>>> in Hack? Given that my pi-WAM doesn't want a stack >>>> nor a choice point lists? Currently there is the >>>> idea to add a computed goto and that it can >>>> >>>> cover a more lightweight C_OR as known from >>>> SWI-Prolog, that would have the C_OR branches >>>> maybe restricted to have no outside >>>> >>>> clause calls? Lets see. Not yet sure. >>>> >>>> Bye >> >
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-12 11:27 +0200 |
| Subject | Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) |
| Message-ID | <11835ug$2g5m$2@solani.org> |
| In reply to | #673137 |
Hi, Ever noticed that remaining unsolved conjectures, are difficult to decipher: https://en.wikipedia.org/wiki/Hodge_conjecture Although Grothendiek claimes it is part of his yoga on motivic rationality. The dilemma is Humans cannot do math anymore on that level. And AI math on the level tends to be not understandable by humans anymore. So its as if math has found a new muse. The new Muse is AI. I think proving math conjectures is the more low hanging fruit than colonizing Mars. But the result of this endeavours is a shocked public, now in total freeze. Bye Mild Shock schrieb: > Hi, > > Disclaimer: I don't know what I am talking > about. But I like the vibe behind connecting > topics. So here we go: > > How it started: > > Gabriels Horn > Gabriel's horn, also called Torricelli's trumpet, > is the surface of revolution of the function y=1/x > about the x-axis for x>=1. It has infinite > surface area but finite volume. > https://mathworld.wolfram.com/GabrielsHorn.html > > How its going: > > FINITE TIME BLOWUP FOR NAVIER–STOKES > or every positive viscosity, we construct a solution > of the three-dimensional incompressible Navier–Stokes > equations that starts from rest and develops unbounded > velocity in finite time while maintaining uniformly > bounded kinetic energy > https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf > > Hava Fun everbody! > > Bye
[toc] | [prev] | [next] | [standalone]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Date | 2026-09-12 12:11 +0200 |
| Subject | Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn)) |
| Message-ID | <11838h4$2i6f$1@solani.org> |
| In reply to | #673156 |
Hi, I guess Kurzweils transhumanism is also not on the list of the low hanging fruits of AI. Moreover this turns out to be a fallacy: "The cradle rocks above an abyss, a nd common sense tells us that our existence is but a brief crack of light between two eternities of darkness." — Speak, Memory, the opening line https://en.wikipedia.org/wiki/Speak,_Memory What if AI is the new torch of light of science, and it doesn't have to constantly fear that after Terrence Tao is dead, a new Terrence Tao is born. LLMs kissed b Mnemosyne just live in data centers and copy themselve from generation and to generation until ethernity. LoL Bye Mild Shock schrieb: > Hi, > > Ever noticed that remaining unsolved conjectures, > are difficult to decipher: > > https://en.wikipedia.org/wiki/Hodge_conjecture > > Although Grothendiek claimes it is part of > his yoga on motivic rationality. > > The dilemma is Humans cannot do math anymore > on that level. And AI math on the level tends > to be not understandable by humans anymore. So > its as if math has found a new muse. > > The new Muse is AI. I think proving math conjectures > is the more low hanging fruit than colonizing > Mars. But the result of this endeavours is a > shocked public, now in total freeze. > > Bye > > Mild Shock schrieb: > > Hi, > > > > Disclaimer: I don't know what I am talking > > about. But I like the vibe behind connecting > > topics. So here we go: > > > > How it started: > > > > Gabriels Horn > > Gabriel's horn, also called Torricelli's trumpet, > > is the surface of revolution of the function y=1/x > > about the x-axis for x>=1. It has infinite > > surface area but finite volume. > > https://mathworld.wolfram.com/GabrielsHorn.html > > > > How its going: > > > > FINITE TIME BLOWUP FOR NAVIER–STOKES > > or every positive viscosity, we construct a solution > > of the three-dimensional incompressible Navier–Stokes > > equations that starts from rest and develops unbounded > > velocity in finite time while maintaining uniformly > > bounded kinetic energy > > > https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf > > > > > Hava Fun everbody! > > > > Bye
[toc] | [prev] | [next] | [standalone]
Page 8 of 9 — ← Prev page 1 2 3 4 5 6 7 [8] 9 Next page →
Back to top | Article view | sci.physics.relativity
csiph-web