I think he's using an online submission of his code. So, he submits his source (either in a file or just text), then the webpage does some magic to compile and insert it into a testing framework. It...