https://gavinray97.github.io/blog en-us ray.gavin97@gmail.com (Gavin Ray) ray.gavin97@gmail.com (Gavin Ray) Sun, 02 Aug 2026 00:00:00 GMT https://gavinray97.github.io/blog/design-by-contract-and-effects-for-llms https://gavinray97.github.io/blog/design-by-contract-and-effects-for-llms As LLMs write more code, contracts and effect systems become essential tools for constraining behavior, exposing side effects, and verifying implementations. Sun, 02 Aug 2026 00:00:00 GMT ray.gavin97@gmail.com (Gavin Ray) programmingllms