Show HN: A lightweight compiler for untrusted AI Agent scripts
autolang.vercel.appDo you think it's worth pursuing ? Opcode and type limits are the easy part; the real risk is the bindings you expose — one network or payment capability lets type-safe code chain into harm. This language is used for isolation at the language level and trusts the code written by the library developer. If absolutely necessary, I think environment isolation should still be used. What do you think of this approach ?