「内部工具开发」共找到 3383 篇相关文章
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
「重置之神」Tibo：Codex真的有一个「重置」按钮，实体的
OpenAI Codex产品负责人Tibo在播客透露重置按钮是实体。他谈了OpenAI文化、给创业者建议，还涉及AI开发流程、ChatGPT与Codex合并、额度重置原因等多方面内容。
Cloudflare 发现了 hyper HTTP/1 实现中的竞态条件问题并进行了修复
Cloudflare记录开发团队发现并修复Rust常用HTTP库hyper中的罕见漏洞，该漏洞可能截断大型HTTP响应，已在上游修复，引发Rust从业者对事件及处理方式的讨论。
“一句话生成游戏”之后：2026 ChinaJoy的四个变化｜甲子光年
AI给游戏产业带来新的生产技术，也引发了一场围绕游戏产业新价值链的争夺。本文介绍了2026 ChinaJoy现场正在发生的四个变化，包括游戏开发者的时间被重新分配、游戏引擎开始为Agent重新设计等。
吴恩达开源的OpenWorker，为什么「不 Work」了？
美国时间7月23日，吴恩达与Rohit Prasad发布开源桌面Agent OpenWorker。它把Agent工作流压缩成桌面应用，但上线一周暴露出多模型兼容、数据流向和权限控制等问题，反映出Agent赛道走向成熟产品的挑战。
这个周末，很多人都在等一个额度重置，以及对 Work 模式的吐槽
ChatGPT Work 模式上线后，Token 消耗快，用户等额度重置。该模式与 Codex 易混淆，前者处理通用知识类长任务，后者面向软件开发。国内外产品纷纷推 Work 模式，未来或融合。
用户太蠢不配用 Fable？被Anthropic的回应气笑了：最贵的模型，最憋屈的体验
Anthropic推出Fable 5，有限时优惠但价格贵，新回退机制引争议，很多请求被降级。其曾强调安全，却用隐蔽方式编码用户信息，引发开发者不满，与OpenAI竞争也面临挑战。
SFT「不完全学习」之后，研究的下一个前沿在哪？ACL 2026 腾讯混元论文未来方向展望
本文从不完全学习现象出发，展望SFT领域未来研究方向，如未知根因探索、检测方法改进等，还提及推广到其他训练范式、CPT精细化研究等，给出研究优先级和社区建议。
端侧跑大模型，现在也太简单了
作者Vicki Boykis分享本地运行AI模型体验，指出如今本地模型性能提升大，像GPT - OSS、Gemma 4系列表现出色。还介绍运行本地智能体流程的设置，虽有问题，但优势多，生态值得投资。
OpenAI开源Privacy Filter：PII检测不用传服务器 Apache2.0可商用
OpenAI开源Privacy Filter模型，采用Apache2.0协议可免费商用。它是PII检测工具，支持全本地运行，避免数据泄露。有诸多技术亮点，也有一定局限性，上线后下载量可观。