Is Design by Contract the Solution for Safe Coding? | Hacker News Reader