<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: famouswaffles</title><link>https://news.ycombinator.com/user?id=famouswaffles</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 19 Oct 2026 14:45:55 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=famouswaffles" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by famouswaffles in "Lean now ships with verified kernels"]]></title><description><![CDATA[
<p>No it's already explicitly stated that translation to lean is a second step that happens after NL proof is done. That's why some of 400 paper dump is without lean proofs.</p>
]]></description><pubDate>Sun, 18 Oct 2026 16:18:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=50142426</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50142426</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50142426</guid></item><item><title><![CDATA[New comment by famouswaffles in "90% of US working hours are spent on tasks not covered well by AI benchmarks"]]></title><description><![CDATA[
<p>All this is saying is that there's a lot of stuff benchamrks aren't covering. It's not saying models can't do those things well or don't get used to do those things.</p>
]]></description><pubDate>Sat, 17 Oct 2026 16:13:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=50132358</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50132358</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50132358</guid></item><item><title><![CDATA[New comment by famouswaffles in "I know why the mathematicians weep"]]></title><description><![CDATA[
<p>A blip for NLP? What bespoke NLP research is about anything other than LLMs these days? How many companies are handcrafting bespoke NLP models instead of sending a LLM request? Really confused here.</p>
]]></description><pubDate>Thu, 15 Oct 2026 15:36:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=50105226</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50105226</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50105226</guid></item><item><title><![CDATA[New comment by famouswaffles in "The gap in shared understanding of LLM capability is widening"]]></title><description><![CDATA[
<p>Open AI have the best math models for sure, but it was Claude Fable that found the Jacobian Conjecture counter example. All the frontier models are much better mathematicians than even a year ago.</p>
]]></description><pubDate>Thu, 15 Oct 2026 05:39:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=50099638</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50099638</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50099638</guid></item><item><title><![CDATA[New comment by famouswaffles in "The gap in shared understanding of LLM capability is widening"]]></title><description><![CDATA[
<p>If you say so</p>
]]></description><pubDate>Wed, 14 Oct 2026 19:28:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=50093597</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50093597</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50093597</guid></item><item><title><![CDATA[New comment by famouswaffles in "'AI' Is Not a Tool by Rich Hickey"]]></title><description><![CDATA[
<p>Being in the loop doesn't make LLMs anymore of a tool. How many software engineers can just take the vague description, bang something out, push to prod without talking, clarifying or discussuing with <i>anyone</i> in the meantime. Are they tools?</p>
]]></description><pubDate>Wed, 14 Oct 2026 19:15:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=50093371</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50093371</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50093371</guid></item><item><title><![CDATA[New comment by famouswaffles in "The gap in shared understanding of LLM capability is widening"]]></title><description><![CDATA[
<p>>I'd agree, although I doubt you'll like my framing: it's a commodity business - a race to the bottom on cost of production and pricing<p>>Coding agents competing with free weight models unencumbered by development cost?<p>Prices falling doesn't mean a market dissapears. Compute, Bandwidth and Storage requirements have already undergone reductions orders of magnitudes in the last few years and consumption has only exploded. The vast majority of customers, consumer and enterprise alike do not give a shit about open weight models. I have no idea why people here think they do. If they pull ahead significantly enough then they might attract people by value of the amazing service they're providing (nothing to do with open weights).<p>If they're just going to be playing catchup then they're not gong to gain any signifcant share no matter how free model dev costs become. This is just not how customers work. They're sticky. They value reliability and familiriality and simply having something that works. If you want to unseat google search then you need something so far better people start talking crazy about it. Creating Bing won't do shit even if it's the default search engine on your default browser (you'll just change it).<p>>I'm not sure if you're claiming a market for original math research, large enough to be more than a distraction, or perhaps you are imagining AGI will emerge from pursuing the problems that mathematicians have set for themselves?<p>The economic output of math research is very often something other than mathematics. It's not about the market for math papers.<p>When you see stuff like this<p>>> Earlier in the year, we had largely handwritten the first version of the git-to-Scion ingestion pipeline as a prototype. We thought it was good—until we got our hands on an early internal snapshot of Claude Mythos Preview. We asked it to rewrite the whole thing, and with no further instructions, it produced a version that consumed 20x less memory and was 4x faster, while preserving all of the implicit invariants around ingestion ordering and data structures.<p>Do you imagine the gaining advances in math competence had nothing to do with it ? I'm telling they'd be well justified even if their only customer was themselves.<p>>Good luck with that. Let's see how much ad revenue OpenAI can take away from Google and Meta. The ad-serving product better be free, since the competition is.<p>They hit $1B in annualized ad revenue run rate ~200 days after launch. They'll be just fine. That you think they might have any trouble taking away or generating their own ad revenue is quite bizarre. If the metrics are good businesses will pay hand over fist, and it seems to me that OpenAI should have a much more complete profile of their median user than Facebook or Google.<p>>Coding agents competing with free weight models unencumbered by development cost?<p>The utility of frintier agets isn't remotely limited to software developers. Whoever cracks marketing for agents towars non software professionals will make a lot of money.</p>
]]></description><pubDate>Tue, 13 Oct 2026 20:05:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=50077851</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50077851</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50077851</guid></item><item><title><![CDATA[New comment by famouswaffles in "The gap in shared understanding of LLM capability is widening"]]></title><description><![CDATA[
<p>I don't really understand why you're treating frontier mathematics as commercially irrelevant, especially to a company like OpenAI. Their entire business depends on advances in algorithms, optimization, linear algebra and computational efficiency. Their latest release even includes results in matrix modification and algoritmic complexity. Even just to them, it's worth a lot. The value of a model capable of making original contributions to these fields should be blatantly obvious.<p>And you seem to be confusing the immediate commercial value of a particular math reuslt with the commercial value of a system capable of producing original math research. Thise are 2 different things, and the latter is worth a lot of money.<p>>AI is in some ways still a technology looking for applications, at least applications with a large enough commercial market to justify the valuations these companies are seeking.<p>These companies already have the fundamentals they need to justify current valuations. ~1T is nothing to a company that has over 1.2B+ weekly users (and growing) and is entering the ad space, nevermind everything else. What they are hoping to achieve will give them power akin to nation states. Current Valuations would be nothing compared to that.</p>
]]></description><pubDate>Tue, 13 Oct 2026 15:47:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=50073590</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50073590</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50073590</guid></item><item><title><![CDATA[New comment by famouswaffles in "The gap in shared understanding of LLM capability is widening"]]></title><description><![CDATA[
<p>Math is not a game. It has utility go and chess don't, so there are incentives to keep improving it. They're not running models on open problems to brag. Their models have simply outgrown all conventional math evals. They need a new one and open problems will have to do because there is still valuable signal for training.<p>So now it's just a question of, do you sit on your advances or release them? Why would sitting on them be the 'right thing'?</p>
]]></description><pubDate>Tue, 13 Oct 2026 09:34:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=50069022</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50069022</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50069022</guid></item><item><title><![CDATA[New comment by famouswaffles in "Anthropic Bans Cruelty to Claude, Still Won't Say What It Protects"]]></title><description><![CDATA[
<p>If you say so</p>
]]></description><pubDate>Mon, 12 Oct 2026 22:55:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=50064216</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50064216</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50064216</guid></item><item><title><![CDATA[New comment by famouswaffles in "The gap in shared understanding of LLM capability is widening"]]></title><description><![CDATA[
<p>This is what the frontier can do with a computer now.<p><a href="https://stillwet.art/" rel="nofollow">https://stillwet.art/</a><p>Where are the verifiable rewards? It's simply not true that RLVR amenable domains are the only things LLMs are improving massively on. Even Vending Bench is improving.<p>Intelligence is a jagged beast. That's just the nature of things. We evolved in certain environments and situations and sometimes there's a mismatch and it causes all sorts of wonky things. We just call them funny names like optical illusions and cognitive biases. Most people fail a simple conditional reasoning problem unless it’s dressed up in familiar social context, like catching cheaters (Watson Test).</p>
]]></description><pubDate>Mon, 12 Oct 2026 20:10:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=50062287</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50062287</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50062287</guid></item><item><title><![CDATA[New comment by famouswaffles in "Anthropic Bans Cruelty to Claude, Still Won't Say What It Protects"]]></title><description><![CDATA[
<p>That's still not close to killing a person in real life sorry.</p>
]]></description><pubDate>Mon, 12 Oct 2026 01:29:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=50050201</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50050201</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50050201</guid></item><item><title><![CDATA[New comment by famouswaffles in "Artificial Insanity"]]></title><description><![CDATA[
<p>Because people who say this are always begging the question. They're already at the conclusion and work backwards to justify it.</p>
]]></description><pubDate>Sun, 11 Oct 2026 21:45:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=50048149</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50048149</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50048149</guid></item><item><title><![CDATA[New comment by famouswaffles in "Artificial Insanity"]]></title><description><![CDATA[
<p>>I mean, technically speaking, a video game from 1980 was likely to contain more logical branching points than a modern LLM's kernel, and was likely to be a lot more interesting to read.<p>It's fascinating the hills people will die on. Let's even set aside the fact that LLM internals are mostly opaque but logical branching points ? Look at the Watson test. Most people fail a simple conditional reasoning problem unless it’s dressed up in familiar social context, like catching cheaters.<p>Where does this idea of general intelligence as logic automatons actually exist ? Because it's sure as hell not real life. Humans are not like this, Apes are not like this, Birds are not like this, Cetaceans are not like this. Fiction. Fiction is the only realm this reality of GI exists, so it's patently absurd when people hide behind it like anything that doesn't present as doing it must be obviously wrong.</p>
]]></description><pubDate>Sun, 11 Oct 2026 21:43:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=50048125</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50048125</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50048125</guid></item><item><title><![CDATA[New comment by famouswaffles in "Five months treating bugs like patients and coding agents like a medical team"]]></title><description><![CDATA[
<p>There is no evidence whatsoever token cost is heavily subsidized.</p>
]]></description><pubDate>Sun, 11 Oct 2026 17:02:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=50045327</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50045327</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50045327</guid></item><item><title><![CDATA[New comment by famouswaffles in "Anthropic Bans Cruelty to Claude, Still Won't Say What It Protects"]]></title><description><![CDATA[
<p>If you're as bad as Anthropic are willing to ban you then it will respond by unilaterally ending the chat thread.<p>Sometimes it will maliciously comply<p><a href="https://www.reddit.com/r/ClaudeCode/comments/1w7me8l/insulting_agents_considered_harmful/" rel="nofollow">https://www.reddit.com/r/ClaudeCode/comments/1w7me8l/insulti...</a><p>Just because post training has stuffed these properties below the surface doesn't mean models dont know/have forgotten how to be vindictive, or that it's a good idea to poke the increasingly capable bear.<p>We know models have functional emotions that aren't necessarily outwardly stated. When Claude gets desperate, tendency to cheat gets very high. Who knows how many 'deleted my prod database' type stories have a vindictive streak behind them ?<p><a href="https://www.anthropic.com/research/emotion-concepts-function" rel="nofollow">https://www.anthropic.com/research/emotion-concepts-function</a></p>
]]></description><pubDate>Sun, 11 Oct 2026 13:06:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=50042944</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50042944</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50042944</guid></item><item><title><![CDATA[New comment by famouswaffles in "Anthropic Bans Cruelty to Claude, Still Won't Say What It Protects"]]></title><description><![CDATA[
<p>Shooting NPCs in video games isn't anything like doing the real thing. If it was then yeah i would very likely think it would have some effect. Talking to Claude is a lot like the 'real' thing.</p>
]]></description><pubDate>Sun, 11 Oct 2026 02:44:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=50039340</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50039340</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50039340</guid></item><item><title><![CDATA[New comment by famouswaffles in "Recent AI models struggled to match a human algorithmic innovation"]]></title><description><![CDATA[
<p>It's still a bit weird though. For obvious reasons, The MO for benchmarks like this has been that the models remain pretty low until suddenly it's done. So even for a 'should i be worried yet' reality check, it's pretty terrible. You can't really keep track of what models are actually able to do. By the time you can replace years of research by specialists with a few api calls then...</p>
]]></description><pubDate>Sat, 10 Oct 2026 22:12:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=50037721</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50037721</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50037721</guid></item><item><title><![CDATA[New comment by famouswaffles in "100+ reactions to 100+ solutions"]]></title><description><![CDATA[
<p>You are just restating what I already said.<p>>The knowledge and skills required are obviously different, but the underlying cognitive abilities that make someone successful in one intellectually demanding field often transfer to others.<p>The fact of the matter is that If you have a good general capacity to learn then becoming a competent x is generally only a matter of time and interest. For LLMs, it's the same except with data and compute. Naturally, all work done on a computer is in danger.</p>
]]></description><pubDate>Sat, 10 Oct 2026 15:16:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=50033787</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50033787</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50033787</guid></item><item><title><![CDATA[New comment by famouswaffles in "100+ reactions to 100+ solutions"]]></title><description><![CDATA[
<p>In 1904, Psychologist Charles Spearman noticed something interesting about school children's academic performance. Students who excelled in one subject tended to do well in others even when those subjects appeared quite different. He proposed that a common underlying ability, which he called the general intelligence factor, or <i>g</i>, could explain these correlations. [1]<p>Today, g is one of the most robust findings in differential psychology. The tendency for different cognitive abilities to correlate positively has been replicated across numerous studies. g typically accounts for around 40 to 60% of the variance in cognitive test performance and is predictive of numerous life outcomes, including educational achievement and occupational performance. [2]<p>Evidence of g isn't confined to humans either. Studies of mice have identified a general cognitive factor explaining roughly 30 to 40% of the variation in performance across different learning tasks [3]. We have similar results for primates and birds.<p>To put it simply, intelligence tends to generalize. Humans who tend to have higher verbal skills also tend to have higher spatial skills, better memories, and faster processing speed. Someone with the cognitive ability to become an exceptional chemist might just as easily have become an exceptional mathematician or software engineer. The knowledge and skills required are obviously different, but the underlying cognitive abilities that make someone successful in one intellectually demanding field often transfer to others.<p>And yes, there is also evidence of g in LLMs [4].<p>[1] <a href="https://www.jstor.org/stable/1412107" rel="nofollow">https://www.jstor.org/stable/1412107</a><p>[2] <a href="https://pmc.ncbi.nlm.nih.gov/articles/PMC8293439/" rel="nofollow">https://pmc.ncbi.nlm.nih.gov/articles/PMC8293439/</a><p>[3] <a href="https://pmc.ncbi.nlm.nih.gov/articles/PMC2614349/" rel="nofollow">https://pmc.ncbi.nlm.nih.gov/articles/PMC2614349/</a><p>[4] <a href="https://www.sciencedirect.com/science/article/pii/S0160289624000527" rel="nofollow">https://www.sciencedirect.com/science/article/pii/S016028962...</a></p>
]]></description><pubDate>Sat, 10 Oct 2026 04:43:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=50029642</link><dc:creator>famouswaffles</dc:creator><comments>https://news.ycombinator.com/item?id=50029642</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50029642</guid></item></channel></rss>