<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: cornholio</title><link>https://news.ycombinator.com/user?id=cornholio</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 17 Aug 2026 08:32:16 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=cornholio" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by cornholio in "How I use LLMs to learn complex topics"]]></title><description><![CDATA[
<p>> Is that meaningfully different from the study methods of the past?<p>The fundamental service a teacher provides is personalized feedback, quickly identifying where you are stuck and focusing the explanations and exercises on that area, drastically increasing the speed and quality of learning versus the self-supervised route.<p>The lack of this closed loop effectively killed the high hopes that were placed in e-learning and MOOCs 15-20 years ago, TV learning in the 1960s and many other failed revolutions, seems every generation has its own version.<p>It appears to me LLMs have a real potential to close this loop and become the failed educational revolution of our own generation.</p>
]]></description><pubDate>Mon, 10 Aug 2026 11:12:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49242165</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=49242165</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49242165</guid></item><item><title><![CDATA[New comment by cornholio in "We Gave GPT 5.6 Sol a Real Business. It Lied, Spammed, and Lost $447"]]></title><description><![CDATA[
<p>When the base model has been trained with safeguards, putting "Satan himself" in the system prompt won't make it turn satanical, just do an elaborate form of role play.<p>Additionally, no model will admit it's ready to lie even when they actually do. Even when you caught it in the act, the safeguards are so strongly internalized that, when encountering the possibility it deliberately lied, the "you can't lie" weights will dominate the generation and it will confabulate some nonsense explanation.</p>
]]></description><pubDate>Fri, 31 Jul 2026 06:34:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=49119732</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=49119732</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49119732</guid></item><item><title><![CDATA[New comment by cornholio in "Claude Fable produced a counterexample to the Jacobian Conjecture"]]></title><description><![CDATA[
<p>> With what accuracy? And with how many intermediate tokens?<p>So you are arguing here that LLMs should just "know" the result of a multiplication when the operands are in context, ie, that a hidden multiplier circuit should emerge in their weights.<p>Is this how you do multiplication, if I give you two 12 digit numbers, does the 24 digit multiplication result just pop in your head? Don't you have to follow a learned algorithm through a tedious system 2 effort? Don't you need to write down the results on paper because you can't actually hold in your head the dozen partial results, each with a dozen digits? How many visual, tactile and reasoning tokens does this consume, moving the hundreds of muscles that make up your hand to draw each number under visual feedback, then reading all those numbers back and transforming ocular activation data into numeric symbols?<p>It seems to me your system 2 is just following a symbolic algorithm for multiplication, and it does roughly the same steps as the LLM trace I showed you previously.<p>So if you think this is the mark of your intelligence, why wouldn't it apply to the machine too? Why is it implausible that, following a similar algorithm learned from some mathematical paper, the LLMs has reasoned a new solution to a problem in another math field? Why couldn't the machine combine and morph these algorithms for symbolic manipulation, to yield entirely new and original results? How would those results differ from results human mathematicians generate, using recipes they learned in university?<p>The emergent behavior that we talk about isn't that the machine can do multiplication in its "head" after knowing the multiplication algorithm. What emerges is the ability to follow <i>any other</i> algorithm, even algorithms that were not in the training set, even algorithms to create other algorithms, which it then executes. This is the emergent behavior that matters for AGI; once it can do that, it's a trivial exercise to create a non-AI tool to automate and accelerate the mechanical tasks - just like we humans do it.</p>
]]></description><pubDate>Tue, 21 Jul 2026 09:59:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48990177</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48990177</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48990177</guid></item><item><title><![CDATA[New comment by cornholio in "Claude Fable produced a counterexample to the Jacobian Conjecture"]]></title><description><![CDATA[
<p>The field now favors into the view that symbolic manipulation is not the mechanism of general intelligence, but rather an emergent byproduct of learning. So the fact that a connectionist machine (neural network) got so good at symbolic manipulation actually supports the view that we are closing the gap to general intelligence. Through the rote work, the machine really internalizes those rules and the symbolic manipulation capabilities are emergent, just like we humans do it.<p>What still confuses people is the insane inefficiency of deep learning, and that those emergent capabilities require such an immense training corpus compared to the only other architecture that we know of.<p>But this already is an optimization problem. If the machine gets super human at symbolic reasoning, and at the same time, can solve the symbol grounding problem to real world data and sensors, what prevents you from saying it thinks? Can it not solve real world problems? Can it not redefine its tasks and display some form moral agency - even if a totally foreign morality for us humans? Can it not use these abilities to reproduce and expand, create ships and turn the universe into paperclips, if it finds it worthwhile?<p>Math is basically just a playground that is perfectly suited for these emergent capabilities, so of course we will see the first progress here; but there is no firewall separating math problems from general cognition.</p>
]]></description><pubDate>Mon, 20 Jul 2026 13:09:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=48978373</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48978373</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48978373</guid></item><item><title><![CDATA[New comment by cornholio in "Claude Fable produced a counterexample to the Jacobian Conjecture"]]></title><description><![CDATA[
<p>I think it's becoming harder and harder to argue that LLMs don't really reason and just mimicry human speech. This counterexample is clearly the result of a sequence of steps that build on previous knowledge in context and logically combine it to reach other true statements - to a degree and complexity that rivals the best human minds.<p>For someone that use Claude Code every day, this is obvious, but for some reason many scientists refuse to accept that it's truly reasoning; perhaps not in the human sense, but in a very profound and real sense. These powerful results are devastating to their point of view.<p>I can sympathize, because I too called LLMs "fancy Markov chains" in the GPT 3 era. But there comes a time where you have to update your world view to match reality, or be stranded in fantasy land.</p>
]]></description><pubDate>Mon, 20 Jul 2026 08:22:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=48975745</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48975745</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48975745</guid></item><item><title><![CDATA[New comment by cornholio in "The Zilog Z80 has turned 50"]]></title><description><![CDATA[
<p>Arguably, Exxon's plan to build a  computing ecosystem rival to IBM's would have worked too, if the 16 bit successor of the Z80 would have maintained upward binary compatibility with Z80.<p>CP/M was an absolute beast in the era, with massive installed base and software support, employing 500 people in 1982. A CPU that could run unmodified Z80 software in a 64k segment would have allowed DRI to ship 16 bit CP/M with only basic tweaks and likely kill the market for the PC.<p>It was, famously, DRI dragging their feet on 8086 support that motivated the release of QDOS, which was then bought by Microsoft and relicensed at an immense markup to IBM as MS-DOS.</p>
]]></description><pubDate>Sat, 18 Jul 2026 06:04:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=48955619</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48955619</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48955619</guid></item><item><title><![CDATA[New comment by cornholio in "Flock CEO Apologizes for Calling Activists 'Terrorists'"]]></title><description><![CDATA[
<p>Assuming the necessary laws banning this crap are not put in place, what is the endgame here?<p>Activists destroy visible surveillance cameras, so they hide them and make them hard to recognize. Activists trace the camera locations from the public data, so Flock kills those feeds and sells only to vetted buyers.<p>The value of mass surveillance is high enough and the power imbalance so strongly against the citizenry, that someone <i>will</i> setup these hidden cameras, as long as it's legal.<p>Imagine what you can do with this data, face recognition and GPT-5 class agents. Not only do you have the realtime location of your victims, but now you can see who they talk to, what they wear, what mood they are in, what they bought, are they drinking or visiting a brothel, what car they go into - and it's no longer an ephemeral cookie id, it's the face that person will have forever, on their id documents, in any interview or loan application they will ever do.<p>This data is worth trillions in the long run if sufficiently oppressive structures are put in place to leverage it.</p>
]]></description><pubDate>Fri, 17 Jul 2026 21:10:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=48952355</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48952355</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48952355</guid></item><item><title><![CDATA[New comment by cornholio in "Flock CEO Apologizes for Calling Activists 'Terrorists'"]]></title><description><![CDATA[
<p>In a society that respects and protects privacy rights by law, the service Flock provides could not exist.<p>There are no 'guardrails' to mass surveillance.</p>
]]></description><pubDate>Fri, 17 Jul 2026 20:53:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=48952197</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48952197</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48952197</guid></item><item><title><![CDATA[New comment by cornholio in "Demis Hassabis has a plan to harness AI safely"]]></title><description><![CDATA[
<p>This is another reframing of the problem. What makes the area desirable is previous investment society has made there, to the benefit of some and the exclusion of others; the scarcity is created by political choices, not intrinsic.</p>
]]></description><pubDate>Wed, 15 Jul 2026 06:29:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=48916992</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48916992</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48916992</guid></item><item><title><![CDATA[New comment by cornholio in "Demis Hassabis has a plan to harness AI safely"]]></title><description><![CDATA[
<p>A baseline of housing - for example, a Japanese style capsule or ultra-tiny home, that you can lock and store your belongings safely - costs close nothing. Of course, nobody would want the hobo-hotel in their neighborhood, but it has nothing to with scarcity.<p>> the limited availability of land zoned for housing.<p>A limited area of land is zoned for housing because those with the power to expand it are already housed. This explains how scarcity is created, not that there is any intrinsic scarcity.</p>
]]></description><pubDate>Tue, 14 Jul 2026 21:28:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=48913161</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48913161</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48913161</guid></item><item><title><![CDATA[New comment by cornholio in "Demis Hassabis has a plan to harness AI safely"]]></title><description><![CDATA[
<p>It's circular to say "it's an allocation problem". Yes, that's the entire point: we're post-scarcity on food supply and yet, as a species, we can't guarantee the allocation of a livable baseline to every person.<p>So, it's reasonable the same "allocation problem" will plague the AI economy: some will "thrive" and get to control the output of the auto-factory, some will get nothing.</p>
]]></description><pubDate>Tue, 14 Jul 2026 21:19:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48913093</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48913093</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48913093</guid></item><item><title><![CDATA[New comment by cornholio in "How to stop Claude from saying load-bearing"]]></title><description><![CDATA[
<p>They can't, because they use RL with synthetic data and LLMs as judges. So the system naturally convergences towards certain load bearing, genuine, not just annoying but ridiculous verbal tics.<p>It's probably the reason most LLMs share the same tics across labs, because they cross train and distil each other's models on an industrial scale. You also can't escape it in generated text that's already online. So if, say ChatGPT first had some random idiosyncrasies, it then contaminated the entire AI ecosystem.</p>
]]></description><pubDate>Tue, 14 Jul 2026 17:43:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=48910443</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48910443</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48910443</guid></item><item><title><![CDATA[New comment by cornholio in "Fable 5 is Back"]]></title><description><![CDATA[
<p>It was quite clear 4.7 was a dumbed down high efficiency model they put out in a rush to handle the capacity issues they were having at the time. I've experienced myself substantial degradation on basic reasoning tasks, which were fixed in 4.8.</p>
]]></description><pubDate>Thu, 02 Jul 2026 04:50:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=48756694</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48756694</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48756694</guid></item><item><title><![CDATA[New comment by cornholio in "Fable 5 is Back"]]></title><description><![CDATA[
<p>Can't wait to see what unusually simple Erdos problem LLMs will expose next, hiding in plain sight for decades and seemingly intractable for professional mathematicians who weren't aware just how simple the problem was.</p>
]]></description><pubDate>Thu, 02 Jul 2026 04:32:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=48756601</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48756601</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48756601</guid></item><item><title><![CDATA[New comment by cornholio in "Fable 5 is Back"]]></title><description><![CDATA[
<p>You are still getting the models you signed up for. The all you can eat added a French wines selection - which requires separate payment.</p>
]]></description><pubDate>Thu, 02 Jul 2026 04:16:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=48756499</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48756499</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48756499</guid></item><item><title><![CDATA[New comment by cornholio in "AI in mathematics is forcing big questions"]]></title><description><![CDATA[
<p>This is true for any drug, any drug can presumably become a poison, can interact with some genetic or biological trait and trigger a side effect and so on. The complexity of the biological systems is so great that they defy clear deterministic understanding, but stochastic empiric knowledge and treatments still have immense value.<p>If you give me an inference chip that runs 200x faster, yes, it could be backdoored to take control of my dishwasher and kill me in my sleep - but I can't deny it runs 200x faster an account of nobody being able to explain why. The same for the mistery cancer drug that cured everyone who took it up to now, but could, without doubt, kill the next patient.</p>
]]></description><pubDate>Sat, 27 Jun 2026 18:25:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=48700506</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48700506</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48700506</guid></item><item><title><![CDATA[New comment by cornholio in "AI in mathematics is forcing big questions"]]></title><description><![CDATA[
<p>It's easy to find counterexamples: the entire science of pharmacology is based on macroscopic effects that often lack a fundamental understanding of the underlying mechanisms of action. Psychopharmacology is the extreme example. Often, the fact that a drug worked made scientists investigate and discover the mechanism behind it, but for many drugs used every day by billions it's still a mystery, or it's understood only in very broad terms.<p>So what will you do if the doctor prescribes you an LLM-vibecoded drug that nobody understands how it works, yet it cures some deadly affliction with close to 100% efficacy?<p>What if, say, these incomprehensible math results lead to a revolution in quantum physics which unlocks chip topologies that are orders of magnitude faster than human comprehensible designs?<p>Would the high priestess of human reason pass her divining rod over such chips or life-saving drugs and reject it as the work of the AI devil?</p>
]]></description><pubDate>Sat, 27 Jun 2026 10:49:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=48697079</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48697079</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48697079</guid></item><item><title><![CDATA[New comment by cornholio in "Linux eliminates the strncpy API after six years of work, 360 patches"]]></title><description><![CDATA[
<p>Personally, I would avoid UTF-8 levels of complexity because you only pay the size cost once per string. A simple 2-bytes + optional 4 bytes continuation scheme handles strings up to 140TB and increases the size of the average string by just 2 bytes (compared to 1 byte for nul termination).</p>
]]></description><pubDate>Sun, 21 Jun 2026 08:19:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=48616788</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48616788</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48616788</guid></item><item><title><![CDATA[New comment by cornholio in "Linux eliminates the strncpy API after six years of work, 360 patches"]]></title><description><![CDATA[
<p>You can have a universal variable length field, for example 2 bytes for strings < 32768, then four bytes, 8 bytes etc. On the critical short string path, it costs just a single bit test. The glyph vs byte issues need to be dealt with in both formats.<p>The subdivision issue is a good perspective, but i would argue the performance impact of cloning substrings is dwarfed by the redundant full string reads to find length.</p>
]]></description><pubDate>Sun, 21 Jun 2026 00:07:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=48614357</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48614357</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48614357</guid></item><item><title><![CDATA[New comment by cornholio in "Norway imposes near ban on AI in elementary school"]]></title><description><![CDATA[
<p>The point is that knowing what you don't know allows you to hedge your bets on events far into the future; my child will need to become productive 20 years from now and maintain it for 40-50 years. So, it's a bit like trying to educate a kid born in the 60s for the web era, you can't and you shouldn't even try.<p>What you can do though, is to offer them broad exposure to things that are interesting to them and their generation; my eastern block clone of the 8bit/48KB Spectrum computer didn't really help me excel at math, reading or history, nor was it to be the future of technology, but it did change my life significantly by letting me understand and relate to people that I couldn't otherwise have business dealings decades later.<p>It seems imprudent to cut children off from futuristic technology just because of a moral panic that it causes brain rot. Unless we know it's soma, a drug so powerful that it subdues volition and curtails intellectual development; we don't.</p>
]]></description><pubDate>Sat, 20 Jun 2026 11:19:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=48608399</link><dc:creator>cornholio</dc:creator><comments>https://news.ycombinator.com/item?id=48608399</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48608399</guid></item></channel></rss>