OpenSSH 10.6p2 修复 Alpine musl 环境下的密码认证绕过，披露周期缩短至约一天
OpenSSH 10.6p2 修复了影响使用 musl libc 且禁用 PAM 的 Linux 系统的密码认证绕过，Alpine 是主要案例。
#开源生态
DEV CommunityAI 评分7575 TechCrunch · StartupsAI 评分5151 Axiom Math 宣布完成 Stacks Project 形式化验证，约 7,654 页数学内容转成约 1600 万行 Lean 代码
估值 $1.6 billion 的初创公司 Axiom Math 于周三宣布，其 AI Agent 舰队已形式化验证 Stacks Project，将这个始于 2005 年的开源数学参考库约 7,654 页内容翻译成约 1600 万行经计算机逐行检查的 Lean 代码。