7 entries · zh-Hant · rss.xml
本質複雜度、品味、取捨與責任
Lean 4 與形式化驗證,從歸納走向演繹
多 Agent 交叉審查,狙擊吞異常與自圓其說
ER 圖、依賴拓撲與重複掃描,找回結構能見度
領域詞彙、ADR 與 Agent 守則,為無狀態 Agent 保存設計意圖
TDD、BDD、屬性測試、類型系統與 CI 自動化門禁
軟件危機半世紀,AI 是銀彈還是集體幻覺