<?xml version="1.0" encoding="utf-8"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>The Walking Engineer</title><link>https://thewalkingengineer.com/</link><description>Benny Johansson builds software with AI agents, often by voice while he walks, and publishes it in the open.</description><language>en</language><atom:link href="https://thewalkingengineer.com/index.xml" rel="self" type="application/rss+xml"/><item><title>Why I built Verifiable Premises</title><link>https://thewalkingengineer.com/writing/why-verifiable-premises/</link><guid>https://thewalkingengineer.com/writing/why-verifiable-premises/</guid><pubDate>Mon, 09 Nov 2026 00:00:00 +0000</pubDate><description>Draft placeholder for the story of why Verifiable Premises exists, waiting for the author's own words.</description><content:encoded>&amp;lt;p&amp;gt;This post is a draft. The story is mine to tell, so nothing below is final.&amp;lt;/p&amp;gt;&amp;#xA;&amp;lt;blockquote&amp;gt;&amp;#xA;&amp;lt;p&amp;gt;&amp;lt;strong&amp;gt;To do, in Benny&amp;amp;rsquo;s words:&amp;lt;/strong&amp;gt; what happened that made you build Verifiable Premises. Which premise was wrong, how it got past the tests and the review, and what you changed afterwards. Keep only what you&amp;amp;rsquo;re happy to make public.&amp;lt;/p&amp;gt;&amp;lt;/blockquote&amp;gt;&amp;#xA;&amp;lt;p&amp;gt;What the tool does today is on the &amp;lt;a href=&amp;#34;/projects/verifiable-premises/&amp;#34;&amp;gt;Verifiable Premises project page&amp;lt;/a&amp;gt;.&amp;lt;/p&amp;gt;&amp;#xA;</content:encoded></item></channel></rss>