I put up a revised and expanded version of my survey of Hilbert’s Program up on arXiv. If you have comments, you could post them here. You know, try out the whole blogging-revolutionizing-scholarly-communication-etc. thing.