双语

Vibe Coded X11 Server Written in Rust Adds Xinerama, FreeBSD Support
19 days ago
- YSERVER 是一个用 Rust 语言编写、借助 AI 协助的现代 X11 服务器，现已发布 1.3 版本。
- 新增功能包括 FreeBSD 支持、Xinerama 扩展、直接模式 VT 切换、显示器热插拔，以及更多 X11 扩展。
- 兼容 MATE、Xfce 和 Cinnamon 等桌面环境，以及 Compiz、Openbox 和 Awesome 等窗口管理器。
- 已在 AMD、Intel 到 Snapdragon 和 Apple Silicon 图形芯片等多种硬件上完成测试。
- 开发进展与源代码已在 GitHub 平台发布。
It's not me, it's the compiler
20 days ago
- 一位程序员在重构JavaScript引擎解析器时发现了Rust编译器的一个bug。
- 这个bug出现在一个函数中，在该函数里使用'x as u32'进行布尔值加法会导致错误行为，但使用显式的if-else语句却可以正常工作。
- 通过检查汇编代码确认编译器省略了一条递增指令，从而导致编译错误。
- 该问题被报告为'疑似编译错误'，并在18小时内由Rust社区迅速修复。
- 这个bug被归类为p-critical和i-miscompile级别，突显了罕见但严重的编译器错误。
Read Rust Like a Chinese Character
15 days ago
- 作者在经历了Python在生产环境中的局限性后转向了Rust，认为这些局限性是使用场景不当而非语言缺陷。
- Rust作为一门编译型、内存安全的系统语言，以其快速、现代的特性以及与Python截然不同的设计理念，满足了不同的生产需求。
- 初次接触Rust语法时遭遇了'月面着陆'般的困惑：'if let Some(x) = optional_value {...}'的写法打破了从左到右的阅读习惯，这与Python不同。
- 关键发现：'Some()'是Rust中Option枚举的一个变体，用于表示可能存在但未定义的值，这与不能包含数据的Python枚举有本质区别。
- Rust的模式匹配实现了语法一致性：创建数据结构与解构数据使用相同语法，遵循'塑形与铸造'的逻辑。
- 与Python的海象运算符(:=)相比，两者都结合了赋值与求值，但Rust的if let将模式匹配直接集成到条件语句中。
- 阅读Rust代码需要将某些语句视为整体视觉概念（如汉字），而非从左到右解析，这样才能直观理解模式匹配。
- Rust枚举与Python数据类的区别在于：枚举变体是单一类型内的不同形态，而非独立类型，因此需要if let来处理可能失败的'可驳模式'。
- if let结构能同时检查并提取值，在验证存在性的同时安全展开数据，无需手动调用，增强了安全性与可读性。
Kani: A Model Checker for Rust
15 days ago
- Kani 是一个开源的 Rust 模型检查器，它通过有界模型检查来验证安全属性和功能正确性。
- 它将 Rust 代码从中级中间表示（MIR）编译到 CBMC 的验证引擎中，无需用户标注即可自动检查安全属性。
- Kani 提供了一种规范语言，具有函数合约、循环合约、量词和函数存根等特性，可将验证从有界域扩展到无界域。
- 针对工业 Rust 项目的案例研究表明了其可行性，验证范围从恐慌自由升级到功能正确性，并发现了六个先前未知的错误。
- 它在生产持续集成中具有可扩展性，在 Rust 标准库验证活动中，每次代码更改可验证超过 16,000 个测试套件。
Show HN: Nectar, a Rust-like React that compiles to WebAssembly
15 days ago
- Nectar 通过单一二进制文件和零依赖项编译为 WebAssembly，使整个应用程序运行在 WASM 中，并将 JavaScript 减少到仅为 10KB 的系统调用层。
- 一个 Rust 二进制文件处理所有开发任务，包括编译、格式化、代码检查、测试、开发服务器、LSP、包管理和 SSR，消除了工具链配置需求。
- 提供每次绑定 O(1) 复杂度的更新，无需虚拟 DOM，确保信号变化时仅更新确切的 DOM 节点，并包含 Rust 风格的安全特性，如借用检查器和详尽模式匹配。
- 通过将应用程序编译为 .wasm 二进制文件和 3KB 运行时，消除了对 npm、node_modules、webpack 和打包工具的需求，并将常见的 Web 模式作为语言原生特性。
- 相同的 WASM 二进制文件通过 wasmtime 在服务器上运行，内置 SSR、客户端水合功能，并可部署到 29 个 Cloud Run 区域，将 .nectar 源码编译为 WebAssembly。
Fable 5 wrote a Windows kernel in 38 minutes
14 days ago
- ntoskrnl-rs 项目成功用 Rust 重写了 Windows NT 内核，在 QEMU 中启动并通过了自测。
- Claude Fable 5 在 38 分钟内生成了核心内核（约 5,100 行代码），包括调度、内存管理和 I/O 子系统。
- 该内核能够加载未经修改的 Windows 驱动程序和二进制文件，为分析和调试提供了沙箱环境。
- 验证仍然是一个瓶颈，因为 AI 编写的代码需要大量测试以确保可信度和正确性。
- 模型选择很重要：Fable 擅长从零开始生成代码，而 Opus 则擅长迭代调试和安全工作。
- 这证明了 AI 有潜力重写遗留的关键基础设施，从而降低成本并减少内存安全漏洞。
Making My Rust Program Space-Flight Ready
6 days ago
- 一个名为“hugebool”的Rust crate引入了一种16字节的“布尔安”类型，用于辐射硬化。
- “布尔安”使用位模式（如交替的0x55和0xAA），通过最接近匹配解码使单比特翻转可检测和可修复。
- 三重模块冗余通过通用的“Rad”结构实现，用于投票和清理，保护任何“Eq + Copy”类型。
- 基准测试显示，硬化读取（例如，通过投票和清理）比普通布尔读取慢约12倍，但仍然很快（每秒1.95亿次）。
- 局限性：保护仅适用于堆分配数据，不适用于寄存器、指令指针或其他系统组件，这与像RAD750这样的专用硬件不同。
- 该方法利用Rust的类型系统将静默的硬件错误转化为可检测的错误，为关键系统提供了一种经济有效的替代方案。
'Rust makes coding fun again': Why Linux is moving away from C
6 days ago
- Linux 稳定内核维护者 Greg Kroah-Hartman 宣布，Linux 及其他项目（如 Git）正转向使用 Rust。
- Rust 被认为比 C 语言更安全，有助于消除未检查指针和忘记解锁等常见漏洞。
- Kroah-Hartman 估计，80% 的内核常见漏洞和暴露（CVE）问题会被 Rust 捕获，使维护者能够专注于逻辑错误。
- Rust 正成为关键子系统中新工作的默认选择，某些驱动程序仅接受 Rust 版本。
- Linux 内核不会用 Rust 重写，但图形等子系统的新代码将仅使用 Rust。
- Rust 通过引入保护机制和范围分配等安全措施，影响了 C 代码的改进。
- Kroah-Hartman 强调，Rust 通过减少对内存安全和锁定问题的担忧，让编码变得有趣。
- Linux 内核中的 Rust 实验现已被视为正式内容，不再是一个实验。
- Kroah-Hartman 指出，Rust 既有利于维护者减轻审查负担，也有利于用户增强安全性。
What can we learn from Bun's rapid Rust rewrite with AI?
5 days ago
- Bun 利用 AI（Claude 的 Fable 工具）在 11 天内用 Rust 重写完成，耗资 16.5 万美元，将原本可能需要 1-2 年的人工迁移工作大幅缩短。
- 重写的主要动机是为了消除 Zig 中的内存相关错误（例如内存泄漏、释放后使用），因为 Rust 提供了内存安全性和编译器强制保证。
- 迁移过程包括：前期准备与移植指南制定、对抗性代码审查、并行 AI 智能体（共 64 个）的使用，以及对编译器错误和测试失败的迭代修复。
- 成功的关键因素包括：有一位熟悉代码库的积极工程师、一套健全的测试体系，以及愿意投入 AI 计算资源的决心。
- 这一案例表明，AI 如何能够实现以往难以完成的重写或迁移工作，并可能彻底改变复杂项目的工程工作流程。
Tested Kimi K3 for Coding
a day ago
- 用户通过让新Kimi K3模型优化一个Rust函数来测试它，特别是探索了SWAR（寄存器内SIMD）优化。
- Kimi K3在约15分钟内完美完成了优化任务，使程序速度提升了2%。
- 用户认为Kimi K3达到了接近前沿水平的质量，正如宣传所言，在OpenRouter上使用令牌的成本约为1美元。

Hasty Briefsbeta

#rust programming

Vibe Coded X11 Server Written in Rust Adds Xinerama, FreeBSD Support

It's not me, it's the compiler

Read Rust Like a Chinese Character

Kani: A Model Checker for Rust

Show HN: Nectar, a Rust-like React that compiles to WebAssembly

Fable 5 wrote a Windows kernel in 38 minutes

Making My Rust Program Space-Flight Ready

'Rust makes coding fun again': Why Linux is moving away from C

What can we learn from Bun's rapid Rust rewrite with AI?

Tested Kimi K3 for Coding