Rolland McCune

^{Note: This article has been cross-posted on Andy Naselli’s blog. It appears here verbatim.}