The Computation That Certifies Itself John D. Cook published something small and interesting today: a post about computing large Fibonacci numbers with a certificate embedded