Design by Contract and effects are essential for LLM-generated code | Hacker News Reader