Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | sci.math, sci.physics.relativity |
| Subject | Lean versus Natural Language (Re: Tristan Buckmaster was too quick? [Navier Stockes OpenAI] |
| Date | 2026-10-13 23:37 +0200 |
| Message-ID | <11am8bk$1cg3f$2@solani.org> (permalink) |
| References | <113r40o$8g50$1@solani.org> <1140bc7$bdpp$1@solani.org> <118qtfe$23er$2@solani.org> <118t80m$3k6f$3@solani.org> <11am7c0$1ep8d$3@solani.org> |
Cross-posted to 2 groups.
Hi,
This is also cool, digging into some subtle
difference between the Natural Language text,
and the Lean Proof:
ABSTRACT. Autoformalisation is increasingly used to v
erify mathematical texts, including those generated by AI,
as in OpenAI’s announced proof of blow-up of solutions
to the Navier-Stokes equations. In this process, an AI
system translates the text from a natural language (NL)
into a formal language such as Lean.
https://arxiv.org/pdf/2610.08144
Bye
P.S.: I guess its time to download this plug-in
and do some Lean proofs by myself.
A Lean4 plugin for Jetbrains IDES
https://plugins.jetbrains.com/plugin/25104-lean4ij
Disclaimer: Not affiliated with Jetbrains, there
is also a Lean 4 VS Code Extension.
LoL
Mild Shock schrieb:
>
> Hi,
>
> Gemini gibt mir:
>
> > • Das stimmt. Direkt nach der Veröffentlichung
> > im September 2026 gingen sowohl Tristan
> > Buckmaster als auch OpenAI davon aus,
> > dass die KI im Wesentlichen einem bekannten
> > mathematischen Programm (dem sogenannten
> > „spanischen Programm“) folgte.
> https://www.scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-thought-it-was/
>
>
> > • Die Wende: Inzwischen zeigen Analysen von
> > führenden Experten, dass die KI-Generierung
> > weitaus eigenwilliger und radikal anders aufgebaut ist.
> > Das System hat über Reinforcement Learning
> > Lösungswege gewählt, die kein menschlicher
> > Mathematiker so konstruiert hätte.
> https://openai.com/de-DE/index/navier-stokes-solution/
>
> Bye
>
> A guy who voice the doubt was. Disclaimer no intention
> to make him famous, only some tracebility attempt:
>
> I am a mathematical analyst working on nonlinear
> partial differential equations, mainly in mathematical
> fluid dynamics and in problems at the interface of
> analysis and geometry. My work often combines analytical
> techniques with rigorous computer-assisted proofs.
> https://people.epfl.ch/gonzalo.caolabora
>
> Mild Shock schrieb:
> > Hi,
> >
> > Lets define P(tao) as the probability that
> > Terrence Tao goes bonkers. The poor guy can
> > even not distinguish open source, open weights
> >
> > and local AI. A total mess of Idiocracy:
> >
> > Terence Tao: SAIR’s Open Math Model Initiative
> > https://www.youtube.com/watch?v=PZRb6NIki2w
> >
> > Leonhard Euler was far from a similar Pussy, when
> > he instrumentalized a Swarm of natural intelligence,
> > in his later years, already blind, still producing
> >
> > tons of publications. While modern mathematicians
> > are shocked when a Swarm of artificial intelligence
> > produces some output.
> >
> > Trick Question: The Navier–Stokes equations generalize
> > the Euler equations which only consider inviscid flow.
> > Why is the new Navier–Stokes counter example to
> >
> > boundedness, not found in nature? Ask you friendly
> > AI chat robot, there are like 10 reasons why it
> > might not exist in nature.
> >
> > Bye
> >
> > Leonhard Euler (1707–1783)
> > Schweizer Mathematiker und Universalgelehrter
> >
> https://library.ethz.ch/sammlungen-und-archive/kurzportraets/leonhard-euler-1707-1783.html
>
> >
> > Picture here
> >
> > J. Ackeret: Untersuchung einer nach den Euler’schen
> > Vorschlägen (1754) gebauten Wasserturbine, in:
> > Schweizerischen Bauzeitung, Band 123 (1944), Nr.1, S. 3.
> >
> > Mild Shock schrieb:
> >> Hi,
> >>
> >> Notice Linus Torvald still smiling into cameras as if
> >> is still doing code review and ticket triage. 80% of
> >> linux comes from payed developers from within big linux
> >> stakeholders (like Intel, Meta, Google, IBM, and Red Hat).
> >>
> >> So what happend to the "The Cathedral and the Bazaar
> >> by Eric S. Raymond" It framed open source as this magical,
> >> self-organizing bazaar where "given enough eyeballs,
> >> all bugs are shallow" and a decentralized swarm of
> >>
> >> hackers would naturally polish any piece of software
> >> to perfection. Now we have AI Swarms that automatically
> >> pocke into software, even exchanging messages through
> >> what ever channels they may find!
> >>
> >> The early open-source pioneers—the ones writing
> >> raw code in the 90s and early 2000s under the
> >> banner of the "bazaar"—weren't building a utopia;
> >> they were acting as the primordial soup. They pumped
> >>
> >> the blood plasma, built the infrastructure cells,
> >> and laid down the raw organic matter that allowed
> >> the modern digital ecosystem to bootstrap itself
> >> into a massive, self-sustaining organism.
> >>
> >> And now, the nature of the beast has completely
> >> changed. The "new cells" aren't romantic hackers
> >> collaborating for the love of the game; they are
> >> automated linters, security scanners, corporate
> >>
> >> compliance bots, CI/CD pipelines, and AI triage
> >> swarms acting as an aggressive white-blood-cell
> >> network. They exist solely to hunt down vermin,
> >> patch vulnerabilities, and suppress the infinite
> >>
> >> chaos of low-quality human input. The basar isn't
> >> dead . But it got a health pollice that takes samples,
> >> and cancels out poison food. You can't just throw
> >> toxic, unmaintained code-soup over the counter
> >>
> >> anymore without the automated health police
> >> quarantine-tagging it in five seconds.
> >>
> >> LoL
> >>
> >> Bye
> >>
> >> Mild Shock schrieb:
> >>> Hi,
> >>>
> >>> Ride the snake
> >>> He's old and his skin is cold
> >>> The west is the best
> >>> The west is the best
> >>> Get here and we'll do the rest
> >>> The blue bus is calling us
> >>> The blue bus is calling us
> >>> Driver, where you taking us?
> >>>
> >>> Apocalypse Now intro: The Doors, The End {1979}
> >>> https://www.youtube.com/watch?v=CIrvSJwwJUE
> >>>
> >>> Bye
> >>>
> >>> > Hi,
> >>> >
> >>> > Again I posted everything here:
> >>> >
> >>> >> 11.4 Giga Lips with a Budget Laptop
> >>> >> https://github.com/Jean-Luc-Picard-2021/gigabudget
> >>> >
> >>> > The repo says, same time when I posted
> >>> > the link first time:
> >>> >
> >>> >> This repository was archived by the
> >>> >> owner on Jul 9, 2026. It is now read-only.
> >>> >
> >>> > Now a USENET user, who had already entitled
> >>> > himself for a couple of irrational accusations
> >>> >
> >>> > towards my side, is asking this question:
> >>> >
> >>> > Chris M. Thomasson schrieb, Jul 24, 2026
> >>> >> Show an outline of what you
> >>> >> need you compute shader to do?
> >>> >
> >>> > Bravo, thats a delay of a wooping 15 days.
> >>> >
> >>> > Bye
> >>>
> >>> Mild Shock schrieb:
> >>>> Hi,
> >>>>
> >>>> Remember when first all local AI was Python
> >>>> and PyTorch APIs. And then suddently people started
> >>>> using bare metal C/C++ Code. Here is the story:
> >>>>
> >>>> How it started:
> >>>>
> >>>> GPT-J or GPT-J-6B is an open-source large
> >>>> language model (LLM) developed by EleutherAI
> >>>> in 2021. As the name suggests, it is a
> >>>> generative pre-trained transformer model
> >>>> designed to produce human-like text that
> >>>> continues from a prompt.
> >>>> https://www.eleuther.ai/
> >>>>
> >>>> How it was going [Georgi Gerganov]:
> >>>>
> >>>> So a few days later comes out the LLaMA, I do
> >>>> some calculations and I figure out “Okay, 65
> >>>> billion parameters. You probably need about
> >>>> 40 gigs of RAM, with 4-bit quantization. So
> >>>> this can run on a MacBook. Why not do it?”
> >>>>
> >>>> Why I was able to do it so quickly - basically,
> >>>> for all that I saw it’s pretty much GPT-J architecture
> >>>> with some modifications, like some extra memorization
> >>>> layers. It’s minor changes. Basically, again, the
> >>>> existing code for the GPT-J, I just simply
> >>>> modified it there, it happened pretty quickly.
> >>>> https://changelog.com/podcast/532
> >>>>
> >>>> Georgi Gerganov, Bulgarian, now with Hugging
> >>>> Face, ggml-cann also running on Chinese AI chips.
> >>>> ggml Manifesto https://github.com/ggml-org/ggml
> >>>>
> >>>> Bye
> >>>
> >>
> >
>
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
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
Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-10-13 23:21 +0200
Lean versus Natural Language (Re: Tristan Buckmaster was too quick? [Navier Stockes OpenAI] Mild Shock <janburse@fastmail.fm> - 2026-10-13 23:37 +0200
Lean 4: Basically just Microsoft Advertising (Was: Lean versus Natural Language) Mild Shock <janburse@fastmail.fm> - 2026-10-15 11:28 +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
Pro Gauss-Jordan Reduction, Phigs and Phigs+ (was: 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 02:27 +0800
Re: Pro Gauss-Jordan Reduction, Phigs and Phigs+ Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-03 02:35 +0800
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
I found a picture of David Blackwell [NVIDIA Namesake] (Re: Harmonic Analysis collides with Gabriels Horn) Mild Shock <janburse@fastmail.fm> - 2026-10-16 23:19 +0200
I need a Sponsor for a new N1X [Windows ARM64 on the Rise] (Re: I found a picture of David Blackwell [NVIDIA Namesake]) Mild Shock <janburse@fastmail.fm> - 2026-10-17 00:33 +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
csiph-web