<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>developer.porn</title>
    <link>https://974ff177.developer-porn.pages.dev/</link>
    <description>Recent content on developer.porn</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en</language>
    <lastBuildDate>Fri, 10 Apr 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://974ff177.developer-porn.pages.dev/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>The unexpected implications of constrained JSON decoding</title>
      <link>https://974ff177.developer-porn.pages.dev/posts/constrained-json-decoding/</link>
      <pubDate>Fri, 10 Apr 2026 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/posts/constrained-json-decoding/</guid>
      <description>Constrained JSON decoding works by filtering logits, not by teaching the model. This has consequences for performance, correctness, and schema design that are easy to miss.</description>
    </item>
    
    <item>
      <title>A better way to interact with AI — threaded conversations on artifacts</title>
      <link>https://974ff177.developer-porn.pages.dev/posts/babysit-pr/</link>
      <pubDate>Mon, 23 Mar 2026 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/posts/babysit-pr/</guid>
      <description>Chat is an inconvenient interaction model for working with AI on structured artifacts. Here&amp;rsquo;s what I use instead.</description>
    </item>
    
    <item>
      <title>The Unreasonable Effectiveness of Structured Cooperation</title>
      <link>https://974ff177.developer-porn.pages.dev/posts/framing-structured-cooperation/</link>
      <pubDate>Tue, 08 Jul 2025 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/posts/framing-structured-cooperation/</guid>
      <description>Why is GOTO bad, why was structured concurrency invented, and how does that explain the unreasonable effectiveness of structured cooperation.</description>
    </item>
    
    <item>
      <title>Towards an Implementation of Structured Cooperation</title>
      <link>https://974ff177.developer-porn.pages.dev/posts/implementing-structured-cooperation/</link>
      <pubDate>Mon, 07 Jul 2025 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/posts/implementing-structured-cooperation/</guid>
      <description>An overview of how structured cooperation is implemented in Scoop, along with two of its fundamental components: EventLoopStrategy and CooperationContext.</description>
    </item>
    
    <item>
      <title>Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems</title>
      <link>https://974ff177.developer-porn.pages.dev/posts/introducing-structured-cooperation/</link>
      <pubDate>Sun, 06 Jul 2025 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/posts/introducing-structured-cooperation/</guid>
      <description>An introduction to structured cooperation, a new way to design distributed systems, and Scoop, a POC orchestration library.</description>
    </item>
    
    <item>
      <title>This is how you win type wars</title>
      <link>https://974ff177.developer-porn.pages.dev/posts/how-to-win-type-wars/</link>
      <pubDate>Wed, 26 Mar 2025 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/posts/how-to-win-type-wars/</guid>
      <description>Beyond the static vs. dynamic typing flame war: a practical guide to understanding the tradeoffs, when to use each, and how Common Lisp bridges both worlds.</description>
    </item>
    
    <item>
      <title>Arguments against static typing</title>
      <link>https://974ff177.developer-porn.pages.dev/posts/arguments-against-static-typing/</link>
      <pubDate>Tue, 25 Mar 2025 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/posts/arguments-against-static-typing/</guid>
      <description>A practical defense of static typing that addresses common complaints, agrees with them, and shows why they make static typing powerful.</description>
    </item>
    
    <item>
      <title>About me</title>
      <link>https://974ff177.developer-porn.pages.dev/author/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      
      <guid>https://974ff177.developer-porn.pages.dev/author/</guid>
      <description>Pretty much as far back as I can remember, I&amp;rsquo;ve always had a deep passion for technical subjects, particularly mathematics and programming. This has been the driving force behind most of my life, and strongly influenced every aspect of the path I&amp;rsquo;ve been on.
I earned my Bachelor&amp;rsquo;s degree from University of West Bohemia, where I graduated summa cum laude. I originally studied pure mathematics for two semesters but switched to cybernetics because the math was more interesting.</description>
    </item>
    
  </channel>
</rss>
