One of my personal favorites: http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspond...
I find the linked-to article to be a gem of lucidity amidst a barrage of mostly noise, busywork, and lottery-playing. Not only that, but the topic of the foundations of morality is going to become a central issue soon, with multiple strong global trends taking us towards that difficult issue.
The article you linked to is nice, but Curry-Howard isomorphism is neither novel nor as important as the topic covered by the original article.
As fragile agents inhabiting a ball of mass and fire organized in billions of partly-autonomous somewhat-intelligent resource-sharing systems flying through space and time, just recently coming up with scarily and growingly powerful new ways to rearrange control which may destroy existing controlling systems, including us, we should care very, very much about this.
And the article provides powerful new tools to tackle this.
For anyone who has studied philosophy or ethics -- even casually -- this article was terribly naive and hopelessly unaware of its own ignorance. Beyond that, the applied linear algebra was not interesting, no real game or decision theory to speak of and the whole 'eigenmoses' and 'eigenjesus' was too cute by half.
Iterated prisoner's dilemma? Not my idea of a powerful tool.
Was there more? I may have missed it.
So who are you working for?
I for one want to follow them too if they really exist.