Tianyu Chen

Finally, a gradually typed metaprogramming language with mutable references that *doesn't* let your variables escape scope, thanks to clever dynamic enforcement of environment classifiers.

Tool-using agents like Clawdbot are surprisingly vulnerable to seemingly harmless prompts, where minor misinterpretations can quickly escalate into high-stakes tool actions.