It is compiled PHP. Do they embed an http server? Do they talk fcgi with a well-known webserver, like - php would?
Reply on news.ycombinator.com