【Rust日报】Veryl - 基于 SystemVerilog 的现代硬件描述语言

公告：Rust 编译器团队新增五名新成员

他们是 Kobzol（基础设施团队贡献者）、ZuseZ4（LLVM 后端 Enzyme 逻辑维护者）、jdonszelmann（HIR 属性表示贡献者）、madsmtm（Apple 和 iOS 目标维护者）和 mati865（Windows GNULLVM 目标维护者）。

阅读：https://blog.rust-lang.org/inside-rust/2025/05/30/compiler-team-new-members/

视频：Explaining assembly by playing SHENZHEN I/O

观看：https://www.youtube.com/watch?v=zycRrVS3NLc

最近，Jonhoo 一直在尝试玩《Shenzhen I/O》，并非常享受这种类似汇编语言的编程解谜游戏。

因此，他尝试了一种新的方式：通过直播玩游戏来教学。我们在直播中从游戏的开始部分逐步进行，同时解释汇编语言的概念。

虽然游戏中的汇编语言并不是“真实”的，但你学到的许多东西与现实世界中的嵌入式和汇编编程概念非常接近。

“

《Shenzhen I/O》是一款由Zachtronics开发的模拟编程解谜游戏，于 2016 年发布。玩家在游戏中扮演一名电子工程师，需要构建电路并编写代码来完成各种任务。游戏的背景设定在未来的中国深圳，玩家为一家虚构的科技公司“深圳龙腾电子”工作。

游戏特点包括：

• 使用来自不同制造商的各种组件构建电路，如微控制器、存储器、逻辑门和LCD屏幕。

• 使用紧凑且功能强大的汇编语言编写代码，其中每条指令都可以有条件地执行。

• 游戏附带一本包含超过30页的原始数据手册、参考指南和技术图表的手册。

玩家需要通过编写代码来控制电路板上的设备，完成各种任务，例如控制信号灯、放大信号、生成脉冲等。游戏中的编程语言类似于汇编语言，玩家需要学习和使用这种语言来编写程序。

《Shenzhen I/O》因其独特的游戏玩法和对编程技能的挑战而受到玩家的喜爱。游戏提供了丰富的任务和挑战，玩家可以通过完成这些任务来提升自己的编程能力。

游戏网站：https://www.zachtronics.com/shenzhen-io/

视频：What if Rust was Worse than C

主播：Tsoding

以 C 的方式写 Rust 会更糟糕吗？

作者通过直播的方式，以 C 的视角只使用 Rust 的一个子集来编写代码，把它叫做 Crust。

Crust 是一个针对 Rust 编程的规则集合，旨在让 Rust 编程更有趣。它要求所有函数默认不安全，仅使用指针而非引用，直接用 rustc 编译，禁止使用标准库但允许使用 libc，仅支持 Rust 2021 版本，所有用户定义的结构体和枚举都要派生 Clone 和 Copy 特性，且所有内容默认公开。

观看：https://www.youtube.com/watch?v=5MIsMbFjvkw

文章《Let's Build a (Mini)Shell in Rust》

作者：micahkepe

这篇文章详细介绍了如何用 Rust 语言编写一个简单的命令行外壳程序“minishell”。

文章从基础的输入提示、命令解析和执行讲起，逐步扩展到支持命令管道、内置命令（如 cd 和 exit）、外部命令执行等功能。

此外，还介绍了如何使用 rustyline 库来增强用户体验，包括命令历史记录和信号处理。

最后，文章还展示了如何添加欢迎信息和 ASCII 艺术风格的标志，使外壳程序更加友好和个性化。

阅读：https://micahkepe.com/blog/minishell/

Reddit：https://www.reddit.com/r/rust/comments/1l0usup/lets_build_a_minishell_in_rust_a_tutorial/

minesweep-rs - TUI 扫雷游戏

仓库：https://github.com/cpcloud/minesweep-rs

ATO - no_std 简单异步任务运行时

ATO 是一个为 no_std 环境设计的简单异步任务运行时，适用于嵌入式系统或资源受限的应用场景。

它提供任务调度器和轮询调度机制，支持异步任务队列和简单的睡眠功能，依赖 alloc 模块；使用时需配置任务队列大小。

仓库：https://github.com/SeaRoll/ato

Reddit：https://www.reddit.com/r/rust/comments/1l0grgm/just_published_my_first_crate_ato_a_minimal_no/

imessage-exporter - iMessage 数据导出工具

imessage-exporter 是一个开源项目，提供了一个库和一个二进制工具，用于与 iMessage 数据交互并执行只读操作。

它支持 macOS、Linux 和 Windows 系统，能够将 iMessage 数据导出为 txt 或 html 格式，同时支持备份、存档和诊断 iMessage 数据库。

该工具支持多种 iMessage 功能，包括文本、多媒体内容、回复、群组聊天等，并且可以保留所有通信历史，支持数据保留政策和法律要求。

仓库：https://github.com/ReagentX/imessage-exporter

Reddit：https://www.reddit.com/r/rust/comments/1l0b156/imessage_exporter_270_canyon_sunflower_is_now/

veryl - 基于 SystemVerilog 的现代硬件描述语言

Veryl 是一种基于 SystemVerilog 的现代硬件描述语言，目前处于语言设计的探索阶段。

它旨在通过优化的语法、与 SystemVerilog 的互操作性和强大的开发工具支持，提高硬件设计的效率和生产力。

Veryl 的语法简化了常见逻辑设计模式，生成的 SystemVerilog 代码具有高可读性，便于集成和调试。

它还提供了丰富的开发工具，如包管理器、构建工具和实时检查器，以加速开发过程。

Veryl 适用于 ASIC 工作流程，支持对生成的 Verilog 代码进行低级修改，以满足时序优化和掩模后 ECO 等需求。

仓库：https://github.com/veryl-lang/veryl

官网：https://veryl-lang.org/

论文：https://veryl-lang.org/docs/veryl_dvcon-jpn-2024.pdf

Reddit：https://www.reddit.com/r/rust/comments/1l15pcv/veryl_0161_release/

--

From 日报小组 苦瓜小仔

社区学习交流平台订阅：

• Rustcc论坛: 支持rss

• 微信公众号：Rust语言中文社区