Why Writing Correct Software Is Hard[video] | Dark Hacker News