There's a presentation by R. Stanley Williams linked to in the article, and it is well worth watching.

http://www.youtube.com/watch?v=bKGhvKyjgLY#

It has some tidbits I didn't expect. Teaser: "one of the guys in my group has...built a compiler to compile C code using implication logic rather than NAND logic and, interestingly enough, when we play with that the compiled code we get is always more condensed...by about a factor of 3"