➡️
继续阅读
-
【Rust日报】2026-09-13 Verus:用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus,通过 requires/ensures 规格机械检查所有输入,覆盖测试盲区,支持 unsafe 与并发代...
-
2 名工程师 + Codex,OpenAI 用 Rust 重写了扛住 10 亿人的存储系统
OpenAI披露Habitat在线存储平台:从Python客户端库演进为日均7000万请求、服务10亿周活、管理500PB数据的分布式系统。团队先以Pyt...
-
Rust 成为微软一线语言之后:谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言,与C++、C#同级,但目标是替换有漏洞的C/C++存量代码,而非取代C#。C#擅长业务复杂度,Rust擅长资源与安全边...
-
【Rust日报】2026-09-12 Solana 与 NVIDIA 成为 Rust Foundation 白金会员
Rust基金会宣布Solana基金会与NVIDIA以最高档白金会员加入。Clippy的nonstandard_macro_braces lint改为宏展开...
-
Rust 要变成下一个C++?
Rust社区近期热议语言复杂度上升问题。有开发者列举命名参数、开放枚举等提案,担忧Rust重蹈C++覆辙。语言团队回应称对复杂度保持谨慎,部分提案实为简化...
-
机器没有在“思考”
文章梳理AI发展史,指出符号主义与联结主义几经起落,繁荣源于期望,寒冬源于期望落空。作者认为机器并未真正思考,只是处理符号统计关系,不懂语言意义。真正该担...