Hacker News Reader

Does he use the symbol for lambda without saying how to type it or whether there's an ascii equivalent like "lambda"?

you just type the text "lambda". some editors (emacs, drracket) can automatically convert it to lambda the symbol.