Comment by zhengyi13

Am I the only one who read the title and was immediately reminded of http://lambda-the-ultimate.org/?

(Is the title a deliberate call to that site, or something even older?)