A wonderful (meta-)proof that P != NP: http://t.co/rNxmRq4