<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: hodgehog11</title><link>https://news.ycombinator.com/user?id=hodgehog11</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 13 Oct 2026 03:37:09 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=hodgehog11" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by hodgehog11 in "Show HN: PS2 games statically recompiled to WebAssembly"]]></title><description><![CDATA[
<p>You can definitely still get PCSX2 working on it though, and it's fantastic. PS2 and PS3 games are among my favourite uses for handheld PCs.</p>
]]></description><pubDate>Mon, 12 Oct 2026 11:15:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=50054674</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50054674</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50054674</guid></item><item><title><![CDATA[New comment by hodgehog11 in "The gap in shared understanding of LLM capability is widening"]]></title><description><![CDATA[
<p>I'm normally not the cynical type, and I am appreciative of Karpathy's efforts to educate people on developing language models, but this is exactly how it reads.<p>Every once in a while, everyone needs to touch grass.</p>
]]></description><pubDate>Mon, 12 Oct 2026 08:10:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=50053035</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50053035</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50053035</guid></item><item><title><![CDATA[New comment by hodgehog11 in "An open-source, clean-room reimplementation of Microsoft Word in pure Rust"]]></title><description><![CDATA[
<p>Agreed, every behavior of this particular dev supports the hypothesis that they are producing mass slop to a "good enough" level to receive massive hype, without the intention to put in the thousands of GPU-hours it would require to polish (actually, the estimated roadmap is growing rapidly in expected timeframe as the AI understands the difficulty of the task). I expect there to be more and more of these crappy surface-level implementations before people lose interest and the dev drops all of it.</p>
]]></description><pubDate>Mon, 12 Oct 2026 07:12:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=50052476</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50052476</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50052476</guid></item><item><title><![CDATA[New comment by hodgehog11 in "OpenAI, the Partition Principle, and Mathematics"]]></title><description><![CDATA[
<p>Indeed! Almost none of these most math folks are likely to read. The only thing to read is the statement, which is only a handful of lines in both cases. The point of Lean is that if that statement compiles and is validated by hand to be equivalent to the natural language statement, then it is true. That was what I was trying to say here.</p>
]]></description><pubDate>Fri, 09 Oct 2026 12:04:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=50019311</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50019311</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50019311</guid></item><item><title><![CDATA[New comment by hodgehog11 in "OpenAI, the Partition Principle, and Mathematics"]]></title><description><![CDATA[
<p>That's fair, but I would argue that reading the specification is very easy by comparison. A quick one hour tutorial is usually enough judging from my students' experiences.</p>
]]></description><pubDate>Fri, 09 Oct 2026 07:22:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=50017204</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50017204</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50017204</guid></item><item><title><![CDATA[New comment by hodgehog11 in "OpenAI, the Partition Principle, and Mathematics"]]></title><description><![CDATA[
<p>Why do you believe that learning Lean is a better use of time when the AI is clearly better at writing and interpreting Lean than it is writing quality papers? At this point, Lean is for autoformalization, no one is really supposed to read it.</p>
]]></description><pubDate>Fri, 09 Oct 2026 06:53:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=50016960</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50016960</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50016960</guid></item><item><title><![CDATA[New comment by hodgehog11 in "What should we tell our students?"]]></title><description><![CDATA[
<p>Do you care to share then? Because anyone I know with any sense right now is aware that "planning for the next forty or so years" is genuinely impossible at this point, especially in mathematics, and the right approach is to remain on your toes, ride the waves, and diversify as much as possible. Heck, even planning for the next five years seems absurd. This is a time of immense uncertainty, and to think otherwise is foolish.</p>
]]></description><pubDate>Fri, 09 Oct 2026 04:45:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=50016077</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50016077</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50016077</guid></item><item><title><![CDATA[New comment by hodgehog11 in "“Math 2.0” will need to value mathematical progress more holistically"]]></title><description><![CDATA[
<p>Yes. Most probably do not understand the notation involved in, and the statement of, the Lindeberg-Levy Central Limit Theorem. But every scientist uses this theorem in one way or another. These ideas have a way of trickling down because to people who work thanklessly to do so.</p>
]]></description><pubDate>Thu, 08 Oct 2026 07:55:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=50003019</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50003019</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50003019</guid></item><item><title><![CDATA[New comment by hodgehog11 in "“Math 2.0” will need to value mathematical progress more holistically"]]></title><description><![CDATA[
<p>"Plausible" text was preferred over rational text when we trained LLMs using RLHF. It's rapidly shifting the other way now with RLVR, which enforces correctness by default.</p>
]]></description><pubDate>Thu, 08 Oct 2026 07:54:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=50003008</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50003008</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50003008</guid></item><item><title><![CDATA[New comment by hodgehog11 in "“Math 2.0” will need to value mathematical progress more holistically"]]></title><description><![CDATA[
<p>No, this is different, and this is coming from someone who has been studying deep learning for the last decade. We are talking about the difference between RLHF and RLVR strategies. The former benefits clarity and explanation, while the latter concerns only correctness. AI was moving in a particularly damaging direction by pushing on the first path, so it was natural to move to the second. But the second will come at the cost of clarity of explanation. It will likely get better at its explanations, but not fast enough to render its most advanced accomplishments readily understandable to the user. The chess example is a pretty good one (that is an RLVR approach).</p>
]]></description><pubDate>Thu, 08 Oct 2026 07:36:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=50002876</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=50002876</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50002876</guid></item><item><title><![CDATA[New comment by hodgehog11 in "LeCun has "zero concerns" about AI wiping out humanity, recent "rogue" incidents"]]></title><description><![CDATA[
<p>The first mistake that you are making is assuming that OpenAI is a singular conglomerate with the same set of values across its members, and that its researchers bear the same set of behaviors and opinions as its scummy executives. It isn't. The OpenAI researchers are probably a group of their mates, and they have every belief that they are being just as honest as any of their other colleagues. These antagonistic relationships do not really exist between research institutions; that is an invention of outsiders and marketing departments. Everyone is from the same group.<p>I don't see the report as absolving the industry of wrongdoing. In fact, I believe it is <i>particularly damning</i>, and many of my colleagues feel the same. No one is on the side of OpenAI here, not even its own members.<p>As for submitting the report back to OpenAI for comment and working with them, given that there is currently <i>no government mandate or requirement for any AI company to disclose wrongdoing</i>, this seems like an unfortunate necessity. Independent bodies and governing agencies have to be created. At the moment, it is the industry regulating itself, which means no regulation at all.<p>So no, you do not need to believe that the document is truth. But it is all that we will likely get, because nobody with any power will do a damn thing. That is just as frustrating to the researchers as it is to you. The solution is not to defund the institutes doing needed research. It is to put laws or incentives or <i>something</i> in place to punish inappropriate behavior and lack of disclosure for the companies.</p>
]]></description><pubDate>Tue, 06 Oct 2026 06:55:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=49975121</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49975121</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49975121</guid></item><item><title><![CDATA[New comment by hodgehog11 in "LeCun has "zero concerns" about AI wiping out humanity, recent "rogue" incidents"]]></title><description><![CDATA[
<p>Many of the most prominent people in the AI industry all know each other or have deep social ties. Why? Because they all came from the same places. Neural network research was niche circa 2012 and early adopters post AlexNet were few in number, especially compared to today. This by itself does not infer a conflict of interest. If you believe so, then you might be surprised to find that <i>all</i> research is like this in <i>every</i> field. The most prominent players were part of the initial niche. Sub-optimal, yes, but this is the reality.<p>Now, I do not know METR, and have not interacted with its staff. $120m is pretty normal for these types of groups as I understand. METR clearly has even tighter ties to the AI companies than any of the groups I do know, so I agree that calling them independent is a bit of a joke. Even without the explicit labels from their website, there are shockingly few degrees of separation in this entire field. The conferences are big, workshops are designed to be highly social, and the stakes feel high.<p>Regarding the timeframe and limited material, that's pretty standard now. You do what you can.<p>Now, none of this necessarily invalidates what they did. Yes, there is big money in AI, and that money hires people, but there quite a lot of geeky researchers in these groups <i>that genuinely only care about the science</i>. That level of neurodivergence might be difficult for most people to comprehend, especially if you're focusing on the politics, but these are the types of people attracted to this line of work.<p>Put yourself in the shoes of these researchers. You are really interested in AI and how it works, and you convince yourself that this is potentially moral to work on because of a possible threat to humanity. You apply to work at one of these groups. You find similarly-minded people and work together on trying to figure things out. Maybe your boss is a sleazebag in bed with the industry, or maybe they're not. You do not care. You work on this, you publish notes and papers, you comment on LessWrong or X, and you leave the company if they don't let you do this stuff, because there are dozens of others.<p>Most of the public don't know these guys or this work, because they only focus on the crappy and irresponsible companies leading the AI development charge, and alignment research is <i>so unbelievably hard and slow</i>. I can go into the why if you're interested, but the reason is that it is extraordinarily difficult to make progress if your objective is only vaguely defined. This is the same problem with the Yang-Mills mass gap, for example, although I would personally bet that Yang-Mills has a much better chance of being solved than alignment. Just a different tier of difficulty altogether.<p>I also disagree that p(doom) work (I don't think this describes more than 1% of the work out there, closest I can think of is Tegmark's group, which put it pretty high from recollection) advances the pace of AI. I don't believe it is doing anything. Nobody externally believes it anyway (why would they?). These companies are run by narcissists who believe that they should be the ones to reach "superintelligence".</p>
]]></description><pubDate>Tue, 06 Oct 2026 03:19:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=49973757</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49973757</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49973757</guid></item><item><title><![CDATA[New comment by hodgehog11 in "Math's pedagogical curse – Grant Sanderson [video] (2023)"]]></title><description><![CDATA[
<p>I think most supervisors try to discourage students from writing in this way because there is a delicate art to it that you are unlikely to be able to meet at that career stage. When I read some of the texts from Martin Hairer and Cedric Villani in my field (or even Riemann's famous paper on the zeta function), you can see that they are motivational and informative but still concise at the same time. Full of personality too, especially Villani. That's a hard balance and it requires exceptional understanding of the topic and the reader.<p>At the same time, we really should be encouraging it more. I have found that in newer machine learning theory papers (strictly theory, not empirical work), there is something closer to a good balance that is expected even of students.<p>Including a motivating example is key to this, and should be considered mandatory.</p>
]]></description><pubDate>Sun, 04 Oct 2026 11:48:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=49953051</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49953051</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49953051</guid></item><item><title><![CDATA[New comment by hodgehog11 in "LeCun has "zero concerns" about AI wiping out humanity, recent "rogue" incidents"]]></title><description><![CDATA[
<p>> The outcome of this 'safety' is restricting public access to AI and giving a monopoly of access to the industry.<p>This is unbelievably ignorant speech. I have not received a dime of any of this funding, but I do know many excellent researchers that have, and they do fantastic work. There is an unbelievable gap between theory and practice regarding the capacity of deep learning, and while great strides have been made to develop the surrounding theory, there is a long way to go. Many believe that without a concrete understanding of how neural networks properly learn concepts, we have little hope of molding them to be reliably useful. It costs money to hire researchers and develop fundamental theory.<p>Just because <i>you</i> don't understand any of that work, does not mean that it is pointless. This is fundamental research that is 20 years behind schedule.</p>
]]></description><pubDate>Sun, 04 Oct 2026 09:52:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49952297</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49952297</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49952297</guid></item><item><title><![CDATA[New comment by hodgehog11 in "Newgrounds.com – A community of games, music, and art"]]></title><description><![CDATA[
<p>Maybe just nostalgia talking, but the height of Newgrounds really seemed like a golden age for light gaming. The shift to mobile games has just resulted in a large number of gambling simulators, which I'm sure has been a key reason for the popularity of Kalshi, Polymarket, etc.</p>
]]></description><pubDate>Sat, 03 Oct 2026 03:32:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=49941158</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49941158</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49941158</guid></item><item><title><![CDATA[New comment by hodgehog11 in "Responsible Release of AI-Generated Mathematics"]]></title><description><![CDATA[
<p>This is a fantasy I remember hearing in grad school. Get a little more senior and the whole perception shatters. You can put whatever rubbish you want out there. But if you are getting attention, or want attention, you have to play by the rules. Those rules are whatever the community dictates. Otherwise, why would Nick Polson be at risk of being discredited? It's no different from any other field, math is not special. Correctness is a necessity. It is not sufficient.</p>
]]></description><pubDate>Thu, 01 Oct 2026 23:35:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=49928265</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49928265</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49928265</guid></item><item><title><![CDATA[New comment by hodgehog11 in "Responsible Release of AI-Generated Mathematics"]]></title><description><![CDATA[
<p>This was my point though. Not sure why you are disagreeing? The original argument was that there was no criteria for publication other than replication, or that is how I read it. I was refuting that.<p>Perelman was already working on an interesting problem, and wrote in ways that were less formal, but still academically sound, so of course he did not need to publish it. What about the people working on problems that are not interesting? You don't think they encounter significant difficulties getting their work out there?</p>
]]></description><pubDate>Thu, 01 Oct 2026 23:27:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49928217</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49928217</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49928217</guid></item><item><title><![CDATA[New comment by hodgehog11 in "Responsible Release of AI-Generated Mathematics"]]></title><description><![CDATA[
<p>Absolutely not. Otherwise, if I prove something original, and it is correct and replicable, this would mean I can publish in Annals of Mathematics. Now if we narrow that to publishing <i>somewhere</i>, then sure, but that's irrelevant. This is about values for prominent results (e.g. Annals) for mathematicians.</p>
]]></description><pubDate>Thu, 01 Oct 2026 14:22:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49922094</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49922094</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49922094</guid></item><item><title><![CDATA[New comment by hodgehog11 in "Responsible Release of AI-Generated Mathematics"]]></title><description><![CDATA[
<p>Care to explain? If a paper is not interesting, it would not get past reviewers. Unless "interesting" is not part of the criteria for entry to the journal? That sounds <i>interesting</i> if true, but that certainly has never been my experience.<p>I feel like I am going crazy, since this is taught in most academic writing courses. Being replicable or persuasive or correct is not enough. It needs to be perceived as valuable, or it will not get through. I learned that the hard way, and found others that taught this message only later.</p>
]]></description><pubDate>Thu, 01 Oct 2026 14:15:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49921989</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49921989</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49921989</guid></item><item><title><![CDATA[New comment by hodgehog11 in "Responsible Release of AI-Generated Mathematics"]]></title><description><![CDATA[
<p>No you can't, have you published in top journals before? You can only publish what the community finds valuable, period.</p>
]]></description><pubDate>Thu, 01 Oct 2026 13:14:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=49921242</link><dc:creator>hodgehog11</dc:creator><comments>https://news.ycombinator.com/item?id=49921242</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49921242</guid></item></channel></rss>