<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0"><channel><title>eda-web blog</title><link>https://eda-web.site</link><description>Posts from eda-web</description><item><title>test-proof</title><link>https://eda-web.site/blog/math/test-proof/</link><guid>https://eda-web.site/blog/math/test-proof/</guid><category>math</category><pubDate>Thu, 24 Sep 2026 00:00:00 +0000</pubDate><description></description></item><item><title>Hello, world</title><link>https://eda-web.site/blog/meta/hello-world/</link><guid>https://eda-web.site/blog/meta/hello-world/</guid><category>meta</category><pubDate>Thu, 24 Sep 2026 00:00:00 +0000</pubDate><description>What this blog is and how it is built.</description></item></channel></rss>
