Opera Software
The Opera Software company maintains over 100 proxy servers to handle Opera Mini traffic. They run Linux and are massively parallel and massively redundant."