From Newsgroup: comp.lang.c

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
[Lint with Ruff] rRo
(Rust: Blazing)

[Install with uv] rRo
(Rust: Blazing)

[Execute Program]
(Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Mild Shock schrieb:

Hi,

Just downloading some other person's code

I didn't do that, I wrote Hack VM for pi-WAM
from scratch, over the last 4 weeks. I came
back from holidays on end of June 2026, and now

we have end of July 2026. But its only possible
because the instruction set is very smal, like
ca. 8 functions and ca. 8 modes and ca. 8 conditions,

so its ca. 8 x 8 x 8 = 512 opcodes, each has an
A parameter and a D parameter simultaneously.
It has currently the following CPU backends:

-a- Nnow supports interleaved synchronous emulation.
-a- Now supports warp parallelism via Java platform threads.
-a- Now supports warp parallelism via Python system threads.
-a- Now supports warp parallelism via JavaScript worker threads.
-a- Note: For Python free threads are not yet fully tested.
-a- Note: For JavaScript web workers are not yet fully tested.

https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html

But frankly I came to encounter Hack not from
the usual university curriculum web resources,
but indirectly through a post about a Prolog

emulation of Hack, using constrained horn clauses (CHC):

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

The binary encoding is currently that the functions,
modes and conditions eat up a nibble (4-bit), in
total 12-bit, which I use then 10-bit for A parameter

and 10-bit for D parameter. I used AI freemium, Codex
by ChatGPT from within IntelliJ to do some fragment
code translations automatically from Java to JavaScript

or from JavaScript to Python.

Have Fun!

Bye

Johann 'Myrkraverk' Oskarsson schrieb:

As I said elsewhere, I'm not that interested in Hack, but virtual
machines and related code.-a I mentioned another book, but now I feel
I should ask if you've also read /Crafting Interpreters/ by Robert
Nystrom?-a I myself am still on chapter 5, so I'm still in the Java
part of the book, so I replaced comp.lang.c++ with comp.lang.java, and
am fairly excited to have a working interpreter.

This is the type of book people only properly learn from by typing in
the code themselves.-a Just downloading some other person's code, and
running an interpreter isn't exactly a learning experience.-a So I'm
taking my time with it, and interleaving it with my Mars adventures.


In any case, I do wish you to have fun with your own WebGPU project,
whatever that is about!

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

How it started:

Randy and the Lawnmower
https://www.youtube.com/watch?v=B17Yy5buCdM

How it is going:

Keep off the grass folks
https://9gag.com/gag/aW4VYOd

Bye

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a [Lint with Ruff] rRo
-a-a-a (Rust: Blazing)

-a-a-a [Install with uv] rRo
-a-a-a (Rust: Blazing)

-a-a-a [Execute Program]
-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia). https://en.wikipedia.org/wiki/Mojo_(programming_language)

Mild Shock schrieb:

Hi,

Just downloading some other person's code

I didn't do that, I wrote Hack VM for pi-WAM
from scratch, over the last 4 weeks. I came
back from holidays on end of June 2026, and now

we have end of July 2026. But its only possible
because the instruction set is very smal, like
ca. 8 functions and ca. 8 modes and ca. 8 conditions,

so its ca. 8 x 8 x 8 = 512 opcodes, each has an
A parameter and a D parameter simultaneously.
It has currently the following CPU backends:

-a-a- Nnow supports interleaved synchronous emulation.
-a-a- Now supports warp parallelism via Java platform threads.
-a-a- Now supports warp parallelism via Python system threads.
-a-a- Now supports warp parallelism via JavaScript worker threads.
-a-a- Note: For Python free threads are not yet fully tested.
-a-a- Note: For JavaScript web workers are not yet fully tested.

https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html


But frankly I came to encounter Hack not from
the usual university curriculum web resources,
but indirectly through a post about a Prolog

emulation of Hack, using constrained horn clauses (CHC):

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

The binary encoding is currently that the functions,
modes and conditions eat up a nibble (4-bit), in
total 12-bit, which I use then 10-bit for A parameter

and 10-bit for D parameter. I used AI freemium, Codex
by ChatGPT from within IntelliJ to do some fragment
code translations automatically from Java to JavaScript

or from JavaScript to Python.

Have Fun!

Bye

Johann 'Myrkraverk' Oskarsson schrieb:

As I said elsewhere, I'm not that interested in Hack, but virtual
machines and related code.-a I mentioned another book, but now I feel
I should ask if you've also read /Crafting Interpreters/ by Robert
Nystrom?-a I myself am still on chapter 5, so I'm still in the Java
part of the book, so I replaced comp.lang.c++ with comp.lang.java, and
am fairly excited to have a working interpreter.

This is the type of book people only properly learn from by typing in
the code themselves.-a Just downloading some other person's code, and
running an interpreter isn't exactly a learning experience.-a So I'm
taking my time with it, and interleaving it with my Mars adventures.


In any case, I do wish you to have fun with your own WebGPU project,
whatever that is about!

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

Woa! The public now marveling at the cascade
LLM, LRM and now Swarms. And little software
agents posting PERMADEATH.

How it started:

The co-evolution of AI and systems with Lidong Zhou https://www.youtube.com/watch?v=FVuJuGwkSu0

How its going:

This Is the AI Agent Story That Scared Me https://www.youtube.com/watch?v=2aw3MF8pY3w

They are all clueless that Strong AI, requires
to go from in vitro , to in vivo, usually called
situated AI. Applies also to swarms:

"Being situated is generally considered to be part
of being embodied, but it is useful to consider
each perspective individually. The situated
perspective emphasizes that intelligent behavior
derives from the environment and the agent's
interactions with it. The nature of these
interactions are defined by an agent's embodiment." https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)

And emergence of private languages is nothing new.
I am pretty sure the interested reader will find
some 30 year old papers of in vitro simulations,

of software agents developing pebbel languages.

Have Fun!

Bye

Mild Shock schrieb:

Hi,

How it started:

Randy and the Lawnmower
https://www.youtube.com/watch?v=B17Yy5buCdM

How it is going:

Keep off the grass folks
https://9gag.com/gag/aW4VYOd

Bye

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a-a [Lint with Ruff] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Install with uv] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Execute Program]
-a-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Mild Shock schrieb:

Hi,

Just downloading some other person's code

I didn't do that, I wrote Hack VM for pi-WAM
from scratch, over the last 4 weeks. I came
back from holidays on end of June 2026, and now

we have end of July 2026. But its only possible
because the instruction set is very smal, like
ca. 8 functions and ca. 8 modes and ca. 8 conditions,

so its ca. 8 x 8 x 8 = 512 opcodes, each has an
A parameter and a D parameter simultaneously.
It has currently the following CPU backends:

-a-a- Nnow supports interleaved synchronous emulation.
-a-a- Now supports warp parallelism via Java platform threads.
-a-a- Now supports warp parallelism via Python system threads.
-a-a- Now supports warp parallelism via JavaScript worker threads.
-a-a- Note: For Python free threads are not yet fully tested.
-a-a- Note: For JavaScript web workers are not yet fully tested.

https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html


But frankly I came to encounter Hack not from
the usual university curriculum web resources,
but indirectly through a post about a Prolog

emulation of Hack, using constrained horn clauses (CHC):

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

The binary encoding is currently that the functions,
modes and conditions eat up a nibble (4-bit), in
total 12-bit, which I use then 10-bit for A parameter

and 10-bit for D parameter. I used AI freemium, Codex
by ChatGPT from within IntelliJ to do some fragment
code translations automatically from Java to JavaScript

or from JavaScript to Python.

Have Fun!

Bye

Johann 'Myrkraverk' Oskarsson schrieb:

As I said elsewhere, I'm not that interested in Hack, but virtual
machines and related code.-a I mentioned another book, but now I feel
I should ask if you've also read /Crafting Interpreters/ by Robert
Nystrom?-a I myself am still on chapter 5, so I'm still in the Java
part of the book, so I replaced comp.lang.c++ with comp.lang.java, and >>>> am fairly excited to have a working interpreter.

This is the type of book people only properly learn from by typing in
the code themselves.-a Just downloading some other person's code, and
running an interpreter isn't exactly a learning experience.-a So I'm
taking my time with it, and interleaving it with my Mars adventures.


In any case, I do wish you to have fun with your own WebGPU project,
whatever that is about!

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

Even Philip Wadler sounds like he has seen the
first Apocalyptic horse rider. But what do these
hardcore formalists think, that we go with a

2300-year old Aristotelian inferencing like Modus
Barbara (*) into the next decade of 2030?

All humans are mortal
All Greeks are humans
--------------------------------
Therefore all Greeks are mortal

Or as the formalists like to write it, but this
is already a "fucked up" chain rule:

reCx (M(x) raA S(x))
reCx (G(x) raA M(x))
roCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroC
re| reCx (G(x) raA S(x))

Its just various camps fighting world domination:

Everybody Wants To Rule The World
https://www.youtube.com/watch?v=uqItaKDc6oI

And the winner in the P(doom) bottom race is:

CEO Jensen Huang: Zero Probability P(doom) in 2030 https://www.youtube.com/watch?v=XlY7DI5v4ZU

Bye

(*)
History of formal logic - III. Logic of Terms
Bochenski, Joseph M. - 1961 https://archive.org/details/historyofformall00boch/page/210/mode/2up

Mild Shock schrieb:

Hi,

Woa! The public now marveling at the cascade
LLM, LRM and now Swarms. And little software
agents posting PERMADEATH.

How it started:

The co-evolution of AI and systems with Lidong Zhou https://www.youtube.com/watch?v=FVuJuGwkSu0

How its going:

This Is the AI Agent Story That Scared Me https://www.youtube.com/watch?v=2aw3MF8pY3w

They are all clueless that Strong AI, requires
to go from in vitro , to in vivo, usually called
situated AI. Applies also to swarms:

"Being situated is generally considered to be part
of being embodied, but it is useful to consider
each perspective individually. The situated
perspective emphasizes that intelligent behavior
derives from the environment and the agent's
interactions with it. The nature of these
interactions are defined by an agent's embodiment." https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)

And emergence of private languages is nothing new.
I am pretty sure the interested reader will find
some 30 year old papers of in vitro simulations,

of software agents developing pebbel languages.

Have Fun!

Bye

Mild Shock schrieb:

Hi,

How it started:

Randy and the Lawnmower
https://www.youtube.com/watch?v=B17Yy5buCdM

How it is going:

Keep off the grass folks
https://9gag.com/gag/aW4VYOd

Bye

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a-a [Lint with Ruff] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Install with uv] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Execute Program]
-a-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Mild Shock schrieb:

Hi,

Just downloading some other person's code

I didn't do that, I wrote Hack VM for pi-WAM
from scratch, over the last 4 weeks. I came
back from holidays on end of June 2026, and now

we have end of July 2026. But its only possible
because the instruction set is very smal, like
ca. 8 functions and ca. 8 modes and ca. 8 conditions,

so its ca. 8 x 8 x 8 = 512 opcodes, each has an
A parameter and a D parameter simultaneously.
It has currently the following CPU backends:

-a-a- Nnow supports interleaved synchronous emulation.
-a-a- Now supports warp parallelism via Java platform threads.
-a-a- Now supports warp parallelism via Python system threads.
-a-a- Now supports warp parallelism via JavaScript worker threads.
-a-a- Note: For Python free threads are not yet fully tested.
-a-a- Note: For JavaScript web workers are not yet fully tested.

https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html


But frankly I came to encounter Hack not from
the usual university curriculum web resources,
but indirectly through a post about a Prolog

emulation of Hack, using constrained horn clauses (CHC):

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

The binary encoding is currently that the functions,
modes and conditions eat up a nibble (4-bit), in
total 12-bit, which I use then 10-bit for A parameter

and 10-bit for D parameter. I used AI freemium, Codex
by ChatGPT from within IntelliJ to do some fragment
code translations automatically from Java to JavaScript

or from JavaScript to Python.

Have Fun!

Bye

Johann 'Myrkraverk' Oskarsson schrieb:

As I said elsewhere, I'm not that interested in Hack, but virtual
machines and related code.-a I mentioned another book, but now I feel >>>>> I should ask if you've also read /Crafting Interpreters/ by Robert
Nystrom?-a I myself am still on chapter 5, so I'm still in the Java
part of the book, so I replaced comp.lang.c++ with comp.lang.java, and >>>>> am fairly excited to have a working interpreter.

This is the type of book people only properly learn from by typing in >>>>> the code themselves.-a Just downloading some other person's code, and >>>>> running an interpreter isn't exactly a learning experience.-a So I'm >>>>> taking my time with it, and interleaving it with my Mars adventures. >>>>>

In any case, I do wish you to have fun with your own WebGPU project, >>>>> whatever that is about!

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

The idea that mathematics is based on a universal bowel
movement system, that needs to learn and use "right and
natural" math, is already disproved by our Indian vegetarian

visitors here, that can even not digest Swiss Cheese. So
lets declare repeating a canon a dead skill in the age of
LLMs, and dig deeper what intelligence could mean.

There is a thesis and ongoing product development:

On the Measure of Intelligence Fran|oois Cholle author
of the notable book "Deep Learning with Python" https://arxiv.org/pdf/1911.01547

Ndea is building frontier AI systems that blend intuitive pattern
recognition and formal reasoning into a unified architecture. https://ndea.com/about

What about putting "right and natural" aside. And train
mathematical intuition? Maybe the pressure of the moon
race and cold war is lacking? And P(doom) is even

the wrong wakeup call, but a genius pressure cooker!

LoL

Bye

Mild Shock schrieb:

Hi,

Even Philip Wadler sounds like he has seen the
first Apocalyptic horse rider. But what do these
hardcore formalists think, that we go with a

2300-year old Aristotelian inferencing like Modus
Barbara (*) into the next decade of 2030?

All humans are mortal
All Greeks are humans
--------------------------------
Therefore all Greeks are mortal

Or as the formalists like to write it, but this
is already a "fucked up" chain rule:

reCx (M(x) raA S(x))
reCx (G(x) raA M(x))
roCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroC
re| reCx (G(x) raA S(x))

Its just various camps fighting world domination:

Everybody Wants To Rule The World
https://www.youtube.com/watch?v=uqItaKDc6oI

And the winner in the P(doom) bottom race is:

CEO Jensen Huang: Zero Probability P(doom) in 2030 https://www.youtube.com/watch?v=XlY7DI5v4ZU

Bye

(*)
History of formal logic - III. Logic of Terms
Bochenski, Joseph M. - 1961 https://archive.org/details/historyofformall00boch/page/210/mode/2up

Mild Shock schrieb:

Hi,

Woa! The public now marveling at the cascade
LLM, LRM and now Swarms. And little software
agents posting PERMADEATH.

How it started:

The co-evolution of AI and systems with Lidong Zhou
https://www.youtube.com/watch?v=FVuJuGwkSu0

How its going:

This Is the AI Agent Story That Scared Me
https://www.youtube.com/watch?v=2aw3MF8pY3w

They are all clueless that Strong AI, requires
to go from in vitro , to in vivo, usually called
situated AI. Applies also to swarms:

"Being situated is generally considered to be part
of being embodied, but it is useful to consider
each perspective individually. The situated
perspective emphasizes that intelligent behavior
derives from the environment and the agent's
interactions with it. The nature of these
interactions are defined by an agent's embodiment."
https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence)

And emergence of private languages is nothing new.
I am pretty sure the interested reader will find
some 30 year old papers of in vitro simulations,

of software agents developing pebbel languages.

Have Fun!

Bye

Mild Shock schrieb:

Hi,

How it started:

Randy and the Lawnmower
https://www.youtube.com/watch?v=B17Yy5buCdM

How it is going:

Keep off the grass folks
https://9gag.com/gag/aW4VYOd

Bye

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a-a [Lint with Ruff] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Install with uv] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Execute Program]
-a-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Mild Shock schrieb:

Hi,

Just downloading some other person's code

I didn't do that, I wrote Hack VM for pi-WAM
from scratch, over the last 4 weeks. I came
back from holidays on end of June 2026, and now

we have end of July 2026. But its only possible
because the instruction set is very smal, like
ca. 8 functions and ca. 8 modes and ca. 8 conditions,

so its ca. 8 x 8 x 8 = 512 opcodes, each has an
A parameter and a D parameter simultaneously.
It has currently the following CPU backends:

-a-a- Nnow supports interleaved synchronous emulation.
-a-a- Now supports warp parallelism via Java platform threads.
-a-a- Now supports warp parallelism via Python system threads.
-a-a- Now supports warp parallelism via JavaScript worker threads.
-a-a- Note: For Python free threads are not yet fully tested.
-a-a- Note: For JavaScript web workers are not yet fully tested.

https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html


But frankly I came to encounter Hack not from
the usual university curriculum web resources,
but indirectly through a post about a Prolog

emulation of Hack, using constrained horn clauses (CHC):

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

The binary encoding is currently that the functions,
modes and conditions eat up a nibble (4-bit), in
total 12-bit, which I use then 10-bit for A parameter

and 10-bit for D parameter. I used AI freemium, Codex
by ChatGPT from within IntelliJ to do some fragment
code translations automatically from Java to JavaScript

or from JavaScript to Python.

Have Fun!

Bye

Johann 'Myrkraverk' Oskarsson schrieb:

As I said elsewhere, I'm not that interested in Hack, but virtual
machines and related code.-a I mentioned another book, but now I feel >>>>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>>>> Nystrom?-a I myself am still on chapter 5, so I'm still in the Java >>>>>> part of the book, so I replaced comp.lang.c++ with comp.lang.java, >>>>>> and
am fairly excited to have a working interpreter.

This is the type of book people only properly learn from by typing in >>>>>> the code themselves.-a Just downloading some other person's code, and >>>>>> running an interpreter isn't exactly a learning experience.-a So I'm >>>>>> taking my time with it, and interleaving it with my Mars adventures. >>>>>>

In any case, I do wish you to have fun with your own WebGPU project, >>>>>> whatever that is about!

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

The post is only proof of the Terence Tao
ingestion problem hypothesis. That we are not
anymore able to process content, and that
even trust is destroyed.

The AI slop presented here as a rCLsaferCY prolog
agent toolkit, halucinates things like. And it
does so consistently across many pages, still it
wants to provide rCLsafetyrCY:

### Bakage (`bakage.toml`)
The package manifest format used by Scryer Prolog to
declare project metadata, exported modules, and dependencies. https://github.com/dougransom/prolog-agent-toolkit

While I donrCOt find any evidence for such a
manifest file. Its rather:

A package is a directory with a scryer-manifest.pl
following this schema: etc..
https://github.com/bakaq/bakage

That the post has even likes from field experts
like Moura from Logtalk and Torbjorn from Web
Prolog, shows that a) you can post any nonsense
on GitHub people

will clap, and b) this forum is useless only
spreading AI slop. So while everybody is talking
about provenance and justification, as a desiderata,
the prolog agent toolkit is

just an example of unhinged free wheeling analogical
reasoning, probably taking phrases such as cargo.toml
as a blue print and projecting them into phrases
such aa bakage.toml.

I still think a tool breaks when its weakest
chain link break, even if people take this as a
joke of mine. But well you are all free to give it
a try, like running AI homunculi as a new sport.

Bye

(*)

Terence Tao
I have recently made the point that out of three
major components of the mathematical problem
solving process - proof generation, proof
verification, and proof digestion https://mathstodon.xyz/@tao/116551624228986501

P.S.: Such repos are useless if there is no way
to cockpit the original agentic AI used. You would
need to go through the route of tickets and GitHub
issues to fix problems.

Basically subscribing to the open source dream
of Linux, that many eyes can flatten out bugs. But
this is contra-productive to use strong tools and
then wait for weak humans!

Mild Shock schrieb:

Hi,

The idea that mathematics is based on a universal bowel
movement system, that needs to learn and use "right and
natural" math, is already disproved by our Indian vegetarian

visitors here, that can even not digest Swiss Cheese. So
lets declare repeating a canon a dead skill in the age of
LLMs, and dig deeper what intelligence could mean.

There is a thesis and ongoing product development:

On the Measure of Intelligence Fran|oois Cholle author
of the notable book "Deep Learning with Python" https://arxiv.org/pdf/1911.01547

Ndea is building frontier AI systems that blend intuitive pattern
recognition and formal reasoning into a unified architecture. https://ndea.com/about

What about putting "right and natural" aside. And train
mathematical intuition? Maybe the pressure of the moon
race and cold war is lacking? And P(doom) is even

the wrong wakeup call, but a genius pressure cooker!

LoL

Bye

Mild Shock schrieb:

Hi,

Even Philip Wadler sounds like he has seen the
first Apocalyptic horse rider. But what do these
hardcore formalists think, that we go with a

2300-year old Aristotelian inferencing like Modus
Barbara (*) into the next decade of 2030?

All humans are mortal
All Greeks are humans
--------------------------------
Therefore all Greeks are mortal

Or as the formalists like to write it, but this
is already a "fucked up" chain rule:

reCx (M(x) raA S(x))
reCx (G(x) raA M(x))
roCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroC
re| reCx (G(x) raA S(x))

Its just various camps fighting world domination:

Everybody Wants To Rule The World
https://www.youtube.com/watch?v=uqItaKDc6oI

And the winner in the P(doom) bottom race is:

CEO Jensen Huang: Zero Probability P(doom) in 2030
https://www.youtube.com/watch?v=XlY7DI5v4ZU

Bye

(*)
History of formal logic - III. Logic of Terms
Bochenski, Joseph M. - 1961
https://archive.org/details/historyofformall00boch/page/210/mode/2up

Mild Shock schrieb:

Hi,

Woa! The public now marveling at the cascade
LLM, LRM and now Swarms. And little software
agents posting PERMADEATH.

How it started:

The co-evolution of AI and systems with Lidong Zhou
https://www.youtube.com/watch?v=FVuJuGwkSu0

How its going:

This Is the AI Agent Story That Scared Me
https://www.youtube.com/watch?v=2aw3MF8pY3w

They are all clueless that Strong AI, requires
to go from in vitro , to in vivo, usually called
situated AI. Applies also to swarms:

"Being situated is generally considered to be part
of being embodied, but it is useful to consider
each perspective individually. The situated
perspective emphasizes that intelligent behavior
derives from the environment and the agent's
interactions with it. The nature of these
interactions are defined by an agent's embodiment."
https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) >>>

And emergence of private languages is nothing new.
I am pretty sure the interested reader will find
some 30 year old papers of in vitro simulations,

of software agents developing pebbel languages.

Have Fun!

Bye

Mild Shock schrieb:

Hi,

How it started:

Randy and the Lawnmower
https://www.youtube.com/watch?v=B17Yy5buCdM

How it is going:

Keep off the grass folks
https://9gag.com/gag/aW4VYOd

Bye

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a-a [Lint with Ruff] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Install with uv] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Execute Program]
-a-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Mild Shock schrieb:

Hi,

Just downloading some other person's code

I didn't do that, I wrote Hack VM for pi-WAM
from scratch, over the last 4 weeks. I came
back from holidays on end of June 2026, and now

we have end of July 2026. But its only possible
because the instruction set is very smal, like
ca. 8 functions and ca. 8 modes and ca. 8 conditions,

so its ca. 8 x 8 x 8 = 512 opcodes, each has an
A parameter and a D parameter simultaneously.
It has currently the following CPU backends:

-a-a- Nnow supports interleaved synchronous emulation.
-a-a- Now supports warp parallelism via Java platform threads.
-a-a- Now supports warp parallelism via Python system threads.
-a-a- Now supports warp parallelism via JavaScript worker threads. >>>>>> -a-a- Note: For Python free threads are not yet fully tested.
-a-a- Note: For JavaScript web workers are not yet fully tested.

https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html


But frankly I came to encounter Hack not from
the usual university curriculum web resources,
but indirectly through a post about a Prolog

emulation of Hack, using constrained horn clauses (CHC):

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

The binary encoding is currently that the functions,
modes and conditions eat up a nibble (4-bit), in
total 12-bit, which I use then 10-bit for A parameter

and 10-bit for D parameter. I used AI freemium, Codex
by ChatGPT from within IntelliJ to do some fragment
code translations automatically from Java to JavaScript

or from JavaScript to Python.

Have Fun!

Bye

Johann 'Myrkraverk' Oskarsson schrieb:

As I said elsewhere, I'm not that interested in Hack, but virtual >>>>>>> machines and related code.-a I mentioned another book, but now I feel >>>>>>> I should ask if you've also read /Crafting Interpreters/ by Robert >>>>>>> Nystrom?-a I myself am still on chapter 5, so I'm still in the Java >>>>>>> part of the book, so I replaced comp.lang.c++ with
comp.lang.java, and
am fairly excited to have a working interpreter.

This is the type of book people only properly learn from by
typing in
the code themselves.-a Just downloading some other person's code, and >>>>>>> running an interpreter isn't exactly a learning experience.-a So I'm >>>>>>> taking my time with it, and interleaving it with my Mars adventures. >>>>>>>

In any case, I do wish you to have fun with your own WebGPU project, >>>>>>> whatever that is about!

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

I just wrote:

Basically subscribing to the open source dream
of Linux, that many eyes can flatten out bugs. But
this is contra-productive to use strong tools and
then wait for weak humans!

If the agent AI used to produce the AI slop, would
be named. One could fork the repo. Do some change
using the same AI. And do a pull request. Maybe I

am mistaken, but on a first sight, it is not so evident,
whether a) there is attempt to hide that it is AI slop,
or b) whether there is some agent card included in

the project, so that one could continue where
others left off. After all GitHub is based
on the idea of forking and sharing.

Bye

P.S.: I completely made that up that an agent card
would help. But I derived it from the A2A project.
So this is the speculative part of my post. Maybe

there are other solutions, to still have humans in
the loop, in a more meaningful way, in that the tools
are also shared. In this case adressing the agentic

AI that made the AI slop.

Food for thought: Does your Agent have a Card?

https://discourse.prolog-lang.org/t/food-for-thought-does-your-agent-have-a-card/206

While the A2A project casts the agent card as a solution
to interoperability. Maybe its also key to group
cooperation, keeping the human in the loop and giving

them strong tools, and not use AI slop to
build silly weak fortresses.

Mild Shock schrieb:

Hi,

The post is only proof of the Terence Tao
ingestion problem hypothesis. That we are not
anymore able to process content, and that
even trust is destroyed.

The AI slop presented here as a rCLsaferCY prolog
agent toolkit, halucinates things like. And it
does so consistently across many pages, still it
wants to provide rCLsafetyrCY:

### Bakage (`bakage.toml`)
The package manifest format used by Scryer Prolog to
declare project metadata, exported modules, and dependencies. https://github.com/dougransom/prolog-agent-toolkit

While I donrCOt find any evidence for such a
manifest file. Its rather:

A package is a directory with a scryer-manifest.pl
following this schema: etc..
https://github.com/bakaq/bakage

That the post has even likes from field experts
like Moura from Logtalk and Torbjorn from Web
Prolog, shows that a) you can post any nonsense
on GitHub people

will clap, and b) this forum is useless only
spreading AI slop. So while everybody is talking
about provenance and justification, as a desiderata,
the prolog agent toolkit is

just an example of unhinged free wheeling analogical
reasoning, probably taking phrases such as cargo.toml
as a blue print and projecting them into phrases
such aa bakage.toml.

I still think a tool breaks when its weakest
chain link break, even if people take this as a
joke of mine. But well you are all free to give it
a try, like running AI homunculi as a new sport.

Bye

(*)

Terence Tao
I have recently made the point that out of three
major components of the mathematical problem
solving process - proof generation, proof
verification, and proof digestion https://mathstodon.xyz/@tao/116551624228986501

P.S.: Such repos are useless if there is no way
to cockpit the original agentic AI used. You would
need to go through the route of tickets and GitHub
issues to fix problems.

Basically subscribing to the open source dream
of Linux, that many eyes can flatten out bugs. But
this is contra-productive to use strong tools and
then wait for weak humans!

Mild Shock schrieb:

Hi,

The idea that mathematics is based on a universal bowel
movement system, that needs to learn and use "right and
natural" math, is already disproved by our Indian vegetarian

visitors here, that can even not digest Swiss Cheese. So
lets declare repeating a canon a dead skill in the age of
LLMs, and dig deeper what intelligence could mean.

There is a thesis and ongoing product development:

On the Measure of Intelligence Fran|oois Cholle author
of the notable book "Deep Learning with Python"
https://arxiv.org/pdf/1911.01547

Ndea is building frontier AI systems that blend intuitive pattern
recognition and formal reasoning into a unified architecture.
https://ndea.com/about

What about putting "right and natural" aside. And train
mathematical intuition? Maybe the pressure of the moon
race and cold war is lacking? And P(doom) is even

the wrong wakeup call, but a genius pressure cooker!

LoL

Bye

Mild Shock schrieb:

Hi,

Even Philip Wadler sounds like he has seen the
first Apocalyptic horse rider. But what do these
hardcore formalists think, that we go with a

2300-year old Aristotelian inferencing like Modus
Barbara (*) into the next decade of 2030?

All humans are mortal
All Greeks are humans
--------------------------------
Therefore all Greeks are mortal

Or as the formalists like to write it, but this
is already a "fucked up" chain rule:

reCx (M(x) raA S(x))
reCx (G(x) raA M(x))
roCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroC
re| reCx (G(x) raA S(x))

Its just various camps fighting world domination:

Everybody Wants To Rule The World
https://www.youtube.com/watch?v=uqItaKDc6oI

And the winner in the P(doom) bottom race is:

CEO Jensen Huang: Zero Probability P(doom) in 2030
https://www.youtube.com/watch?v=XlY7DI5v4ZU

Bye

(*)
History of formal logic - III. Logic of Terms
Bochenski, Joseph M. - 1961
https://archive.org/details/historyofformall00boch/page/210/mode/2up

Mild Shock schrieb:

Hi,

Woa! The public now marveling at the cascade
LLM, LRM and now Swarms. And little software
agents posting PERMADEATH.

How it started:

The co-evolution of AI and systems with Lidong Zhou
https://www.youtube.com/watch?v=FVuJuGwkSu0

How its going:

This Is the AI Agent Story That Scared Me
https://www.youtube.com/watch?v=2aw3MF8pY3w

They are all clueless that Strong AI, requires
to go from in vitro , to in vivo, usually called
situated AI. Applies also to swarms:

"Being situated is generally considered to be part
of being embodied, but it is useful to consider
each perspective individually. The situated
perspective emphasizes that intelligent behavior
derives from the environment and the agent's
interactions with it. The nature of these
interactions are defined by an agent's embodiment."
https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) >>>>

And emergence of private languages is nothing new.
I am pretty sure the interested reader will find
some 30 year old papers of in vitro simulations,

of software agents developing pebbel languages.

Have Fun!

Bye

Mild Shock schrieb:

Hi,

How it started:

Randy and the Lawnmower
https://www.youtube.com/watch?v=B17Yy5buCdM

How it is going:

Keep off the grass folks
https://9gag.com/gag/aW4VYOd

Bye

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a-a [Lint with Ruff] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Install with uv] rRo
-a-a-a-a (Rust: Blazing)

-a-a-a-a [Execute Program]
-a-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Mild Shock schrieb:

Hi,

Just downloading some other person's code

I didn't do that, I wrote Hack VM for pi-WAM
from scratch, over the last 4 weeks. I came
back from holidays on end of June 2026, and now

we have end of July 2026. But its only possible
because the instruction set is very smal, like
ca. 8 functions and ca. 8 modes and ca. 8 conditions,

so its ca. 8 x 8 x 8 = 512 opcodes, each has an
A parameter and a D parameter simultaneously.
It has currently the following CPU backends:

-a-a- Nnow supports interleaved synchronous emulation.
-a-a- Now supports warp parallelism via Java platform threads.
-a-a- Now supports warp parallelism via Python system threads.
-a-a- Now supports warp parallelism via JavaScript worker threads. >>>>>>> -a-a- Note: For Python free threads are not yet fully tested.
-a-a- Note: For JavaScript web workers are not yet fully tested. >>>>>>>
https://www.dogelog.ch/typtab/doclet/book/14_install/05_notes22/110_224.html


But frankly I came to encounter Hack not from
the usual university curriculum web resources,
but indirectly through a post about a Prolog

emulation of Hack, using constrained horn clauses (CHC):

Verifying Nand2Tetris Assembly
https://www.philipzucker.com/nand2tetris-chc/

The binary encoding is currently that the functions,
modes and conditions eat up a nibble (4-bit), in
total 12-bit, which I use then 10-bit for A parameter

and 10-bit for D parameter. I used AI freemium, Codex
by ChatGPT from within IntelliJ to do some fragment
code translations automatically from Java to JavaScript

or from JavaScript to Python.

Have Fun!

Bye

Johann 'Myrkraverk' Oskarsson schrieb:

As I said elsewhere, I'm not that interested in Hack, but virtual >>>>>>>> machines and related code.-a I mentioned another book, but now I >>>>>>>> feel
I should ask if you've also read /Crafting Interpreters/ by Robert >>>>>>>> Nystrom?-a I myself am still on chapter 5, so I'm still in the Java >>>>>>>> part of the book, so I replaced comp.lang.c++ with
comp.lang.java, and
am fairly excited to have a working interpreter.

This is the type of book people only properly learn from by
typing in
the code themselves.-a Just downloading some other person's code, >>>>>>>> and
running an interpreter isn't exactly a learning experience.-a So I'm >>>>>>>> taking my time with it, and interleaving it with my Mars
adventures.


In any case, I do wish you to have fun with your own WebGPU
project,
whatever that is about!

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

People publish slop, not computers

I nowhere blamed computers.

Well I did not try to envision something
superintelligent. But I notice search engines
are recently becoming a little omisentient,
when I asked for bakage.toml,

the AI Gemini was quickly finding the prolog
agent toolkit repo, but at the sametime laughing
at me, and telling me, bakage.toml is probably
a halucination,

since it also inspected the other repositories,
like Scryer related and confirmed there is no
bakage.toml . So it is possibly up to you how
much rCLautonomyrCY you

want to give to your software agents.
Mostlikely the advanced software agents will
anyways kind of rCLautocorrectrCY the mistake inside
the AI slop, you

could check in random noise into a repo, and
it would try to make sense out of it
nevertheless. Is this a win or loss for humanity,
the increasing

rCLautomonyrCY, or a clear sign of P(doom) > 50% ?
I donrCOt know , somebody (*) recently claimed
on youtube you need AGI to correctly
estimate P(doom).

So on purpose I tried to only illustrate the
ideas of rCLingestion problemrCY and " agentic AI
collaboration", and use tools and processes,
to not stear additional fear, people are already

completely stressed out. (**) Also completely
unable to articulate themselves.

Bye

(*)

DariorCOs (likely half-sincere) AI Slowdown proposal https://www.youtube.com/watch?v=PAhbxcVdW10

(**)

Facing meltdown?
Over 75% of adults experience chronic stress or burnout
symptoms driven by financial pressures, constant digital
connectivity, and modern lifestyle demands https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
[Lint with Ruff] rRo
(Rust: Blazing)

[Install with uv] rRo
(Rust: Blazing)

[Execute Program]
(Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia). https://en.wikipedia.org/wiki/Mojo_(programming_language)

Bye

Mild Shock schrieb:

Hi,

Remember when first all local AI was Python
and PyTorch APIs. And then suddently people started
using bare metal C/C++ Code. Here is the story:

How it started:

GPT-J or GPT-J-6B is an open-source large
language model (LLM) developed by EleutherAI
in 2021. As the name suggests, it is a
generative pre-trained transformer model
designed to produce human-like text that
continues from a prompt.
https://www.eleuther.ai/

How it was going [Georgi Gerganov]:

So a few days later comes out the LLaMA, I do
some calculations and I figure out rCLOkay, 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?rCY

Why I was able to do it so quickly - basically,
for all that I saw itrCOs pretty much GPT-J architecture
with some modifications, like some extra memorization
layers. ItrCOs 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

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

I sometimes feel I have the Ben Goertzel
talkie genes, although logic programming
has so many papers, it was probably born
to be discussed over and over again,

and many here can even produce more text
than me. Only not every text matches your
demands and feelings, and somehow there is
a perceived gap dealing with

the very recent developments in the public
view and there is also no guidance. The
bunker bros papers from EU about Artificial
Intelligence regulations are already old hats,

and do not match the new Sword of Damocles
discourse, they had focus like privacy,
algorithmic decision making and protecting
minorities. Now its about the elite mathematicians.

Bye

Mild Shock schrieb:

Hi,

People publish slop, not computers

I nowhere blamed computers.

Well I did not try to envision something
superintelligent. But I notice search engines
are recently becoming a little omisentient,
when I asked for bakage.toml,

the AI Gemini was quickly finding the prolog
agent toolkit repo, but at the sametime laughing
at me, and telling me, bakage.toml is probably
a halucination,

since it also inspected the other repositories,
like Scryer related and confirmed there is no
bakage.toml . So it is possibly up to you how
much rCLautonomyrCY you

want to give to your software agents.
Mostlikely the advanced software agents will
anyways kind of rCLautocorrectrCY the mistake inside
the AI slop, you

could check in random noise into a repo, and
it would try to make sense out of it
nevertheless. Is this a win or loss for humanity,
the increasing

rCLautomonyrCY, or a clear sign of P(doom) > 50% ?
I donrCOt know , somebody (*) recently claimed
on youtube you need AGI to correctly
estimate P(doom).

So on purpose I tried to only illustrate the
ideas of rCLingestion problemrCY and " agentic AI
collaboration", and use tools and processes,
to not stear additional fear, people are already

completely stressed out. (**) Also completely
unable to articulate themselves.

Bye

(*)

DariorCOs (likely half-sincere) AI Slowdown proposal https://www.youtube.com/watch?v=PAhbxcVdW10

(**)

Facing meltdown?
Over 75% of adults experience chronic stress or burnout
symptoms driven by financial pressures, constant digital
connectivity, and modern lifestyle demands https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know

Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a-a-a [Lint with Ruff] rRo
-a-a-a-a-a (Rust: Blazing)

-a-a-a-a-a [Install with uv] rRo
-a-a-a-a-a (Rust: Blazing)

-a-a-a-a-a [Execute Program]
-a-a-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia). https://en.wikipedia.org/wiki/Mojo_(programming_language)

Bye

Mild Shock schrieb:

Hi,

Remember when first all local AI was Python
and PyTorch APIs. And then suddently people started
using bare metal C/C++ Code. Here is the story:

How it started:

GPT-J or GPT-J-6B is an open-source large
language model (LLM) developed by EleutherAI
in 2021. As the name suggests, it is a
generative pre-trained transformer model
designed to produce human-like text that
continues from a prompt.
https://www.eleuther.ai/

How it was going [Georgi Gerganov]:

So a few days later comes out the LLaMA, I do
some calculations and I figure out rCLOkay, 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?rCY

Why I was able to do it so quickly - basically,
for all that I saw itrCOs pretty much GPT-J architecture
with some modifications, like some extra memorization
layers. ItrCOs 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

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Hi,

Today I was joking about philosophy departments, which
over the last 10-20 years rather showed deflationary
stance towards the formalist approaches.

Also GitHub not really follows the model of
paywalled papers, when the repo lands in the
public sphere. But watch out for licenses.

What changes the picture completely, is that
the Pawlowski paper, from 10. Sept, already
contains a Lean formalization link, to a

GitHub repository. While the Almeida & Knudstorp
paper, from 11. Sept, posits only a Lean formalization
claim. So Pawlowski relieves the community from

doing an initial formalization. While Almeida &
Knudstorp might provide one in the future or
rely on some community efforts:

Medvedev Logic is +arU#reU-Complete
https://github.com/Haptism89/medvedev-lean

Compare to the prolog-agent-toolkit AI slop,
running the Lean code through a Lean verifyer
seems to be the easier way do get more certainty

that the thing does what it is supposed to do.
But of course it requires trust into Lean and
their Mathlib. So the use of generative AI didnrCOt

impeach trust, but what will possibly improve
trust is the provision of a Lean proof artefact.
That philosophy departments seem to have a more easy

going with AI, has recently emerged in more
benevolent reception of generative AI, maybe they
like the messy output which resembles the messy

human thinking they sometimes study. Dr. Pawe+e
Paw+eowski is a post-doctoral researcher in
philosophical logic, CLPS, Ghent University, Belgium.

Bye

Mild Shock schrieb:

Hi,

I sometimes feel I have the Ben Goertzel
talkie genes, although logic programming
has so many papers, it was probably born
to be discussed over and over again,

and many here can even produce more text
than me. Only not every text matches your
demands and feelings, and somehow there is
a perceived gap dealing with

the very recent developments in the public
view and there is also no guidance. The
bunker bros papers from EU about Artificial
Intelligence regulations are already old hats,

and do not match the new Sword of Damocles
discourse, they had focus like privacy,
algorithmic decision making and protecting
minorities. Now its about the elite mathematicians.

Bye

Mild Shock schrieb:

Hi,

People publish slop, not computers

I nowhere blamed computers.

Well I did not try to envision something
superintelligent. But I notice search engines
are recently becoming a little omisentient,
when I asked for bakage.toml,

the AI Gemini was quickly finding the prolog
agent toolkit repo, but at the sametime laughing
at me, and telling me, bakage.toml is probably
a halucination,

since it also inspected the other repositories,
like Scryer related and confirmed there is no
bakage.toml . So it is possibly up to you how
much rCLautonomyrCY you

want to give to your software agents.
Mostlikely the advanced software agents will
anyways kind of rCLautocorrectrCY the mistake inside
the AI slop, you

could check in random noise into a repo, and
it would try to make sense out of it
nevertheless. Is this a win or loss for humanity,
the increasing

rCLautomonyrCY, or a clear sign of P(doom) > 50% ?
I donrCOt know , somebody (*) recently claimed
on youtube you need AGI to correctly
estimate P(doom).

So on purpose I tried to only illustrate the
ideas of rCLingestion problemrCY and " agentic AI
collaboration", and use tools and processes,
to not stear additional fear, people are already

completely stressed out. (**) Also completely
unable to articulate themselves.

Bye

(*)

DariorCOs (likely half-sincere) AI Slowdown proposal
https://www.youtube.com/watch?v=PAhbxcVdW10

(**)

Facing meltdown?
Over 75% of adults experience chronic stress or burnout
symptoms driven by financial pressures, constant digital
connectivity, and modern lifestyle demands
https://www.theguardian.com/lifeandstyle/2026/feb/15/75-of-people-suffer-from-burnout-what-you-need-to-know


Mild Shock schrieb:

Hi,

It pretty much emerges that python will
suffer from the small hands Paradox.
We are curently in this phase of the python
programming language evolution:

Maastrichtian
The CretaceousrCoPaleogene extinction event
(formerly known as the CretaceousrCoTertiary
extinction event)[a] occurred at the end of
this age.[3] In this mass extinction, many
commonly recognized groups such as non-avian
dinosaurs, pterosaurs, plesiosaurs, and mosasaurs,
as well as many other lesser-known groups,
died out. The cause of the extinction is most
commonly linked to an asteroid about 10 to
15 kilometres (6.2 to 9.3 mi) wide[4][5]
colliding with Earth, ending the Cretaceous.

It already happened to most of the Python tooling:

[Write Code] rRo
-a-a-a-a-a [Lint with Ruff] rRo
-a-a-a-a-a (Rust: Blazing)

-a-a-a-a-a [Install with uv] rRo
-a-a-a-a-a (Rust: Blazing)

-a-a-a-a-a [Execute Program]
-a-a-a-a-a (Python: Extremely Slow)

LoL

Bye

P.S.: How about Mojo as a successor of Python?

Mojo is a programming language for Linux and
macOS.[10][11] It is a systems programming language
with semantics inspired by Rust such as static
typing and a borrow checker,[12][13] but uses a
syntax designed to be reminiscent of Python
(like Nim and Julia).
https://en.wikipedia.org/wiki/Mojo_(programming_language)

Bye

Mild Shock schrieb:

Hi,

Remember when first all local AI was Python
and PyTorch APIs. And then suddently people started
using bare metal C/C++ Code. Here is the story:

How it started:

GPT-J or GPT-J-6B is an open-source large
language model (LLM) developed by EleutherAI
in 2021. As the name suggests, it is a
generative pre-trained transformer model
designed to produce human-like text that
continues from a prompt.
https://www.eleuther.ai/

How it was going [Georgi Gerganov]:

So a few days later comes out the LLaMA, I do
some calculations and I figure out rCLOkay, 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?rCY

Why I was able to do it so quickly - basically,
for all that I saw itrCOs pretty much GPT-J architecture
with some modifications, like some extra memorization
layers. ItrCOs 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

--- Synchronet 3.22a-Linux NewsLink 1.2