In Search of Elegance in the Theory and Practice of Computation