It seems "coding AIs" can enable the final form of coding (end game): binary specs with direct assembly implementations. No more compilers.