<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: muldvarp</title><link>https://news.ycombinator.com/user?id=muldvarp</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 09 Apr 2026 13:57:15 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=muldvarp" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by muldvarp in "Ask HN: Please restrict new accounts from posting"]]></title><description><![CDATA[
<p>Creating more friction can also lead to a higher percentage of bots. I for one immefiately leave when I realize that I need to jump through several hoops before I'm actually allowed to participate on a site. Someone building a bot farm on the other hand is probably willing to tolerate quite some friction before giving up.</p>
]]></description><pubDate>Mon, 09 Mar 2026 07:27:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=47305825</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=47305825</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47305825</guid></item><item><title><![CDATA[New comment by muldvarp in "NRC issues first commercial reactor construction approval in 10 years [pdf]"]]></title><description><![CDATA[
<p>The two that came online in 2023 and 2024 are hardly a success story if you look at their history.</p>
]]></description><pubDate>Thu, 05 Mar 2026 10:57:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=47260175</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=47260175</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47260175</guid></item><item><title><![CDATA[New comment by muldvarp in "What every compiler writer should know about programmers (2015) [pdf]"]]></title><description><![CDATA[
<p>Not really, no. If you use a regex library it is very likely that 80% of that code is effectively dead code.</p>
]]></description><pubDate>Tue, 17 Feb 2026 09:33:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=47045419</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=47045419</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47045419</guid></item><item><title><![CDATA[New comment by muldvarp in "What every compiler writer should know about programmers (2015) [pdf]"]]></title><description><![CDATA[
<p>I'd love for you to write a C compiler that does this and then realize how much dead code there is in your C projects.</p>
]]></description><pubDate>Tue, 17 Feb 2026 09:29:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=47045391</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=47045391</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47045391</guid></item><item><title><![CDATA[New comment by muldvarp in "What every compiler writer should know about programmers (2015) [pdf]"]]></title><description><![CDATA[
<p>A C compiler is a relatively simple program (especially if you don't want any optimizations based on undefined behavior). If a large part of the userbase is unhappy with the way most modern C compilers work, they could easily write a "friendly"/"boring" C compiler.</p>
]]></description><pubDate>Tue, 17 Feb 2026 08:28:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=47045009</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=47045009</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47045009</guid></item><item><title><![CDATA[New comment by muldvarp in "“Erdos problem #728 was solved more or less autonomously by AI”"]]></title><description><![CDATA[
<p>Everyone who works for a living is about to have a really bad time.</p>
]]></description><pubDate>Sat, 10 Jan 2026 15:53:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=46566715</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46566715</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46566715</guid></item><item><title><![CDATA[New comment by muldvarp in "Xr0 verifier, guarantee the safety of C programs at compile time"]]></title><description><![CDATA[
<p>Xr0 isn't any simpler than for example Frama-C. In fact one of the simplest (but still useful) systems for statically tracking ownership is Rusts borrow checker, which the authors of Xr0 say is _too_ simple.</p>
]]></description><pubDate>Wed, 07 Jan 2026 21:18:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=46532990</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46532990</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46532990</guid></item><item><title><![CDATA[New comment by muldvarp in "Xr0 verifier, guarantee the safety of C programs at compile time"]]></title><description><![CDATA[
<p>The initial sign for Xr0 never seemed promising for anyone with experience in formal verification. Neither the code nor the ideas they presented were new. I asked them multiple times to clarify how their project differed from the dozens of already existing options for formal verfication of C programs and never got a concrete answer.</p>
]]></description><pubDate>Sun, 04 Jan 2026 02:48:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=46484306</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46484306</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46484306</guid></item><item><title><![CDATA[New comment by muldvarp in "Ask HN: Anti-AI Open Source License?"]]></title><description><![CDATA[
<p>> and I explicitly do not want it used to train AI in any fashion<p>Then don't release it. There is no license that can prevent your code from becoming training data even under the naive assumption that someone collecting training data would care about the license at all.</p>
]]></description><pubDate>Sun, 28 Dec 2025 14:48:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=46411432</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46411432</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46411432</guid></item><item><title><![CDATA[New comment by muldvarp in "AI Slop Report: The Global Rise of Low-Quality AI Videos"]]></title><description><![CDATA[
<p>Do you define "AI slop" as "easily identifiable as AI"?</p>
]]></description><pubDate>Sun, 28 Dec 2025 10:11:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=46409968</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46409968</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46409968</guid></item><item><title><![CDATA[New comment by muldvarp in "AI Slop Report: The Global Rise of Low-Quality AI Videos"]]></title><description><![CDATA[
<p>> What's the end game?<p>What makes you think that there is an "end game"?<p>Someone figured out how to make computers be able to create content that is costly to distinguish from human-made content. Someone else is using it to pump out AI slop in the hopes that it will make them a quick buck. The platform becomes unusable for anyone that values their own sanity. No "end game" to be found.<p>AI will be the worst thing that happened to society in a very long time.</p>
]]></description><pubDate>Sun, 28 Dec 2025 09:34:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=46409740</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46409740</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46409740</guid></item><item><title><![CDATA[New comment by muldvarp in "Rob Pike goes nuclear over GenAI"]]></title><description><![CDATA[
<p>The quotation marks indicate that _I_ don't think it is. Especially given that modern deep learning is over-paramaterized to the point that it interpolates training examples.</p>
]]></description><pubDate>Fri, 26 Dec 2025 16:47:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=46393727</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46393727</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46393727</guid></item><item><title><![CDATA[New comment by muldvarp in "Rob Pike goes nuclear over GenAI"]]></title><description><![CDATA[
<p>> Unfortunately as I see it, even if you want to contribute to open source out of a pure passion or enjoyment, they don't respect the licenses that are consumed.<p>Because it is "transformative" and therefore "fair" use.</p>
]]></description><pubDate>Fri, 26 Dec 2025 14:48:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=46392489</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46392489</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46392489</guid></item><item><title><![CDATA[New comment by muldvarp in "AI's Unpaid Debt: How LLM Scrapers Destroy the Social Contract of Open Source"]]></title><description><![CDATA[
<p>This to me is the most ridiculous thing about the whole AI situation. Piracy is now apparently just okay as long as you do it on an industrial scale and with the expressed intention of hurting the economic prospects of the authors of the pirated work.<p>Seems completely ridiculous when compared to the trouble I was in that one time I pirated a single book that I was unable to purchase.</p>
]]></description><pubDate>Fri, 19 Dec 2025 23:51:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=46332343</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46332343</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46332343</guid></item><item><title><![CDATA[New comment by muldvarp in "How elites could shape mass preferences as AI reduces persuasion costs"]]></title><description><![CDATA[
<p>But the entire promise of AI is that things that were expensive because they required human labor are now cheap.<p>So if good things happening more because AI made them cheap is an advantage of AI, then bad things happening more because AI made them cheap is a disasvantage of AI.</p>
]]></description><pubDate>Thu, 04 Dec 2025 09:46:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=46145692</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46145692</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46145692</guid></item><item><title><![CDATA[New comment by muldvarp in "Helldivers 2 devs slash install size from 154GB to 23GB"]]></title><description><![CDATA[
<p>Well yes? Have you played the game? It's got lot of content and is very pretty.<p>Those high resolution textures will just take space. You could obviously decrease the graphical fidelity but I'd guess that most players (me very much included) would rather play a very pretty 23GB Helldivers II than a 5GB ugly Helldivers II.<p>150GB was very annoying, ironically forcing me to install it to a HDD. 23GB isn't even worth thinking about for me.</p>
]]></description><pubDate>Wed, 03 Dec 2025 22:46:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=46141332</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46141332</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46141332</guid></item><item><title><![CDATA[New comment by muldvarp in "PS5 now costs less than 64GB of DDR5 memory. RAM jumps to $600 due to shortage"]]></title><description><![CDATA[
<p>> Probably most of it at least, because under your supposition that the AGI will replace labor we'll get incredibly cheap products and services as a result.<p>No, we will get cheap _labor_, not necessarily cheap _products_.<p>> You weren't talking about inherent value when you wrote "Super-intelligence will make labor worthless (or very cheap) it won't make property worthless." which is what I replied to.<p>I was talking about value, not price.<p>> AIs controlled by governments would scare me indeed.<p>What is the difference?<p>> Are you joking?! How many cars do you think Altman can buy?!<p>Why would Elon need to sell more cars? And for what exactly? You have nothing Elon wants.<p>> Maybe I can't sell coding in the age of AI but I can sell my ability to understand, verify and control complex systems with code written by AIs.<p>Unless the super-intelligence is better than you here too. Why wouldn't it be?<p>> Adaptation, creativity and innovation is the name of the game.<p>It is the name of the game until super-intelligence comes along which will be better at all of this than you. That's exactly the scary thing about super-intelligence.<p>> My point was that Elon and rich people are interested in you as a customer, not for your labor.<p>This is the same thing. I can only be a customer if I can bring something to the table that Elon wants from me. That thing is money. I can only bring money to the table if someone that has money needs something I can provide. That thing is human labor. If super-intelligence removes the economic value of human labor, I can no longer earn money and consequently Elon will not be interested in me as a customer.<p>> See yourself as selling and buying products and services, not your labor, and the world will be full of opportunities.<p>Where exactly is the difference between me "selling a service" and me selling "labor"?<p>> "The rich" won't seem like a separate class from you, but regular people you can interact and profit from (while mutually benefiting).<p>I doesn't matter whether or not you see the rich as a seperate class. What matters is simply the following:<p>People who own a lot of stuff, don't sell their labor and/or buy a lot of labor will profit if labor becomes cheap. People who don't own a lot of stuff, sell their labor and don't buy a lot of labor face an existential threat if labor becomes cheap.</p>
]]></description><pubDate>Thu, 27 Nov 2025 19:10:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=46072320</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46072320</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46072320</guid></item><item><title><![CDATA[New comment by muldvarp in "We're losing our voice to LLMs"]]></title><description><![CDATA[
<p>You assume that detecting AI content is trivial. It isn't.</p>
]]></description><pubDate>Thu, 27 Nov 2025 18:56:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=46072188</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46072188</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46072188</guid></item><item><title><![CDATA[New comment by muldvarp in "We're losing our voice to LLMs"]]></title><description><![CDATA[
<p>> I guess just don’t go there.<p>How do you know? A lot of the stuff I see online could very much be produced by LLMs without me ever knowing. And given the economics I suspect that some of it already is.</p>
]]></description><pubDate>Thu, 27 Nov 2025 18:54:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=46072164</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46072164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46072164</guid></item><item><title><![CDATA[New comment by muldvarp in "We're losing our voice to LLMs"]]></title><description><![CDATA[
<p>Writing nice sounding text used to require effort and attention to detail. This is no longer the case and this very useful heuristic has been completely obliterated by LLMs.<p>For me personally, this means that I read less on the internet and more pre-LLM books. It's a sad development nevertheless.</p>
]]></description><pubDate>Thu, 27 Nov 2025 18:42:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=46072057</link><dc:creator>muldvarp</dc:creator><comments>https://news.ycombinator.com/item?id=46072057</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46072057</guid></item></channel></rss>