<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: airesearcher</title><link>https://news.ycombinator.com/user?id=airesearcher</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 12 Sep 2026 07:51:29 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=airesearcher" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by airesearcher in "A misalignment of AI in mathematics"]]></title><description><![CDATA[
<p>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.<p>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.<p>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.<p>I have never - across perhaps many thousands of chats with AI - seen AI push beyond the edge of what is known <i>by itself</i>, without being forced by a human to think outside the box.<p>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.<p>Therefore I think a more accurate view of AI for math and science <i>today</i> 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.<p>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.<p>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...<p>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.</p>
]]></description><pubDate>Fri, 11 Sep 2026 23:05:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=49666637</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=49666637</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49666637</guid></item><item><title><![CDATA[New Master Fixed Point Theorem Unifies Godel, Turing, Kleene, Tarski, Lob]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.novaspivack.com/best-articles/one-theorem-behind-godel-turing-kleene-tarski-and-lob">https://www.novaspivack.com/best-articles/one-theorem-behind-godel-turing-kleene-tarski-and-lob</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47778905">https://news.ycombinator.com/item?id=47778905</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 15 Apr 2026 13:46:32 +0000</pubDate><link>https://www.novaspivack.com/best-articles/one-theorem-behind-godel-turing-kleene-tarski-and-lob</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=47778905</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47778905</guid></item><item><title><![CDATA[New comment by airesearcher in "SocioLife – Socio-Economic Life SIM That Runs in the Browser"]]></title><description><![CDATA[
<p>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.<p>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.<p>Read more here: <a href="https://www.novaspivack.com/science/sociolife-a-socio-economic-artificial-life-sim-that-runs-in-your-browser" rel="nofollow">https://www.novaspivack.com/science/sociolife-a-socio-econom...</a><p>Run it here: <a href="https://www.novaspivack.com/wp-content/uploads/2025/11/SocioLife.html" rel="nofollow">https://www.novaspivack.com/wp-content/uploads/2025/11/Socio...</a><p>Learn about the Game Mechanics in the About page.</p>
]]></description><pubDate>Sun, 23 Nov 2025 15:38:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=46024338</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=46024338</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46024338</guid></item><item><title><![CDATA[SocioLife – Socio-Economic Life SIM That Runs in the Browser]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.novaspivack.com/wp-content/uploads/2025/11/SocioLife.html">https://www.novaspivack.com/wp-content/uploads/2025/11/SocioLife.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46024337">https://news.ycombinator.com/item?id=46024337</a></p>
<p>Points: 1</p>
<p># Comments: 1</p>
]]></description><pubDate>Sun, 23 Nov 2025 15:38:34 +0000</pubDate><link>https://www.novaspivack.com/wp-content/uploads/2025/11/SocioLife.html</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=46024337</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46024337</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Tue, 21 Oct 2025 19:47:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=45660763</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45660763</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45660763</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>share a link to the new version of your shader - would love to check it out<p>perhaps also make a version that starts from random initial condition as well?<p>looks promising</p>
]]></description><pubDate>Mon, 20 Oct 2025 15:55:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=45645342</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45645342</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45645342</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>Looks closer. Can’t tell from your example if exact.. but seems better</p>
]]></description><pubDate>Mon, 20 Oct 2025 12:44:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=45643267</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45643267</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45643267</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>Very cool!</p>
]]></description><pubDate>Sat, 18 Oct 2025 01:15:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=45623992</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45623992</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45623992</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Sat, 18 Oct 2025 01:14:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=45623984</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45623984</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45623984</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.<p>However, your Shadertoy port doesn't produce equivalent behavior to the original rule—I've tried several corrections in your shader and none match.<p>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.<p>Why the shader port doesn't work:<p>I've successfully implemented this same rule in Taichi (also GPU-based), and comparing the two reveals the issue.<p>The three-phase execution model requires intermediate storage between phases that Shadertoy's ping-pong buffer architecture can't provide.<p>In my Taichi implementation, each phase has its own buffer:<p>- Phase 1 reads node_degree (previous state) and writes to node_next_eligible<p>- Phase 2 reads node_next_eligible and writes to node_next_degree<p>- Phase 3 reads node_next_degree and writes back to node_degree<p>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.<p>To properly implement this in a shader, you'd need either:<p>- A multi-pass setup with three separate render passes and intermediate textures<p>- Clever state packing to encode multiple values (eligibility + degree) in one buffer<p>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."<p>The three-phase execution model with intermediate states is a real architectural requirement, not just an abstraction.<p>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).<p>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.<p>Thanks for pushing me to be more precise about all this though :)</p>
]]></description><pubDate>Sat, 18 Oct 2025 00:30:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=45623722</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45623722</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45623722</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Fri, 17 Oct 2025 00:13:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=45612149</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45612149</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45612149</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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!</p>
]]></description><pubDate>Thu, 16 Oct 2025 19:52:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=45609931</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45609931</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45609931</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Thu, 16 Oct 2025 19:24:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=45609623</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45609623</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45609623</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>Because I was too lazy to refactor it into a ton of modules...</p>
]]></description><pubDate>Thu, 16 Oct 2025 19:22:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=45609600</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45609600</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45609600</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Thu, 16 Oct 2025 18:39:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=45609079</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45609079</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45609079</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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: <a href="https://github.com/novaspivack/lace/blob/master/Realm_of_Lace_Unified_Complete_Guide.md" rel="nofollow">https://github.com/novaspivack/lace/blob/master/Realm_of_Lac...</a></p>
]]></description><pubDate>Thu, 16 Oct 2025 18:14:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=45608814</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45608814</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45608814</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p><a href="https://github.com/novaspivack/lace/blob/master/Rule_Explanation_Realm_of_Lace_Betweenness_Dragons.md" rel="nofollow">https://github.com/novaspivack/lace/blob/master/Rule_Explana...</a><p><a href="https://github.com/novaspivack/lace/blob/master/Betweenness_Proxy_Explanation.md" rel="nofollow">https://github.com/novaspivack/lace/blob/master/Betweenness_...</a></p>
]]></description><pubDate>Thu, 16 Oct 2025 17:52:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=45608527</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45608527</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45608527</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>I've added a bit more explanation<p><a href="https://github.com/novaspivack/lace/blob/master/Rule_Explanation_Realm_of_Lace_Betweenness_Dragons.md" rel="nofollow">https://github.com/novaspivack/lace/blob/master/Rule_Explana...</a><p><a href="https://github.com/novaspivack/lace/blob/master/Betweenness_Proxy_Explanation.md" rel="nofollow">https://github.com/novaspivack/lace/blob/master/Betweenness_...</a><p>These cover only one metric and one rule, but give some more info<p>Here is a more detailed explanation: <a href="https://github.com/novaspivack/lace/blob/master/Realm_of_Lace_Unified_Complete_Guide.md" rel="nofollow">https://github.com/novaspivack/lace/blob/master/Realm_of_Lac...</a></p>
]]></description><pubDate>Thu, 16 Oct 2025 17:50:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=45608500</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45608500</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45608500</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Thu, 16 Oct 2025 17:49:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=45608484</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45608484</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45608484</guid></item><item><title><![CDATA[New comment by airesearcher in "Lace: A New Kind of Cellular Automata Where Links Matter"]]></title><description><![CDATA[
<p>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.<p>No claim is being made that this is a new kind of computation.</p>
]]></description><pubDate>Thu, 16 Oct 2025 17:28:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=45608168</link><dc:creator>airesearcher</dc:creator><comments>https://news.ycombinator.com/item?id=45608168</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45608168</guid></item></channel></rss>