HN Trends Tracker

backend ok

Repost history

Canonical URL: https://leodemoura.github.io/blog/2026-8-24-postmortem-for-the-kernel-soundness-bug-hunt

Current story

#
Lean: Postmortem for the Kernel Soundness Bug Hunt(leodemoura.github.io)
HN #49,426,8692026-08-24 22:44 UTC
3 pointsby matt_d7 days ago0 comments

#
Postmortem for the Lean Kernel Soundness Bug Hunt(leodemoura.github.io)
HN #49,419,3852026-08-24 13:20 UTC
1 pointsby EvgeniyZh7 days ago0 comments