rust

双语

Faster floating point math with Rust's new API
2 months ago
- 由于编译器保守地保留精确结果，浮点运算比整数运算慢。
- Rust 1.98 引入了代数运算符（例如 `algebraic_add`），允许对浮点数进行编译器优化。
- 使用代数运算符的成对求和可以在保持精度的同时匹配或超越 NumPy 的速度。
- 代数运算支持 SIMD 优化，显著减少每个值的 CPU 指令数。
- 在算法中结合严格运算符和代数运算符可以在性能和数值精度之间取得平衡。
(Rust) All-Hands 2026 Retrospective
2 months ago
- 2026年乌得勒支的Rust全体大会聚集了166名Rustacean进行面对面协作，讨论语言的未来并解决阻碍。
- 活动在3天内举办了73场会议，涵盖治理、Rust演进、互操作性及编译器内部机制。
- 互操作性讨论聚焦于Rust/C++及Rust/Linux/CPython集成，在Crubit和LLVM IR方面取得显著进展。
- 反馈极其正面（平均9.5/10），参会者称赞走廊对话、工作坊及协作进展。
- 下一届全体大会定于2027年5月27日至29日在乌得勒支举行，作为RustWeek的一部分。
Why Casper forked Rust's rand crate
2 months ago
- 作者分叉了 Rust 的 'rand' crate 以创建 'urandom'，旨在减少小问题并提高日常操作的可发现性。
- 'urandom' 将高级消费者 API 放在单个 'Random' 包装结构体上，消除了为常见操作（如随机范围、选择和洗牌）导入多个 trait 的需要。
- 'urandom' 封闭了其底层 'Rng' trait，阻止外部生成器，并允许 crate 针对特定输出（如 f32 和 f64）优化算法（例如 Xoshiro），在基准测试中实现了高达 31% 的吞吐量提升。
- 'urandom' 中的均匀采样使用统一、无偏的惰性阈值计算，这比 'rand' 的分开有偏和无偏路径的分拆方法更简单且通常更快。
- 'urandom' 保证确定性生成器在不同架构和 SemVer 兼容版本之间的可重复性，而 'rand' 可能在次要更新中改变输出。
- 'urandom' 的权衡是灵活性较低（没有任意生成器）和生态系统较小，但与 'rand' 相比，它在常见任务上提供了改进的性能和易用性。
Building a Linux filesystem module in almost pure Rust
2 months ago
- ZeroFS 引入了一个原生内核客户端：一个用 Rust 编写的树外 Linux 文件系统模块，其中包含少量用于 netfslib 辅助函数的 C 代码。
- 该内核客户端注册到 VFS，使用 netfslib 进行 I/O，并通过 TCP 或 Unix 套接字直接使用 9P2000.L.Z 协议，消除了基于 FUSE 挂载的用户空间往返。
- 与 Linux v9fs 相比，ZeroFS 内核客户端支持自定义元数据操作、服务器故障转移后的重新连接以及主/备对。
- 该模块利用内核中的 Rust（Linux 6.18+）提供基础基础设施，但 VFS 交互依赖于原始的 C 结构体和 extern "C" 回调；大多数 unsafe 代码仅限于粘合层，而协议实现是安全的。
- netfs/compat_helpers.c 和 vfs/compat_helpers.c 中的大约 250 行 C 代码处理 bindgen 无法处理的静态内联函数。
- Netfslib 处理缓冲 I/O；该模块实现读写请求操作，消息大小可达 10 MiB，并支持缓存策略选项：宽松（1 秒）或严格（服务器重新验证，无缓冲）。
- 每个挂载与服务器有一个单一连接；请求使用 16 位标签进行多路复用，允许多个调用者等待自己的标签而不阻塞其他调用者。
- 对于不支持 Rust 的内核，构建过程将模块编译为 LLVM 位码，内部化 Rust 符号，并使用内核的正常模块工具进行链接，支持 x86-64（GCC/Clang）和小端 arm64。
- 源代码位于 kernel/ 目录中；软件包、安全启动注册和挂载选项在内核客户端文档中有详细说明。
Winding Down Artichoke Ruby
2 months ago
- 作者于2025年11月归档了Artichoke Ruby项目及其相关仓库，此事早已应做，原因在于一直有抵触承认替代性Ruby虚拟机项目的失败。
- Artichoke最初是一个使用mruby绑定构建鲁布·戈德堡机械的玩具项目，随后演变为用Rust替换mruby部分组件，实现“氧化”mruby。
- 关键成就包括纯Rust编写的符合规范的字符串实现、松耦合的模块化VM架构，以及对Ruby的全局解释器锁和Rust的借用检查器的深入学习。
- 项目被关闭的原因包括时间不足、重心转向工作和家庭、学习目标达成后乐趣减少，以及持续兼容性维护的负担。
- 已归档的仓库仍公开供研究和分叉使用；建议生产环境用户迁移到CRuby或其他受维护的实现。
- 作者强调，构建奇特或临时的事物是有价值的，因为构建的过程会改变你。
Show HN: Learning Rust by writing a Markdown to HTML compiler
2 months ago
- Andrea，Rust 新手，为了远离复杂的 Hugo，做了一个简单的 .md 到 .html 编译器作为实践项目。
- 该编译器在 12-13 小时内完成，未使用 GenAI 工具，仅依赖文档和基础 Markdown 语法实现。
- 编译过程包括扫描 posts 目录、解析块级和内联元素、构建抽象语法树，以及使用基本模板输出 HTML。
- 文章需要 YAML 前置元数据，包含标题和日期；可选字段包括描述、标签和草稿状态。
- CommonMark 支持涵盖标题、段落、代码块、列表、块引用、内联格式、链接和图片。
- index.html 显示所有文章，支持搜索和标签筛选，以及类似 Vim 的导航浏览。
- 该项目仅供个人使用，但是一次有趣的学习体验。
Why Lean is faster than Rust
2 months ago
- Lean's DEFLATE implementation (lean-zip) outperforms pure Rust's miniz_oxide in both compression speed and ratio at most levels, e.g., 30% faster at level 6.
- The performance advantage is enabled by a formal proof of correctness (inflate_deflateRaw theorem), which allows AI agents to optimize the code autonomously without human review, ensuring no bugs are introduced.
- Pareto frontier graphs show lean-zip dominates miniz_oxide across all compression levels, and is competitive with optimized libraries like zlib-ng and zlib-rs at high levels.
- Caveats include higher memory consumption, slower decompression (1.45x slower), reliance on Lean's extern annotations for low-level functions, and that the proof only covers round-trip correctness, not side channels or performance.
- The experiment demonstrates that with formal verification, AI-driven optimization can make Lean competitive with fast languages for basic algorithms, but it is not a general claim that Lean is faster than Rust.
Beej's Bit Bucket
2 months ago
- The blog is part of a 'Rust Rabbit Holes' series, exploring Rust traits and file I/O from a beginner's perspective.
- Unbuffered I/O in Rust uses the File struct and the Read trait, reading bytes into a fixed-size buffer.
- Buffered I/O wraps a File in a BufReader, providing higher-level methods like read_line() and lines() for line-by-line reading.
- The lines() method returns an iterator, which can be used in a for loop or with while let, with ownership considerations.
- A custom DataProvider struct implementing the Read trait can be used with BufReader, demonstrating trait implementation.
- Error handling uses Box<dyn Error> and the ? operator, with the From trait converting different error types.
- The author discusses borrowing, ownership, and method signatures, including why &BufReader does not implement BufRead.
Quasirandom sequences
2 months ago
- 伪随机数生成器（PRNG）产生的值呈团块状分布，这不利于对空间的穷举探索。
- 准随机数生成器（QRNG）能生成均匀密集的点，通过避免网格搜索伪影和更快的收敛速度（误差与1/n成正比，而非1/√n），改进了蒙特卡洛模拟。
- 作者实现了一个用于准随机序列的Rust crate，采用广义黄金比例方法生成d维点。
- 该方法使用黄金分割比例φ及其d维推广φ_d，第i个点由(i·φ_d^1, i·φ_d^2, …)取模1得到。
- 该库预计算了最多32维的φ_d值，并使用Rust宏实现高效的元组生成。
Shuttle
2 months ago
- Shuttle库是由前AWS工程师开发的并发验证工具，旨在简化并发代码的测试工作。
- 它通过采用随机探索的受控线程调度，解决了并发错误复现和捕获的难题。
- 该工具为标准库的并发原语提供了即插即用的替代方案，并在可操纵调度的测试框架中运行测试。
- 由于排列数量呈阶乘增长，穷举探索（如Loom中的方法）并不总是可行；随机探索可处理复杂情况且支持并行化。
- 一个实际示例展示了如何捕获经典并发错误（信号量中的竞态条件），并通过乐观并发与比较并交换机制进行修复。
- 集成过程涉及条件编译和重导出，以用shuttle::sync替代std::sync原语。
- 该库已在AWS S3的关键软件中成功应用，并在SOSP '21大会上获得了最佳论文奖。
Beej's Bit Bucket
2 months ago
- 作者在Rust中实现了一个逆波兰表示法（RPN）计算器，并解释了基于栈的求值过程。
- 初始代码使用命令行参数、parse/match和unwrap()进行错误处理，通过直接使用迭代器并跳过程序名进行了改进。
- 讨论了Rust的collect()方法、类型推断和turbofish语法。
- 令牌解析通过尝试解析为i64进行；如果失败，则检查令牌是否为运算符。
- 错误处理通过用if let模式和元组赋值替换unwrap()进行优化，最终从泛型math_op函数返回Result。
- 最终代码使用闭包（FnOnce）传递运算符逻辑，从而得到更简洁且具有正确错误传播的代码。
- 文章最后提到了将中缀表达式转换为后缀表达式的调度场算法（Shunting-yard algorithm）。
The Sword Juggling Fallacy
2 months ago
- 抛剑杂耍解释起来简单，但安全表演却很难，这就像C语言编程的一个隐喻。
- C语言是一种简单的语言，标准很小，但用C语言编程很难，尤其是在确保正确性方面。
- C语言中的指针理论上简单，但实践中复杂，需要谨慎管理所有权、生命周期和内存。
- 与C语言相比，Rust复杂的引用语义、生命周期和借用检查器使得编写正确的代码更容易。
- 不安全的Rust被比作抛电锯杂耍，突显了底层内存操作的风险。
Building Docs.rs
2 months ago
- docs.rs 通过使用 cargo doc 和 rustdoc 从源代码构建 Rust 包的文档，这一过程资源消耗大且存在风险，因为 build.rs 可能执行任意代码。
- 作者是一名从事 rcc C 编译器开发的 Rust 程序员，遇到了一个令人沮丧的问题：docs.rs 链接到特定版本，而重定向到最新版本时本应保持当前页面，却跳转到了首页。
- 在问题持续存在约一年半之后，作者尝试贡献修复，但受限于基于 Vagrant 的过时本地开发环境而遇到困难。
- 作者编写了一个用于本地开发的 Dockerfile，这给团队留下了深刻印象，随后被采用到生产环境中。
- 经过约一个月的工作，最初的修改被合并，作者受邀加入 docs.rs 团队。
- 作者持续贡献，并感谢社区的支持。
The intra-doc links saga
2 months ago
- 一位开发者花了四个月时间为rustdoc开发了“内部文档链接”功能，允许通过名称链接到文档项。
- 该功能将在四周后发布的Rust 1.48.0版本中稳定化。
- Manishearth与这位开发者共同在官方Rust博客上撰写了一篇关于内部文档链接的详细博文。
- 关于该功能的讨论正在Hacker News和Lobste.rs上进行。
&'borrow mut dyn FnMut(BrokenLink<'input>) -> CowStr<'input> and other valid rust programs
2 months ago
- 文章描述了在使用pulldown-cmark的Parser::new_with_broken_link_callback配合回调时出现的一个与生命周期相关的错误，其中生命周期被不必要地绑定在一起，导致令人困惑的错误，如'static生命周期要求。
- 修复方法涉及将输入的生命周期与回调借用的生命周期分离，如更新后的类型签名所示。
- 此外，Rust编译器存在一个诊断错误，错误消息声称同一类型必须实现它已经实现的trait，导致混淆。
- 作者还讨论了rustdoc在文档内链接中隐藏括号的背景，以及需要可重用回调的问题。
borrow-checker FAQs
2 months ago
- 要在修改集合的同时修改其元素，请使用'while let'而非'for'循环，以避免双重可变借用。
- 当使用捕获具有不相交字段的结构体的闭包时，请使用'let'语句显式捕获所需字段，以避免移动整个结构体。
- 将代码移至单独的函数可能导致编译失败，因为编译器无法识别不相交字段或错误的生命周期；解决方法是将函数内联或重构结构体。
- 要在需要可变访问结构体时使用来自该结构体的迭代器，请先将迭代器收集到新集合（如Vec）中，以满足借用检查器。
I'll Rust With You: the song
2 months ago
- Rust语言团队联合负责人Niko Matsakis发布了一首名为《Edition: the song》的歌曲。
- 作者受Steam Powered Giraffe的歌曲《I'll Rust With You》启发，演唱了翻唱版本。
- 这首翻唱歌曲除了标题外与Rust语言并无实际关联，纯属娱乐创作。
the rust project has a burnout problem
2 months ago
- Rust项目面临严重的过劳问题，许多维护者正在离开或接近过劳状态。
- 过劳遵循一个循环：新贡献者难以找到导师，承担繁重的工作量，并对项目进展感到个人责任。
- 过劳的关键驱动因素包括认为没有个人努力工作就无法完成，以及需要审查所有内容以防止错误。
- 建议贡献者优先考虑自我照顾，避免无偿加班，并将有偿的Rust工作视为常规工作。
- 团队领导应轮换职责，记录过劳解决方案，并询问人们离开的原因以解决文化和组织问题。
- 项目应将过劳视为优先事项，专注于团队成长和健康环境，而非技术问题。
the core of rust
2 months ago
- Rust有一个宏大的愿景，类似于Uiua和Zig，其内部有一个更小、更简洁的语言在努力突围。
- 学习Rust需要同时掌握许多交织在一起的概念：一等函数、枚举、模式匹配、泛型、trait、引用、借用检查器、Send/Sync和迭代器。
- 一个简单的20行Rust文件监视程序需要理解闭包、Result、泛型、枚举、模式匹配、迭代器、Send/Sync、生命周期和移动语义。
- 相比之下，一个等价的JavaScript程序只需要一等函数和可空性，凸显了Rust的复杂性。
- Rust交织的设计是有意为之；像带模式匹配的枚举、带泛型的Result/迭代器、以及带借用检查器的Send/Sync等特性相互补充。
- 作者提到了without.boats的‘更小的Rust’概念——一个由良好组合的正交特性组成的凝聚核心。
How to build and publish multi-platform Rust binaries via Github actions
2 months ago
- Automated CI/CD pipeline for Textpod triggered on GitHub release creation.
- Builds Linux and Windows binaries using cross-compilation on ubuntu-latest.
- Builds macOS binaries for both Intel (x86_64) and ARM (aarch64) on macos-latest.
- Generates SHA256 checksums for all binary archives and attaches them to the release.
- Publishes the crate to crates.io using the katyo/publish-crates action, dependent on successful builds.
- Builds and pushes Docker images for amd64 and arm64 platforms to Docker Hub using docker/build-push-action.
- Docker images based on rust:alpine are roughly 10 MB in size.
- Pipeline runs in the background after release creation, populating release page with files.

Faster floating point math with Rust's new API

(Rust) All-Hands 2026 Retrospective

Why Casper forked Rust's rand crate

Building a Linux filesystem module in almost pure Rust

Winding Down Artichoke Ruby

Show HN: Learning Rust by writing a Markdown to HTML compiler

Why Lean is faster than Rust

Beej's Bit Bucket

Quasirandom sequences

Shuttle

Beej's Bit Bucket

The Sword Juggling Fallacy

Building Docs.rs

The intra-doc links saga

&'borrow mut dyn FnMut(BrokenLink<'input>) -> CowStr<'input> and other valid rust programs

borrow-checker FAQs

I'll Rust With You: the song

the rust project has a burnout problem

the core of rust

How to build and publish multi-platform Rust binaries via Github actions