<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: munchler</title><link>https://news.ycombinator.com/user?id=munchler</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 04 Oct 2026 12:03:01 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=munchler" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by munchler in "Frog and Toad and the Increasingly Capable Machines"]]></title><description><![CDATA[
<p>This is an excellent explainer. I noticed one important flaw in the setup, though: Toad assigns multiple puzzles on page 5, but by page 10 all the machines seem to be working on the same puzzle.<p>I'm not sure how this maps onto reality. If each agent had a different problem to solve, how did they cooperate?</p>
]]></description><pubDate>Fri, 02 Oct 2026 13:44:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49933448</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49933448</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49933448</guid></item><item><title><![CDATA[New comment by munchler in "Stabilizing Rust's Never Type"]]></title><description><![CDATA[
<p>As a fan of the Curry-Howard correspondence, I approve of this decision.</p>
]]></description><pubDate>Sat, 12 Sep 2026 21:24:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=49677361</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49677361</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49677361</guid></item><item><title><![CDATA[New comment by munchler in "An Alien Mind"]]></title><description><![CDATA[
<p>> The strongest argument I see for continuing to train much smarter models quickly is the need to build defensive systems against the dangers posed by other AI.<p>Yikes! I really wonder about the cognitive dissonance necessary to work at OpenAI these days. They’re in an arms race to build a machine god, knowing full well that it could end humanity.</p>
]]></description><pubDate>Sun, 06 Sep 2026 19:15:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=49589799</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49589799</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49589799</guid></item><item><title><![CDATA[New comment by munchler in "Burnt out on a three-day week"]]></title><description><![CDATA[
<p>It seems like AI to me as well. “That’s the gap” is a familiar Claude-ism, as are the references to a “pivot” and the use of “touch” to mean “affect”.<p>To be fair, I’ve reached the point where most random blog posts I read on the internet seem AI written, so it could just be confirmation bias on my part.</p>
]]></description><pubDate>Fri, 04 Sep 2026 14:47:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49565451</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49565451</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49565451</guid></item><item><title><![CDATA[New comment by munchler in "HelloAssembly The smallest possible complete Windows application"]]></title><description><![CDATA[
<p>It’s a minimal Windows app, so the whole idea is to rely on Windows DLLs as much as possible.</p>
]]></description><pubDate>Tue, 25 Aug 2026 13:04:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49433322</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49433322</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49433322</guid></item><item><title><![CDATA[New comment by munchler in "A SAT Attack on Tarski's High School Algebra Problem"]]></title><description><![CDATA[
<p>Well, yes, but negative numbers are also well known to every high school math student.</p>
]]></description><pubDate>Sun, 16 Aug 2026 13:00:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=49319652</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49319652</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49319652</guid></item><item><title><![CDATA[New comment by munchler in "What happens when an LLM never sees material beyond fifth grade?"]]></title><description><![CDATA[
<p>A human child would just say “I don’t know”.</p>
]]></description><pubDate>Sun, 16 Aug 2026 12:58:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49319632</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49319632</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49319632</guid></item><item><title><![CDATA[New comment by munchler in "A SAT Attack on Tarski's High School Algebra Problem"]]></title><description><![CDATA[
<p>Why is subtraction not part of the algebra? It’s certainly familiar to every high school math student. This omission allows the counterexample, so the reveal is a bit of a disappointment IMHO.</p>
]]></description><pubDate>Sun, 16 Aug 2026 12:47:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=49319546</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49319546</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49319546</guid></item><item><title><![CDATA[New comment by munchler in "The lattice of sets of natural numbers is rich (2021)"]]></title><description><![CDATA[
<p>What a beautiful illustration. It makes intuitive the very abstract concepts discussed in the text. It’s fun to zoom in and browse around the structure.</p>
]]></description><pubDate>Thu, 13 Aug 2026 11:47:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=49284571</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49284571</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49284571</guid></item><item><title><![CDATA[New comment by munchler in "Oracle cut its Always Free ARM limits to 2 OCPU / 12GB, enforced Aug 18"]]></title><description><![CDATA[
<p>Thank you. The OP's article is clearly AI-written.</p>
]]></description><pubDate>Wed, 05 Aug 2026 17:13:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=49185828</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49185828</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49185828</guid></item><item><title><![CDATA[New comment by munchler in "Read the novels and forget everything else"]]></title><description><![CDATA[
<p>It's not about immature people being unable to separate art from artist because it's difficult. The issue is whether it's the right thing to do.<p>I feel pretty confident that I could describe to you a case (either real or hypothetical) where you would reject an artist based on their personal behavior, rather than their art. You would find it quite difficult in such a case to separate the two.<p>So the question is where to draw the line, and everyone answers that question differently.</p>
]]></description><pubDate>Mon, 03 Aug 2026 03:31:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49150920</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49150920</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49150920</guid></item><item><title><![CDATA[New comment by munchler in "F*: A general-purpose proof-oriented programming language"]]></title><description><![CDATA[
<p><a href="https://fstar-lang.org/tutorial/" rel="nofollow">https://fstar-lang.org/tutorial/</a></p>
]]></description><pubDate>Sun, 02 Aug 2026 14:49:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=49145177</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49145177</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49145177</guid></item><item><title><![CDATA[New comment by munchler in "We have proof automation now"]]></title><description><![CDATA[
<p>The flip side is that we currently put programs into production without understanding how they will behave in those edge cases. If you're lucky, they crash and then restart cleanly. If you're unlucky, they silently corrupt data or violate mission-critical invariants.</p>
]]></description><pubDate>Mon, 27 Jul 2026 03:10:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=49064793</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49064793</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49064793</guid></item><item><title><![CDATA[New comment by munchler in "Open-weight AI is having its Kubernetes moment"]]></title><description><![CDATA[
<p>Thank you for this. I probably don't have higher standards, but I do have way fewer than a million users!</p>
]]></description><pubDate>Sun, 26 Jul 2026 02:17:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=49053982</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49053982</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49053982</guid></item><item><title><![CDATA[New comment by munchler in "Open-weight AI is having its Kubernetes moment"]]></title><description><![CDATA[
<p>Thank you for this explanation. It makes sense, but I don't really understand why it has become so popular.<p>Professionally, my experience is that certain software components need to run together on an individual machine (e.g. database server, app server, web server), and then those machines need to be networked in a certain way (e.g. web server talks to app server, which talks to database server), so I really need to care about the architecture of individual machines. You can then scale this out horizontally (e.g. add another web server) or vertically (e.g. upgrade your database server).<p>I'm old, so maybe I'm out of date, but having a cluster of "compute" that I can run arbitrary workloads on sounds neat, but is a capability that I've never needed.</p>
]]></description><pubDate>Sat, 25 Jul 2026 20:31:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=49051250</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49051250</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49051250</guid></item><item><title><![CDATA[New comment by munchler in "Open-weight AI is having its Kubernetes moment"]]></title><description><![CDATA[
<p>I appreciate the effort and I'm in your target audience, but that document didn't help me. It seems to dive into the details of installing and running k8s without saying much about the purpose.<p>From my very ignorant standpoint, K8s seems to be about running a "cluster", but I don't know why I would want to do that.</p>
]]></description><pubDate>Sat, 25 Jul 2026 18:39:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49050342</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49050342</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49050342</guid></item><item><title><![CDATA[New comment by munchler in "Nobody knows what a used GPU cluster is worth"]]></title><description><![CDATA[
<p>Nobody knows what <i>anything</i> is going to be worth in 5 years.</p>
]]></description><pubDate>Wed, 22 Jul 2026 19:17:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=49012028</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=49012028</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49012028</guid></item><item><title><![CDATA[New comment by munchler in "Atomic Physics in Pure Anglo-Saxon"]]></title><description><![CDATA[
<p>(1989)</p>
]]></description><pubDate>Tue, 21 Jul 2026 11:42:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=48990960</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=48990960</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48990960</guid></item><item><title><![CDATA[New comment by munchler in "Microsoft deleted my account and OneDrive"]]></title><description><![CDATA[
<p>> "This action is irreversible and ensures that your data remains protected."<p>This amounts to "We deleted all your data in order to keep it safe." WTF.</p>
]]></description><pubDate>Tue, 14 Jul 2026 23:15:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=48914176</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=48914176</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48914176</guid></item><item><title><![CDATA[New comment by munchler in "Postgres rewritten in Rust, now passing 100% of the Postgres regression tests"]]></title><description><![CDATA[
<p>> Code is code. It either does the job or doesn't.<p>Surely that is not the only dimension that matters when evaluating software. Maintainability and readability, for example, are crucial for any long-lived project.</p>
]]></description><pubDate>Fri, 10 Jul 2026 00:22:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=48854257</link><dc:creator>munchler</dc:creator><comments>https://news.ycombinator.com/item?id=48854257</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48854257</guid></item></channel></rss>