Hasty Briefsbeta

全部标签

rust

共 44 篇

双语

Claude Code uses Bun written in Rust now
2 months ago
- Jarred Sumner 声称 Claude Code v2.1.181+ 使用了 Bun 的 Rust 移植版本，导致 Linux 上的启动速度提升了 10%。
- 通过 strings 命令获得的证据显示，Bun v1.4.0（预览版）和 563 个 .rs 源文件嵌入在 Claude Code 中。
- Bun 的 Rust 版本现在可以通过 `bun upgrade --canary` 作为金丝雀版本使用。
- 一个简单的脚本可以通过运行 `BUN_OPTIONS="--preload=/tmp/bun-version.ts" claude --version` 来确认嵌入的 Bun 版本。
- 将 Bun 版本更新到 1.4.0 的提交是在 5 月 17 日进行的，但尚未在稳定版本中打标签。
Memory Safety Absolutists
2 months ago
- 文章讨论了关于Rust语言因其“unsafe”关键字而不安全的说法，尽管其内存安全漏洞密度（每百万行代码0.2个）远低于C/C++（每百万行代码1000个）。
- Fil-C是一项新技术，通过使用垃圾回收和InvisiCaps使C/C++代码内存安全，但存在ABI不兼容、潜在性能下降和依赖垃圾回收等权衡。
- 作者批评了内存安全绝对主义者，尤其是Fil-C的创造者和Zig的开发者，他们一边宣称Rust不安全，一边推广Fil-C，忽视了实际权衡以及Rust在现实项目中被证明的安全性。
- 作者倡导一种务实的方法：对于无法采用Fil-C（例如由于垃圾回收或ABI问题）的程序使用Rust，并鼓励在Fil-C的权衡可接受的项目中使用它，而不是强迫采用单一解决方案。
- 作者认为内存安全绝对主义应该一致应用，既要批评C/C++和非Fil-C的Zig，也要批评Rust，并认为在大多数程序中预防大多数问题比追求完美更好。
- 即使Fil-C将漏洞转化为崩溃，C/C++代码的高崩溃率（每百万行代码1000次）也突显了Rust在安全性和实用性之间的平衡对许多用例具有价值。
Implementing SEH in Rust and why you shouldn't do it
3 months ago
- SEH是Windows的异常处理模型；x64/ARM64使用基于表的版本。
- 在Rust中，SEH用于安全访问驱动程序的用户态内存以及处理可续异常。
- 通过LLVM实现SEH并不可行，因为Rust缺乏内联LLVM支持。
- 使用gas宏和__C_specific_handler的汇编方法可行，但需要仔细管理标签范围。
- Rust内联汇编可以复制SEH，但在SEH异常时资源清理（Drop）不会被自动调用。
- 使用/EHa的C++在SEH期间能正确析构对象；Rust缺乏这一点会导致资源泄漏。
- 最佳实践：在C++中使用/EHa实现SEH包装器，并从Rust调用它们。
Writing a Debugger from Scratch
3 months ago
- 作者用Rust编写了一个调试器，以学习该语言并帮助他人理解调试器内部机制。
- 调试器采用事件循环：附加到进程、等待调试事件、继续执行。
- 在Windows上，通过DebugActiveProcess或设置DEBUG_ONLY_THIS_PROCESS标志的CreateProcessW进行附加。
- 事件循环调用WaitForDebugEventEx接收事件，用ContinueDebugEvent恢复目标进程。
- 调试事件包括CreateProcess、LoadDll、CreateThread、Exception等，每种事件携带特定数据。
- 初始异常是进程启动时由ntdll!LdrpDoDebuggerBreak触发的断点。
- 后续文章将涵盖处理异常、断点、单步执行和其他高级功能。
On Strings in Rust
3 months ago
- Rust中的字符串涉及两种主要类型：`str`（字符串切片）和`String`（拥有所有权的字符串），两者都保证是UTF-8编码的。
- `str`是位于宽指针之后的动态大小类型（DST），而`String`包装了`Vec<u8>`，支持堆分配和修改。
- 解引用强制转换和点操作符语义允许像`chars()`这样的方法通过自动解引用到`str`来操作`String`。
- `len()`方法返回的是字节数而非字符数，因为UTF-8是变长编码。
- 运算符重载（例如`+`用于拼接）和`PartialEq`等trait的实现使得字符串操作更加便捷。
- 像`make_ascii_uppercase()`这样的原地方法适用于`&mut str`，但无法处理会改变字节长度的非ASCII字符。
- 其他字符串类型包括`OsString`/`OsStr`、`CString`/`CStr`，以及实验性的`ByteString`/`Char`，用于特定场景。
Extending Polars with Rust Expression Plugins
3 months ago
- fenic 是一个语义化的 DataFrame 库，以 Polars 为核心执行引擎，用于处理非结构化数据的 AI/LLM 管道。
- 标准的 Polars 缺少所需的文本操作（如分块、提示模板、jq、模糊匹配、Markdown/转录解析以及丰富的类型转换）。
- Python UDF 速度太慢，破坏了可组合性，并且对这些操作的类型处理能力不足。
- 解决方案是通过 pyo3-polars 构建了九个 Rust 表达式插件，使其成为原生的 Polars 表达式。
- 这些插件在 Arrow 缓冲区上于引擎内运行，支持向量化、可组合，并带有明确的输出类型声明。
- 输出类型声明至关重要，可以是静态的、从输入字段派生的，或通过关键字参数指定。
- 元素级标志支持并行处理和流式操作；广播通过 Polars 辅助函数处理。
- 零拷贝的 Arrow 访问通过自定义的 ArrowToValue 特征实现，该特征支持嵌套类型的递归处理。
- 插件返回 pl.Expr，允许在单个表达式树中与原生 Polars 操作组合。
- 构建过程使用带有单一 Rust crate 的 maturin；插件还导出纯 Python 函数用于验证。
Kittine, a custom language for Rust-powered web apps
3 months ago
- Kittine是一种建立在Rust和Leptos之上的语言，语法极少，可编译为真正的Rust组件。
- 它针对Leptos 0.7，支持通过Vite的CSR和通过cargo-leptos的SSR，且使用同一源码。
- 无需虚拟DOM或虚拟JS运行时；采用细粒度响应式更新，直接更新DOM节点。
- 每个语言结构均经编译器验证，并通过Leptos 0.7的实际编译测试。
- 支持带有泛型类型参数的结构体（litter）、枚举（breed）、模式匹配（pounce）和特征（claw）。
- 生态系统包括编译器、Vite插件、SSR支持、VS Code扩展、格式化/检查工具和包管理器。
- 路线图规划了文档站点、交互式游乐场、RSS/站点地图及公开发布后的真实下载统计。
- 安装需要从源码构建编译器，然后安装依赖并运行开发服务器。
Meta Garbage Collection: Using OCaml's GC to GC Rust
3 months ago
- Soteria Rust，一个符号执行工具，在处理循环时因其树借用别名模型而遭遇二次减速。
- 该修复利用OCaml的垃圾回收器，通过弱引用和定期的主要回收自动移除不可达的树节点。
- 这一更改实现了线性执行时间，并在基准测试中获得了高达10倍的加速，仅需约40行代码。
- 该方法强调了与宿主语言（OCaml）深度集成在复杂内存管理任务中的优势。
Claude Code uses Bun written in Rust now
3 months ago
- 贾里德·萨姆纳宣布 Claude Code v2.1.181+ 采用 Rust 移植版的 Bun，使 Linux 启动速度提升 10%，用户几乎察觉不到变化。
- 在 Claude Code 安装文件中发现的证据显示其使用了 Bun v1.4.0（macOS arm64 版），该版本截至文本日期尚未在 GitHub 上发布。
- Rust 版本的 Bun 已作为金丝雀版本提供，Claude 中的 563 个 Rust 源文件表明该版本已投入生产环境运行。
Battery packs: Let's talk about crates, baby
3 months ago
- “电池包”是围绕特定主题精心挑选的一系列crate，旨在帮助开发者无需深入研究即可选择高质量的crate。
- 任何人都可以通过发布一个名为 X-battery-pack 的crate来创建电池包，并将其依赖项作为推荐内容。
- 电池包包含依赖项、特性、模板以及结构化分类（例如“最多选择一个”或“任意数量选择”）。
- 它们旨在解决新接触Rust的开发者面临的crate选择挑战，并促进互操作性和维护资金的筹集。
- 风险可能包括电池包数量过多而导致拥挤，但它们的设计允许不断演进，以避免生态系统陷入停滞。
We're Building Postgres in Rust. Using the LLVM of Databases
3 months ago
- Turso 正在成为数据库领域的 LLVM，以 SQLite 作为第一个前端，Postgres 作为下一个。
- Turso 是 SQLite 在 Rust 中的现代重写版本，具备通过 MVCC 实现并发写入、丰富的类型系统以及自更新的物化视图等功能。
- 该项目旨在构建一个兼容 Postgres 的数据库，采用现代架构，包括嵌入式浏览器支持和基于文件的操作。
- Turso 使用一种字节码语言（VDBE），并已演示了通过该字节码在浏览器中运行《毁灭战士》游戏。
- 这一方法涉及将 Postgres SQL 编译为 Turso 的字节码，并将 pgmicro 作为官方项目并入 Turso。
- Turso 是开源的，拥有超过 260 名贡献者，通过严格的测试方法强调可靠性。
- FAQ 涵盖了兼容性、服务器支持、AI 贡献、开发进度以及通过 WASM 处理扩展等问题。
Show HN: OpenMarkdown – A Markdown editor you and your agent co-edit
3 months ago
- OpenMarkdown是一款本地优先、轻如羽毛、快速响应的Markdown编辑器，专为用户及其智能代理设计。
- 它采用原生Rust核心，确保快速加载时间和原生级性能。
- 编辑器不依赖AI；而是运行在用户现有的智能代理上，提供直接集成。
- 文件以纯.md格式存储在用户磁盘上，避免数据库依赖和锁定，确保持久性和可移植性。
- 智能代理可以像维基一样与文件交互，根据用户查询打开正确文件并导航至特定位置。
- 功能包括代理辅助的文本高亮和重写，修改内容直接保存到磁盘。
- 提供不同供应商选项，具有多样化速度和单点登录支持，月费价格各异。
- 键盘快捷键如Ctrl+G和Cmd+P增强控制，无需菜单即可快速调用提示和文件导航。
- 三种编辑模式（实时预览、纯源代码、纯净阅读）一键切换，并带有可见的语法着色标记。
- 编辑器支持与智能代理协同规划，例如起草认证系统改造计划的示例所示。
- 它通过不重新格式化文本来确保文件完整性，提供安全默认设置（如将删除文件移至废纸篓），且无需账户或云遥测。
- 用户界面支持三语（中文、日文、英文），提供用于终端文件打开的CLI工具，并兼容标准Mac快捷键。
In Praise of Exhaustive Destructuring
3 months ago
- 作者最初不喜欢Rust在解构结构体时必须列出所有字段或使用'..'的要求，觉得它不如TypeScript或Haskell方便。
- 后来作者意识到，显式结构体解构（不使用'..'列出所有字段）通过强制在添加新字段时更新代码，增强了软件的安全性。
- 向WeatherReading结构体添加'wind_speed'字段后，如果某个使用字段访问（'.'语法）的函数未更新，可能会导致难以被编译器警告发现的错误。
- 在函数参数或方法内部使用结构体解构时，如果遗漏新字段，会触发编译时错误，从而确保所有字段都被考虑在内。
- 这种技术在多层级应用（如CRUD服务）中尤其有用，可以在添加或更改字段时确保一致性。
- 观察到经常被一起解构的字段组，可能暗示需要将其重构为单独的结构体，以改进设计。
PgDog (YC P25) Is Hiring a Founding Software Engineer
3 months ago
- PgDog是一家专注于扩展PostgreSQL的初创企业，已获多家公司采用且目前正在招聘。
- 该岗位涉及运用Rust语言、PostgreSQL数据库、基础设施及分布式系统技术，直接为客户构建并交付产品功能。
- 理想的候选人需具备细节导向意识、测试驱动开发习惯、能熟练处理生产环境代码，并能在人工智能辅助与独立思考间取得平衡。
- 职责范围涵盖漏洞修复、功能开发、路线图设计、客户对接以及人才招聘。
- 工作内容包括从零开始使用Rust构建分布式数据库，时间将分配于漏洞修复、新功能开发和基础设施优化三方面。
Moving a Rust WebRTC SFU to thread-per-core: 70ms → 10ms P99.99 latency
3 months ago
- 将 Rust WebRTC SFU 从 Tokio 的工作窃取模型迁移到线程每核（TPC）架构，使 P99.99 延迟从 70 毫秒降低至 10 毫秒，并提升了 25% 的容量。
- TPC 架构消除了不必要的异步通道，通过同步处理数据包来避免调度开销和优先级反转，从而改善了尾部延迟。
- 基准测试显示，在高 CPU 负载下延迟保持稳定，TPC 即使在 80% 的 CPU 利用率下也能维持低抖动，增强了拥塞控制和流媒体质量。
Cache-Conscious Data Layout in Rust: Field Zoning, False Sharing, 128-Byte Rule
3 months ago
- 针对多线程数据结构中的伪共享问题，通过按写所有权和访问频率对字段进行分组来实现区域划分。
- 采用对齐和填充策略，例如使用128字节对齐而非64字节，以避免邻行预取问题，并确保热点字段位于不同的缓存行上。
- 使用 #[repr(C)] 强制字段顺序，防止编译器重排破坏缓存优化布局策略。
- 避免在步长为1的访问模式中使用手动预取提示，因为这可能与硬件预取器竞争并损害性能。
- 设计环形缓冲区容量时，需考虑缓存层级、工作集预算和突发数据吸收，而非随意采用整数容量。
Rust 1.97.0
3 months ago
- Rust 1.97.0 稳定版发布公告，包含通过 rustup 的更新说明。
- 符号重整 v0 默认启用，取代了传统的基于 Itanium 的方案。
- Cargo 现在支持拒绝警告，改善了 CI 工作流程和缓存效率。
- 链接器输出不再默认隐藏，为调试显示警告信息。
- 已稳定的 API 包括整数和 NonZero 类型的方法，以及常量上下文更新。
Rewriting Bun in Rust
3 months ago
- Bun 已通过 AI 驱动的编码代理从 Zig 重写为 Rust，显著减少了内存相关的错误。
- 这次重写得益于一套全面的 TypeScript 测试套件，它作为自动迁移的符合性基准。
- 关键的工程技术包括动态工作流、试运行、对抗性审查以及基于流程的修复，而非手动代码编辑。
- Jarred Sumner 称赞 Zig 在 Bun 初期开发中的作用，但选择了 Rust 因其内存安全特性，如 RAII 和编译器对使用后释放错误的检查。
- 重写大约花了 11 天的密集 AI 辅助工作，API 令牌的估算成本为 165,000 美元，由 Anthropic 资助。
- 新的 Rust 版本已在 Claude Code 中运行近一个月，在 Linux 上启动速度提高了 10%，对用户的影响最小。
- 该项目展示了高级语言模型如何实现之前被认为不可行的大规模软件重写。
Satteri: A Markdown pipeline forged in Rust for the JavaScript world
3 months ago
- 一个用Rust构建的Markdown处理管道，可在JavaScript中使用。
- 特点是在快速的Rust Markdown/MDX引擎上支持灵活的JavaScript插件。
- 结合了两者的优点：速度和灵活性。
- 可通过WebAssembly (WASM)在浏览器中试用，支持实时编辑和渲染。
- 包含插件、MDX支持和AST检查的完整演练场。
Astro 7.0
3 months ago
- Astro 7 版本发布聚焦于性能提升，实现了构建速度加快 15-61%。
- 关键升级包括基于 Rust 的 .astro 编译器、通过 Sätteri 实现 Rust 驱动的 Markdown/MDX 流水线，以及基于队列的渲染引擎。
- 与 Vite 8 及其 Rolldown 打包工具的集成增强了构建速度，大多数项目无需更改配置。
- 引入了 src/fetch.ts 支持的高级路由功能，提供对 Astro 请求管道的完全控制，兼容 Hono 中间件。
- 路由缓存功能已稳定，并为 Netlify、Vercel 和 Cloudflare 提供了实验性 CDN 缓存供应商支持。
- AI 增强功能包括后台开发服务器模式和 JSON 日志记录，以支持 AI 编码代理和结构化日志。
- 基准测试显示各类站点构建时间显著减少，其中 Markdown 密集型页面的提升幅度最大。

rust

Claude Code uses Bun written in Rust now

Memory Safety Absolutists

Implementing SEH in Rust and why you shouldn't do it

Writing a Debugger from Scratch

On Strings in Rust

Extending Polars with Rust Expression Plugins

Kittine, a custom language for Rust-powered web apps

Meta Garbage Collection: Using OCaml's GC to GC Rust

Claude Code uses Bun written in Rust now

Battery packs: Let's talk about crates, baby

We're Building Postgres in Rust. Using the LLVM of Databases

Show HN: OpenMarkdown – A Markdown editor you and your agent co-edit

In Praise of Exhaustive Destructuring

PgDog (YC P25) Is Hiring a Founding Software Engineer

Moving a Rust WebRTC SFU to thread-per-core: 70ms → 10ms P99.99 latency

Cache-Conscious Data Layout in Rust: Field Zoning, False Sharing, 128-Byte Rule

Rust 1.97.0

Rewriting Bun in Rust

Satteri: A Markdown pipeline forged in Rust for the JavaScript world

Astro 7.0