I can tell you the two languages I would learn right now if I had the spare cycles. Zig is a C-replacement language that took a no-AI stance early on. It doesn’t have compiler-assured memory safety like Rust, but it does try to revamp structures (like alloc or error handling) in a way that makes it more obvious to the programmer what is happening. I’d love to learn more, but cycles… Gleam is a language that is part of the Erlang/BEAM ecosystem. It’s a functional language, so it’s a bit of a mindfuck if you come from a Python-/C-esque perspective, but if you like formal logic it might well be up your alley. It has a good web tutorial if you’re interested Neither Gleam nor its runtime Erlang-OTP have taken a stance on AI as far as I know (Elixir has a permissive stance), but at least I’ve seen no red flags as of yet.