2025 年 5 月 15 日，Rust 首个稳定版发布迎来了 10 周年。作为一门现代系统编程语言，Rust 兼具内存安全和高性能，允许开发者写出快速、高效、可靠的程序。它的核心亮点在于“所有权”模型——这套机制能在编译阶段就帮你排除一大批常见 bug，比如数据竞争 ...

TrustInSoft, a developer of static code analysis, has announced the availability of TrustInSoft Analyzer 2025.10, the latest release of our formal verification toolchain. The update introduces ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

随着 Rust 基金会的成立，“Rust 到底能不能成？”再次成为社区里的热门话题。 此次由微软、谷歌、AWS、华为四大全球顶级科技厂商与 Rust 的创造者 Mozilla 联合创立开源基金会，无疑也给国内那些想要上 Rust 车的开发者朋友打了一剂强心针。不少朋友表示自己要 ...

作者｜Fish Shell 团队｜核子可乐 转自｜InfoQ 编者按： 本月初，Fish Shell 4.0 正式进入 beta 测试阶段，主要变化就是从 C++ 迁移至 Rust。如今，随着大部分 Fish Shell 代码被成功转换为 Rust（正式发布 Fish 4.0 beta 测试版，几乎百分之百由 Rust 代码构成），项目组日前也 ...