Reminds me of Gerald Sussman's talk "We Really Don't Know How to Compute!" (2011)

https://youtu.be/HB5TrK7A4pI?si=99cUwmS_03VwLUP7&t=2038