<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: newAccount2025</title><link>https://news.ycombinator.com/user?id=newAccount2025</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 08 Apr 2026 22:09:54 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=newAccount2025" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by newAccount2025 in "US and Iran agree to provisional ceasefire"]]></title><description><![CDATA[
<p>No. Theoretically congress could impeach him, but his party has proven they will support him no matter what his crimes. Theoretically his cabinet could remove him with the 25th amendment but they are all complicit and will need pardons for themselves.</p>
]]></description><pubDate>Wed, 08 Apr 2026 00:30:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=47683156</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47683156</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47683156</guid></item><item><title><![CDATA[New comment by newAccount2025 in "F-15E jet shot down over Iran"]]></title><description><![CDATA[
<p>Like, this very second?<p>It’s been ones of months since USA attacked Venzuela. We are openly musing about invading Greenland. We are actively embargoing and threatening to invade Cuba. We are the unhinged aggressor in all of this.</p>
]]></description><pubDate>Sat, 04 Apr 2026 01:14:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=47634526</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47634526</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47634526</guid></item><item><title><![CDATA[New comment by newAccount2025 in "“Collaboration” is bullshit"]]></title><description><![CDATA[
<p>Strong agree. When I started managing there was very little oversight. It wasn’t perfect and we went a bit astray, and we also did phenomenal work and had everyone on the team deeply engaged and moving with autonomy.<p>On my second team, the visibility theater took over, upper management set and reset and reset and reset our direction, and nobody was happy. In retrospect, I should have said no immediately. Trusting and empowering your people is hard to beat.</p>
]]></description><pubDate>Mon, 23 Mar 2026 03:44:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=47485286</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47485286</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47485286</guid></item><item><title><![CDATA[New comment by newAccount2025 in "The MacBook Neo"]]></title><description><![CDATA[
<p>Thanks, neat, I had no idea. That’s a nice system.</p>
]]></description><pubDate>Fri, 20 Mar 2026 22:34:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=47461648</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47461648</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47461648</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Be intentional about how AI changes your codebase"]]></title><description><![CDATA[
<p>I think this is mostly right.<p>In a blameless postmortem style process, you would look at not just the mistake itself but the factors influencing the mistake and how to mitigate them. E.g., doctor was tired AND the hospital demanded long hours AND the industry has normalized this.<p>So yes, the programmers need to hold the line AND ALSO the velocity of the tool makes it easy to get tired AND and its confidence and often-good results promote laziness or maybe folks just don’t know better AND it can thrash your context and bounce you around the code base making it hard to remember the subtleties AND on and on.<p>Anyway, strong agree on “dude, review better” as a key part of the answer. Also work on all this other stuff and understand the cost of VeLOciTy…</p>
]]></description><pubDate>Fri, 20 Mar 2026 00:42:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47448709</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47448709</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47448709</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Polymarket gamblers threaten to kill me over Iran missile story"]]></title><description><![CDATA[
<p>The site is completely unusable. Even with reader mode it somehow aggressively refreshed. Gave up in disgust.</p>
]]></description><pubDate>Mon, 16 Mar 2026 12:39:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=47398164</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47398164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47398164</guid></item><item><title><![CDATA[New comment by newAccount2025 in "The MacBook Neo"]]></title><description><![CDATA[
<p>That’s an added windows license though?</p>
]]></description><pubDate>Thu, 12 Mar 2026 01:55:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47345325</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47345325</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47345325</guid></item><item><title><![CDATA[New comment by newAccount2025 in "LLM Writing Tropes.md"]]></title><description><![CDATA[
<p>Great list. Invented Concept Labels is the one I think I get most frustrated by. When exploring new areas, I’ll read its paragraphs of acronyms and weird words and think I just don’t know some term of art, and as soon as I ask for a definition it’s like, “I just made that up, that’s not a formal term, blah blah blah.”</p>
]]></description><pubDate>Sun, 08 Mar 2026 03:51:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=47294234</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47294234</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47294234</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Two insider cases we've recently closed"]]></title><description><![CDATA[
<p>No doubt. Sports betting too. I’m a curmudgeon but we should completely unwind to the pre-lottery days when organized gambling was simply not legal.</p>
]]></description><pubDate>Fri, 27 Feb 2026 02:51:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=47175792</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47175792</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47175792</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Statement from Dario Amodei on our discussions with the Department of War"]]></title><description><![CDATA[
<p>Sadly apt. Democrats don’t make progress fast enough, while Republicans pull us backwards on vaccines, diversity, environment, abortion, healthcare, global prominence, naked corruption, oligarchy, theocracy, and military oppression.</p>
]]></description><pubDate>Fri, 27 Feb 2026 00:47:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=47174717</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47174717</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47174717</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Statement from Dario Amodei on our discussions with the Department of War"]]></title><description><![CDATA[
<p>Impressive and heartening. Bravo.</p>
]]></description><pubDate>Fri, 27 Feb 2026 00:26:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=47174494</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=47174494</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47174494</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Coding agents have replaced every framework I used"]]></title><description><![CDATA[
<p>The matrix framing is a very nice and way to put it. This morning I asked my assistant to code up a nice debugger for a particular flow in my application. It’s much better than I would have had time/patience to build myself for a nice-to-have.</p>
]]></description><pubDate>Sat, 07 Feb 2026 20:36:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=46927682</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46927682</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46927682</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Oregon gave homeless youth $1k/month with no strings"]]></title><description><![CDATA[
<p>100%. Even beyond the direct incarceration costs and the opportunity cost of their lost contributions, there is also the cost of the whole apparatus for arresting and charging folks with crimes and trying them. The police department alone is more than 1/3 of our budget in Austin. Add courts and forensics and it’s 40%. And that’s still just the money part, to say nothing of the moral impact and humanity we throw away.</p>
]]></description><pubDate>Mon, 02 Feb 2026 00:42:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=46851023</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46851023</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46851023</guid></item><item><title><![CDATA[New comment by newAccount2025 in "The '3.5% rule': How a small minority can change the world (2019)"]]></title><description><![CDATA[
<p>This, and for politicians who actually agree without fear, it creates credibility, my constituents are up in arms about this and I will be supported if I champion it.</p>
]]></description><pubDate>Mon, 26 Jan 2026 02:55:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=46761331</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46761331</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46761331</guid></item><item><title><![CDATA[New comment by newAccount2025 in "AI will make formal verification go mainstream"]]></title><description><![CDATA[
<p>The specification task is indeed a lot of work. Driving the tool to complete the proof is often also a lot of work. There are many fully automatic proof tools. Even the simplest like SAT solvers run into very hard computational complexity limits. Many “interactive” provers are more expressive and allow a human to help guide the tool to the proof. That takes intuition, engineering, etc.</p>
]]></description><pubDate>Wed, 17 Dec 2025 00:30:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=46296717</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46296717</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46296717</guid></item><item><title><![CDATA[New comment by newAccount2025 in "AI will make formal verification go mainstream"]]></title><description><![CDATA[
<p>There is tons of work on this question. Super recent: <a href="https://link.springer.com/article/10.1007/s10817-025-09743-8" rel="nofollow">https://link.springer.com/article/10.1007/s10817-025-09743-8</a></p>
]]></description><pubDate>Wed, 17 Dec 2025 00:23:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=46296662</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46296662</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46296662</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Deprecate like you mean it"]]></title><description><![CDATA[
<p>It should slow down your compile instead of the runtime. That way the pain is felt by the developer who can fix it.</p>
]]></description><pubDate>Thu, 11 Dec 2025 20:00:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=46236356</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46236356</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46236356</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Everyone in Seattle hates AI"]]></title><description><![CDATA[
<p>Yes. Love it for quick explorations of available options, reviewing my work, having it propose tests, getting its help with debugging, and all kinds of general subject matter questions. I don’t trust it to write anything important but it can help with a sketch.</p>
]]></description><pubDate>Thu, 04 Dec 2025 01:13:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=46142609</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46142609</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46142609</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Electric vehicle sales are booming in South America – without Tesla"]]></title><description><![CDATA[
<p>Why is that better?</p>
]]></description><pubDate>Sat, 29 Nov 2025 22:49:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=46091543</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=46091543</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46091543</guid></item><item><title><![CDATA[New comment by newAccount2025 in "Rating 26 years of Java changes"]]></title><description><![CDATA[
<p>Your IDE can do that?</p>
]]></description><pubDate>Sat, 11 Oct 2025 20:55:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=45552628</link><dc:creator>newAccount2025</dc:creator><comments>https://news.ycombinator.com/item?id=45552628</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45552628</guid></item></channel></rss>