MathML tests for Firefox

Published on October 14, 2013.

Firefox é o único browser no momento que possue suporte a MathML (em browser que utilizando WebKit existe um patch esperando aprovação, em browser que utilizando o Blink não existe previsão de reaproveitar o patch do WebKit e no IE apenas com extensões).

Uma das partes importante da implementação do MathML é a escrita de testes e é isso que será apresentado nesse post.

O bug 897065 refere-se a incorporação de mais testes e é um ótimo ponto de partida e alguns dos testes já escritos encontram-se aqui (na árvore do código fonte do Firefox você encontrará esses testes em layout/reftests/mathml).

LaTeX Course at EnCPos

Published on October 14, 2013.

This week I will be teaching LaTeX in the Scientific Meeting of Phd Students of IMECC (in portuguese "Encontro Científico dos Pós-Graduandos do IMECC").

The course will be in October 16th, 17th and 18th with one 1:20 long each day. It will be a little different from my other LaTeX course (read about it here <../../09/04/review_of_my_latex_course_at_semat>) and the schedule are:

X11

Published on October 13, 2013.

X11 é a interface padrão utilizada em distribuições GNU/Linux. Ela possui várias opções de configurações, incluíndo o tempo para desligar o monitor depois de alguns minutos sem atividade.

A seguir é informado como alterar o tempo mínimo sem atividade para ele desligar o monitor.

Antes de mais nada, para verificar a configuração atual do X11 utiliza-se:

$ xset q

É importante notar que a configuração será enviada para a saída padrão de forma que pode de redirecioná-la para um arquivo:

Procmail

Published on October 12, 2013.

Procmail é um agente entregador de email (MDA) que pode ser utilizado como filtro localmente.¹

A seguir será apresentado como criar e testar regras a serem utilizadas pelo procmail.

Regras

As regras seguem a seguinte sintaxe:

:0 [flags] [ : [locallockfile] ]
<zero ou mais condições (uma por linha)>
<ação a ser executada (em apenas uma linha)>

As condições, que sempre começam com *, costuma ser expressas na forma de uma expressão regular de forma que é satisfeita se a expressão regular for encontrada no email.

Listas de email

Published on October 11, 2013.

O email é uma das formas eletrônicas mais antigas de comunicação e que ainda continua sendo utilizanda hoje em dia. Um “tipo especial” de endereço de email são os de listas que de forma resumida funciona como um apelido para outros endereços de email com interesses comuns.

Alguns dos softwares LIVRES para gerenciamento de listas de email são, em ordem alfabética:

• Dada Mail,
• GNU Mailman,
• GroupServer,
• Smartlist,
• Sympa.

E alguns serviços GRATUITOS são, em ordem alfabética: