<?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>Sdlc on 兜忆轩 | Cedric's Compiler Notes</title><link>https://douyixuan.github.io/tags/sdlc/</link><description>Recent content in Sdlc on 兜忆轩 | Cedric's Compiler Notes</description><image><title>兜忆轩 | Cedric's Compiler Notes</title><url>https://douyixuan.github.io/images/papermod-cover.png</url><link>https://douyixuan.github.io/images/papermod-cover.png</link></image><generator>Hugo -- 0.146.0</generator><language>en-us</language><lastBuildDate>Sat, 22 Aug 2026 08:00:00 +0800</lastBuildDate><atom:link href="https://douyixuan.github.io/tags/sdlc/index.xml" rel="self" type="application/rss+xml"/><item><title>AI Native Digest 2026-08-22</title><link>https://douyixuan.github.io/posts/ai-native/2026-08-22/</link><pubDate>Sat, 22 Aug 2026 08:00:00 +0800</pubDate><guid>https://douyixuan.github.io/posts/ai-native/2026-08-22/</guid><description>今天关注两个很具体的 AI-native 工程方向：Anthropic 如何把整个 SDLC 改造成由版本化 artifact 和自动 gate 驱动的循环，以及 SemaPLC 如何用 specification、compile 和 live-runtime verification 把 coding agent 的完成条件从‘模型觉得好了’变成‘外部证据确认可运行’。</description></item></channel></rss>