<?xml version='1.0' encoding='UTF-8'?>
<rss xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/" version="2.0">
  <channel>
    <title>Nikita Karetnikov</title>
    <link>https://blog.karetnikov.org</link>
    <description>Nikita Karetnikov</description>
    <atom:link href="https://blog.karetnikov.org/rss.xml" rel="self"/>
    <image>
      <url>https://blog.karetnikov.org/favicon.ico</url>
      <title>Nikita Karetnikov</title>
      <link>https://blog.karetnikov.org</link>
    </image>
    <language>en</language>
    <lastBuildDate>Mon, 11 Mar 2024 00:00:00 +0000</lastBuildDate>
    <item>
      <title>Logical Frameworks</title>
      <link>https://blog.karetnikov.org/lf</link>
      <guid isPermaLink="false">https://blog.karetnikov.org/lf</guid>
    </item>
    <item>
      <title>PyTorch: The Most Complex Software Project in the World Keeps Getting Better</title>
      <link>https://blog.karetnikov.org/pytorch</link>
      <guid isPermaLink="false">https://blog.karetnikov.org/pytorch</guid>
    </item>
  </channel>
</rss>
