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
Entrei num canal de compartilhamento de arquivo, mas não consegui pegá-lo logo no início. Por isso senti a necessidade de fazer o download de todos os arquivos que estavam nesse canal. Achei um código parecido no stackoverflow e resolvi escrever Continue lendo Como fazer download de todas as mídias e anexos de um canal do Telegram
Tem interesse em fazer um chatbot ou automatizar atividades que possam te notificar pelo celular? O Telegram expõe suas APIs de forma gratuita e com isso podemos criar programas e utilizar suas funcionalidades, basta utilizar sua criatividade. Para isso é Continue lendo Como conversar no Telegram de forma programática
Para isolar bibliotecas e configurações, o python tem um utilitário que cria ambientes virtuais. A grande vantagem da criação desses ambientes é que você pode ter versões diferentes de bibliotecas e uma dependência não afetar a outra. Assim ao instalar Continue lendo virtualenv: Ambientes Virtuais para Python
O Elasticsearch é um motor de busca distribuído feito em Java e de código aberto. Ele é baseado no Apache Lucene, que é uma excelente API para indexação e busca. Para instalar o Elasticsearch no Ubuntu, a melhor forma é Continue lendo Instalação do Elasticsearch no Ubuntu 18.04
Embora seja uma má prática utilizar o System.out e System.err para depuração e habilitá-lo no log. Em alguns casos, é preciso. Não entrarei nos méritos quando isso é necessário, mas se você está acessando essa página, já deve saber. Para Continue lendo Habilitar System.out e System.err no log do WebLogic
O Qt (sua pronúncia é como "cute" em inglês) é um framework para interfaces gráficas feita em C++. Esse framework tem o foco de ser multiplataforma e é largamente utilizado no KDE. Para iniciar o desenvolvimento é necessário fazer o Continue lendo Iniciando com Qt
Comecei a me aventurar no mundo do Kotlin e resolvi criar uma mini referência para facilitar para quem vem do universo Java. Abaixo temos um resuminho inicial que pode facilitar a vida de quem está começando no Kotlin: Ponto e Continue lendo Kotlin para programadores Java
Alguns projetos precisam da referência a libcurl-gnutls, entretanto essa lib pode não estar disponível na sua distribuição (no meu caso Gentoo). Para resolver esse problema: Crie um link simbólico da libcurl referenciando a lib necessária: Com isso a lib é Continue lendo Resolução de libcurl-gnutls.so.4: cannot open shared object file no Linux
Sistemas baseados em Unix possuem alguns atributos que não estão disponíveis de forma intuitiva na linguagem Java, nem há documentação a respeito. Entretanto, em algumas situações se faz necessária a utilização dessa informação. Por exemplo, quando movemos um arquivo de Continue lendo Como recuperar a data e hora que um arquivo foi movido
Suponha que você deseja transformar um número qualquer no seu valor invertido. Por exemplo: 3210, se torne 123. Como fazer isso de maneira programática? Uma das maneiras mais simples é você transformar numa string, invertê-la e converter novamente em um Continue lendo Como inverter um número
Em algumas instalações ou mesmo quando se trabalha com alguns softwares que manipulam arquivos grandes, você pode ficar sem espaço na partição "/tmp". Muitas vezes remover arquivos dela não resolve e você necessita de um tamanho maior. Para resolver isso Continue lendo Aumentar o tamanho da partição /tmp no Linux em tempo de execução
Quer aprender a descobrir a fase lunar de um dia apenas somando 3 a 4 números? Vamos ver mais a frente... Ao estudar um pouco sobre as fases lunares, me deparei com um algoritmo muito interessante do matemático John Horton Conway. Continue lendo Como saber a fase da Lua de cabeça?
Dia 30 de março iniciou o período de Pessach (ou páscoa) judaica. O interessante é que as festas judaicas são calculadas de acordo com as fases da lua e dias lunares, baseado num calendário luni-solar (períodos da lua e sol). Continue lendo Cálculo do dia lunar e fases da lua com Java 10
