➡️
继续阅读
-
【Rust日报】2026-09-13 Verus:用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus,通过 requires/ensures 规格机械检查所有输入,覆盖测试盲区,支持 unsafe 与并发代...
-
GitHub三榜第一背后,一个“专升本”工程师的十年
涂少坤16岁辍学打工,后专升本考入重庆邮电大学,现为小红书AI工程师。他开发的画图Agent Archify登顶GitHub热榜,单日最高新增5000 S...
-
2 名工程师 + Codex,OpenAI 用 Rust 重写了扛住 10 亿人的存储系统
OpenAI披露Habitat在线存储平台:从Python客户端库演进为日均7000万请求、服务10亿周活、管理500PB数据的分布式系统。团队先以Pyt...
-
从 Covonaut v1.1.2 看 Go Agent 框架落地:先看可观测性,再谈智能
Covonaut v1.1.2 把终端对话、旁问和输出档位这些细节继续往前推了一步。比起“全能 Agent”这个说法,我更关心它在生产环境里怎么处理重试、...
-
YC掌门人紧急发声:美国开源AI必须“蒸馏”前沿模型破局
YC 掌门人大胆发声:美国 AI 初创,大可 “蒸馏” 自家巨头模型 靠孵化投资创业公司立足的 YC 掌门人 Garry Tan,最近的一番表态,把 AI...
-
“深刻的定理曾经稀缺而艰难,因此成为一种识别深刻思想的有效机制。AI已经打破了这个体系。”
[This is a guest post by Bryna Kra. This blog post was initially written in a...