<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>Temporallogic on Tenu Tech Brief</title>
    <link>https://cluster-site.onrender.com/tags/temporallogic/</link>
    <description>Recent content in Temporallogic on Tenu Tech Brief</description>
    <generator>Hugo -- 0.146.0</generator>
    <language>en-us</language>
    <lastBuildDate>Tue, 24 Feb 2026 06:06:00 +0000</lastBuildDate>
    <atom:link href="https://cluster-site.onrender.com/tags/temporallogic/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic</title>
      <link>https://cluster-site.onrender.com/posts/feedback-based-automated-verification-in-vibe-coding-of-cas-adaptation-built-on-constraint-logic/</link>
      <pubDate>Tue, 24 Feb 2026 05:00:00 +0000</pubDate>
      <guid>https://cluster-site.onrender.com/posts/feedback-based-automated-verification-in-vibe-coding-of-cas-adaptation-built-on-constraint-logic/</guid>
      <description>• Leveraged generative LLMs to auto‑generate Adaptation Manager code for CAS systems. • Introduced vibe coding feedback loops to iteratively test and refine generated AMs. • Develo</description>
    </item>
  </channel>
</rss>
