Design-by-Contract (DbC) vs. Test-Driven Design (TDD) | Hacker News Reader