He seems to have a big following on AI-hype twitter, I'll grant you that.
It is interesting however, how you weren't familiar with him at all [1] 20 minutes before describing him as a well-known expert.
What's interesting about it?
I looked it up, and he seems to have worked on research in that area for a decade.
The author of the blog post could have checked the same before making the claims.
Has nothing to do with AI-hype. Anyone who is interested in Lambda calculus should find his work intriguing.
Someone can be a well-known expert in a tiny niche field, and one may be completely unaware of them, or even the whole field.
You are splitting hairs for no reason, while standing on the wrong side of this discussion.
Feel free to criticize the project on its actual content.