Using Design by Contract and TDD to Enforce Security: The Coat Project | Hacker News Reader