The site has moved to http://regevs.github.io.