How SWE-Serve Exposes the Gap Between Local Tests and Live Serving
（翻译）SWE-Serve 如何揭示本地测试与实际服务之间的差距
An AI coding agent’s patch can pass tests yet fail when the server loads a real model and handles requests. Evaluating changes to inference-serving software…
Silent Failures in Agent-Tool Interaction: An Audit of ToolUniverse
（翻译）智能体-工具交互中的静默失败：对 ToolUniverse 的审计
Abstract page for arXiv paper 2609.26836: Silent Failures in Agent-Tool Interaction: An Audit of ToolUniverse
因涌入大量 AI 报告 Google 冻结其 Bug 悬赏计划
Solidot是至顶网的科技资讯网站，主要面对开源自由软件和关心科技资讯读者群，包括众多中国开源软件的开发者，爱好者和布道者。口号是“奇客的知识，重要的东西”。
Accelerating Floating-Point Satisfiability Solving via Gradient Normalization
（翻译）通过梯度归一化加速浮点可满足性求解
arXiv:2610.08808v1 Announce Type: new Abstract: Satisfiability Modulo Theories (SMT) solvers are foundational to software verification, program analysis, and compiler testing, particularly over the theory of Quantifier-Free Floating-Point (QF_FP). While recent optimization-based SMT solvers have suc
阿里开源了个神器，给WorkBuddy、豆包挑毛病
现在用 AI 开发一个网站、小程序、APP，真的越来越简单了。 尤其是去年Vibe Coding火起来之后，很多原本完全不懂编程的人，也开始自己动手做产品。 WorkBuddy、豆包工作、Qoder、TRAE、GPT、Claude等产品，已经降低普通人的开发门槛，基本上自然语言就能手搓完成。
谷歌借助 AI 与差分模糊测试将 C 语言依赖库改写为 Rust
谷歌安全团队推出一种方案，用 Rust 语言替换 giflib 图像处理库中的传统 C 语言代码，旨在解决原生存在的内存漏洞。
