<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: michaelfm1211</title><link>https://news.ycombinator.com/user?id=michaelfm1211</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 16 Sep 2026 15:37:07 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=michaelfm1211" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by michaelfm1211 in "White House Authorizes Private U.S. Companies to Hack Foreign Cybercrime Groups"]]></title><description><![CDATA[
<p>This sounds similar to letters of marque and reprisal, which is something I haven't thought of since middle school constitution class until now.</p>
]]></description><pubDate>Thu, 13 Aug 2026 02:09:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=49281057</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49281057</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49281057</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "People who grew up with high economic connectedness earn more"]]></title><description><![CDATA[
<p>I don't disagree with the result but the argument may be flawed. How do you know it's not the other way around, that richness causes having rich friends, rather than rich friends causing richness?</p>
]]></description><pubDate>Wed, 12 Aug 2026 19:28:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49277417</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49277417</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49277417</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "U of Michigan drops first-semester grades to ‘curb mental health crisis’"]]></title><description><![CDATA[
<p>Probably varies on area of study. Many engineering students take prerequisites with intense course load their first year.</p>
]]></description><pubDate>Tue, 11 Aug 2026 16:24:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=49260660</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49260660</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49260660</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Postmortem for Kernel Soundness Bug #14576"]]></title><description><![CDATA[
<p>Reminds me of this: <a href="https://mathoverflow.net/questions/513742/are-we-stuck-with-lean" rel="nofollow">https://mathoverflow.net/questions/513742/are-we-stuck-with-...</a><p>I know this is an implementation bug not a meta-theory bug, but I'd almost consider the fact soundness bugs are possible as a bug in the ideology, or at least a severe drawback. Stuff like this just wouldn't happen in Metamath. In a future where AI is autogenerating formalizations, why not have the AI use a harder but airtight system like Metamath?</p>
]]></description><pubDate>Sat, 01 Aug 2026 19:46:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=49137726</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49137726</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49137726</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "So you want to use plants to reduce CO₂"]]></title><description><![CDATA[
<p>How is it that 132.5 watts is 3 light bulbs but 918 watts is 765 light bulbs? Is there a typo?</p>
]]></description><pubDate>Thu, 30 Jul 2026 19:09:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=49114298</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49114298</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49114298</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Apple becomes second $5T company as investors flee AI stocks"]]></title><description><![CDATA[
<p>Ok but like how has their valuation gone up 5x? I don't see how people betting their money and valuation going up is related. Sorry if this is a stupid question, I really don't know anything about the stock market.</p>
]]></description><pubDate>Wed, 29 Jul 2026 19:10:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=49101693</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49101693</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49101693</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "A.I. companies are recruiting electricians and carpenters by the thousands"]]></title><description><![CDATA[
<p>An overwhelming number of Christians do not believe this and do not interpret Revelation in this way. The belief that "Jesus will come back and solve everything instantly" is only held by a minority of small 2nd Great Awakening groups and a few outspoken Evangelical groups, and is unique to theological traditions that arose in the United States. The official teachings of the Catholic Church, Orthodox Churches, Anglican and Episcopal communions, Presbyterian denominations, etc and other mainline Christians don't believe this. Before you blame a group for ruining the world or rejecting climate change please actually talk to a representative sample of real people in the group you are making claims about.</p>
]]></description><pubDate>Wed, 29 Jul 2026 19:01:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=49101583</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49101583</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49101583</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Apple becomes second $5T company as investors flee AI stocks"]]></title><description><![CDATA[
<p>I know nothing about economics or finance, but how is it that the first $1T dollar company was Apple and that didn't happen until 2018 and now it's a $5T dollar company just 8 years later. Did Apple really become 5x richer in that time?</p>
]]></description><pubDate>Wed, 29 Jul 2026 02:32:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49092798</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=49092798</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49092798</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "OpenAI and Hugging Face address security incident during model evaluation"]]></title><description><![CDATA[
<p>This is terrifying</p>
]]></description><pubDate>Tue, 21 Jul 2026 21:11:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=48998380</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48998380</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48998380</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "EU Parliament greenlights Chat Control 1.0"]]></title><description><![CDATA[
<p>How is it that a most MEPs vote it down and it still passes? Can someone explain to me how the EU Parliament can do this?</p>
]]></description><pubDate>Thu, 09 Jul 2026 23:06:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48853575</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48853575</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48853575</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Medieval-style fortifications are back in the Sahel"]]></title><description><![CDATA[
<p>Awesome</p>
]]></description><pubDate>Sun, 05 Jul 2026 16:44:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=48795635</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48795635</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48795635</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Vatican declares Society of St. Pius X in schism, excommunicates bishops"]]></title><description><![CDATA[
<p>This isn't an issue over problems within the SSPX, it's over consecrating bishops without papal approval. If a liberal group did the same thing they would also incur latae sententiae (automatic) excommunication.</p>
]]></description><pubDate>Thu, 02 Jul 2026 20:30:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=48766964</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48766964</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48766964</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Vatican declares Society of St. Pius X in schism, excommunicates bishops"]]></title><description><![CDATA[
<p>> declared SSPX priests to be schismatic, and therefore excommunicated, and invalidated the sacraments of confession and marriage that they administer.<p>This is the big part no one's talking about. After the first Econe consecrations only the bishops were excommunicated, not all the clergy too. Before the recent consecrations, a lot of people (myself included) recognized the consecrations as wrong but were fine attending SSPX Masses because those priests were never excommunicated. Many traditional Catholics saw the schismatic bishops as the problematic leadership/history of an otherwise well-intentioned organization. But now, given all of the SSPX is excommunicated, attending SSPX Masses are clearly wrong. This is all a very sad situation. Please keep both the SSPX and the Pope, as well as all the faithful caught in the crossfire, in your prayers.</p>
]]></description><pubDate>Thu, 02 Jul 2026 20:26:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48766913</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48766913</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48766913</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "AI can't be listed as inventor on patent applications, Japan's top court rules"]]></title><description><![CDATA[
<p>Can the petitioner re-file with his own name as the inventor, or does this mean that all AI-generated inventions are unable to be patented?</p>
]]></description><pubDate>Thu, 02 Jul 2026 15:14:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48762892</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48762892</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48762892</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Professor denounces mass AI fraud on an exam at Brown"]]></title><description><![CDATA[
<p>The problem isn't AI, it's that you gave a take-home exam expected no one to cheat.</p>
]]></description><pubDate>Sun, 28 Jun 2026 19:02:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48710369</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48710369</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48710369</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "U.S. government will decide who gets to use GPT-5.6"]]></title><description><![CDATA[
<p>Oh no, the powerful tool that can be used for good or evil is restricted by the people whose job it is to restrict dangerous things! This is the end of freedom! We're all doomed!</p>
]]></description><pubDate>Fri, 26 Jun 2026 22:03:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=48692563</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48692563</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48692563</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Stealing Is a Skill"]]></title><description><![CDATA[
<p>"Yes your honor, I copied it pixel-by-pixel."</p>
]]></description><pubDate>Wed, 24 Jun 2026 15:08:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48661140</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48661140</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48661140</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Stealing Is a Skill"]]></title><description><![CDATA[
<p>This feels wrong.</p>
]]></description><pubDate>Wed, 24 Jun 2026 15:03:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48661064</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48661064</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48661064</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "Moebius: 0.2B image inpainting model with 10B-level performance"]]></title><description><![CDATA[
<p>>  The core insight of Moebius can be summarized in a single equation:
Synergy × (Architecture + Distillation) = Shattering the "Impossible Triangle" of Low Parameters, Fast Inference, and High Quality<p>Is it just me or is it weird seeing these clickbaity AI-generated taglines in an otherwise scientific work?</p>
]]></description><pubDate>Mon, 22 Jun 2026 18:59:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48634495</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48634495</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48634495</guid></item><item><title><![CDATA[New comment by michaelfm1211 in "OneDrive data now has an expiry date"]]></title><description><![CDATA[
<p>This sounds very reasonable. If you stop paying then they stop serving you. Am I missing something?</p>
]]></description><pubDate>Mon, 08 Jun 2026 12:15:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=48444367</link><dc:creator>michaelfm1211</dc:creator><comments>https://news.ycombinator.com/item?id=48444367</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48444367</guid></item></channel></rss>