Last time, AI is an unstable compiler? From physical switches to Lean: The staircase of translation and the 'history of humans seeking ease'Me: At first, there was only machine code, right? There was ...