➡️
继续阅读
-
开源LoopX:长程Agent状态管理,狂跑200小时不跑偏
LoopX 是字节工程师开源的长程 Agent 控制平面,运行在 Codex、Claude Code 之上,通过独立状态层持久化目标、证据与配额,防止 A...
-
Flint:让 skill 成为个人资产
随着模型能力提升,通用型技能逐渐被吸收,但复用性中等、模型难以自学的技能仍有价值。作者开发了Flint——本地优先的个人AI技能资产管理器,可集中收拢、去...
-
中国物理AI大突破:PhysBrain 1.5登顶全球开源榜一,空间智能与GPT-6 Astra并驾齐驱
深度机智发布物理基座模型PhysBrain 1.5,在28项基准测试中综合得分72.5,居开源模型首位,与GPT-6 Astra、Gemini 3.6 F...
-
GitHub三榜第一背后,一个“专升本”工程师的十年
涂少坤16岁辍学打工,后专升本考入重庆邮电大学,现为小红书AI工程师。他开发的画图Agent Archify登顶GitHub热榜,单日最高新增5000 S...
-
【Rust日报】2026-09-13 Verus:用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus,通过 requires/ensures 规格机械检查所有输入,覆盖测试盲区,支持 unsafe 与并发代...
-
写了个小工具 fixrs,自动修复 Rust 冗长绝对路径和 clippy::absolute_paths
Rust 长绝对路径影响可读性和 AI 上下文,Clippy 的 absolute_paths 规则无自动修复。作者开发 fixrs 工具,基于 syn ...