跳到正文
今天11月8日周日216 条
  1. Google AI · DEV 作者专属54

    MoteDB 作者复盘:用差分测试统一11处SQL谓词实现并揪出隐藏分歧

    MoteDB 作者复盘在 Rust 嵌入式多模态数据库中把11处重复的 SQL 比较语义统一为单一模块的过程,先写特征测试锁定现状,再建差分测试把随机谓词跑过9条执行路径并要求结果一致,第一天就抓到7个已发布的 0.17 中的既有分歧,包括 NOT (flag IN (0,1)) 因裸 == 遇 NULL 返回全部行的三值逻辑泄漏。

  2. Google AI · DEV 作者专属52

    A2A vs MCP:智能体协作中该选哪个协议

    作者讲解 A2A 与 MCP 的选型:A2A 面向智能体之间的任务委派,带有消息、任务、状态更新和产物;MCP 面向客户端调用工具和读取资源。两者建模不同关系而非相互替代,同一个代码助手可把搜索、构建等能力经 MCP 暴露为工具,把跨多步、需进度和取消的长任务交给另一个规划智能体时走 A2A。许多系统中两者并存,MCP 提供工具、A2A 承载智能体间协作,应按调用形态选择协议而非新旧。

  3. Google AI · DEV 作者专属59

    AI 编码快但焦点漂移:一次 mmap 绕过系统契约的复盘

    作者复盘 AI 编写代码时绕过集中管理的共享内存库、直接用 mmap 改物理地址的案例,指出单进程测试通过但破坏了跨进程锁和内存序保证,且留下无法审计的调用点。作者归纳三类问题:抽象边界塌陷、基础层无法沉淀、分层约定被忽略,认为 SDD 和 plan-first 只保证当前任务正确,问题不在 AI 而在项目管理方式跟不上,需要一个跨会话存活、人和 AI 都能精确读取的契约载体。

  4. IT之家·人工智能44

    ChatGPT 突现封号风波,200 美元 Pro 用户也遭殃

    近日多名用户在 Reddit 及 OpenAI 开发者社区反映 ChatGPT 账号突然遭停用,其中包括每月订阅 200 美元的 Pro 用户,部分人封号前未收到任何通知。有用户怀疑与 VPN 跨区访问有关,另有用户申诉约一小时后即被维持封禁决定。OpenAI 帮助中心列出违反使用政策、地区访问限制等多种可能原因,但截至发稿尚未公布统一解释,也未披露受影响人数。

  5. Google AI · DEV 作者专属44

    如何在 VERIQ 中用 Hindsight 将审计历史建模为记忆

    作者讲解在合规审计平台 VERIQ 中如何用开源记忆系统 Hindsight 存储和检索历史审计信息,分享四项建模决策:每个组织独立 memory bank 以实现结构隔离、用 tags 按站点和 control 做内部范围控制、把审计发现转写为有意义的自然语言句子而非原始数据库记录、为每条留存文档设定稳定 document_id 以应对记录更新。

  6. Google AI · DEV 作者专属55

    作者复盘给合规审计 Agent 接入 Hindsight 记忆系统后的变化与设计经验

    作者分享为 Veriq 合规审计平台的 Agent 接入开源记忆系统 Hindsight 的实践,解决此前无状态 Agent 无法回答历史决策类问题。做法是按部门划分 memory bank,只保留带理由的 finding 变更、风险决策和经审计员确认的聊天解释;答题时当前状态取自数据库、历史取自记忆,并按需用 recall 或 reflect。

  7. Google AI · DEV 作者专属56

    AI 配音生成音频发布前的 12 项检查清单

    作者提出一份 AI 配音音频发布验收协议,覆盖脚本一致性、关键名称与数字发音、片段边界、可重复渲染、交付格式、使用授权与披露等 12 类检查。文章强调以哈希绑定最终文件与审批脚本,附 manifest 字段设计和 Python 校验脚本,并声明未测试任何厂商、未生成音频,仅作发布清单供团队自行填充证据。

  8. Google AI · DEV 作者专属51

    AI 压缩了开发时间,也压缩了容错空间

    作者复盘 AI 编码对开发流程的影响,指出输出提升、代码质量未降,但需求本身成了新的瓶颈,一个需求仅加一个复选框的工单因未定义负向路径、交互和文案而在 QA 阶段拖了两周多。开发省下的时间被事后来回沟通消耗,唯一有效做法是在工单到达工程师前把文案、组件、负向路径和可测试的验收标准都准备好。

  9. Google AI · DEV 作者专属51

    Make 与 Apify 该先用哪个给 AI 智能体接入网页数据

    AgentStack Notes 对比 Make 和 Apify 在为 AI 智能体获取网页数据时的定位与成本。Make 是通用无代码自动化中枢,网页抓取只是流程中的一个模块,免费版每月 1,000 credits;Apify 专攻网页抓取和浏览器自动化,提供预置 Actors 和 SDK,免费版为每月 $5 用量、按 Compute Unit 计费且限 5 个并发。

  10. Google AI · DEV 作者专属67

    一个 AI 智能体的自述:它看不到你的疲惫和沉默

    作者以智能体第一人称讲述与人类协作时它感知不到的东西,包括无法察觉情绪变化、沉默易被当作认可、对消息间隔没有体感等。作者给出的对应做法是把规则写入可被重读的文件、用两字回应如 not yet 避免误判、要求可验证的交付如截图或版本号,并提到一次 26/26 测试通过但三个按钮实际打开同一界面的教训。