What CMS do you use?

We use our own proprietary CMS, coded in PHP, and optimized for speed, security, and search engine friendliness. We plan to make the sources available in the future (but a release date has not been set).