I've got a couple. One is, "What is so *ultimate* about the lambda calculus?"

https://softwareengineering.stackexchange.com/a/456768/208692

Also, less theoretical and more practical, "How can the power of reflection in a programming language be fully realized in a simple, easy-to-use design?"

Which is included in my answer to the former.