PHP 5 e o horário de verão brasileiro

Quem trabalha na área de tecnologia que não adora o horário de verão brasileiro? :)

Após alterar a data do meu servidor Linux, notei que o PHP continuava exibindo o horário anterior (uma hora atrasado)

Pesquisando no Google, encontrei este post http://www.eustaquiorangel.com/blog/show/308 que explica perfeitamente o que se passa:

O PHP (assim com o Java) vem com um banco de dados próprio de timezones. Como a regra do horário de verão do Brasil é totalmente imprevisível, é necessário manter esse banco de dados atualizado.

O repositório PECL disponibiliza esse banco: http://pecl.php.net/package/timezonedb

Para instalar, basta utilizar os comandos shell PECL:

pecl install timezonedb

e depois inserir a extensão no php.ini:

extension=timezonedb.so

O horário se ajusta automaticamente. Problema resolvido (pelo menos nesse ano)

Usabilidade, acessibilidade e inclusão digital na Internet

Ao final do ano passado, escrevi um artigo apresentando algumas tecnologias e padrões mundiais e nacionais referente à acessibilidade, usabilidade e inclusão digital na Internet.

http://extranet.kaerea.com.br/artigo/

Stuck pixel em LCD

Recentemente adquiri um LCD SyncMaster 732NW 17" Widescreen, e, após 4 dias de uso, ele apresentou um Stuck Pixel http://en.wikipedia.org/wiki/Dead_pixel
Antes de acionar a garantia, quis saber mais sobre o problema. Na Wikipedia é apresentado dois métodos "populares" de tentar resolver. Um deles é "exercitando" o pixel trocando rapidamente as cores primárias, mais branco e preto, na tentativa de "resetar" o pixel.
Não tive sucesso.
Uma outra solução é "massagear" gentilmente a tela do LCD com um pano macio, e, por incrível que pareça, esse método resolveu. O Stuck Pixel saiu como se fosse uma sujeirinha na superfície.

Incrível.