Design by Contract to Improve Software Vigilance | Hacker News Reader