EvidenT：保留每轮失败证据的系统级软件包自动修复框架
EvidenT是面向RISC-V等多架构的系统级软件包自动修复框架，首创“证据保留”机制，融合日志分析、依赖解析与真实构建验证，实现跨轮次迭代修复。在219个RISC-V包上修复成功率达53.88%，显著优于现有方法。（239字）
智能体工作流乱成毛线团？数据库界 50 年前的老方子治好了它
本文提出将数据库“范式化”思想引入智能体工作流治理，首创FAOPs四阶范式（原子拆解、类型检查、单一权威、最小权限），配合可验证代数与SkillBase执行器，使技能库从散乱脚本升级为可编译、可审计、可复现的受管系统，新智能体交付周期从几周缩至几小时。（239字）
ARTS 1018: 字符计数判断异位词、局部做对仍会增加维护负担与用 AI 也要理解自己在做什么
每周完成一个 ARTS： 至少做一个 leetcode 的算法题、阅读并点评至少一篇英文技术文章、学习至少一个技术技巧、分享一篇有观点和思考的技术文章。（也就是 Algorithm、Review、Tips、Share 简称 ARTS）
## Algorithm
LeetCode https://leetcode.cn/problems/valid-anagram/description/?en
Rust 设计模式：newtype
Rust 中的 newtype 模式：用元组结构体封装基础类型（如 `struct Email(String)`），实现类型安全、语义清晰、校验可控与封装隐藏，零运行时开销，是保障代码健壮性的常用实践。（239字）
2026 GPU国产化：AI训练与推理的深度优化指南
2026年，国产GPU迈入“好用”阶段，但生态割裂、算子不熟、优化不足仍制约AI训练与推理效能。本文全景解析四大关键：生态适配与算子调优、训练显存与并行优化、推理KV Cache与量化加速，助工程师打通国产算力“最后一公里”。
