Goedel’s Lost Letter blog written by Richard Lipton at Georgia Tech is very interesting and is, as the title suggests, on theory of computation and other interesting ideas.