<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: tpoacher</title><link>https://news.ycombinator.com/user?id=tpoacher</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 14 Apr 2026 22:35:22 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=tpoacher" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by tpoacher in "Lean proved this program correct; then I found a bug"]]></title><description><![CDATA[
<p>You're technically right, but what things are versus how they're promoted or understood by most people (rightfully or not) often diverges, and therefore such "grounding" articles are useful, even if the wording addresses the perceived rather than the factual reality.<p>By way of analogy, if there was an article saying "I bought a 1Tb drive and it only came with 0.91 terabits", I think if you started explaining that technically the problem is the confusion between SI vs binary units and the title should really be "I bought a 0.91 terabit drive and was disappointed it didn't have more capacity", technically you'd be right, but people would rightfully eyeroll at you.</p>
]]></description><pubDate>Tue, 14 Apr 2026 05:55:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47761761</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47761761</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47761761</guid></item><item><title><![CDATA[New comment by tpoacher in "I still prefer MCP over skills"]]></title><description><![CDATA[
<p>> Skills are great for pure knowledge and teaching an LLM how to use an existing tool. But for giving an LLM actual access to services, the Model Context Protocol (MCP) is the far superior, more pragmatic architectural choice.<p>There's your answer. If you want to use local tools, use Skills. If you want to use services, use MCP. Or, you know, whatever works best for your scenario.</p>
]]></description><pubDate>Fri, 10 Apr 2026 04:15:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47713568</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47713568</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47713568</guid></item><item><title><![CDATA[New comment by tpoacher in "Show HN: Home Maker: Declare Your Dev Tools in a Makefile"]]></title><description><![CDATA[
<p>I have something somewhat similar here: <a href="https://git.sr.ht/~tpapastylianou/misc-updater" rel="nofollow">https://git.sr.ht/~tpapastylianou/misc-updater</a><p>The main difference is I initially only needed a mechanism to check if my "Manually-Installed or Source -Compiled" (MISC) packages have updates, but now it also supports install/upgrading too.<p>In other words, things I am forced to do by hand outside of a package manager, I now only do by hand once, save it as an 'install' script, and then incorporate it into this system for future use and to check for updates. Pretty happy with it.</p>
]]></description><pubDate>Fri, 03 Apr 2026 05:54:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=47623580</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47623580</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47623580</guid></item><item><title><![CDATA[New comment by tpoacher in "Show HN: Home Maker: Declare Your Dev Tools in a Makefile"]]></title><description><![CDATA[
<p>Add the LLM to your makefile then :p<p><pre><code>  target:
      llm command "Install X for me."
</code></pre>
(PS. I don't even know if I'm joking anymore)</p>
]]></description><pubDate>Fri, 03 Apr 2026 05:14:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=47623391</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47623391</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47623391</guid></item><item><title><![CDATA[New comment by tpoacher in "LinkedIn is illegally searching your computer"]]></title><description><![CDATA[
<p>I get the point you're making, but to be clear, "they’re checking to see if you’re a Muslim" vs "they’re checking to see if your fingerprint matches that of known Muslims in our ever-expanding database" are not too far off.</p>
]]></description><pubDate>Thu, 02 Apr 2026 14:40:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47615156</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47615156</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47615156</guid></item><item><title><![CDATA[New comment by tpoacher in "Subscription bombing and how to mitigate it"]]></title><description><![CDATA[
<p>You really should stop using LLMs to write messages complaining about LLM use though. (the "it depends" and the hyphen-as-emdash were dead giveaways).<p>/s</p>
]]></description><pubDate>Thu, 02 Apr 2026 08:18:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=47611471</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47611471</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47611471</guid></item><item><title><![CDATA[New comment by tpoacher in "The Windows equivalents of the most used Linux commands"]]></title><description><![CDATA[
<p>Can we do a satirical thread here please? I'm curious what HN can come up with :D<p>I'll start:<p><pre><code>  Linux             : trash-empty 
  windows equivalent: format C:

  Linux             : sudo apt update && sudo apt upgrade
  Windows equivalent: shutdown /r</code></pre></p>
]]></description><pubDate>Thu, 02 Apr 2026 07:28:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=47611127</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47611127</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47611127</guid></item><item><title><![CDATA[New comment by tpoacher in "The Claude Code Leak"]]></title><description><![CDATA[
<p>Reminds me of the classic Mark Twain quote: "Apologies, I didn't have time to write a short letter, so I wrote a long one."</p>
]]></description><pubDate>Thu, 02 Apr 2026 05:58:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47610480</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47610480</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47610480</guid></item><item><title><![CDATA[New comment by tpoacher in "Slop is not necessarily the future"]]></title><description><![CDATA[
<p>"Made with Slop" is the equivalent of "Made in China" (in the olden derogatory sense).<p>Just because one falls in the "Cha bu duo" camp and (potentially) looks down on the "Kaizen" types doesn't mean the two products are equivalent.<p>That also doesn't mean that slop / cha bu duo / made in china products are bad, mind you. They have their place, and occasionally a Kaizen approach would be detrimental to getting "something" done quick and dirty that will likely work ok anyway. The danger is in believing that just because they're "ok" this means they are equivalent (or at least largely overlap) with the more refined products, which is demonstrably false and can be a dangerous attitude to have.</p>
]]></description><pubDate>Wed, 01 Apr 2026 09:01:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47598513</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47598513</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47598513</guid></item><item><title><![CDATA[New comment by tpoacher in "Python: The Optimization Ladder"]]></title><description><![CDATA[
<p>"I totally get a kick out of the peeps who find the writeup super helpful yet are totally put off by that distinct "AI smell"—it’s like they can't even! Just imagine when everything we value is woven into a tapestry of that same "smell"—where will all the naysayers retreat to then? It’s a little frustrating, honestly, and I’m just like, come on! Let’s delve into this new era of content and embrace the chaos!"<p>There, FTFY :D</p>
]]></description><pubDate>Sat, 14 Mar 2026 17:25:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=47378926</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47378926</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47378926</guid></item><item><title><![CDATA[New comment by tpoacher in "John Carmack about open source and anti-AI activists"]]></title><description><![CDATA[
<p>A thinking screwdriver:<p>"You know what ... screw this."</p>
]]></description><pubDate>Sat, 14 Mar 2026 16:52:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=47378565</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47378565</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47378565</guid></item><item><title><![CDATA[New comment by tpoacher in "OVH forgot they donated documentation hosting to Pandas"]]></title><description><![CDATA[
<p>Personal/Private Message.<p>It's how Prime Ministers and Project Managers prefer to abbreviate it. Especially in the afternoon (Post Meridiem). Particularly Meaningful if it relates to Project Management or Post Mortems.</p>
]]></description><pubDate>Sat, 14 Mar 2026 16:35:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47378382</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47378382</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47378382</guid></item><item><title><![CDATA[New comment by tpoacher in "Jolla on track to ship new phone with Sailfish OS, user-replaceable battery"]]></title><description><![CDATA[
<p>on one hand you're not wrong<p>on the other, I really, <i>really</i> loved my original jolla phone back in the day. I happily used it as my daily driver and only phone for 2 years. Until it had a hardware fault which I could no longer repair via the company.</p>
]]></description><pubDate>Mon, 09 Mar 2026 17:52:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=47312643</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47312643</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47312643</guid></item><item><title><![CDATA[New comment by tpoacher in "Verification debt: the hidden cost of AI-generated code"]]></title><description><![CDATA[
<p>I want to know more. Can you give an example? :D</p>
]]></description><pubDate>Sun, 08 Mar 2026 09:20:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47295812</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47295812</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47295812</guid></item><item><title><![CDATA[New comment by tpoacher in "Verification debt: the hidden cost of AI-generated code"]]></title><description><![CDATA[
<p>Yes. Or, "Prototypes have a bad habit of becoming the product".</p>
]]></description><pubDate>Sun, 08 Mar 2026 09:19:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=47295807</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47295807</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47295807</guid></item><item><title><![CDATA[New comment by tpoacher in "Warn about PyPy being unmaintained"]]></title><description><![CDATA[
<p>and mypy is "an optional static type checker for Python" [0]<p>Given that both pypy (through RPython) and mypy deal with static type checks in some sense, I kept confusing the two projects until recently.<p>Also, I just learnt (from another comment in this post) about mypyc [1], which seems to complete the circle somehow in my mind.<p><pre><code>  [0] https://www.mypy-lang.org/
  [1] https://github.com/mypyc/mypyc</code></pre></p>
]]></description><pubDate>Sun, 08 Mar 2026 08:45:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=47295680</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47295680</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47295680</guid></item><item><title><![CDATA[New comment by tpoacher in "Where things stand with the Department of War"]]></title><description><![CDATA[
<p>I don't know what you're talking about. This is exactly as I remember things back in the Iraq war. With us or against us and all that.</p>
]]></description><pubDate>Fri, 06 Mar 2026 08:14:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47272343</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47272343</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47272343</guid></item><item><title><![CDATA[New comment by tpoacher in "Where things stand with the Department of War"]]></title><description><![CDATA[
<p>Anthropic is the new Dixie Chicks.</p>
]]></description><pubDate>Fri, 06 Mar 2026 08:12:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=47272335</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47272335</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47272335</guid></item><item><title><![CDATA[New comment by tpoacher in "Proton Mail Helped FBI Unmask Anonymous 'Stop Cop City' Protester"]]></title><description><![CDATA[
<p>As memers say, of all things that didn't happen, this one didn't happen the most.</p>
]]></description><pubDate>Fri, 06 Mar 2026 08:10:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=47272320</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47272320</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47272320</guid></item><item><title><![CDATA[New comment by tpoacher in "“It turns out” (2010)"]]></title><description><![CDATA[
<p>Argument:<p>> It turns out it's X!<p>Counterargument:<p>> Ah, but here's the thing! Actually, it turns out it <i>isn't</i> X!<p>Everything is well with the world again.<p>Better yet. Make a cartoon / infographic / meme of someone 'superior' explaining to someone 'inferior' that X is true. Extra points if the 'inferior' person does something unrelatedly obnoxious or stupid in the panel. Seems to me this is the strongest form of argument used for anything these days.<p>The only way to counter that form of argument is to make your own cartoon / infographic / meme. Nothing else even gets close (it turns out).</p>
]]></description><pubDate>Thu, 05 Mar 2026 09:54:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47259753</link><dc:creator>tpoacher</dc:creator><comments>https://news.ycombinator.com/item?id=47259753</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47259753</guid></item></channel></rss>