Y Combinator is a "fixed point combinator" in lambda calculus | Hacker News Reader