<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: nextaccountic</title><link>https://news.ycombinator.com/user?id=nextaccountic</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 18 Oct 2026 02:28:59 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=nextaccountic" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by nextaccountic in "US federal budget deficit jumps 12% in one year to nearly $2 Trillion"]]></title><description><![CDATA[
<p>Can you at least concede that Republican presidents have been worse for the debt than democrat presidents?</p>
]]></description><pubDate>Sat, 17 Oct 2026 22:18:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=50135690</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50135690</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50135690</guid></item><item><title><![CDATA[New comment by nextaccountic in "US federal budget deficit jumps 12% in one year to nearly $2 Trillion"]]></title><description><![CDATA[
<p>> reform the welfare system<p>Do you think the US federal government spends too much on welfare?</p>
]]></description><pubDate>Sat, 17 Oct 2026 22:07:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=50135618</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50135618</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50135618</guid></item><item><title><![CDATA[New comment by nextaccountic in "I built the RealWorld app in Lean 4"]]></title><description><![CDATA[
<p>what's your language?</p>
]]></description><pubDate>Sat, 17 Oct 2026 22:06:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=50135610</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50135610</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50135610</guid></item><item><title><![CDATA[New comment by nextaccountic in "I built the RealWorld app in Lean 4"]]></title><description><![CDATA[
<p>another one that seems practical, but I never tried, is F* (Fstar)</p>
]]></description><pubDate>Sat, 17 Oct 2026 22:05:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=50135605</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50135605</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50135605</guid></item><item><title><![CDATA[New comment by nextaccountic in "DeepSeek: DeepSeek v4.1 Flash 1017"]]></title><description><![CDATA[
<p>> including a way to keep the caches valid<p>Maybe doing bogus small requests to prevent the cache from expiring?<p>I mean in the API you can set the cache expiration time right? But I guess claude code can't do this</p>
]]></description><pubDate>Sat, 17 Oct 2026 11:06:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=50129986</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50129986</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50129986</guid></item><item><title><![CDATA[New comment by nextaccountic in "DeepSeek: DeepSeek v4.1 Flash 1017"]]></title><description><![CDATA[
<p>What about mimo v2.6 pro?</p>
]]></description><pubDate>Sat, 17 Oct 2026 11:04:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=50129976</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50129976</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50129976</guid></item><item><title><![CDATA[New comment by nextaccountic in "Jev meets the Trolley Problem"]]></title><description><![CDATA[
<p>> Second, for critical decisions, there are useful lessons here that we can take to building with decision models. Knowing these models’ decisionmaking is inconsistently aligned with human preferences tells us we can’t just trust their decisions out of the box.<p>This specific model is unaligned, this doesn't say anything about decision models in general.<p>The more troubling statement is to assert that alignment is at all possible, not just theoretically but also in practice, which is something that is assumed by most players but has never been demonstrated in practice. Current models are not aligned and if it depends on them, people will die</p>
]]></description><pubDate>Fri, 16 Oct 2026 12:03:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=50117331</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50117331</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50117331</guid></item><item><title><![CDATA[New comment by nextaccountic in "Steam Client is now faster than Epic's new vibe coded launcher"]]></title><description><![CDATA[
<p>Proton is just Wine</p>
]]></description><pubDate>Fri, 16 Oct 2026 05:49:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=50114555</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50114555</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50114555</guid></item><item><title><![CDATA[New comment by nextaccountic in "Iosevka is an open-source, sans-serif and slab-serif, monospace font"]]></title><description><![CDATA[
<p>> ttf (or better yet, ttc)<p>Why is ttc better?</p>
]]></description><pubDate>Wed, 14 Oct 2026 10:12:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=50085158</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50085158</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50085158</guid></item><item><title><![CDATA[New comment by nextaccountic in "11 year old unsoundness bugs found in Rust borrow checker"]]></title><description><![CDATA[
<p>> It's fascinating that this kind of bug is exactly you can't really avoid even when rust is supposedly to guard against.<p>Note that Rust is not a theorem prover and Rust programs are usually not formally verified (there are some extensions like Creusot to verify Rust programs, but they are incomplete and a work in progress)<p>Compiler bugs are, like, just logic bugs. There's a project to eliminate compiler bugs that cause unsoundness, project zero [0] but, still, without formally verifying the implementation, there is nothing really guaranteeing there's no such bugs left.<p>(note: unsoundness in this context means having safe code cause UB due to a compiler bug; the fix is usually to make the compiler reject the code with a compiler error)<p>To make matters worse, Rust still doesn't have a spec, and there is not even a tight definition of what are the rules of unsafe code - that is, what rules you must follow so that you unsafe code doesn't trigger UB. Discussions around this are done mainly in issues of the unsafe code guidelines repo [1]<p>[0] <a href="https://goals.rust-lang.org/2026/roadmap-project-zero.html" rel="nofollow">https://goals.rust-lang.org/2026/roadmap-project-zero.html</a><p><a href="https://github.com/rust-lang/unsafe-code-guidelines/issues" rel="nofollow">https://github.com/rust-lang/unsafe-code-guidelines/issues</a></p>
]]></description><pubDate>Wed, 14 Oct 2026 02:47:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=50081772</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50081772</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50081772</guid></item><item><title><![CDATA[New comment by nextaccountic in "Scandinavia's first farmers slaughtered hunter-gatherer population, DNA suggests"]]></title><description><![CDATA[
<p>> Males back then didn't fail to reproduce from the same social situations as today.<p>Yes, but they could fail to reproduce due to <i>other</i> situations. I think from this<p>> Failure to reproduce basically means killed, exiled, or having your groups women taken (by force)<p>Only "killed" supports the thesis that males were slaughtered</p>
]]></description><pubDate>Mon, 12 Oct 2026 10:25:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=50054242</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50054242</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50054242</guid></item><item><title><![CDATA[New comment by nextaccountic in "Scandinavia's first farmers slaughtered hunter-gatherer population, DNA suggests"]]></title><description><![CDATA[
<p>Could this mean just that 95% failed to reproduce?</p>
]]></description><pubDate>Sun, 11 Oct 2026 22:03:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=50048340</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50048340</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50048340</guid></item><item><title><![CDATA[New comment by nextaccountic in "Yes, and"]]></title><description><![CDATA[
<p>But reading code is not just determining what the code does. We read code because we want to know if it's good or not. It's hard to judge if we have never programmed before</p>
]]></description><pubDate>Sun, 11 Oct 2026 16:07:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=50044749</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50044749</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50044749</guid></item><item><title><![CDATA[New comment by nextaccountic in "Bevy 0.20"]]></title><description><![CDATA[
<p>Bevy is 0.x, this breaking change can happen. But for that to be possible, there should be a credible alternative to the current BSN syntax</p>
]]></description><pubDate>Sat, 10 Oct 2026 07:07:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=50030459</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50030459</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50030459</guid></item><item><title><![CDATA[New comment by nextaccountic in "OpenAI fires three safety researchers for "mishandling research information""]]></title><description><![CDATA[
<p>Also in the plot of a season of Westworld. And uh Person of Interest too (created by the same authors, kind of deals with similar issues)</p>
]]></description><pubDate>Sat, 10 Oct 2026 03:09:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=50029160</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50029160</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50029160</guid></item><item><title><![CDATA[New comment by nextaccountic in "The reciprocal sum of the prime-prefix-free numbers converges [pdf]"]]></title><description><![CDATA[
<p>that's a result that says more about the Riemann hypothesis than this specific problem right?</p>
]]></description><pubDate>Fri, 09 Oct 2026 20:47:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=50026393</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50026393</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50026393</guid></item><item><title><![CDATA[New comment by nextaccountic in "Why isn't the industry freaking out about DeepSeek 4.1 Flash?"]]></title><description><![CDATA[
<p>what about dsh + openrouter? and configuring open router to just serve from DeepSeek own servers<p>I think the 5% cut from open router is fair if I want to user other cheap models like mimo</p>
]]></description><pubDate>Fri, 09 Oct 2026 20:18:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=50026083</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50026083</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50026083</guid></item><item><title><![CDATA[New comment by nextaccountic in "Imposing Sanctions on the International Criminal Court"]]></title><description><![CDATA[
<p>> Why would any other country handicap themselves by joining such an obviously corrupt court that judges them but not the US?<p>It's not a corrupt court. It has judged crimes against humanity cases before, and a lot of countries give credence to it.<p><a href="https://en.wikipedia.org/wiki/List_of_people_indicted_in_the_International_Criminal_Court" rel="nofollow">https://en.wikipedia.org/wiki/List_of_people_indicted_in_the...</a> the people in this list all deserve to be there, I can't see a single exception<p>My own country (Brazil) supported South Africa charges of genocide against Israel because we believe in this court and the role it fulfills.<p>For me, the sole problem with this court is that it's reluctant to judge American war crimes and crimes against humanity. But as Europe leaves the US sphere of influence, maybe they will grow a spine. It would be unfortunate if people like George W Bush, Dick Cheney, John Choon Yoo and Jay Scott Bybee died before they were indicted by this court.</p>
]]></description><pubDate>Fri, 09 Oct 2026 18:13:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=50024537</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50024537</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50024537</guid></item><item><title><![CDATA[New comment by nextaccountic in "Imposing Sanctions on the International Criminal Court"]]></title><description><![CDATA[
<p>It's not just this administration. The US helped create this court and pushed other countries to join, but never joined themselves and always threatened the court if they indicted or judged American people.<p>There's an US law that says the US will invade Belgium (edit: Netherlands) if the court wanted to investigate an American (???)<p>I remember Hillary Clinton, in the Obama administration, saying the US is an exceptional country that deserves exceptional conditions regarding this issue<p>It's frankly ridiculous</p>
]]></description><pubDate>Fri, 09 Oct 2026 16:08:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=50022582</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50022582</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50022582</guid></item><item><title><![CDATA[New comment by nextaccountic in "Vitalik Buterin backs crypto ‘bunker mode’ amid rapid AI math advances"]]></title><description><![CDATA[
<p>It's a risk</p>
]]></description><pubDate>Thu, 08 Oct 2026 20:47:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=50012026</link><dc:creator>nextaccountic</dc:creator><comments>https://news.ycombinator.com/item?id=50012026</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50012026</guid></item></channel></rss>