Precisando é só avisar!
O Coq é um "provador" de teoremas de maneira interativa. Ele nos auxilia a definir funções, predicados, a verificar as provas e suas consistências de maneira programática. Existem outras ferramentas que tem um propósito similar, como o Isabelle da Universidade Continue lendo Coq - Provando teoremas de forma programática
Para poder escrever minha qualificação no Latex, era necessário o pacote do abntex2. Entretanto não encontrei ele na minha distribuição linux, que no caso é o Gentoo. Após obter o seguinte erro: Fiz uma busca e encontrei esse arquivo no Continue lendo File not found e unknown option no latex
Por motivo de segurança, em algumas situações você não tem acesso direto ao servidor alvo. Contudo, liberam acesso SSH à uma outra máquina que acessa esse servidor e você precisa utilizar aplicativos à partir da sua máquina, mas acessando o Continue lendo Túnel SSH
Para alterar o hostname no Oracle Linux ou distribuições baseadas no RedHat basta alterar a linha HOSTNAME do arquivo /etc/sysconfig/network. Verifique também o arquivo /etc/hosts. Reinicie o Linux ou o serviço xinetd.
Olá Pessoal! A Trainning está nos patrocinando e oferecendo vários cursos com desconto para os leitores desse blog. A Trainning é uma escola de treinamentos de TI e de Governança de Projetos, que possui sua sede em São Paulo e Continue lendo Cursos e Patrocínio
Mesmo eu reativando o blog somente em Agosto, acho que vale a pena fazer uma retrospectiva de 2010. Para isso utilizei alguns plugins do wordpress e obtive o seguinte resultado. Foram 23401 visitas no website, sendo realizada por 8897 visitantes. Continue lendo Retrospectiva 2010
