Tag
A blog post recounting how a bug in the 50-year-old kill(1) utility (shipped via procps in Ubuntu 14/16/18/22/24 LTS) caused an Endcrawl outage by killing all processes on the machine instead of just a target process group, tracing a decade-long series of such bugs and offering recommendations.
A postmortem of a soundness bug in the Lean kernel that was exploited to produce a 'disproof' of the Collatz conjecture, with the fix and analysis of why independent checkers also initially missed it.