Solidot发布于 08/28 15:08
Haiku R1/beta6 释出
Solidot是至顶网的科技资讯网站，主要面对开源自由软件和关心科技资讯读者群，包括众多中国开源软件的开发者，爱好者和布道者。口号是“奇客的知识，重要的东西”。
InfoQ 中文发布于 09/21 23:04
开源项目为 Apple Silicon 带来了完整的 iOS 27 虚拟化功能
开源项目 vphone-cli 能够让完整的 iOS 27 系统作为虚拟机在 Apple Silicon 上运行。
AWS Machine Learning Blog发布于 09/23 01:18
Evaluate skill-equipped agents with Strands Evals and Amazon Bedrock AgentCore
（翻译）使用 Strands Evals 和 Amazon Bedrock AgentCore 评估配备技能的智能体
Skills let you encode domain-specific procedures as reusable, portable instructions for agents, but a fluent answer doesn't prove the agent picked the right skill or followed it. Learn how to measure skill selection and instruction following with Strands Evals and Amazon Bedrock AgentCore Evaluation
NVIDIA Technical Blog发布于 09/24 00:00
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…
arXiv cs.AI发布于 09/24 12:00
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
Solidot发布于 10/05 22:27
因涌入大量 AI 报告 Google 冻结其 Bug 悬赏计划
Solidot是至顶网的科技资讯网站，主要面对开源自由软件和关心科技资讯读者群，包括众多中国开源软件的开发者，爱好者和布道者。口号是“奇客的知识，重要的东西”。
Solidot发布于 10/05 21:27
Riot Games 否认根据 CPU 封禁玩家
Solidot是至顶网的科技资讯网站，主要面对开源自由软件和关心科技资讯读者群，包括众多中国开源软件的开发者，爱好者和布道者。口号是“奇客的知识，重要的东西”。
arXiv cs.AI发布于 10/08 12:00
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
人人都是产品经理发布于 10/08 16:19
阿里开源了个神器，给WorkBuddy、豆包挑毛病
现在用 AI 开发一个网站、小程序、APP，真的越来越简单了。 尤其是去年Vibe Coding火起来之后，很多原本完全不懂编程的人，也开始自己动手做产品。 WorkBuddy、豆包工作、Qoder、TRAE、GPT、Claude等产品，已经降低普通人的开发门槛，基本上自然语言就能手搓完成。
InfoQ 中文发布于 10/09 01:12
谷歌借助 AI 与差分模糊测试将 C 语言依赖库改写为 Rust
谷歌安全团队推出一种方案，用 Rust 语言替换 giflib 图像处理库中的传统 C 语言代码，旨在解决原生存在的内存漏洞。
