标签
Sonar CEO Tariq Shakir 的演讲指出 AI Agent 让代码产量暴涨(+2450% 行数、+240% 提交)但发布量仅增 30%,'从生产到交付'仍未解决,并提出由意图、导轨、验证、证据相乘构成的'代码信心公式',帮助软件工厂交付信心而非盲目信任。
gohawk 是一款面向 Go 语言的工业级静态分析工具,专注于资源管理和并发问题检测,已用于发现并修复 Docker、Kubernetes 和 Caddy 中的真实 bug。
本博客系列第二篇,主张 Modern C++ 是一种思维模式而非新的标准:通过 std::equal 和 C++20 ranges 等算法,默认编写正确、高效、安全的代码,取代传统基于循环且易出错的写法,并警告 AI 工具正在大规模生成不安全的经典 C++ 代码。
Qodo 推出了一款 Codex 插件,将组织级代码库上下文和独立的 AI 代码审查注入开发者的编码会话,帮助在创建 Pull Request 之前捕获跨仓库的 P0 级缺陷。
开源工具 ai-design-check 把「AI 味」界面拆成 70 多条可计数的检查规则(间距网格、字阶、渐变按钮、emoji 图标、'Welcome back' 问候语等),零依赖、不用 AI 或 API key,可在 React/Vue/Svelte/HTML/SwiftUI/Jetpack Compose 上运行,并支持挂进 Claude Code hook 让 agent 自动修复设计问题。
一个团队启用了 CodeRabbit 的“低质内容”检测功能,用来给粗制滥造的 AI 生成拉取请求(PR)打上标签,引发了一场争论:公开将工作成果标记为“低质内容”,究竟有助于提高质量,还是会羞辱贡献者。最终,他们规定,标签显示前必须经过人工审核。
noalloc 是一个用 AI 编写的 Go 工具链,可通过 `//noalloc:root` 等指令检查函数调用树中的堆分配,并提供固定容量的零分配数据结构(含 JSON 编解码器)以帮助编写无堆分配代码。
50年资深软件工程师 Uncle Bob(Robert C. Martin)发布了面向编程 AI Agent 的 ub-mode Skill,将《代码整洁之道》的工程思想转化为 Agent 约束规则,并通过 crapper、dryer、mutator 三大工具在交付前建立圈复杂度、重复度与变异测试的量化门禁。本文完整拆解其规则体系,并在真实开源项目中实测了该工具链的表现。
一篇关于 AI 编码代理(如 Codex)承担大部分开发工作后,工程师仍需保留何种技能的思考文章,作者以 SonarQube 报错引发的排查经历为例,提出「知道何时出错并能深入排查」比亲手写代码更重要。
作者解释了在C语言中反向遍历时常见的错误,并介绍了一种简洁的惯用写法 `for(size_t i = count; i--; )`,它可以避免使用带符号下标以及整数回绕带来的问题,尤其是在LLM生成的代码不断重复这些有缺陷的写法的背景下。
一位开发者回顾了 AI 如何从“橡皮鸭”式的调试伙伴演变为得力的编程助手,并权衡其带来的益处与代码熵增、初级开发者技能退化以及无益假设等风险。
作者分享了在一周内用 AI 辅助但不盲信 AI 的方法,安全删除约 19000 行编译器死代码的经验:先用静态分析界定范围,再让 LLM 标记 RED/BLUE 函数,并用独立的调用图工具交叉验证标记完整性,最终实现零回滚、零修复提交的清理。
一位 Meta 工程师的 LinkedIn 帖子引发了 Hacker News 上的讨论,质疑不断增长的发布 AI 生成代码却未完全理解其内容的做法,并探讨开发者如何应对这一新标准。
一篇关于如何更信任 AI 编程 Agent 的实用指南,强调投入的"倒金字塔"原则:代码库改进、静态分析、文字指引,最后才是人工审查。文中提供了 Cursor 官方插件仓库的链接,用于安装对 Agent 友好的工具和工作流。
开发者并未被 AI 取代,但 AI 取代了「理解自己代码」的环节:代码由模型生成后无人真正读过,调试退化为把报错喂回模型。文章引用 Veracode 对 100+ 模型的测试(45% 生成代码存在已知安全问题),质疑这种「用理解换速度」的权衡是否会反噬整个行业。
一篇探讨 AI 时代代码“churn”(频繁重写)观念转变的随笔:当编写代码的成本大幅下降,可抛弃的高质量“一年生”代码与稳定的“多年生”核心架构应被明确区分,频繁重写本身不是问题,问题在于承重部位的无计划变动。
FrontierCode 1.1 现已上线 Artificial Analysis;它与开源项目维护者共同打造,是首个衡量端到端代码质量与可合并性的基准——即维护者是否真的会合并该 PR。
开发者讨论在 AI 代理规模化工作流中如何验证代理自称的“已完成且测试通过”,提出需要外部独立的验证步骤与可留证的调用记录,而非信任代理的自测结果。
Kerno 1.0 正式发布,定位为 AI 运行时后端质量保证工程师,可映射代码库、自动测试整个后端(包括用户流程、安全检查、后台任务、队列、MCP 服务器和 AWS 无服务器服务),并在拉取请求进入持续集成流程前发现并复检漏洞。
Matt Pocock 认为,当 AI 编程智能体编写出糟糕的测试时,问题出在允许这类测试存在的代码库结构上,而非智能体本身。