<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: feanaro</title><link>https://news.ycombinator.com/user?id=feanaro</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 10 Oct 2026 11:03:13 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=feanaro" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by feanaro in "Sharing AI progress in mathematics"]]></title><description><![CDATA[
<p>I mean, this is possible, but it seems quite unlikely if you take a good impartial look. It's nothing I personally dislike, in fact I enjoy LLMs when they are understood as what they are, which is a tool.<p>What I do not don are these rose-tinted, thought-terminating glasses which make people <i>assume</i> that this just must be an impenetrable product of superhuman intelligence.</p>
]]></description><pubDate>Thu, 08 Oct 2026 19:53:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=50011159</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=50011159</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50011159</guid></item><item><title><![CDATA[New comment by feanaro in "The Slow Formation of Durable Software"]]></title><description><![CDATA[
<p>No, it's just a word for which LLMs have an inordinately large bias, so it's often found in blog posts written by one.</p>
]]></description><pubDate>Thu, 08 Oct 2026 19:36:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=50010901</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=50010901</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50010901</guid></item><item><title><![CDATA[New comment by feanaro in "Sharing AI progress in mathematics"]]></title><description><![CDATA[
<p>How is it not true here? Plenty of papers in this release are hard to follow, use non-standard terminology, make hard to understand leaps, and so forth.</p>
]]></description><pubDate>Thu, 08 Oct 2026 10:44:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=50004190</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=50004190</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50004190</guid></item><item><title><![CDATA[New comment by feanaro in "The Future of Mathematics"]]></title><description><![CDATA[
<p>Even if it were not, it is a wise aim, unlike ceding understanding to a robot.</p>
]]></description><pubDate>Mon, 05 Oct 2026 22:48:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=49971859</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49971859</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49971859</guid></item><item><title><![CDATA[New comment by feanaro in "The Advisory Group on Mathematics and Artificial Intelligence"]]></title><description><![CDATA[
<p>Of course, sorry if that came across as more combative than necessary. I was trying to point out two things I guess:<p>1. "Your experience is not universal from my perspective, and I offer my experience as evidence"<p>2. The possibility that this adaptation you are observing is neither a stable equilibrium given future developments, nor is necessarily an indication that the people using AI have bought into it fully. I use AI heavily while remaining a sceptic.</p>
]]></description><pubDate>Thu, 24 Sep 2026 09:58:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49828438</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49828438</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49828438</guid></item><item><title><![CDATA[New comment by feanaro in "AI Has No Wisdom and Neither Will You"]]></title><description><![CDATA[
<p>What exactly is appalling? Are you referring to something in the sentence you quoted?</p>
]]></description><pubDate>Tue, 22 Sep 2026 13:21:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=49800857</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49800857</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49800857</guid></item><item><title><![CDATA[New comment by feanaro in "The Advisory Group on Mathematics and Artificial Intelligence"]]></title><description><![CDATA[
<p>It's possible and I dare say even likely that you are missing nuance and observing bias from your bubble. It's possible to avoid being an AI "opponent" while still being a sceptic. It's possible to use AI reluctantly and with tact instead of going all in.<p>The whole thing is far from over when we haven't experienced the worst of the technology yet: deskilling, concentration of power, extreme imbalance of wealth, military and surveillance uses, etc.</p>
]]></description><pubDate>Tue, 22 Sep 2026 09:09:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=49798376</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49798376</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49798376</guid></item><item><title><![CDATA[New comment by feanaro in "The Advisory Group on Mathematics and Artificial Intelligence"]]></title><description><![CDATA[
<p>I think this matters very little. These were adaptations to initial advances of small scope which we are rapidly leaving behind. If there is truly no near and practical ceiling to the abilities of AI in mathematics, not even in terms of efficiency, then I think it is likely there is similarly no ceiling in other cognitive endeavours.<p>In that case, everything stands to be disrupted and those who wield AI will have massive amounts of power in the short term. But this is not a stable situation, and therefore those who wield AI will have to cede control of it or otherwise enter into a great war with those that do not.<p>I hope for all our sakes that there is a practical ceiling.</p>
]]></description><pubDate>Mon, 21 Sep 2026 23:44:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49794955</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49794955</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49794955</guid></item><item><title><![CDATA[New comment by feanaro in "25 years of mass surveillance is enough"]]></title><description><![CDATA[
<p>Are you advocating for inaction? If so, what do you wish to achieve?</p>
]]></description><pubDate>Tue, 15 Sep 2026 14:54:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49713513</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49713513</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49713513</guid></item><item><title><![CDATA[New comment by feanaro in "GPT-6 Astra"]]></title><description><![CDATA[
<p>If you consider the data on which an LLM was trained on to be points on a very highly multidimensional object, the claim is that the LLM can interpolate a convex hull spanned by those points, therefore recovering a subset of consequences attainable from those points. Obviously this hull includes completely novel points that were not present in the initial data set, so the output of the LLM goes beyond its initial training. And yet, there are clearly points outside a convex hull spanned by any finite number of points, such that we can imagine not all possible outputs are attainable using this method.<p>The claim is furthermore that truly original thinking, the infamous <i>leaps</i> in understanding and creativity, happen by attaining points outside such a convex hull.<p>It's hard to rigorously verify or disprove this claim. Hopefully this helps build an intuition of why the claim is not as shallow and obviously wrong as it may seem initially.</p>
]]></description><pubDate>Fri, 04 Sep 2026 02:22:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=49559757</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49559757</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49559757</guid></item><item><title><![CDATA[New comment by feanaro in "Screen viewing time from age 1 to 8 years and subsequent academic performance"]]></title><description><![CDATA[
<p>Full text: <a href="https://hal.science/hal-05643897" rel="nofollow">https://hal.science/hal-05643897</a></p>
]]></description><pubDate>Tue, 25 Aug 2026 11:25:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=49432081</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=49432081</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49432081</guid></item><item><title><![CDATA[New comment by feanaro in "A sociotechnical threat model for AI-driven smart home devices"]]></title><description><![CDATA[
<p>Surveillance is decidedly and completely unlike locks.</p>
]]></description><pubDate>Sun, 05 Jul 2026 18:35:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=48796694</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=48796694</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48796694</guid></item><item><title><![CDATA[New comment by feanaro in "Programmers need to start meditating"]]></title><description><![CDATA[
<p>> This is the million dollar we'll see answered in our lifetime. Software engineering exists to automate work, are we arrogant to think we are not destined to the same fate? Is this truly a job befitting of a human over an agent?<p>There is a fine distinction here that I believe is often glossed over, so the two things it's delineating get muddled together. One of those two things is coding—the rote, mechanical encoding of meaning into computer instructions. It can be argued the LLM is fit to take this out of hands hands almost entirely, and it's almost indisputable the LLM is better at this in at least a certain sizeable subset of coding tasks.<p>But the other thing is the choosing, determination, specification of the intended meaning itself. This I think is squarely the job of the human, because letting this fall through to the AI means it is no longer the human that is making the decisions. This then becomes not merely automating work but ceding control. This, ultimately, is a bad thing.<p>So if we accept the premise that the specification of the intended meaning is the job of the human, the question is how you do that. Today many of us do it somewhat half-assedly, by writing lots of natural language text at the LLM and hoping it sticks. It is our hope that the text, given that there is a lot of it, will drive the stochastic machine in a sufficiently correct direction. This works to a degree—meaning we've ceded some control but not the majority of it—not least because we still read (most) of the code but cannot work in the limit, if code reading ceases.<p>A more proper way to specify the intended meaning is to specify (or "model") your system formally in a system that is mechanically verifiable. Then the final artefact produced by the LLM can be validated by verifying that it aligns with the specification. However this type of high-assurance specification looks a lot like a certain type of programming. In my opinion, writing this kind of specification is the future of human software engineering.<p>I do not accept the approach of simply rolling the dice and hoping the machine knows better than us, though I'm sure that church is also going to have its acolytes.</p>
]]></description><pubDate>Sun, 05 Jul 2026 18:32:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=48796659</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=48796659</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48796659</guid></item><item><title><![CDATA[New comment by feanaro in "Programmers need to start meditating"]]></title><description><![CDATA[
<p>What is also lower is your understanding of the change. So yes, if you are now essentially only doing the final mile of paper pushing for the LLM, then the mental burden is lower but so is the assurance of what has just transpired.<p>Whether this mode of working is going to be long-term viable is going to depend on how important it is for you to be aware of what has happened for the system in question, how viable the economics are for the LLM usage at this level of assurance and how much ownership you exert over the LLM used or another similarly powered one (because otherwise the LLM can be taken away from you, leaving you at the mercy of a third party with goals that do not align with your own).</p>
]]></description><pubDate>Sun, 05 Jul 2026 13:13:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48794059</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=48794059</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48794059</guid></item><item><title><![CDATA[New comment by feanaro in "Anonymous GitHub account mass-dropping undisclosed 0-days"]]></title><description><![CDATA[
<p>> How do you type an em-dash? Is it OS specific?<p>On Linux X11 at least, you can enable the Compose key and then press `<Compose>---` which results in — and `<Compose>--.` which gives you –</p>
]]></description><pubDate>Sat, 27 Jun 2026 18:57:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48700731</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=48700731</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48700731</guid></item><item><title><![CDATA[New comment by feanaro in "Disagreement among frontier LLMs on real-world fact-checks"]]></title><description><![CDATA[
<p>> The almond thing is false, but I'd argue that "misleading" might be defensible if you were to accompany it with "the majority of almonds are grown in California, but not all of them".<p>The "majority" in this case meaning about 51%, according to Wikipedia[1]? How could 51% ever be considered to be close to "all", such that "misleading" would be a valid answer?<p>Am I missing something?<p>[1]: <a href="https://en.wikipedia.org/wiki/Almond#Production" rel="nofollow">https://en.wikipedia.org/wiki/Almond#Production</a></p>
]]></description><pubDate>Thu, 28 May 2026 13:23:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48308628</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=48308628</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48308628</guid></item><item><title><![CDATA[New comment by feanaro in "TimeCapsuleLLM: LLM trained only on data from 1800-1875"]]></title><description><![CDATA[
<p>> I mean, "the pieces were already there" is true of everything? Einstein was synthesizing existing math and existing data is your point right?<p>If it's true of everything, then surely having an LLM work iteratively on the pieces, along with being provided additional physical data, will lead to the discovery of everything?<p>If the answer is "no", then surely something is still missing.<p>> And the "anyone who read all the right papers" thing - nobody actually reads all the papers. That's the bottleneck. LLMs don't have it. They will continue to not have it. Humans will continue to not be able to read faster than LLMs.<p>I agree with this. This is a definitive advantage of LLMs.</p>
]]></description><pubDate>Tue, 13 Jan 2026 00:23:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=46595909</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=46595909</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46595909</guid></item><item><title><![CDATA[New comment by feanaro in "TimeCapsuleLLM: LLM trained only on data from 1800-1875"]]></title><description><![CDATA[
<p>No, by saying this, I am <i>not</i> downplaying Einstein's sizeable achievements nor trying to imply everyone was wrong about him. His was an impressive breadth of knowledge and mathematical prowess and there's no denying this.<p>However, what I'm saying is not mere nitpicking either. It is precisely because of my belief in Einstein's extraordinary abilities that I find it unconvincing that an LLM being able to recombine the extant written physics-related building blocks of 1900, with its practically infinite reading speed, necessarily demonstrates comparable capabilities to Einstein.<p>The essence of the question is this: would Einstein, having been granted eternal youth and a neverending source of data on physical phenomena, be able to innovate forever? Would an LLM?<p>My position is that even if an LLM <i>is</i> able to synthesise special relativity given 1900 knowledge, this doesn't necessarily mean that a positive answer to the first question implies a positive answer to the second.</p>
]]></description><pubDate>Tue, 13 Jan 2026 00:20:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=46595893</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=46595893</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46595893</guid></item><item><title><![CDATA[New comment by feanaro in "TimeCapsuleLLM: LLM trained only on data from 1800-1875"]]></title><description><![CDATA[
<p>This alone still wouldn't be a clear demonstration that AGI is around the corner. It's quite possible a LLM could've done Einstein's job, if Einstein's job was truly just synthesising already available information into a coherent new whole. (I couldn't say, I don't know enough of the physics landscape of the day to claim either way.)<p>It's still unclear whether this process could be merely continued, seeded only with new physical data, in order to keep progressing beyond that point, "forever", or at least for as long as we imagine humans will continue to go on making scientific progress.</p>
]]></description><pubDate>Mon, 12 Jan 2026 19:23:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=46592974</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=46592974</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46592974</guid></item><item><title><![CDATA[New comment by feanaro in "Don't fall into the anti-AI hype"]]></title><description><![CDATA[
<p>No, that's a completely different concept, because we have faultless machines which perfectly and deterministically translate high-level code into byte-level machine code. This is another case of (nearly) perfect abstraction.<p>On the other hand, the whole deal of the LLM is that it does so stochastically and unpredictably.</p>
]]></description><pubDate>Mon, 12 Jan 2026 09:39:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=46586145</link><dc:creator>feanaro</dc:creator><comments>https://news.ycombinator.com/item?id=46586145</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46586145</guid></item></channel></rss>