Andrej Bauer's blog "Mathematics and Computation" - View it on GitHub