<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Linear-Logic on Home</title>
    <link>https://blog.rafaelfernandez.dev/tags/linear-logic/</link>
    <description>Recent content in Linear-Logic on Home</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en</language>
    <copyright>© 2026 Rafael Fernandez</copyright>
    <lastBuildDate>Thu, 12 Mar 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://blog.rafaelfernandez.dev/tags/linear-logic/index.xml" rel="self" type="application/rss+xml" />
    
    <item>
      <title>Ownership in Rust 3. Clone guilt and the Republic of types</title>
      <link>https://blog.rafaelfernandez.dev/posts/ownership-rust-3-clone-guilt-republic-of-types/</link>
      <pubDate>Thu, 12 Mar 2026 00:00:00 +0000</pubDate>
      
      <guid>https://blog.rafaelfernandez.dev/posts/ownership-rust-3-clone-guilt-republic-of-types/</guid>
      <description>The Rust community turned .clone() into a moral failing. That dogma is as dangerous as the Jedi Council&amp;rsquo;s inability to adapt. We put the guilt under a microscope: the real performance numbers, the clippy lint that reinforces it, and the type theory that explains why Rust makes duplication visible in the first place.</description>
      
    </item>
    
  </channel>
</rss>
