Design by Contract and Effects for LLMs | Dark Hacker News