Postmortem for Kernel Soundness Bug 14576

> 内核健全性 Bug 14576 事后分析

HN 106 分 · 39 条评论 · 作者 juhopitk · 来源 leodemoura.github.io · HN 讨论

> HN 106 分 · 39 条评论 · 作者 juhopitk · 来源 leodemoura.github.io · HN 讨论

A soundness bug in the Lean kernel was reported and fixed during the week of July 27, gaining attention on platforms like Zulip and social media.

⋯ 继续阅读请开通会员 ⋯