From Correctness to Recoverability | Dark Hacker News