I met the man a few times (friend of my father) and I was programming when already when I did: both my father and him always told me to not just write code, but proofs first. I am rather happy for him he is not alive with this LLM stuff. He would've considered it the worst thing ever.