<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: bmenrigh</title><link>https://news.ycombinator.com/user?id=bmenrigh</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 28 Aug 2026 08:54:21 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=bmenrigh" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by bmenrigh in "Decompiling a Nintendo 64 game in 84 days"]]></title><description><![CDATA[
<p>I saw some news last week saying the project had reached 100%. Looking at the git repo (<a href="https://gitlab.com/kholdfuzion/goldeneye_src" rel="nofollow">https://gitlab.com/kholdfuzion/goldeneye_src</a>) that claim is a bit harder to verify, but maybe look again?</p>
]]></description><pubDate>Thu, 27 Aug 2026 18:33:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49469231</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=49469231</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49469231</guid></item><item><title><![CDATA[New comment by bmenrigh in "An elliptic curve of rank ≥ 30"]]></title><description><![CDATA[
<p>Okay this result may well be in his expertise wheelhouse but what about the recent smooth Carathéodory conjecture disproof? Or the Jacobian, or the Hadamard matrices? It seems to span a pretty wide range. I know others are getting good results too, but his really stand out.</p>
]]></description><pubDate>Thu, 20 Aug 2026 20:01:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=49379469</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=49379469</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49379469</guid></item><item><title><![CDATA[New comment by bmenrigh in "An elliptic curve of rank ≥ 30"]]></title><description><![CDATA[
<p>I just don't understand how Alpöge can get Claude to construct so many complex mathematical objects. He must already have some deep insight into the structure these things are likely to take. Naive prompting, or naive search would not have found pretty much any of the object he's found in the past month.</p>
]]></description><pubDate>Thu, 20 Aug 2026 18:59:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49378711</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=49378711</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49378711</guid></item><item><title><![CDATA[New comment by bmenrigh in "Google is making private AI practical with homomorphic encryption"]]></title><description><![CDATA[
<p>Has FHE really progressed so far that it's now so efficient that doing computation on an encrypted prompt is feasible? I thought even basic operations like FHE addition were still thousands of times more complex.  The only mention in the article I see is:<p>> But while homomorphic encryption has a nontrivial cost overhead, it shifts the capability/privacy trade-off to a question of cost. And the cost of homomorphic encryption is rapidly decreasing.<p>Which doesn't spell out exactly hon "nontrivial" the cost overhead still is.</p>
]]></description><pubDate>Fri, 14 Aug 2026 17:19:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49301748</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=49301748</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49301748</guid></item><item><title><![CDATA[New comment by bmenrigh in "The Hacker's Renaissance (2025)"]]></title><description><![CDATA[
<p>> In which parallel universe?<p>"As far as my technological life goes"</p>
]]></description><pubDate>Wed, 12 Aug 2026 00:51:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=49266517</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=49266517</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49266517</guid></item><item><title><![CDATA[New comment by bmenrigh in "AI Is Solving CTF Challenges in Minutes"]]></title><description><![CDATA[
<p>I'm one of the BSidesSF CTF organizers and challenge authors (symmetric). The article is a few months old now (May) which is ancient history as far as AI advancements go. That said, I'm still emotionally coming to terms with what happened.<p>Speaking from my own perspective (and not any of my challenge co-authors), I felt completely blindsided by the incredible progress frontier models made in solving CTF challenges between 2025 and 2026. We've been running the BSidesSF CTF for more than 10 years now, gaining experience on what makes a good, fun, and fair (solvable without random guessing) CTF challenge. 2026 was the first year where all of our past experience didn't seem to apply. Challenges that I designed to be hard, that I expected to take a dedicated human 10-20 hours to solve, fell to LLM automation in minutes.<p>I don't know what the future of CTFs is going to be, but I wouldn't be surprised if they're largely dead in 1-2 years. A lot of the satisfaction I get from making challenges is in seeing players struggle, learn, and then eventually solve them. I'm not sure there are going to be many players willing to sink 20 human hours of their weekend into one challenge  when a dozen teams using AI solved the challenge in under an hour.<p>Overall I'm thrilled with the capabilities we're getting with AI, but saddened by what we're losing. I hope CTFs can somehow hold on, and that I can still get a lot of satisfaction out of building challenges and having players solve them.</p>
]]></description><pubDate>Tue, 11 Aug 2026 21:54:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=49265034</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=49265034</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49265034</guid></item><item><title><![CDATA[New comment by bmenrigh in "The Hacker's Renaissance (2025)"]]></title><description><![CDATA[
<p>These sorts of manifesto essays have never resonated with me. To me it never was—- and never has been—- about freedom. It’s about curiosity and knowledge. The essay seems to glorify the bad-old-days of fighting for freedom against corporate control (AT&T, IBM, Microsoft, etc.) as somehow the good-old-days. As far as my technological life goes, we’ve won—- MS, IBM, AT&T are irrelevant.</p>
]]></description><pubDate>Mon, 10 Aug 2026 01:43:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=49238302</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=49238302</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49238302</guid></item><item><title><![CDATA[New comment by bmenrigh in "Five US tech giants' hidden debts soar to $1.65T on opaque AI funding"]]></title><description><![CDATA[
<p>A pretty reasonable question. I guess it could be my ISP filtering.<p>Or rather could have been, since the issue seems like it was transient. I'm now getting resolutions.<p>Very strange, I wish I'd recorded what was going on better while it was broken.</p>
]]></description><pubDate>Tue, 21 Jul 2026 07:09:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=48989059</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48989059</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48989059</guid></item><item><title><![CDATA[New comment by bmenrigh in "Five US tech giants' hidden debts soar to $1.65T on opaque AI funding"]]></title><description><![CDATA[
<p>I'm in the US and I'm either getting NXDOMAIN or NOERROR (with no A record answer) back from every big nameserver I try (my ISP, Google, Cloudflare, etc.).<p>But a dig +trace archive.ph (which recurses all the way to the root locally) resolves it fine.<p>Is there some US-mandated DNS filtering I don't know about?</p>
]]></description><pubDate>Tue, 21 Jul 2026 06:50:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=48988927</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48988927</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48988927</guid></item><item><title><![CDATA[New comment by bmenrigh in "My Mathematical Regression"]]></title><description><![CDATA[
<p>The 2n choose n solution isn't at all intuitive to me but thinking about it in terms of 40 steps, 20 of them rightward and 20 of them downward an then looking at all distinct permutations of these 40 steps as (40!) / ((20!)^2) <i>is</i> intuitive to me.  Then it becomes obvious that since 20 is half of 40, k and n - k are the same number (20), which coincides with the binomial coefficient n! / k!(n - k)!. But this seems like a lucky coincidence in 2 dimensions and if you extended the problem into 3D you'd do better thinking about permutations.</p>
]]></description><pubDate>Mon, 22 Jun 2026 21:25:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=48636420</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48636420</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48636420</guid></item><item><title><![CDATA[New comment by bmenrigh in "GPT‑NL: a sovereign language model for the Netherlands"]]></title><description><![CDATA[
<p>Oh I didn’t mean at all charging them. I mean licensing in the sense of granting rights for the purpose of training. Probably most labs would be fine adding the language to the training for free as long as the dataset quality is high and it improves the results. But yes, pay them if that’s what it takes for them to use it.</p>
]]></description><pubDate>Wed, 17 Jun 2026 14:39:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48571183</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48571183</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48571183</guid></item><item><title><![CDATA[New comment by bmenrigh in "GPT‑NL: a sovereign language model for the Netherlands"]]></title><description><![CDATA[
<p>I think at this point what the Netherlands, and any other country that wants a good model in their language should do, is gather up every piece of text ever written in that language and license it to the big AI labs/companies for training. I'm sure there are vast libraries of books and other text that haven't been digitized and aren't a priority for the big labs.</p>
]]></description><pubDate>Wed, 17 Jun 2026 13:53:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=48570599</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48570599</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48570599</guid></item><item><title><![CDATA[New comment by bmenrigh in "Unicorn – The Ultimate CPU Emulator"]]></title><description><![CDATA[
<p>I was just looking at Unicorn last week because it's used by unipacker to do automated unpacking of binaries. I built a "toolbox" for gpt-5.5 to do semi-automated malware and exploit reverse engineering and unipacker is sometimes useful for that purpose.</p>
]]></description><pubDate>Tue, 16 Jun 2026 14:05:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=48555536</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48555536</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48555536</guid></item><item><title><![CDATA[New comment by bmenrigh in "Mini Micro Fantasy Computer"]]></title><description><![CDATA[
<p>Mini Micro seems to be built on Unity. The MiniScript portion of it is open source <a href="https://github.com/JoeStrout/miniscript" rel="nofollow">https://github.com/JoeStrout/miniscript</a> but the version packaged for use by Unity costs some money. I can't tell if the people behind MiniScript are the same people behind the Mini Micro.</p>
]]></description><pubDate>Wed, 27 May 2026 11:10:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=48292406</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48292406</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48292406</guid></item><item><title><![CDATA[New comment by bmenrigh in "The Eternal Sloptember"]]></title><description><![CDATA[
<p>Every C program I've had codex write ended up costing me more time than had I just done it from the start myself. Whereas almost every Python program it's written for me saved me time, even including the time I spent cleaning it up.<p>I chalk this up to primary two reasons. First, I cared a lot more about the implementation details of the C program than I did the Python one, and second, it's just better at simple stand-alone python programs than it is at C programs.<p>The criteria I know use is "do I care about the implementation details of this?". If I do (because for example it's going to be long-term code that I need to maintain) then the agent likely isn't worth it. But if I don't, there are huge efficiency gains to be had using the agent.</p>
]]></description><pubDate>Mon, 25 May 2026 12:22:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48266022</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48266022</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48266022</guid></item><item><title><![CDATA[New comment by bmenrigh in "80386 Microcode Disassembled"]]></title><description><![CDATA[
<p>The black box analysis needed to decode this is incredibly hard but also incredibly fun and rewarding to pull off. Very impressive work.</p>
]]></description><pubDate>Sat, 23 May 2026 12:39:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48247156</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48247156</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48247156</guid></item><item><title><![CDATA[New comment by bmenrigh in "Boris Cherny: TI-83 Plus Basic Programming Tutorial (2004)"]]></title><description><![CDATA[
<p>Ah I was a few years later on the TI-86. Around 1999.<p>Between this, and SNES emulation (searching memory for values and adjusting things to see how they'd affect the game), I was destined for computer science.</p>
]]></description><pubDate>Thu, 07 May 2026 23:28:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=48056457</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=48056457</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48056457</guid></item><item><title><![CDATA[New comment by bmenrigh in "What can we gain by losing infinity?"]]></title><description><![CDATA[
<p>Which is exactly why I mentioned rejection of zero, negative numbers, etc.<p>You can reject them, but doing so just throws away useful tools without gaining anything in return.</p>
]]></description><pubDate>Thu, 30 Apr 2026 01:39:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=47957054</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47957054</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47957054</guid></item><item><title><![CDATA[New comment by bmenrigh in "What can we gain by losing infinity?"]]></title><description><![CDATA[
<p>Rejecting infinity is a purely philosophical stance that doesn’t teach us anything about reality.<p>There is a big difference between “infinity doesn’t exist” and “infinity doesn’t exist physically”.<p>I should also add that the resolution of zeno’s paradox in the form of calculus where and infinite set of steps can occur in a finite time (or infinite set of distance can span a finite total distance) is conceptually very simple and useful. Rejecting it as unphysical, or saying it must imply time or space come in discrete chunks, is not contributing to an understanding of reality unless the rejection also comes with a set of testable (in principle) predictions.</p>
]]></description><pubDate>Thu, 30 Apr 2026 01:29:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=47956958</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47956958</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47956958</guid></item><item><title><![CDATA[New comment by bmenrigh in "What can we gain by losing infinity?"]]></title><description><![CDATA[
<p>The article doesn’t really tell us what is gained by rejecting infinity.<p>And in general, why not also reject zero, negative numbers, irrational numbers, complex numbers, uncomputable numbers, etc.?<p>Seems like an article about quacks that can’t even agree on what the bounds and rules of their quackery are.</p>
]]></description><pubDate>Thu, 30 Apr 2026 01:10:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47956836</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47956836</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47956836</guid></item></channel></rss>