➡️
继续阅读
-
给Rust代码办一张“数学身份证”:亚马逊揭秘Nitro背后的形式化验证武器Verus
亚马逊开源了验证器Verus,可为Rust代码提供数学证明,弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...
-
Rust 核心开发者发出“存在主义焦虑”:Agent 写代码的时代,语言设计者还有饭碗吗?
Rust核心设计者Niko Matsakis认为,在AI Agent时代,Rust因其性能默认值和类型护栏而受青睐。他提出“软件工厂”三支柱:设计、构造、...
-
RSTSR v0.10:Rust 原生、全面兼容 Python Array API 标准的科学计算高维张量库
RSTSR v0.10 是一个原生 Rust 的 n 维张量科学计算库,接口高度兼容 NumPy,并全面实现 Python Array API 2025 ...
-
【Rust日报】2026-10-18 Vec 和 String 的枚举优化不只靠空指针
本期汇总四条 Rust 动态:Vec/String 枚举可利用 niche 优化,无需额外判别字段;iroh 发布 1.0,稳定线格式与 API,采用 Q...
-
【Rust日报】2026-10-17 zip crate 旧版本被 yank 后又恢复
zip 库因安全问题批量撤回旧版本,后恢复部分版本至 10 月 30 日或发布 backport。Rust 多系统模拟器 Sly 发布,支持 GBA 和 ...
-
femtoAI开发者社区全面开放,全栈AI压缩平台上线
femtoAI结束Beta测试后全面开放开发者社区,提供全栈AI压缩平台,包括SPU芯片评估套件、压缩模型、编译器及Sparsity Studio工具。其...