The author is a Principal Engineer at DeepSeek. I don't know what that title maps to in other organizations. Their formal education/background is in ML however.
(disclaimer: I'm a software engineer with minimal compiler theory experience outside classes in college)
I wonder whether its possible to trust an LLM to "compile" your code to an executable and trust that the compiled code is faithful to the input without writing a static validator that is pretty much a compiler itself.