<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: sadilek</title><link>https://news.ycombinator.com/user?id=sadilek</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 24 Oct 2026 12:26:13 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=sadilek" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by sadilek in "The foolishness of "natural language programming" (1978)"]]></title><description><![CDATA[
<p>How do you judge that the e2e test is correct? Trust it, read it, watch it? I'm watching demo videos.</p>
]]></description><pubDate>Sat, 24 Oct 2026 10:05:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=50219737</link><dc:creator>sadilek</dc:creator><comments>https://news.ycombinator.com/item?id=50219737</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50219737</guid></item><item><title><![CDATA[New comment by sadilek in "The alien space of science: Coherent but cognitively unavailable directions"]]></title><description><![CDATA[
<p>I heard about <a href="https://idealab.ai/" rel="nofollow">https://idealab.ai/</a> in the Moonshots podcast. Sounds somewhat similar, but for business instead of science.</p>
]]></description><pubDate>Sat, 24 Oct 2026 10:02:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=50219722</link><dc:creator>sadilek</dc:creator><comments>https://news.ycombinator.com/item?id=50219722</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50219722</guid></item><item><title><![CDATA[New comment by sadilek in "The foolishness of "natural language programming" (1978)"]]></title><description><![CDATA[
<p>Haha, well, I don't because I have no reason to assume this is in the code. In fact, I have reason to assume it is not in the code because the models aren't trained to produce this.<p>Could there be a less egregious version of that in the code? Sure, but then that's just a normal bug where implementation doesn't match intention, and that happens to human developers as well. I find that Opus 5.5 is so good that it writes pretty good code that follows YAGNI, KISS, DRY, and is fine with writing a lot of tests, so my sense is that the rate of normal bugs is actually lower than with human developers.<p>Now, if you're assuming malintent on the side of the model creators, well, that's another story. FWIW, in a commercial project, where I also work at the "engineering director level" since Opus 5.5, all non-trivial changes go through reviews by Codex and Grok (locally) and Greptile (on the PR), so there would have to be some serious level of collusion by the labs to produce your example ;)</p>
]]></description><pubDate>Sat, 24 Oct 2026 10:01:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=50219719</link><dc:creator>sadilek</dc:creator><comments>https://news.ycombinator.com/item?id=50219719</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50219719</guid></item><item><title><![CDATA[New comment by sadilek in "LLMs are making formal software verification feasible at a much larger scale"]]></title><description><![CDATA[
<p>I think the answer is: Think of yourself as a maker, not as a programmer, and you'll be good.<p>I feel like a good chunk of my skills that I honed over decades as a software engineer are obsolete: programming, debugging, navigating code. But there are other skills and especially experiences that, at least with the current level of tools, allow me to do much more than someone who doesn't have them: knowing what computers can and cannot do, or only inefficiently; distributed systems; deployment; CI/CD pipelines.</p>
]]></description><pubDate>Fri, 23 Oct 2026 08:36:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=50206047</link><dc:creator>sadilek</dc:creator><comments>https://news.ycombinator.com/item?id=50206047</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50206047</guid></item><item><title><![CDATA[New comment by sadilek in "The foolishness of "natural language programming" (1978)"]]></title><description><![CDATA[
<p>I can't prevent them, and in fact, I don't want to. Didn't mean to imply that.</p>
]]></description><pubDate>Fri, 23 Oct 2026 08:04:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=50205807</link><dc:creator>sadilek</dc:creator><comments>https://news.ycombinator.com/item?id=50205807</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50205807</guid></item><item><title><![CDATA[New comment by sadilek in "The foolishness of "natural language programming" (1978)"]]></title><description><![CDATA[
<p>Agree. For me, that's exactly what happened. I work with the agents the way I'd work with a team of developers, not the way I use a compiler. Since the end of September, they've made about 970 commits to a project of mine, and I haven't read a line of its code.<p>And like with a team, many programs could meet what I asked for, but I check the behavior of what they built, not the code directly. I think of it as working on the level of an engineering director, who also doesn't review code directly. Each agent shows me its change running in the app, in a short narrated screen recording, like in a launch review for the director. When it's not what I meant, I say what, and it goes another round.</p>
]]></description><pubDate>Fri, 23 Oct 2026 06:53:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=50205312</link><dc:creator>sadilek</dc:creator><comments>https://news.ycombinator.com/item?id=50205312</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50205312</guid></item><item><title><![CDATA[New comment by sadilek in "The compiler was supposed to end programming too"]]></title><description><![CDATA[
<p>Yes, it's a huge change. For me, it has already happened, and I like it. Since the end of September, agents have made about 960 commits to a project of mine, and I haven't written or read a line of its code.<p>About 6 months ago, I mostly stopped reading the code. And since a few weeks, I also stopped testing the changes manually. Before, it felt like I was the agents' QA department. Now, each agent shows me its change running in the app, in a short narrated screen recording. A fix takes me 30 seconds to watch. When something is off, I say what, and the agent goes another round.</p>
]]></description><pubDate>Thu, 22 Oct 2026 17:27:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=50198425</link><dc:creator>sadilek</dc:creator><comments>https://news.ycombinator.com/item?id=50198425</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50198425</guid></item></channel></rss>