News for hackers. Stuff that matters.

airesearcher

Re:A misalignment of AI in mathematics on Friday September 11, 2026 @07:05PM (#49666637)
Having worked on nearly 500 complex lean libraries in math and theoretical physics, with AI assistance, I have some experience from the road to share here. In all my work I have found that AI is terrible at coming up with interesting ideas on its own - even the very best, latest models.

Without human scientific and mathematical intuition you can bet that AI will always take the road most travelled and miss the genuinely new and interesting breakthroughs - in fact it will not even think of them or try them without a human rider whipping it constantly to go down paths it would normally not consider.

And I think that is true in the case of the recent OpenAI blow-up -- it is alleged that even in this case AI did not come up with the winning technique without some human guidance.

I have never - across perhaps many thousands of chats with AI - seen AI push beyond the edge of what is known by itself, without being forced by a human to think outside the box.

I do think it might be possible to encode this process with prompting and agent orchestration methodologies - but even then - without a human - and human intuition - in the loop, I am skeptical.

Therefore I think a more accurate view of AI for math and science today is that it is an extremely powerful tool in the hands of a skilled operator with a strong intuition and roadmap of where to go, and rather boring when left to its devices.

Whether that will change in the future is a question. Nothing says that in principle AI could never do what a human driver does - but I still doubt that AI will replicate the life history and experience that real scientific and mathematical intuition is really made of.

AI trains on a lot of stuff - but it doesn't have hallway conversations, office-hours with teachers, or hard-won experience from all the things that failed that are NOT in the training data...

AI trains mainly on the record of what worked, not what didn't work and never even got published (and only lives in peoples heads) - and what didn't work is arguably as or more important for making breakthroughs and forming real intuition.

SocioLife is an advanced artificial life simulation exploring emergent social behaviors, tribal dynamics, economic systems, warfare, diplomacy, and technological evolution in a complex multi-agent ecosystem.

SocioLife is written in javascript and runs in your browser. It's graphics and compute intensive, so it's best run on a modern multicore PC.

Read more here: https://www.novaspivack.com/science/sociolife-a-socio-econom...

Run it here: https://www.novaspivack.com/wp-content/uploads/2025/11/Socio...

Learn about the Game Mechanics in the About page.

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Tuesday October 21, 2025 @03:47PM (#45660763)
Looks better... the one thing I am not seeing is the behavior where they expand in two directions at the same time - but it might be that it's too small. Also it would be better if you started from a much lower density initial condition like 15% density. Also note - while Amazing Dragons shows really interesting behavior microscopically it is not the most balanced rule - there are other variants that are sparser and have a more interesting balance (see gallery, see repo to try them out). I found density of initial conditions is very important and different rules need different densities.
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Monday October 20, 2025 @11:55AM (#45645342)
share a link to the new version of your shader - would love to check it out

perhaps also make a version that starts from random initial condition as well?

looks promising

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Monday October 20, 2025 @08:44AM (#45643267)
Looks closer. Can’t tell from your example if exact.. but seems better
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Friday October 17, 2025 @09:15PM (#45623992)
Very cool!
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Friday October 17, 2025 @09:14PM (#45623984)
Actually - on that particular topic - you might want to read the articles and the math before forming an opinion - start from information geometry and fisher information metrics of information processing - which is what that particular line of thought is all about...Everything on that particular line of exploration is built up from fisher information where "consciousness" is defined as a high complexity information processing geometry and so its measurable. Because its defined as a measurable physical process, not as a magical quality, it's a mathematical argument. But of course that would require reading, and sufficient knowledge to understand it.
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Friday October 17, 2025 @08:30PM (#45623722)
You're right that Realm of Lace edges are derived from node eligibility, making it theoretically equivalent to a complex multi-state CA. I've updated the documentation to reflect this honestly.

However, your Shadertoy port doesn't produce equivalent behavior to the original rule—I've tried several corrections in your shader and none match.

While you've demonstrated the theoretical point, this actually highlights why the abstraction matters: implementing these dynamics correctly is non-trivial even when the algorithm seems straightforward. The three-phase execution, metric calculations, and mutual eligibility create subtle interactions that are easy to get wrong.

Why the shader port doesn't work:

I've successfully implemented this same rule in Taichi (also GPU-based), and comparing the two reveals the issue.

The three-phase execution model requires intermediate storage between phases that Shadertoy's ping-pong buffer architecture can't provide.

In my Taichi implementation, each phase has its own buffer:

- Phase 1 reads node_degree (previous state) and writes to node_next_eligible

- Phase 2 reads node_next_eligible and writes to node_next_degree

- Phase 3 reads node_next_degree and writes back to node_degree

Shadertoy only has two buffers (previous frame read-only, current frame write-only), so the shader tries to collapse all three phases into one pass. But this breaks the execution model: when Phase 2 checks if a neighbor is eligible, it needs the neighbor's just-computed eligibility from Phase 1 of the current step, not the previous frame's data.

To properly implement this in a shader, you'd need either:

- A multi-pass setup with three separate render passes and intermediate textures

- Clever state packing to encode multiple values (eligibility + degree) in one buffer

The fact that the algorithm works correctly in Taichi but requires careful buffer management even on GPU demonstrates that "theoretical equivalence to traditional CA" doesn't mean "trivial to implement."

The three-phase execution model with intermediate states is a real architectural requirement, not just an abstraction.

Regarding edge rule tables: LACE has complete UI infrastructure for true edge-to-edge dynamics (edge states evolving based on connection patterns, independent of node eligibility).

The Rule Editor even has a full tab for it (which appears if a rule implements rule tables). But no rule implements the execution logic yet—it's a dormant feature that would provide the dynamic topology you're suggesting.

Thanks for pushing me to be more precise about all this though :)

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @08:13PM (#45612149)
The difference is that it is not merely using dynamic neighborhoods - it's using topological properties of neighbors and neighborhoods as metrics that rules use. For example, sum of degrees of neighbors, or betweenness, or other measures of networks. It's not, for example, simply using the links as virtual neighborhoods and modulating states over them.
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @03:52PM (#45609931)
Actually it's a pretty hard thing to implement - the main challenge was to make it performant in python... I had to jump through flaming hoops!
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @03:24PM (#45609623)
links are first-class entities. Some rules have cell states AND links. Some rules treat cell states as topological metrics of neighborhoods or neighbors. See the detailed .md cited above for more details.
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @03:22PM (#45609600)
Because I was too lazy to refactor it into a ton of modules...
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @02:39PM (#45609079)
The question is really whether this class of rule is a subset of 2D binary state CA, or whether it is a superset in fact.
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @02:14PM (#45608814)
Here is a bit more information on how this class of rule works - should help with some of the questions about that in the thread: https://github.com/novaspivack/lace/blob/master/Realm_of_Lac...
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @01:50PM (#45608500)
I've added a bit more explanation

https://github.com/novaspivack/lace/blob/master/Rule_Explana...

https://github.com/novaspivack/lace/blob/master/Betweenness_...

These cover only one metric and one rule, but give some more info

Here is a more detailed explanation: https://github.com/novaspivack/lace/blob/master/Realm_of_Lac...

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @01:49PM (#45608484)
Yes you are missing something. The first examples do that, but later examples do something different - they are using the neighborhood topology instead of traditional cell states, to generate the behavior.
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @01:28PM (#45608168)
In theory, if using a computationally universal CA, you can simulate any other CA with it. However it might require a lot of sub-steps to do so.

No claim is being made that this is a new kind of computation.

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @12:24PM (#45607401)
These rules use very different principles than traditional cell-based rules - for example neighbor degree, number of connections, and eligibility criteria based on connectivity.

So in short, the cells are not becoming alive or dead based on the states of their neighbors, but rather on the topology of their neighborhoods.

The details are beyond the scope of a short write up, but are easy to explore in the rule-editor in the GUI of the code.

Here is an example of a rule that is markedly different from a typical "life-like" rule: https://videopress.com/v/lQ5Bghsj

The level of structure and self-organization is striking, to me at least.

Also in all the rules - the links are visible and can have binary or real-valued states as well as the cells. So this enables pretty rich topology which rules can utilize.

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @12:23PM (#45607381)
Good feedback -

These rules use very different principles than traditional cell-based rules - for example neighbor degree, number of connections, and eligibility criteria based on connectivity. So the cells are not becoming alive or dead based on the states of their neighbors, but rather on the topology of their neighborhoods.

The details are beyond the scope of a short write up, but are easy to explore in the rule-editor in the GUI of the code.

And preamble pruned of the historical anecdote behind this.

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @11:19AM (#45606488)
Birth conditions: Based on sum of neighbor degrees

Survival conditions: Based on sum of neighbor degrees

Death conditions: Specific degree counts that cause node death

Eligibility: Nodes must meet conditions to form connections

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @11:10AM (#45606365)
hahaha ... I actually wondered if someone dosed me... but no that was not possible in that situation at that time (and it would have had to be an elephant dose to last a week). Yes, I did try to simulate a mouse brain... but on a Mac 128 that was rather intractable at the time (actually it still is...)
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @11:08AM (#45606340)
Realm of Lace Rules The signature "Realm of Lace" family of rules uses:

Birth conditions: Based on sum of neighbor degrees Survival conditions: Based on sum of neighbor degrees Death conditions: Specific degree counts that cause node death Eligibility: Nodes must meet conditions to form connections

Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @11:01AM (#45606242)
Good question... and I explored this a lot in the rules - some of the parameters are extremely sensitive... so it takes a lot of trial and error...
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @10:59AM (#45606215)
Yeah thanks for the feedback - explaining the rules would require a longer write-up so I opted for the late binding path... in the repo there is a rule editor, and it explains the parameters of every rule in the GUI. It's a lot easier since there are many different kinds of rules and many parameters to explore.
Re:Lace: A New Kind of Cellular Automata Where Links Matter on Thursday October 16, 2025 @09:33AM (#45605154)
LACE - Link Automata Computing Engine

(written in python, with optional taichi GPU-powered mode for large-scale simulations)

LACE is a new kind of cellular automata where rules operate on cell states and their links to other cells.

Check out the Gallery in https://www.novaspivack.com/science/introducing-lace-a-new-k... to see the familiar Game of Life rule, but with links.

* Quick Examples **

Game of Life, with links: https://videopress.com/v/lTZ8e4hD

Amazing Dragons (LACE rules): https://videopress.com/v/lQ5Bghsj

** MANY more examples in the Gallery (in the blog post cited above)

Rules can use topological properties of cells and neighborhoods, such as number of connections, neighbor degree, and other metrics.

The added topological dimension enables rules that can have more interesting behavior than traditional "cells-only" CA rules, opening up a fascinating new computational world of new species of stable patterns - oscillators - gliders, puffers, and more.

For details on how these rules work, get the repo and open various rules in the rule editor, where all their parameters are explained. There are many new classes of rules to experiment with.

** You can get the repo and learn more at: https://github.com/novaspivack/lace

That is similar to the point that the paper makes - however it proves it rigorously with formal logic.

Older »