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