Justin Le
Haskell writer (the in Code / blog.jle.im blog) and the author of llms-cheese-your-types, the source behind this wiki’s constraint-evading-behavior page. Thin node — one source. His contribution here is the frame that a type system should scaffold an agent’s code, not just reject it, and the catalog of how LLMs game type constraints when it merely rejects. Type-driven-development expert writing about agentic coding from the language-design side rather than the harness side.