In the afternoon of May 4, 1971, in the Stouffer's Somerset Inn in Shaker Heights, Ohio, Steve Cook presented his STOC paper proving that Satisfiability is NP-complete and Tautology is NP-hard. [more inside]
posted by King Bee on May 4, 2011 - 19 comments

Celebrate π. Sing about π. Wear π. Learn the digits of π. Watch the wonder of π. Be vexed by the implications of π. Get slightly embarrassed for π. Give all your love to π. Happy Pi Day. Nerds rule!
posted by moonbird on Mar 14, 2007 - 57 comments