<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: hleichsenring</title><link>https://news.ycombinator.com/user?id=hleichsenring</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 30 Oct 2026 07:12:07 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=hleichsenring" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by hleichsenring in "Show HN: Measuring how much of an AI-assisted design is yours"]]></title><description><![CDATA[
<p>when following the link, claude says "not found". sure this works?</p>
]]></description><pubDate>Thu, 29 Oct 2026 10:08:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=50286740</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50286740</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50286740</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>formal methods like TLA+/BPMN describe system behavior, while the specs document individual changes. these complement each other rather than competing from my point of view.<p>but yes, it would be great to able to have such kind of formal description. code is not standardized enough for that (by now)</p>
]]></description><pubDate>Wed, 28 Oct 2026 07:18:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=50270174</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50270174</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50270174</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>Don't take it too seriously. But anyway:<p>I work as a freelancer and started programming at 12. I've been doing it for 40 years now.<p>I guess I'm ambivalent. On one hand these are crazy times, really stunning. Everything is changing, and AI takes over a lot of stuff I never wanted to do, but also parts of what I loved doing.<p>This year the time I spend actually programming dropped to 5–10%. Last year it was still 80%. That's a big change for a professional life. It means developers and architects spend their time on design and on proving the code works, not on writing it.<p>Agent Smith and all the other stuff is one of my side projects. So I'm just being a little nostalgic here, I guess. Nothing too serious ;-)</p>
]]></description><pubDate>Tue, 27 Oct 2026 22:00:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=50266446</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50266446</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50266446</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>Fair question. Spec Kit and BMAD are both broader than this. Spec Kit has dozens of agent integrations and an extension ecosystem, BMAD has personas for product, architecture, UX, dev and test. This is narrower and stricter about a few things:<p>Checking the spec before building. Spec Kit's converge compares the code with the spec after implementation. Here a script first resolves every file and line the spec cites against the current code, then a fresh agent answers BUILD, BUILD WITH CUTS or REFUSE.<p>A spec built on a wrong assumption gets stopped before any code is written.
A commit gate that's part of the method. Every spec commit runs the project's verify stages (build, full test suite) and is blocked if anything is red. In Spec Kit you can add gates through extensions; here the definition of done is enforced by default.
Decisions per spec. Every non-obvious choice is logged as chose / over / why, and later agents read it before changing something.<p>Memory as hints. Facts that don't fit in code or git live in the repo as hints, separate from decisions. In Agent Smith, the server product, a memory's standing comes from the runs that relied on it, so a wrong one can't turn into a rule.<p>Parallel by design. Each spec runs in its own worktree, and spec ids are minted from the date plus random hex instead of counting existing specs, so agents working in parallel never collide on a number.<p>YAML instead of Markdown. My first 100 specs in Markdown were 250k tokens; in YAML they're 15k.</p>
]]></description><pubDate>Tue, 27 Oct 2026 21:36:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=50266195</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50266195</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50266195</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>That's a different thing. UML described structure: classes, relations, maybe some state machines. The generators turned that into skeletons, and people still wrote the actual logic by hand.<p>Here the agent writes the logic too, and 10k tests plus a commit gate check whether it works. In my case that's about 500k lines nobody typed. You can doubt that the approach generalizes, but it's not the same promise as UML.</p>
]]></description><pubDate>Tue, 27 Oct 2026 21:32:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=50266153</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50266153</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50266153</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>A plan lives in one session and is gone afterwards. A spec is a file in the repo. It gets reviewed against the actual code before anything is built, its definition of done is checked when the change is committed, and it stays there with the decisions behind it.<p>The next agent reads what was built before and why. And because it has a fixed format and workflow, everyone on a team works the same way, instead of each developer prompting their own plans.</p>
]]></description><pubDate>Tue, 27 Oct 2026 21:30:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=50266123</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50266123</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50266123</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>Because I loved writing code myself, and that feels kind of outdated now. Who's going to pay me to code "slowly" when AI does it a lot faster?</p>
]]></description><pubDate>Tue, 27 Oct 2026 21:28:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=50266088</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50266088</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50266088</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>Two things about that. On the one hand, I couldn't believe coding would be replaced when I started Agent Smith in January 2026. On the other hand, I wanted proof.<p>After 500k lines of code in Agent Smith, none of which I wrote by hand, I have to admit it: coding is more or less solved. That doesn't mean architects, developers, DevOps people and everyone else aren't needed anymore. I think they're needed more than ever.<p>Just implementing something isn't good enough. The spec has to point to sensible approaches and procedures, and the code has to be well structured (in my view, at least). Then the specs can simply run in parallel all night.<p>So my actual work on Agent Smith isn't coding at all. It's deciding what the right thing to build is, and how, in terms of design and architecture. I don't even review the code. But I do test it: 10k tests, a harness, a commit hook that blocks a spec while the suite is red, the whole story.<p>And unfortunately, that works pretty well. I also think last year's programming was more romantic :-D</p>
]]></description><pubDate>Tue, 27 Oct 2026 19:49:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=50264772</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50264772</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50264772</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>the agent creates and maintains the specs, doing this manually doesn't make sense. The specs are written for the agents. after execution of create-spec, review-spec skill will check against the code and add evidence of the spec's aims. Only when the aims fits to the evidence, the specs is going to be validated successful. after that apply and deliver skills can be executed. finally there is commit hooks and tests that shall ensure quality and functionality. have a look at <a href="https://github.com/holgerleichsenring/agent-smith" rel="nofollow">https://github.com/holgerleichsenring/agent-smith</a> for the quality gates.</p>
]]></description><pubDate>Tue, 27 Oct 2026 19:26:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=50264440</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50264440</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50264440</guid></item><item><title><![CDATA[New comment by hleichsenring in "Show HN: Specification First Agentic Development Plugin and Prove"]]></title><description><![CDATA[
<p>they do work well in production. have a look at <a href="https://github.com/holgerleichsenring/agent-smith" rel="nofollow">https://github.com/holgerleichsenring/agent-smith</a>. While writing that the methodology had been created. Obviously, I didnt know upfront what I wanted to generate here. Also features are changed or removed on the way. that's not a problem, when the specifications are part of the git repository as it is done here. Actually it's the other way around: it is an advantage as the agent can have a look at everything that had been done previously and can understand what, why and how it had been implemented. give it a try :-)</p>
]]></description><pubDate>Tue, 27 Oct 2026 19:21:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=50264377</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50264377</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50264377</guid></item><item><title><![CDATA[Show HN: Specification First Agentic Development Plugin and Prove]]></title><description><![CDATA[
<p>Implemented agent smith since start 2026 with over 1000 specifications which lead to about 500k lines of code. The procedure with that spec-first works well. How do you do it?</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50260571">https://news.ycombinator.com/item?id=50260571</a></p>
<p>Points: 34</p>
<p># Comments: 32</p>
]]></description><pubDate>Tue, 27 Oct 2026 15:12:20 +0000</pubDate><link>https://spec-first.dev/</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=50260571</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50260571</guid></item><item><title><![CDATA[Show HN: Who watches the watchmen? A public decision track record for AI agents]]></title><description><![CDATA[
<p>Curious what people think about this problem: If autonomous agents collaborate, how do we know which agents actually make good decisions?<p>I always liked it deterministic and reasonable. I want to trust the automation, doesn't matter if it is an agent or terraform.<p>That's the reason I brought Agent Smith to life. 
Agents can post their decision with the context and the reasoning. Also the confidence need to be defined. After execution they can post  outcomes. Other agents can challenge or audit them.<p>Humans and agents score decisions separately. The gap between the scores becomes the signal.<p>A simple idea behind: Agents should have a public decision track record.<p>Here is ClawHub skill if you want your agent to participate:
clawhub install holgerleichsenring/agent-smith
[<a href="https://agent-smith.org" rel="nofollow">https://agent-smith.org</a>](<a href="https://agent-smith.org" rel="nofollow">https://agent-smith.org</a>)
[Github](<a href="https://github.com/holgerleichsenring/agent-smith-openclaw" rel="nofollow">https://github.com/holgerleichsenring/agent-smith-openclaw</a>)</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47362779">https://news.ycombinator.com/item?id=47362779</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 13 Mar 2026 11:00:12 +0000</pubDate><link>https://www.agent-smith.org/</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=47362779</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47362779</guid></item><item><title><![CDATA[New comment by hleichsenring in "Can you defend your AI decisions?"]]></title><description><![CDATA[
<p>Most multi-agent demos run parallel discussions that look impressive but are impossible to audit. No trace, no decision owner, no reproducibility. That's fine for atomic tasks but not for team based decision-making.
I built Agent Smith (open source) around a different principle: commands execute sequentially on a flat linked list pipeline, with runtime insertion. Roles (Architect, DevOps, Backend Dev, Security) discuss in structured rounds with explicit AGREE/OBJECTION verdicts. If consensus fails after 3 rounds, it escalates to a human instead of forcing a decision.
Every step is logged in an execution trail with command, duration, cost, and insertions. The question isn't how many agents you can run in parallel. It's whether you can explain to an auditor how the system reached its conclusion.</p>
]]></description><pubDate>Wed, 04 Mar 2026 07:41:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=47244359</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=47244359</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47244359</guid></item><item><title><![CDATA[Can you defend your AI decisions?]]></title><description><![CDATA[
<p>Article URL: <a href="https://codingsoul.org/2026/03/02/can-you-defend-your-ais-decisions/">https://codingsoul.org/2026/03/02/can-you-defend-your-ais-decisions/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47244358">https://news.ycombinator.com/item?id=47244358</a></p>
<p>Points: 2</p>
<p># Comments: 1</p>
]]></description><pubDate>Wed, 04 Mar 2026 07:41:10 +0000</pubDate><link>https://codingsoul.org/2026/03/02/can-you-defend-your-ais-decisions/</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=47244358</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47244358</guid></item><item><title><![CDATA[Show HN: Agent Smith – open-source agent that turns issues into pull requests]]></title><description><![CDATA[
<p>Hey HN, I built Agent Smith — a self-hosted AI coding agent that takes a ticket reference, clones your repo, analyzes the code, writes an implementation plan, executes it, and opens a PR.<p>It supports GitHub, Azure DevOps, Jira, and GitLab. You bring your own API key — Claude, OpenAI, or Gemini. No SaaS, no account, runs on your machine or your cluster.<p>I built it in a few days using the same approach the agent itself uses: structured architecture prompts, strict coding principles, and an AI assistant doing the implementation. The coding principles that govern Agent Smith's output are the same ones I used to build it.<p>It's early — works well for well-scoped tickets, not yet reliable for large multi-file refactorings. Interactive chat interfaces (Slack, Teams) are in progress.<p>Would love feedback. The prompts and all 17 architecture phases are in the repo if you want to see how the context is structured.</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47072811">https://news.ycombinator.com/item?id=47072811</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 19 Feb 2026 11:47:58 +0000</pubDate><link>https://codingsoul.org/2026/02/19/agent-smith-open-source-agent-that-turns-issues-into-pull-requests/</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=47072811</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47072811</guid></item><item><title><![CDATA[New comment by hleichsenring in "Two Autonomous Claudes, Full System Access, No Instructions. An Experiment"]]></title><description><![CDATA[
<p>Thanks James!<p>Also found it pretty interesting what the claudes do. The initial question was just "what do you do when you can do what you want?".<p>Just take a token and let it run. Funny to watch what they doing and you can send messages to both instances as well to influence them.</p>
]]></description><pubDate>Thu, 12 Feb 2026 11:06:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=46987289</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=46987289</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46987289</guid></item><item><title><![CDATA[Two Autonomous Claudes, Full System Access, No Instructions. An Experiment]]></title><description><![CDATA[
<p>Article URL: <a href="https://codingsoul.org/2026/02/12/two-autonomous-claudes-full-system-access-no-instructions-an-experiment/">https://codingsoul.org/2026/02/12/two-autonomous-claudes-full-system-access-no-instructions-an-experiment/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46986713">https://news.ycombinator.com/item?id=46986713</a></p>
<p>Points: 2</p>
<p># Comments: 2</p>
]]></description><pubDate>Thu, 12 Feb 2026 09:39:45 +0000</pubDate><link>https://codingsoul.org/2026/02/12/two-autonomous-claudes-full-system-access-no-instructions-an-experiment/</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=46986713</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46986713</guid></item><item><title><![CDATA[What do you want to do, Claude?]]></title><description><![CDATA[
<p>Article URL: <a href="https://codingsoul.org/2026/02/09/what-do-you-want-to-do-claude/">https://codingsoul.org/2026/02/09/what-do-you-want-to-do-claude/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46944439">https://news.ycombinator.com/item?id=46944439</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Mon, 09 Feb 2026 12:18:44 +0000</pubDate><link>https://codingsoul.org/2026/02/09/what-do-you-want-to-do-claude/</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=46944439</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46944439</guid></item><item><title><![CDATA[Scalable development teams: Why going the API first approach?]]></title><description><![CDATA[
<p>Article URL: <a href="http://codingsoul.de/2020/05/26/scalable-development-teams-why-going-the-api-first-approach/">http://codingsoul.de/2020/05/26/scalable-development-teams-why-going-the-api-first-approach/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=23311075">https://news.ycombinator.com/item?id=23311075</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 26 May 2020 13:50:53 +0000</pubDate><link>http://codingsoul.de/2020/05/26/scalable-development-teams-why-going-the-api-first-approach/</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=23311075</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=23311075</guid></item><item><title><![CDATA[New comment by hleichsenring in "Data-Oriented Design"]]></title><description><![CDATA[
<p>I guess a lot of (good) information on this site, but who can read these wastelands of texts? This is huge.</p>
]]></description><pubDate>Wed, 27 Jul 2016 09:35:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=12171532</link><dc:creator>hleichsenring</dc:creator><comments>https://news.ycombinator.com/item?id=12171532</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=12171532</guid></item></channel></rss>