技术博客 全部文章

分析编码代理和氛围编程带来的效率提升与信任危机，指出自然语言提示、Markdown 规格和代理自检无法可靠约束实现，主张将意图结构化为一等产物，并通过编译、模型映射、测试和漂移检测实现可审计的软件开发。