<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: edanm</title><link>https://news.ycombinator.com/user?id=edanm</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 30 Oct 2026 02:05:50 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=edanm" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by edanm in "The Exponential Time Hypothesis Is False [pdf]"]]></title><description><![CDATA[
<p>The halting problem is NP hard, technically speaking, but it's much harder than that - it's uncomputable. I don't think it's common to refer to it as NP-hard because it's confusing.</p>
]]></description><pubDate>Tue, 27 Oct 2026 06:52:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=50255448</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=50255448</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50255448</guid></item><item><title><![CDATA[New comment by edanm in "I don't understand quantum physics (2018)"]]></title><description><![CDATA[
<p>(Disclaimer: I'm nowhere near truly knowledgeable about any of this)<p>Quantum computing was explicitly proposed as a way to prove the truth of many worlds. As far as we can tell, quantum computing appears to work.<p>I don't think most people believe QC truly proves many-worlds, but I think it is considered some evidence in its favor, and historically it was I think one of the reasons for the development of QC originally.</p>
]]></description><pubDate>Sat, 24 Oct 2026 18:04:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=50223643</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=50223643</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50223643</guid></item><item><title><![CDATA[New comment by edanm in "Dogs seem to agree with humans that 'bouba' is round and 'kiki' is spiky"]]></title><description><![CDATA[
<p>Very curious what people think about this.</p>
]]></description><pubDate>Mon, 19 Oct 2026 11:30:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=50151067</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=50151067</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50151067</guid></item><item><title><![CDATA[New comment by edanm in "Resist "AI""]]></title><description><![CDATA[
<p>Quoting the US constitution:<p>"The Congress shall have Power... To promote the Progress of Science and useful Arts, by securing for limited Times to Authors and Inventors the exclusive Right to their respective Writings and Discoveries."<p>It's about promoting science and art, not "paying authors". Paying authors is of course the <i>mechanism</i> by which art is promoted.</p>
]]></description><pubDate>Fri, 11 Sep 2026 15:54:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=49660513</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=49660513</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49660513</guid></item><item><title><![CDATA[New comment by edanm in "“I just chose words carefully”"]]></title><description><![CDATA[
<p>I wonder if that was part of the reason that some programming languages use constructs like "if / fi" "do / od" etc.<p>(Note: After writing the above, I checked with ChatGPT, it claims that the main motivation was to make it unambiguous which which "opening word" a "closing word" belonged to.)</p>
]]></description><pubDate>Mon, 31 Aug 2026 08:09:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=49506952</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=49506952</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49506952</guid></item><item><title><![CDATA[New comment by edanm in "Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach"]]></title><description><![CDATA[
<p>No, but now I really want to know what the advice is! Can you share it?</p>
]]></description><pubDate>Sat, 25 Jul 2026 14:42:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49047981</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=49047981</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49047981</guid></item><item><title><![CDATA[New comment by edanm in "The human-in-the-loop is tired"]]></title><description><![CDATA[
<p>> On the other hand, if you already are a good/skilled programmer, AI is not solving anything for you. Its output is flawed and has to be manually fixed and refactored. When you consider the prompting and the waiting and the cajoling and the fixing and the refactoring, it's not really doing things faster than you could.<p>This seems to not coincide with the reality of some very skilled programmers saying exactly the opposite.<p>Just to quote the latest one, here's Linus Torvalds, who I think we can agree is a good programmer:<p>> AI is a tool, just like other tools we use.  And it's clearly a useful one.<p>> It may not have been that "clearly" even just a year ago, but it's no
longer in question today.<p>> There are other questions around AI (like what the economy of it will
actually look like in the end), but "is it useful" is no longer one of
those questions. Anybody who doubts that clearly hasn't actually used
it.</p>
]]></description><pubDate>Sat, 18 Jul 2026 12:11:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48957376</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48957376</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48957376</guid></item><item><title><![CDATA[New comment by edanm in "Kimi K3: Open Frontier Intelligence"]]></title><description><![CDATA[
<p>Based on the amount of output, I'm fairly sure simonw has replaced himself with ai years ago :)</p>
]]></description><pubDate>Thu, 16 Jul 2026 17:52:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=48937856</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48937856</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48937856</guid></item><item><title><![CDATA[New comment by edanm in "Control the Ideas, Not the Code"]]></title><description><![CDATA[
<p>I don't get this perspective.<p>How much of the source code of the compiler you use did you read? How much of the source code of the standard library of your chosen language did you read? What about the dependencies?<p>How much of the source code of a huge codebase does the average developer read? I don't think any human alive has read the majority of code in huge codebases like Word, Windows, Linux, etc.<p>For almost every developer, the majority of the code you use every day, whether in software you use or actual code you're shipping, is not code you've ever read. And no one seems to have a problem with it, because we've built lots of processes around this. It's only when the code is written by an AI and not a coworker or random library author that people seem to have a problem.<p>And I get it! AI wasn't very good at writing code two years ago. Maybe even a year ago. I think it's good now, but maybe you don't - ok, that's fine, maybe it'll only live up to your standards in a year or two or ten. But that doesn't seem to be what people are arguing, it's not "AI isn't good enough", it's "how can we possibly ship code we never read", and my point is that we've all been doing this for our entire careers.</p>
]]></description><pubDate>Tue, 14 Jul 2026 09:28:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48904173</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48904173</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48904173</guid></item><item><title><![CDATA[New comment by edanm in "Ghost Font: A font that humans can read but AI cannot"]]></title><description><![CDATA[
<p>Yes! I immediately thought of this.<p>And as a bonus reference - this all reminds me a lot of the book "There Is No Antimemetics Division".</p>
]]></description><pubDate>Sat, 11 Jul 2026 20:22:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=48875503</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48875503</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48875503</guid></item><item><title><![CDATA[New comment by edanm in "Show HN: 18 Words"]]></title><description><![CDATA[
<p>Also, Zanagrams is <i>really</i> fun too!</p>
]]></description><pubDate>Thu, 09 Jul 2026 19:06:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=48850897</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48850897</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48850897</guid></item><item><title><![CDATA[New comment by edanm in "Show HN: 18 Words"]]></title><description><![CDATA[
<p>First, this is fantastic! Really fun.<p>I really like everyone's idea of finding some way of letting the player play all 18 words. Either count up time, and use total time as the score (while allowing pausing). Or else just count the total score at the end, and if someone fails a word it's reduced from the score. So you got 16/18 word or something.</p>
]]></description><pubDate>Thu, 09 Jul 2026 19:04:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48850874</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48850874</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48850874</guid></item><item><title><![CDATA[New comment by edanm in "How little exercise can you get away with?"]]></title><description><![CDATA[
<p>> That's not ever going to be enjoyable. Tolerable, perhaps, given focus on the goal, but few people would be willing to tolerate it.<p>This is wrong in multiple ways.<p>For one thing, <i>lots</i> of people enjoy pain and discomfort caused by exercise. Some people even enjoy pain directly! There's ample evidence of this. You're painting with way too broad a brush given that there's enormous variance between people.<p>Secondly, there's clear evidence that many people <i>do</i> enjoy exercising, because gyms/parks/basketball courts/whateverl are often very busy. Are all these people just waiting for it to end? They're there voluntarily.</p>
]]></description><pubDate>Tue, 07 Jul 2026 14:14:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=48818197</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48818197</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48818197</guid></item><item><title><![CDATA[Assessing GPT-5.6 Sol Against Cybersecurity Benchmarks]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.irregular.com/research/assessing-gpt-5.6-sol">https://www.irregular.com/research/assessing-gpt-5.6-sol</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48692886">https://news.ycombinator.com/item?id=48692886</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 26 Jun 2026 22:37:16 +0000</pubDate><link>https://www.irregular.com/research/assessing-gpt-5.6-sol</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48692886</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48692886</guid></item><item><title><![CDATA[FrontierCyber: Bringing Offensive Cyber Evaluations to Real Systems]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.irregular.com/research/frontiercyber">https://www.irregular.com/research/frontiercyber</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48630705">https://news.ycombinator.com/item?id=48630705</a></p>
<p>Points: 4</p>
<p># Comments: 0</p>
]]></description><pubDate>Mon, 22 Jun 2026 14:32:24 +0000</pubDate><link>https://www.irregular.com/research/frontiercyber</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48630705</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48630705</guid></item><item><title><![CDATA[New comment by edanm in "When I reject AI code even if it works"]]></title><description><![CDATA[
<p>Not that I disagree with anything here, but...<p>I wish it were clearer in these kinds of posts how "I use AI code I don't understand" is so different from "I use libraries written by other people I don't understand", or "I work in a large codebase which was 99% written by other people, and I haven't seen all of it", or even "I use software written by other people I don't understand".</p>
]]></description><pubDate>Sun, 21 Jun 2026 07:55:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48616652</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48616652</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48616652</guid></item><item><title><![CDATA[New comment by edanm in "How to earn a billion dollars"]]></title><description><![CDATA[
<p>Missing cause it's not true.</p>
]]></description><pubDate>Sun, 14 Jun 2026 19:20:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=48531532</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48531532</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48531532</guid></item><item><title><![CDATA[New comment by edanm in "An OpenAI model has disproved a central conjecture in discrete geometry"]]></title><description><![CDATA[
<p>> and [Erdős problems are] sufficiently uninteresting that people have not spent that much effort trying to solve them.<p>Note that this is not really true of this problem in particular.</p>
]]></description><pubDate>Thu, 21 May 2026 06:04:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48218513</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48218513</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48218513</guid></item><item><title><![CDATA[New comment by edanm in "An OpenAI model has disproved a central conjecture in discrete geometry"]]></title><description><![CDATA[
<p>No, the thing the LLM did is not a proof, it's the opposite. It's proving that the conjecture is false.<p>Reductio ad absurdum is a technique to <i>prove</i> something.</p>
]]></description><pubDate>Thu, 21 May 2026 06:01:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48218492</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48218492</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48218492</guid></item><item><title><![CDATA[New comment by edanm in "Have a Coherent AI Policy"]]></title><description><![CDATA[
<p>Yes. One point I don't usually see people address is that using external dependencies has much of the same properties.<p>Developers often depend on external libraries like things for Image processing, Numpy, etc. Do they have to "own" the code in those external libraries and review them, in the same way people sometimes insist you have to review all AI-generated code? Do developers <i>have</i> to be able to recreate Numpy by themselves, even if their field isn't necessarily numerical optimization etc?<p>Those seem like very high and unreasonable bars.</p>
]]></description><pubDate>Fri, 15 May 2026 06:03:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=48145086</link><dc:creator>edanm</dc:creator><comments>https://news.ycombinator.com/item?id=48145086</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48145086</guid></item></channel></rss>