<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: smallnamespace</title><link>https://news.ycombinator.com/user?id=smallnamespace</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 26 Jun 2026 23:30:30 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=smallnamespace" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by smallnamespace in "macOS Container Machines"]]></title><description><![CDATA[
<p>> The problem with the filesystem could have been solved by optimizing the Windows kernel<p>Over time this would tie the Windows kernel’s requirements so that they matched the Linux kernel’s due to expectations from WSL1 users. This of course is a bad idea for any engineering organization - you will have requirements imposed on you that don’t mesh well with your <i>other</i> non-WSL users and you also have no real sway over Linux governance. This would lead to the Windows kernel either becoming a clone of Linux or serving at least one set of users poorly.</p>
]]></description><pubDate>Wed, 10 Jun 2026 13:13:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=48475810</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=48475810</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48475810</guid></item><item><title><![CDATA[New comment by smallnamespace in "Cursor Introduces Composer 2.5"]]></title><description><![CDATA[
<p>AI revenue has been going up while the cost per token has been rapidly falling. The Jevons paradox applies here. The cheaper software is, the more software is written. There is not a finite demand for software.</p>
]]></description><pubDate>Tue, 19 May 2026 07:41:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=48190429</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=48190429</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48190429</guid></item><item><title><![CDATA[New comment by smallnamespace in "Amateur armed with ChatGPT solves an Erdős problem"]]></title><description><![CDATA[
<p>It’s not useless, because you can, for example, ask multiple frontier models to do the formalization and see if they agree. And if they have surface-level differences in formalization, you can also ask them whether apparently-different definitions are equivalent.<p>This isn’t perfect of course - perhaps every single model is wrong. But you are too quick to declare that something isn’t useful for arriving at an answer. Reducing the surface area of what needs to be checked is good regardless.</p>
]]></description><pubDate>Mon, 27 Apr 2026 04:11:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=47917615</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=47917615</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47917615</guid></item><item><title><![CDATA[New comment by smallnamespace in "Amateur armed with ChatGPT solves an Erdős problem"]]></title><description><![CDATA[
<p>Yes, and the child comment’s point is that formalizing the problem is likely easier than having the LLM verify that each step of a long deduction is correct, which is why Lean might be helpful.</p>
]]></description><pubDate>Sun, 26 Apr 2026 09:23:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=47908793</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=47908793</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47908793</guid></item><item><title><![CDATA[New comment by smallnamespace in "Her life savings mysteriously disappeared after a systems glitch"]]></title><description><![CDATA[
<p>T-bills are highly liquid. You can sell them before they mature for very low transaction cost and get back their true market value, including the accrued interest, meaning there’s not much monetary benefit to staggering them week by week. You could just as well only roll them once a month and dip in freely if you need the cash.</p>
]]></description><pubDate>Sun, 26 Apr 2026 02:45:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=47906792</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=47906792</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47906792</guid></item><item><title><![CDATA[New comment by smallnamespace in "Nvidia greenboost: transparently extend GPU VRAM using system RAM/NVMe"]]></title><description><![CDATA[
<p>It’s architecturally not a good approach. System RAM is much slower so you should put data that doesn’t need to be used often on it. That knowledge is at the application layer. Adding a CUDA shim makes system RAM appear like VRAM, which gets things to run, but it will never run very well.<p>The benchmarks at the bottom mention memory tiering and manually controlling where things go, but if your application already does that, then you probably don’t also need a CUDA shim. The application should control the VRAM to system memory transfers with boring normal code.</p>
]]></description><pubDate>Thu, 19 Mar 2026 02:43:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=47434238</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=47434238</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47434238</guid></item><item><title><![CDATA[New comment by smallnamespace in "Rainbow Six Siege hacked as players get billions of credits and random bans"]]></title><description><![CDATA[
<p>The market cap is unambiguous, a more correct estimate of "how much to buy all the shares?" is situational and would just distract from getting the point across.</p>
]]></description><pubDate>Sun, 28 Dec 2025 06:06:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=46408858</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=46408858</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46408858</guid></item><item><title><![CDATA[New comment by smallnamespace in "I can't upgrade to Windows 11, now leave me alone"]]></title><description><![CDATA[
<p>> According to the researchers, an unpatched Windows PC connected to the Internet will last for only about 20 minutes before it's compromised by malware, on average. That figure is down from around 40 minutes, the group's estimate in 2003.<p>This was from two decades ago, and cursory searching suggests the average lifetime of an unpatched system is even lower now.<p><a href="https://www.cnet.com/news/privacy/study-unpatched-pcs-compromised-in-20-minutes/" rel="nofollow">https://www.cnet.com/news/privacy/study-unpatched-pcs-compro...</a></p>
]]></description><pubDate>Sun, 21 Dec 2025 23:25:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=46349696</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=46349696</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46349696</guid></item><item><title><![CDATA[New comment by smallnamespace in "What if you don't need MCP at all?"]]></title><description><![CDATA[
<p>Three facts to consider:<p>1. CLAUDE.md is not part of the system prompt<p>2. The Claude Code system prompt almost certainly gives directions about how to deal with MCP tools, and may also include the list of tools<p>3. Instruction adherence is higher when the instructions are placed in the system prompt<p>If you put these three facts together then it’s quite likely that Claude Code usage of a particular tool (in the generic sense) is higher as an MCP server than as a CLI command.<p>But why let this be a limitation? Make an MCP server that calls your bash commands. Claude Code will happily vibe code this for you, if you don’t switch to a coding tool that gives better direct control of your system prompt.</p>
]]></description><pubDate>Mon, 17 Nov 2025 03:02:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=45950518</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=45950518</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45950518</guid></item><item><title><![CDATA[New comment by smallnamespace in "Nvidia DGX Spark: great hardware, early days for the ecosystem"]]></title><description><![CDATA[
<p>I didn't think of it ;)<p>Now that you bring it up, the M3 ultra Mac Studio goes up to 512GB for about a $10k config with around 850 GB/s bandwidth, for those who "need" a near frontier large model. I think 4x the RAM is not quite worth more than doubling the price, especially if MoE support gets better, but it's interesting that you can get a Deepseek R1 quant running on prosumer hardware.</p>
]]></description><pubDate>Wed, 15 Oct 2025 14:48:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=45593479</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=45593479</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45593479</guid></item><item><title><![CDATA[New comment by smallnamespace in "Nvidia DGX Spark: great hardware, early days for the ecosystem"]]></title><description><![CDATA[
<p>An 14-inch M4 Max Macbook Pro with 128GB of RAM has a list price of $4700 or so and twice the memory bandwidth.<p>For inference decode the bandwidth is the main limitation so if running LLMs is your use case you should probably get a Mac instead.</p>
]]></description><pubDate>Wed, 15 Oct 2025 07:47:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=45589297</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=45589297</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45589297</guid></item><item><title><![CDATA[New comment by smallnamespace in "How AWS S3 serves 1 petabyte per second on top of slow HDDs"]]></title><description><![CDATA[
<p>The platter is a circle so using the uniform distribution [0, 1] is incorrect, you should use the unit circular distribution of [0, 2pi] and also since the platter also spins in a single direction the distance is only computed going one way around (if target is right <i>before</i> current, it's one full spin).<p>But you can simplify this problem down and ask: with no loss of generality, if your starting point is always 0 degrees, how many degrees clockwise is a random point on average, if the target is uniformly distributed?<p>Since 0-180 has the same arc length as 180-360 then the average distance is 180 degrees. So average half-platter seek is half of the full-platter seek.</p>
]]></description><pubDate>Thu, 25 Sep 2025 12:01:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=45371819</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=45371819</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45371819</guid></item><item><title><![CDATA[New comment by smallnamespace in "Cognitive load is what matters"]]></title><description><![CDATA[
<p>> If you're copying and pasting something, there probably isn't a good reason for that.<p>I would embrace copying and pasting for functionality that I want to be identical in two places right now, but I’m not sure ought to be identical in the future.</p>
]]></description><pubDate>Sat, 30 Aug 2025 23:20:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=45078878</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=45078878</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45078878</guid></item><item><title><![CDATA[New comment by smallnamespace in "Ask HN: The government of my country blocked VPN access. What should I use?"]]></title><description><![CDATA[
<p>If you're going to be using USB drives anyway, then using them to move files into the country would be faster.</p>
]]></description><pubDate>Fri, 29 Aug 2025 00:47:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=45058717</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=45058717</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45058717</guid></item><item><title><![CDATA[New comment by smallnamespace in "Tree Borrows"]]></title><description><![CDATA[
<p>Typescript ecosystem calls these "branded types" (branded like cattle, presumably) which I found to be a good evocative name.</p>
]]></description><pubDate>Thu, 10 Jul 2025 05:05:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=44517421</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=44517421</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44517421</guid></item><item><title><![CDATA[New comment by smallnamespace in "The Death of the Middle-Class Musician"]]></title><description><![CDATA[
<p>It's unjust in the same sense that some people complain about capitalism being unjust: some people are wealthy who didn't cosmically deserve it, but just got lucky. There is disagreement over in which way they were lucky (random luck, or lucky to have the right parents, education, genes, etc.)</p>
]]></description><pubDate>Sun, 29 Jun 2025 12:52:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=44412727</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=44412727</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44412727</guid></item><item><title><![CDATA[New comment by smallnamespace in "Guess I'm a rationalist now"]]></title><description><![CDATA[
<p>> Being in contact with reality can be actively harmful to reproductive fitness if it leads you to, say, decide not to have kids because you are pessimistic about the future.<p>The fact that you can write this sentence, consider it to be true, and yet still hold in your head the idea that the future might be bad but it's still important to have children suggests that "contact with reality" is not a curse.</p>
]]></description><pubDate>Fri, 20 Jun 2025 01:32:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=44324000</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=44324000</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44324000</guid></item><item><title><![CDATA[New comment by smallnamespace in "Snorting the AGI with Claude Code"]]></title><description><![CDATA[
<p>If you can define your problem well then you can write tests up front. An ML person would call tests a "verifier". Verifiers let you pump compute into finding solutions.</p>
]]></description><pubDate>Tue, 17 Jun 2025 00:26:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=44294600</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=44294600</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44294600</guid></item><item><title><![CDATA[New comment by smallnamespace in "How I Program with Agents"]]></title><description><![CDATA[
<p>> by the time I write an exact detailed step-by-step prompt for them, I could have written the code by hand<p>The improved prompt or project documentation guides every future line of code written, whether by a human or an AI. It pays dividends for any long term project.<p>> Like there is a reason we are not using fuzzy human language in math/coding<p>Math proofs are mostly in English.</p>
]]></description><pubDate>Thu, 12 Jun 2025 09:59:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=44255800</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=44255800</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44255800</guid></item><item><title><![CDATA[New comment by smallnamespace in "Claude 4"]]></title><description><![CDATA[
<p>Vibe code an eval harness with a web dashboard</p>
]]></description><pubDate>Thu, 22 May 2025 17:08:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=44064151</link><dc:creator>smallnamespace</dc:creator><comments>https://news.ycombinator.com/item?id=44064151</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44064151</guid></item></channel></rss>