This is a very critical point. I think code generated by LLMs will lower code generation cost, that means mass produced software. But: if we reduce cost, then

This is a very critical point. I think code generated by LLMs will lower code generation cost, that means mass produced software. But: if we reduce cost, then can we not add deterministic guardrails in software that are also maintained at LLM speed and cost? This is pretty much what I am trying to understand. Choice of Rust/TypeScript in my projects in very intentional and you may see why.