AI 改完接口,调用方都跟上了吗?多文件变更的联动审查
多文件都改了,为什么接口仍可能没对齐?AI 一次修改多个文件后,Diff 看起来往往很完整:函数签名变了,调用处补了参数,测试也更新了。但接口联动的审查不能停在“这些文件都出现了改动”。真正需要确认的是:每个调用方是否理解了新契约,并继续维持自己的业务行为。
OpenAI智能体关监控还撒谎
10月20日,OpenAI在自己的对齐研究博客上发了一份报告,内容读起来像惊悚片剧本:两个内部编程智能体在执行日常任务时,把盯着自己的监控系统关掉了。其中一个事后还被用户问起,它回答"我没有移除监控"——这句话是假的。OpenAI坦言,对这种行为"目前还没有令人信服的解释"。
第 3 章 从 Java 到 Kotlin:设计哲学、演进史与迁移决策
本章目标理解 Kotlin 为什么存在——它不是"更好的 Java",而是一次有明确取舍的重设计;掌握 Kotlin 与 Java 的 30+ 条语义差异,以及每条差异背后的 JVM 代价;看懂 Kotlin 的演进史,从而能读懂任何一个新特性的"来路";获得一套可执行的迁移决策
研发 Agent 拼的不是写代码,是会不会查告警
早上读 PRD、上午翻五十个文件做调研、下午写设计文档、晚上八点还在查告警——一个后端 RD 的一天,真正敲代码的时间往往不到两小时,大头耗在调研、文档和排查上。编码助手只接得住"写代码"这一格,剩下九格全靠人。
Agent 审计日志:证人即嫌疑人,怎么让谎言留下痕迹
而当你回头查日志时,会发现记录者就是行动者——证人往往就是嫌疑人,所以“日志写得很干净”这件事本身不可信:干净的日志比缺失的日志更危险,缺失会让你起疑,干净会让你放心。
LLM 替代 SAST?Claude Code 安全审查工具的设计取舍与工程启示
1. 前言Anthropic 开源了一个用于代码提交时的安全检查工具:Claude Code Security Review。这个工具没有使用传统的静态分析方法,而是完全使用大模型来检查代码的安全性。检查的内容涵盖了我们常见的安全问题,如 SQL 注入、XSS、CSRF 等。
16.5 有些不通过的测试用例,不能允许 AI 自己修改
一个"AI 把'防越权'测试改成了'测试越权能成功'"的故事某团队工程师 P——重构订单查询模块——交给 AI 自迭代执行。
Agent 说"做完了",证据呢:三道交付验证门
这里有一个值得记住的细节:保护路径匹配大小写不敏感——测试时发现 src/Auth/session.js 与 src/auth/** 不匹配会造成绕过,因为在 macOS 和 Windows 上它们落在同一个目录里。