Converting Files into Minecraft Worlds12 days agohttps://wuemeli.com/blog/sulfur-part-1/核心思想是将任何文件转换为Minecraft世界，通过将每个字节映射到一个方块。调色板将256个字节值映射到方块，排除了具有年龄/等级状态的方块（如作物）和多部分实体（如床、箱子）。方块放置在一个16x16x16的区域中，从Y=-64到Y=320填充一个完整的区块列（24个区域），然后水平移动到下一个区块。一个区域文件（.mca）最多可以存储约96 MiB的数据，来自32x32个区块。更多...
Tested Kimi K3 for Coding12 days agohttps://www.dotnetperls.com/2026_7_18_tested-kimi-k3-coding用户通过让新Kimi K3模型优化一个Rust函数来测试它，特别是探索了SWAR（寄存器内SIMD）优化。Kimi K3在约15分钟内完美完成了优化任务，使程序速度提升了2%。用户认为Kimi K3达到了接近前沿水平的质量，正如宣传所言，在OpenRouter上使用令牌的成本约为1美元。
What can we learn from Bun's rapid Rust rewrite with AI?16 days agohttps://newsletter.pragmaticengineer.com/p/the-pulse-what-can-we-learn-from-07fBun 利用 AI（Claude 的 Fable 工具）在 11 天内用 Rust 重写完成，耗资 16.5 万美元，将原本可能需要 1-2 年的人工迁移工作大幅缩短。重写的主要动机是为了消除 Zig 中的内存相关错误（例如内存泄漏、释放后使用），因为 Rust 提供了内存安全性和编译器强制保证。迁移过程包括：前期准备与移植指南制定、对抗性代码审查、并行 AI 智能体（共 64 个）的使用，以及对编译器错误和测试失败的迭代修复。成功的关键因素包括：有一位熟悉代码库的积极工程师、一套健全的测试体系，以及愿意投入 AI 计算资源的决心。更多...
'Rust makes coding fun again': Why Linux is moving away from C17 days agohttps://www.zdnet.com/article/greg-kroah-hartman-linux-kernel-rust/Linux 稳定内核维护者 Greg Kroah-Hartman 宣布，Linux 及其他项目（如 Git）正转向使用 Rust。Rust 被认为比 C 语言更安全，有助于消除未检查指针和忘记解锁等常见漏洞。Kroah-Hartman 估计，80% 的内核常见漏洞和暴露（CVE）问题会被 Rust 捕获，使维护者能够专注于逻辑错误。Rust 正成为关键子系统中新工作的默认选择，某些驱动程序仅接受 Rust 版本。更多...
Making My Rust Program Space-Flight Ready17 days agohttps://w4g1.dev/blog/making-my-rust-program-space-flight-ready一个名为“hugebool”的Rust crate引入了一种16字节的“布尔安”类型，用于辐射硬化。“布尔安”使用位模式（如交替的0x55和0xAA），通过最接近匹配解码使单比特翻转可检测和可修复。三重模块冗余通过通用的“Rad”结构实现，用于投票和清理，保护任何“Eq + Copy”类型。基准测试显示，硬化读取（例如，通过投票和清理）比普通布尔读取慢约12倍，但仍然很快（每秒1.95亿次）。更多...
Fable 5 wrote a Windows kernel in 38 minutes25 days agohttps://tolmo.com/blog/when-the-model-writes-the-kernel/ntoskrnl-rs 项目成功用 Rust 重写了 Windows NT 内核，在 QEMU 中启动并通过了自测。Claude Fable 5 在 38 分钟内生成了核心内核（约 5,100 行代码），包括调度、内存管理和 I/O 子系统。该内核能够加载未经修改的 Windows 驱动程序和二进制文件，为分析和调试提供了沙箱环境。验证仍然是一个瓶颈，因为 AI 编写的代码需要大量测试以确保可信度和正确性。更多...
Show HN: Nectar, a Rust-like React that compiles to WebAssemblya month agohttps://buildnectar.comNectar 通过单一二进制文件和零依赖项编译为 WebAssembly，使整个应用程序运行在 WASM 中，并将 JavaScript 减少到仅为 10KB 的系统调用层。一个 Rust 二进制文件处理所有开发任务，包括编译、格式化、代码检查、测试、开发服务器、LSP、包管理和 SSR，消除了工具链配置需求。提供每次绑定 O(1) 复杂度的更新，无需虚拟 DOM，确保信号变化时仅更新确切的 DOM 节点，并包含 Rust 风格的安全特性，如借用检查器和详尽模式匹配。通过将应用程序编译为 .wasm 二进制文件和 3KB 运行时，消除了对 npm、node_modules、webpack 和打包工具的需求，并将常见的 Web 模式作为语言原生特性。更多...
Kani: A Model Checker for Rusta month agohttps://arxiv.org/abs/2607.01504Kani 是一个开源的 Rust 模型检查器，它通过有界模型检查来验证安全属性和功能正确性。它将 Rust 代码从中级中间表示（MIR）编译到 CBMC 的验证引擎中，无需用户标注即可自动检查安全属性。Kani 提供了一种规范语言，具有函数合约、循环合约、量词和函数存根等特性，可将验证从有界域扩展到无界域。针对工业 Rust 项目的案例研究表明了其可行性，验证范围从恐慌自由升级到功能正确性，并发现了六个先前未知的错误。更多...
Read Rust Like a Chinese Charactera month agohttps://dawaba.pages.dev/writing/sometimes-read-rust-like-a-chinese-character/作者在经历了Python在生产环境中的局限性后转向了Rust，认为这些局限性是使用场景不当而非语言缺陷。Rust作为一门编译型、内存安全的系统语言，以其快速、现代的特性以及与Python截然不同的设计理念，满足了不同的生产需求。初次接触Rust语法时遭遇了'月面着陆'般的困惑：'if let Some(x) = optional_value {...}'的写法打破了从左到右的阅读习惯，这与Python不同。关键发现：'Some()'是Rust中Option枚举的一个变体，用于表示可能存在但未定义的值，这与不能包含数据的Python枚举有本质区别。更多...
It's not me, it's the compilera month agohttps://parsa.wtf/cast/一位程序员在重构JavaScript引擎解析器时发现了Rust编译器的一个bug。这个bug出现在一个函数中，在该函数里使用'x as u32'进行布尔值加法会导致错误行为，但使用显式的if-else语句却可以正常工作。通过检查汇编代码确认编译器省略了一条递增指令，从而导致编译错误。该问题被报告为'疑似编译错误'，并在18小时内由Rust社区迅速修复。更多...
Vibe Coded X11 Server Written in Rust Adds Xinerama, FreeBSD Supporta month agohttps://www.phoronix.com/news/YSERVER-1.3-ReleasedYSERVER 是一个用 Rust 语言编写、借助 AI 协助的现代 X11 服务器，现已发布 1.3 版本。新增功能包括 FreeBSD 支持、Xinerama 扩展、直接模式 VT 切换、显示器热插拔，以及更多 X11 扩展。兼容 MATE、Xfce 和 Cinnamon 等桌面环境，以及 Compiz、Openbox 和 Awesome 等窗口管理器。已在 AMD、Intel 到 Snapdragon 和 Apple Silicon 图形芯片等多种硬件上完成测试。更多...