Setting up a mirror
We invite everybody with an interest in the theory of computing to mirror our site. If you intend to do so, please let us know. Our email address is email


  • A running webserver
  • 500 MB space
  • rsync utility: should be included in your default Linux distribution.


Execute the following command (in one line):
rsync --delete -a rsync:// 
  • The "--delete" flag automatically deletes local files that are no longer on the server. To prevent loss of files, please make sure the target directory (the last argument) is set properly.
  • If you are running the command interactively and want to see which files are transferred, add the "-v" flag.
  • We recommend that you execute this command daily around 11 am GMT. To do so, run "crontab -e" and configure a daily task by adding the following (as one line):
    0 11 * * * rsync --delete -a rsync:// 
  • We recommend not using "wget" for mirroring as it is much slower and puts a heavy load on our server.
Last updated November 16, 2014.