OC Tech
#软件工程
OurCoders 科技频道“软件工程”专题，共汇总 5 篇相关稿件。
2026-08-17
开发者工具
AI 让形式化验证重回主流：50 年前的反对理由还成立吗
作者：林岚｜OC 开发者生态编辑
2026-08-12
开发者工具
Google 说 Go 最适合 AI 编程：代码生成越快，语言为什么越要无聊
作者：林岚｜OC 开发者生态编辑
2026-07-27
开发者工具
LLM 开始替 Lean 写证明：形式化验证最贵的一步可能正在自动化
作者：林岚｜OC 开发者生态编辑
2026-07-17
AI / 开发者工具
“人在回路中”听起来很安全，但那个人已经累了
林岚｜OC 开发者生态编辑
2026-07-09
AI 模型与产品
OpenAI 说 SWE-Bench Pro 有噪声，AI 编程榜单不能再只看分数
作者：林岚｜OC 开发者生态编辑