我最喜欢的一篇关于编程语言的论文之一是讲「在商业层面，没有人会为实现一些功能而去改变编程语言」，这是一个残酷的现实，但是这种需求是存在的。我和商业投资人都看到的一个点是，现在很多公司都正在重新考虑技术工具栈，想...

该论文是康奈尔大学和亚马逊工程师合作编写的，本文主要介绍开源的 Kani Rust verifier[2] 验证工具如何使用 MIR 表示的语义trait信息进行验证。该团队在调研 500 个下载次数最多的 Rust 库中发现，有 37% 使用表示动态...

Rustacean 是对Rust 编程语言[1]的用户的称呼。所以，「Rustacean 原则」可以看作是 Rust 官方团队站在 Rust 语言用户角度上创造 Rust 语言时所参考的原则。

这个系列是对 RustChinaConf 2022 线上大会议题的回顾，后面等官方 RustConf 2022 的视频出来也会有相关回顾文章。

作者自制了一个 CPU ，然后用 Rust 实现了软件部分，包括一些简单的程序：绘图器、BASIC/Scheme 语言解释器、Web 服务器、终端模拟器和MIDI 音乐播放器等。本文将涉及许多主题内容，喝一杯，慢慢看。...

这篇文章将按计算机生态自底向上来总结。以下应用领域其实还有很多工具作者没有列出来，回头找时间我会再扩展一篇。

ABI，是 Application Binary Interface 的缩写，应用程序二进制接口。

Scoped Thread 对应的是一种叫做结构化并发（Structured Concurrency）概念的实现。

在知乎发现了几篇非常有意思的Unsafe 随堂小测[1]，我来尝试解答一下。本文为第一篇。

昨天 Google 宣布了 Carbon[1] 语言，国内外相关技术媒体论坛争相关注，可谓是一出道即网红（两天star数上了7.7k）。甚至在 Rust 群里还有一些朋友争先恐后地学习了起来。...