The hottest goss in celeb-land today is that Angelina Jolie is jealous of her fella's relationship with his ex-wife.

In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science.

I began following other fat-positive Tumblrs, and soon my dashboard was filled with positive representations of fatness: pictures, stories, quotes, and links to articles and blogs.

A Christmas without children would be like a sleigh ride without snow. What gives this day its special grace is the glimpse it yields of a child's belief in the better angels of a grown-up world. Selfishness recedes, good will and gentleness for a blessed moment prevail.