Foi lançado hoje a versão 4.2 do Opera Mini, o navegador para dispositivos móveis da Opera. Poucas diferenças em relação ao Opera Mini 4.1, as maiores delas a possibilidade de aplicar temas, sincronizar notas com a versão desktop do navegador (bookmarks e histórico já eram sincronizados antes) e algum suporte a vídeo do YouTube de alguns celulares.
O Opera Mini sempre funcionou muito bem comigo. Ao contrário de todos os outros navegadores para dispositivos móveis no mercado, o Mini não conecta-se diretamente aos sites requisitados: ele faz as requisições a servidores do Opera que intermediam o processo, transformando os sites para que sejam facilmente visualizados e rapidamente carregados no dispositivo móvel. O resultado é considerável: até 90% de redução na quantidade de dados carregados para alguns sites. Isso se traduz em menor tempo de carregamento e menor valor pago por dados (no caso de planos que não são ilimitados).
A vantagem adicional é que o scroll nos sites é geralmente bem mais rápida; este é o motivo por que prefiro utilizar o Opera Mini em detrimento do seu irmão, o Opera Mobile. O Opera Mobile funciona da forma tradicional, carregando os sites diretamente. Porém, sem a compressão, alguns sites ficam excessivamente lentos, mesmo depois de totalmente carregados, ao ter-se que fazer scroll ou zoom.
