> I think letting LLMs program in human friendly languages makes the results more difficult for humans to inspect.

Does it? I think for example Ruby seems to work quite well with LLMs in this regard. Or is this not what you would consider human friendly?