<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Nico's Thoughts</title>
    <link>https://www.nicowil.me</link>
    <description>Exploring web technologies, computer architecture, and formal logic</description>
    <language>en-us</language>
    <lastBuildDate>Mon, 01 Jun 2026 23:38:59 GMT</lastBuildDate>
    <atom:link href="https://www.nicowil.me/feed.xml" rel="self" type="application/rss+xml"/>
    <item>
      <title><![CDATA[Interrogating Hidden Assumptions in Code Review with AI]]></title>
      <link>https://www.nicowil.me/posts/interrogating-hidden-assumptions-in-code-review-with-ai</link>
      <guid>https://www.nicowil.me/posts/interrogating-hidden-assumptions-in-code-review-with-ai</guid>
      <pubDate>Mon, 01 Jun 2026 00:00:00 GMT</pubDate>
      <description><![CDATA[AI generated code means we need better tooling to expose and explore the behavioural changes code changes cause.]]></description>
      <category>LLM</category>
    </item>
    <item>
      <title><![CDATA[Validation is your agent's bottleneck]]></title>
      <link>https://www.nicowil.me/posts/the-missing-validation-layer</link>
      <guid>https://www.nicowil.me/posts/the-missing-validation-layer</guid>
      <pubDate>Sat, 14 Mar 2026 00:00:00 GMT</pubDate>
      <description><![CDATA[A framework for validating the outputs of coding agents is what's currently missing in the AI coding agent space.]]></description>
      <category>LLM</category>
    </item>
    <item>
      <title><![CDATA[An incredibly short and informal introduction to formal logic]]></title>
      <link>https://www.nicowil.me/posts/an-incredibly-short-and-informal-introduction-to-formal-logic</link>
      <guid>https://www.nicowil.me/posts/an-incredibly-short-and-informal-introduction-to-formal-logic</guid>
      <pubDate>Sat, 09 May 2020 00:00:00 GMT</pubDate>
      <description><![CDATA[Formal logic is incredible and allows you to express arguments with precision you've never had before.]]></description>
      <category>Tutorials</category>
    </item>
    <item>
      <title><![CDATA[The Power of a Writing Challenge]]></title>
      <link>https://www.nicowil.me/posts/the-power-of-a-writing-challenge</link>
      <guid>https://www.nicowil.me/posts/the-power-of-a-writing-challenge</guid>
      <pubDate>Fri, 27 Mar 2020 00:00:00 GMT</pubDate>
      <description><![CDATA[Writing is powerful. That's why I undertook a 30 day writing challenge.]]></description>
      
    </item>
    <item>
      <title><![CDATA[Building a Webmention Receiver and Sending Webmentions]]></title>
      <link>https://www.nicowil.me/posts/building-a-webmention-receiver-and-sending-webmentions</link>
      <guid>https://www.nicowil.me/posts/building-a-webmention-receiver-and-sending-webmentions</guid>
      <pubDate>Thu, 26 Dec 2019 00:00:00 GMT</pubDate>
      <description><![CDATA[Today we're going to be building our own Webmention receiver and learn how to send webmentions...]]></description>
      <category>Web</category>
    </item>
    <item>
      <title><![CDATA[An Introduction to HTTP: The Foundation of the Web]]></title>
      <link>https://www.nicowil.me/posts/an-introduction-to-http-the-foundation-of-the-web</link>
      <guid>https://www.nicowil.me/posts/an-introduction-to-http-the-foundation-of-the-web</guid>
      <pubDate>Sun, 08 Dec 2019 00:00:00 GMT</pubDate>
      <description><![CDATA[The HTTP protocol is everywhere. You used it to receive this blog post, to pay for your bills on your bank site, or to look something up. The modern web requires it and it's the underlying base of it ...]]></description>
      <category>Web</category>
      <category>Tutorials</category>
    </item>
    <item>
      <title><![CDATA[Implementing Webmention: Endpoint Discovery]]></title>
      <link>https://www.nicowil.me/posts/discovering-webmention-endpoint</link>
      <guid>https://www.nicowil.me/posts/discovering-webmention-endpoint</guid>
      <pubDate>Wed, 20 Nov 2019 00:00:00 GMT</pubDate>
      <description><![CDATA[I don't think it's an exaggeration to say that protocols are at the foundation of modern civilization. From banking and the stock market to your traffic lights and radio, it's become nearly impossible...]]></description>
      <category>Web</category>
    </item>
    <item>
      <title><![CDATA[Adding Addition to JS]]></title>
      <link>https://www.nicowil.me/posts/adding-additon-to-js</link>
      <guid>https://www.nicowil.me/posts/adding-additon-to-js</guid>
      <pubDate>Mon, 18 Nov 2019 00:00:00 GMT</pubDate>
      <description><![CDATA[Click here to see an interactive version of the 16-bit adder we develop below.(/interactives/16-bit-adder.html)]]></description>
      <category>Systems</category>
    </item>
  </channel>
</rss>