Postagens

Mostrando postagens de novembro, 2011

Postagem em destaque

WSL: Backup e Restauração

Imagem
Às vezes você tem um drive mais rápido (SSD) que o outro (HD). É o meu caso: meu drive C, é um SSD de 256 GB e meu drive D, é um HD de 512 GB. Um é pequeno e rápido; outro é grande e lento.  Meu drive C, por ser pequeno, acabou ficando sem espaço. Então fui pesquisar por grandes arquivos (usei o excelente TreeSize Free para isso) e descobri um tal de ext4.vhdx que tinha 29 GB. Esse arquivo é a imagem do disco do WSL no Windows e é normal ficar grande. O problema é que mesmo você apagando arquivos ele não diminui. E quando você usa o Docker, a situação se agrava rapidamente. Então, descobri uma maneira de compactar esse arquivo/disco. É um comentário da KarolineWss numa issue do WSL. Funciona maravilhosamente bem. Tanto que consegui diminuir praticamente pela metade o arquivo.  Mas para fazer isso, claro, pesquisei como fazer backup (e restauração). Esse artigo é sobre isso. E com um bônus, esse o arquivo fica numa localização meio complicada para humanos, mas fazendo um backup e uma

O Homem que Calculava

Imagem
Quem gosta de matemática provavelmente já ouviu falar de um livro chamado O Homem que Calculava, de autoria de Malba Tahan (ou J úlio César de Mello e Souza).  Atenção: o texto a seguir contém spoilers (sempre quis escrever isso). O livro conta as proezas matemáticas do calculista persa Beremiz Samir durante uma viagem até Bagdá. Onde vira secretário do Grão-Vizir, conhece o Califa e casa-se. Durante a viagem e sua estada em Bagdá, ele resolve diversos problemas (citação da Wikipédia): A divisão dos 35 camelos (cap. 3). O pagamento de 8 pães com 8 moedas (cap. 4). A proporção da quantia devida pelo mercador de jóias (cap. 5). Os quatro quatros - Como obter todos os números de 1 a 100, exceto o 41, com quatro algarismos 4 e as operações fundamentais. (cap. 7). A soma das parcelas da dívida (cap. 7). A divisão dos 21 vasos de vinho (cap. 8). Números perfeitos (cap. 10). A venda de 60 melões por preços diferentes (cap. 12.) O cálculos dos grãos de trigos das casas do tabul

Curiosidade matemática

Imagem
Os números são, por vezes, curiosos. Veja só. Olhando os resultados da Megasena até o concurso 1337, observa-se que os números terminados com 0, 1, 2, 3 e 4 saem mais que os terminados em 5, 6, 7, 8 e 9. Clique para ampliar 0 - 812 1 - 806 2 - 796 3 - 866 4 - 836 5 - 781 6 - 754 7 - 806 8 - 783 9 - 782 Resolvi então, fazer uma pesquisa no Google procurando por cada um dos números, individualmente, mas o resultado foi exatamente o mesmo (25.270.000.000) para todos eles. O que leva a crer que existe uma espécie de limite ou algo do gênero. Assim, resolvi restringir a pesquisa para apenas 24 horas e os resultados corroboram os dados acima. Clique para ampliar 0 - 2.470.000.000 1 - 4.200.000.000 2 - 3.770.000.000 3 - 3.400.000.000 4 - 3.580.000.000 5 - 2.990.000.000 6 - 2.590.000.000 7 - 2.530.000.000 8 - 2.520.000.000 9 - 2.390.000.000 Interessante, mas acho que deve ser apenas uma coincidência.

Bug no Zoner AntiVirus?

Imagem
Nenhum programa está livre de bugs. Claro que nem todos são uma BSOD ou TAM (nada a ver com a companhia aérea), mas alguns são bem irritantes e por vezes nos impelem a desinstalar o programa. Infelizmente foi o que aconteceu comigo recentemente. Tive uma grande decepção ao instalar o antivírus Zoner AntiVirus Free . Desculpe o trocadilho, mas ele zoneou o meu celular. Não sei se é um bug do programa ou alguma incompatibilidade com algum outro aplicativo que eu tinha instalado. O fato é que alguns aplicativos que utilizam a Internet (Facebook, Twitter, GMail, etc) não funcionavam mais. Removi o Zoner e nada de funcionar. Tentei de tudo, até remover e instalar novamente os programas, mas o erro persistia. Tive então que apelar e restaurei as configurações de fábrica. Tive também o trabalho de baixar e reinstalar os aplicativos novamente, mas foi tranquilo. Tudo voltou a funcionar. Só fiquei triste porque perdi meu carro do Drag Racing , onde já estava no nível 7 e com um carr

Kasparov contra o mundo

Imagem
Ao final do match disputado em 1996 contra o Deep Blue ( supercomputador e um software criados pela IBM especialmente para jogar xadrez) , Garry Kasparov declaroy que era o último humano campeão de xadrez. No ano seguinte, a previsão de Kasparov, se concretizou: Deep Blue venceu Kasparov e se tornou o primeiro computador a vencer um match com regras de tempos oficiais. Mas essa derrota gerou uma grande polêmica, pois Kasparov acusou a IBM dizendo que jogadores humanos intervieram durante uma partida. Logicamente a IBM desmentiu. Kasparov pediu então os arquivos de log, mas a IBM não os forneceu. Por fim, Kasparav pediu um novo match mas a IBM não aceitou o desafio. Não sou muito fã de teorias conspiratórias, mas acredito que Kasparov tenha razão (neste caso): 1. O mundo dos negócios é cruel. E curiosamente, após a vitória, as ações da IBM tiveram uma forte alta e a IBM faturou mais de US$ 500 milhões em publicidade. 2. Todos sabem que em informática 7 anos são uma eternidad