It's always interesting to see how the IT space changes. I remember at most 10 years ago reading about the sufficiently smart compiler fallacy which was often used by fans of high level, interpreted languages such as Lisp or Python to justify their inherent performance issues. Because "the compilers are getting smart enough that with a sufficiently smart compiler all of these inefficiencies can be optimised away".

Since then advancements in compiler technology and overall CS created JIT-compiled languages with optional/inferred typing like Julia or Rust which write and read high level but statically compile to very efficient code. It's not quite the level of making Lisp or Python blazing-fast, but it's close enough to make the sufficiently smart compiler not so much of a fallacy after all.