Your argument changes with each comment. It's less about defending any coherent perspective about software and security, and more about prolonging a pointless argument on Hacker News. Despite opening with a tirade about not accepting the failures of commercial software, you attempt now to wrap up your argument by referring to "the code that runs my coffee machine".<p>I don't care about your relative inexperience in software security. I care about the disrespect to computer science; the utter certainty that your comments betray that an unsolved problem that implicates vast swaths of terrain in CS is in fact solved, and could be put into practice if only every software practitioner would behave in some unspecified and abstract way that Ricardo Banffy has determined for them.