3 ms·

Has nothing to do with AI-hype. Anyone who is interested in Lambda calculus should find his work intriguing.