Voevodsky links

I have been looking at some links related to Voevodsky in recent weeks, and the easiest way to share a collection of links is to put them into comments in a blog post...