DARPA’s expMath program draws praise from a user · Digg