I never said to use LLMs to generate Uiua. I said that Uiua is an edge case where tacitness is indeed elegance. I wouldn't write anything but Rust via LLMs, be

I never said to use LLMs to generate Uiua. I said that Uiua is an edge case where tacitness is indeed elegance. I wouldn't write anything but Rust via LLMs, because that's the only language where I feel that the static type checking story is strong enough, in large parts thanks to kani.