文章《Clippy 性能优化更新》
这篇文章是关于 Rust 的 Clippy 性能优化的更新。作者介绍了自己在提高 Clippy 性能方面的努力，包括优化 lint 过滤、改进实现者认为不需要优化的例程等。
文章展示了 Clippy 在不同项目上的性能差异，例如 Cargo 项目中 Clippy 的运行时间仅比 cargo check 高 0.08%，而 tokio 项目则高出 30%。
作者通过手动基准测试发现，与 1.81.0 版本相比，Clippy 的运行时间减少了 38.042%，相当于节省了 8.43 亿条指令。
未来，作者计划实现并行 linting，并探索增量编译领域。
阅读：https://blog.goose.love/posts/clippy-performance-status-update/
Pre-RFC：Safety Property System
本 RFC 提出了一种基于 DSL（领域特定语言）的机制来指定安全属性，旨在规范 API 文档中安全描述的编写方式。一方面，它旨在提升编写安全描述的人体工程学；另一方面，这些安全属性可以实现更细粒度的不安全代码管理和自动化安全检查。
我们正在 verify-rust-std、Rust for Linux 和 Asterinas OS 上试验此功能。
例如当前的 safety comments 实践：
/// # Safety
///
/// The provided pointer must point at a valid struct of type `Self`.
unsafe fn raw_get_work(ptr: *mut Self) -> *mut Work<T, ID> {
let ptr = ptr as *mut u8;
// SAFETY: The caller promises that the pointer is valid.
unsafe { ptr.add(Self::OFFSET).cast() }
}
我们提议的语法：
#[safety { ValidPtr(ptr) }]
unsafe fn raw_get_work(ptr: *mut Self) -> *mut Work<T, ID> {
let ptr = ptr as *mut u8;
#[safety { InBound, ValidNum }]
unsafe { ptr.add(Self::OFFSET).cast() }
}
并自动生成统一的 safety docs:
阅读：https://github.com/Artisan-Lab/tag-std/blob/main/pre-RFC.md
IRLO 讨论：https://internals.rust-lang.org/t/pre-rfc-safety-property-system/23252
Reddit：https://www.reddit.com/r/rust/comments/1m5k58y/prerfc_safety_property_system/
Meowsic - Windows 和 Linux 上的现代化、美观的离线音乐播放器
它支持多种主流音乐格式，即使在播放超过 10 万首歌曲时也能保持高性能。用户可以通过拖拽管理播放列表，根据音乐元数据进行搜索，并使用迷你播放器进行紧凑控制。
此外，Meowsic 还支持歌词同步显示、自定义规则以及数据的导入导出功能。
项目使用 Rust、Tauri、Typescript 和 React 开发，采用 Apache 2.0 许可证。
仓库：https://github.com/CyanFroste/meowsic
文章《在 Rust + Typescript 编程任务上比较 Kimi K2 vs Qwen-3 两个 AI 模型》
文章对 Kimi K2 和 Qwen-3 Coder 两款 AI 编程模型进行了对比测试。
测试基于真实的 Rust 和 React 代码库，涵盖文件修改、漏洞修复、功能实现及前端重构等任务。
结果显示，Kimi K2 在任务完成率（93%）、代码正确性、指令遵循度、时间效率等方面均优于 Qwen-3 Coder（47% 完成率）。
Kimi K2 平均每任务耗时 13.3 分钟，成本 3.04 美元，而 Qwen-3 Coder 耗时 18 分钟，成本 9.93 美元。尽管 Qwen-3 Coder 有更长的上下文长度，但在实际开发中，Kimi K2 更符合开发流程和编码标准，表现更优。
阅读：https://forgecode.dev/blog/kimi-k2-vs-qwen-3-coder-coding-comparison/
--
From 日报小组 苦瓜小仔
社区学习交流平台订阅：
评论区
写评论还没有评论