An introduction to the computation of superpermutations
An optimistic view of Gödel's Incompleteness Theorems
Computing 175 billion digits of Gamma(1/5)
(Former) record computation of the digits of log(2)