<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: nickysielicki</title><link>https://news.ycombinator.com/user?id=nickysielicki</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 08 Oct 2026 18:52:40 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=nickysielicki" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by nickysielicki in "OpenAI Withdraws 3 Math Papers"]]></title><description><![CDATA[
<p>I mean git commit by git commit. Which is how it looks when you use the right tool, eg: lean4</p>
]]></description><pubDate>Thu, 08 Oct 2026 15:28:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=50007009</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=50007009</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50007009</guid></item><item><title><![CDATA[New comment by nickysielicki in "OpenAI withdraws three mathematical results"]]></title><description><![CDATA[
<p>You’re right. But to quote Don Draper, “That’s what the money’s for!”</p>
]]></description><pubDate>Thu, 08 Oct 2026 15:27:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=50006997</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=50006997</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50006997</guid></item><item><title><![CDATA[New comment by nickysielicki in "OpenAI withdraws three mathematical results"]]></title><description><![CDATA[
<p>1. why can’t the so called “real mathematicians” (as if mathematics does not belong to all of us) write the lean theorems by hand and then we let the machine fill the rest in? They are very upset that they can no longer contribute to frontier mathematics. This would let them contribute.<p>2. Why shouldn’t math progress happen in the open, commit by commit? Why is it so horrible if a proof is 95% of the way there but we later find that it needs to be refined? Mathematics previously was optimizing for an antiquated publishing and distribution scheme. There is no need for the first print to be correct. We have the internet now. We can and should publish incomplete results and correct things on the fly. Maybe mathematicians would have solved some of these problems years ago if they didn’t hide incomplete almost solutions in their filing cabinet because it wasn’t yet ready to be published.<p>You don’t hate the pageantry of mathematics and academics enough.</p>
]]></description><pubDate>Thu, 08 Oct 2026 14:18:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=50006116</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=50006116</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50006116</guid></item><item><title><![CDATA[New comment by nickysielicki in "Gemini 4 Argon"]]></title><description><![CDATA[
<p>The important take away here: the leapfrogging we’ve seen this year doesn’t seem to be a temporary thing. The famous theory of Dario Amodei was that AI was this winner-takes-all field where the first team to get a head start would never cede ground back. The term he liked to use was, “concentrating”. This is yet another datapoint that he was wrong about that. AI seems more distributed amongst neoclouds and traditional hyperscalers, FAANG and startups, GPUs and ASICs than it did this time a year ago.<p>Nobody has a moat.</p>
]]></description><pubDate>Wed, 30 Sep 2026 20:19:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49913802</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49913802</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49913802</guid></item><item><title><![CDATA[New comment by nickysielicki in "DeepSeek v4.1 Flash Is Now Our Best Hacking Model"]]></title><description><![CDATA[
<p>When the history books are written and all is said and done, the hubris of this moment where all the American labs decided to punk their investors and join hand in hand in agreeing to let the Chinese win forever is going to be the main story.</p>
]]></description><pubDate>Wed, 16 Sep 2026 15:27:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=49728531</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49728531</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49728531</guid></item><item><title><![CDATA[New comment by nickysielicki in "Anthropic boss Dario Amodei calls for AI development to slow down"]]></title><description><![CDATA[
<p>This also explains why Gemini is lagging, they don’t have an nvidia training cluster.</p>
]]></description><pubDate>Sat, 12 Sep 2026 19:37:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=49676345</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49676345</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49676345</guid></item><item><title><![CDATA[New comment by nickysielicki in "We must pace the frontier"]]></title><description><![CDATA[
<p>Yes, but if you read up two messages in this thread they’re discussing whether AI is power concentrating by default. If you concentrate power through regulation, that’s not “by default”. That’s just corruption in government resulting in a concentration of power.</p>
]]></description><pubDate>Sat, 12 Sep 2026 18:57:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49675885</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49675885</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49675885</guid></item><item><title><![CDATA[New comment by nickysielicki in "Anthropic boss Dario Amodei calls for AI development to slow down"]]></title><description><![CDATA[
<p>> The number of folks with the technical chops to really push on the forefront of AI is just not that big.<p>Utter bullshit. We are still scaling transformer architectures initially introduced ten years ago. Ten years of phds trying to improve on what Google produced ten years ago, mostly failing.<p>What has actually changed and can explain the progress we’ve seen? Do you really think it’s just a collection of better and badder RL gyms? Get real!<p>The main thing driving progress in ai is massive amounts of capital investment and incremental improvements in hardware (mostly memory bandwidth/capacity) and computer networking (we got better at collectives). The AI labs, ironically, have nothing to do with it. They’re the vessel for capital. The people actually driving things forward mainly work at nvidia.<p>The reason the models are better today than they were 3 years ago is almost exclusively due to better hardware and infrastructure software. Not better data, not better model architecture. The evidence of this is pretty easy to feel: the reason opus 5 doesn’t feel much more capable than opus 4.6 did is because they run on the same hardware generation. The reason opus 4.6 felt much more capable than anything before it is because it coincided with the scale out of a new hardware generation.</p>
]]></description><pubDate>Sat, 12 Sep 2026 17:35:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=49674853</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49674853</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49674853</guid></item><item><title><![CDATA[New comment by nickysielicki in "We must pace the frontier"]]></title><description><![CDATA[
<p>> The best models are owned by a few companies<p>In terms of cost per task, the open weight Chinese models are winning by a long shot. So it depends on what you mean by the best model.</p>
]]></description><pubDate>Sat, 12 Sep 2026 15:40:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=49673466</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49673466</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49673466</guid></item><item><title><![CDATA[New comment by nickysielicki in "A misalignment of AI in mathematics"]]></title><description><![CDATA[
<p>Mathematics belongs to all of us. If mathematicians get depressed about it, I don't give a hoot. Five years of guided computer-aided math could improve billions of lives or solve global warming outright through cheap clean energy.<p>This is a litmus test for the effective altruists in AI labs: fashion or conviction? The social pressure is to slow down and let the guild keep its norms a few more years. But what's clearly best for humanity is to push forward violently and leave them in the dust. A Fields medalist's feelings are not more important than the wellbeing of the planet.</p>
]]></description><pubDate>Sat, 12 Sep 2026 02:04:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49667932</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49667932</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49667932</guid></item><item><title><![CDATA[New comment by nickysielicki in "Muse – Meta’s personal AI agent"]]></title><description><![CDATA[
<p>I named mine Claude</p>
]]></description><pubDate>Wed, 09 Sep 2026 02:26:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=49620058</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49620058</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49620058</guid></item><item><title><![CDATA[New comment by nickysielicki in "Muse – Meta’s personal AI agent"]]></title><description><![CDATA[
<p>People are unfortunately just ranting about not trusting meta, which… okay, fine, but having played around with this for the past hour or so it’s probably my favorite mobile LLM experience so far across Claude and ChatGPT and Gemini. It’s very good and in its own class.</p>
]]></description><pubDate>Wed, 09 Sep 2026 02:24:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49620044</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49620044</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49620044</guid></item><item><title><![CDATA[New comment by nickysielicki in "Fastpotify"]]></title><description><![CDATA[
<p>Music is relatively small. Tor is totally capable of hosting zlibrary without bandwidth restrictions getting in the way.<p>By plausible deniability I simply meant adopting a similar approach that Stremio has, to keep it on the good side of App Store approval processes. The app itself only allows for creative commons content by default, but with the right incantations it can host anything.</p>
]]></description><pubDate>Tue, 01 Sep 2026 05:40:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=49518353</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49518353</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49518353</guid></item><item><title><![CDATA[New comment by nickysielicki in "Fastpotify"]]></title><description><![CDATA[
<p>Tools for piracy are much better today than they were back in the Napster or grooveshark days. It’s actually kind of shocking to me that we haven’t had a popcorntime moment for music again. Nothing technical is preventing the creation of a perfect decentralized anonymous p2p FLAC streaming platform with plausible deniability.</p>
]]></description><pubDate>Tue, 01 Sep 2026 05:29:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=49518295</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49518295</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49518295</guid></item><item><title><![CDATA[New comment by nickysielicki in "Small Models Have Arrived"]]></title><description><![CDATA[
<p>The conclusion of the bitter lesson would be that a large language model trained on chess commentary as well as being trained on millions of chess games would outperform stockfish which is only trained on millions of chess games. There’s no evidence at this point that this is true.</p>
]]></description><pubDate>Thu, 27 Aug 2026 21:57:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=49471851</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49471851</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49471851</guid></item><item><title><![CDATA[New comment by nickysielicki in "Decompiling a Nintendo 64 game in 84 days"]]></title><description><![CDATA[
<p>Actually it is your code and it is your work.</p>
]]></description><pubDate>Thu, 27 Aug 2026 21:34:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49471575</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49471575</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49471575</guid></item><item><title><![CDATA[New comment by nickysielicki in "Small Models Have Arrived"]]></title><description><![CDATA[
<p>The Bitter Lesson is very popular right now. It seems true right now. It’s having its moment right now. That doesn’t actually mean it’s axiomatically true.<p>Commenter below gets it absolutely correct: stockfish, which runs on your 5 year old phone, is dramatically better at chess than Fable. Like, so much better that it’s not even remotely comparable. The <i>theory</i> of the Bitter Lesson, and it’s only a theory, is that LLMs could eventually outperform stockfish. It’s not true today and it remains to be seen whether it will ever be true. For now, specialized models are absolutely better at specialized tasks.</p>
]]></description><pubDate>Thu, 27 Aug 2026 20:12:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=49470569</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49470569</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49470569</guid></item><item><title><![CDATA[New comment by nickysielicki in "Nvidia agrees to acquire Hugging Face for $13B"]]></title><description><![CDATA[
<p>Why would China want to crash the AI industry? Their goal is not to damage the United States, necessarily. Their goal is to have the best domestic AI on the planet. They intend to do that through the way that they dominate every other industry: good enough quality at a much greater scale.</p>
]]></description><pubDate>Thu, 27 Aug 2026 04:33:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=49459742</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49459742</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49459742</guid></item><item><title><![CDATA[New comment by nickysielicki in "AI Isn't Outthinking Mathematicians. It's Out-Remembering Them"]]></title><description><![CDATA[
<p><i>was</i>. Not is. <i>Was</i>.</p>
]]></description><pubDate>Sat, 15 Aug 2026 20:07:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49313843</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49313843</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49313843</guid></item><item><title><![CDATA[New comment by nickysielicki in "AI Isn't Outthinking Mathematicians. It's Out-Remembering Them"]]></title><description><![CDATA[
<p>Can you give an example of a 4-wheeled vehicle that could move at tens of miles per hour before the automobile was invented?</p>
]]></description><pubDate>Sat, 15 Aug 2026 20:06:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49313830</link><dc:creator>nickysielicki</dc:creator><comments>https://news.ycombinator.com/item?id=49313830</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49313830</guid></item></channel></rss>