Rust.cc ·

🌱 Rudis 0.3.0 发布，一个高性能内存数据库

💡 原文中文，约600字，阅读约需2分钟。

📝

内容提要

Rudis 是一个高性能的键值存储系统，使用 Rust 开发，兼容 Windows 和 Linux，支持多种数据结构，具备数据备份机制和快速响应能力。更新内容包括新增命令和 Web UI 可视化支持。

🏷️

【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
三种编程语言特性详解：借用检查流类型契约编程
文章介绍三种编程语言特性：Rust的借用检查在编译期杜绝数据竞争，Crystal的流类型让变量类型随代码路径自动推导，D语言的契约编程把断言嵌入函数语法。...
Rust 成为微软一线语言之后：谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言，与C++、C#同级，但目标是替换有漏洞的C/C++存量代码，而非取代C#。C#擅长业务复杂度，Rust擅长资源与安全边...
Rust 要变成下一个C++？
Rust社区近期热议语言复杂度上升问题。有开发者列举命名参数、开放枚举等提案，担忧Rust重蹈C++覆辙。语言团队回应称对复杂度保持谨慎，部分提案实为简化...
Your Mother Your Mother Your Mother will make you forget all about Marvel’s Blade disaster
Marvel's mishandling of its Blade reboot will likely go down as one of th...
Pi Agent 源码解析（一）：从调试环境到双层主循环
本文解析 Pi Agent 源码：先介绍调试环境搭建（安装依赖、下载模型目录、配置密钥、VS Code 断点），再重点讲解双层主循环——内层处理工具调用与...