John King's personal website and blog. For ungenerated code, see https://github.com/jfking/jfking.github.io.raw