Férias!

Na última sexta saí de férias! Só volto ao trabalho na segunda semana de janeiro! Até lá, Munique, Berlin, Paris, Stuttgart e Portugal, se o inverno permitir e parar de atrapalhar os aviões e trens daqui.

Desde sexta eu e Debora estamos em Munique, onde ficamos até quarta. Sábado fomos ao castelo de Stormwind Neuschwanstein:

onde encontramos um membro da Defias Brotherhood:

Ontem foi dia conhecer o Deutsches Museum, um museu dedicado a tudo relacionado em engenharias. O museu é bem grande e nem deu pra ver tudo em um dia inteiro, mas tem coisas muito interessantes e recomendo a todos que visitarem Munique a gastar um dia lá. Do que eu vi, gostei bastante da parte de mineração, onde inclusive tive que impedir uma mina de desabar:

Ainda na parte de mineração, muitos carrinhos de mineração, maquetes e até algumas máquinas reais:

Além disso, pra quem é de computação, é interessante também ver a parte de eletrônica e informática. Como bom nerd, tirei fotos de um waffle de silício (que nunca tinha visto, só ouvido falar):

de um Univac, provavelmente um modelo capado ou algo assim e sem periféricos, por dentro:

e por fora:

e ainda fui fotografado ao lado de um Cray I:

Não sei quando virá o próximo post, portanto, desejem-me sorte para o deslocamento aqui na Europa

Theoretical Computer Science

Pessoal que gosta de teoria, uni-vos!

Não sei exatamente como a coisa funciona, mas estão querendo criar um site pra discutir coisas de teoria da computação no mesmo estilo que o Stack Overflow.

Só que pro site entrar no ar, tem que passar por umas fases de definição e ter uma certa quantidade de pessoas interessadas... Participem ou pelo menos ajudem a divulgar =)

Tem um "referrer" na URL e não sabia o que eu ganho com isso. Fui verificar e descobri que ganho "pontos de reputação"... sejá lá a utilidade disso.

O problema da parada

Hoje estava lendo sobre o Problema da Parada e percebi um pouco mais a profundidade desse resultado, a partir de alguns exemplos. Resolvi escrever aqui sobre ele. Para quem não conhece o problema, ele pode ser encarado da seguinte forma:

Problema da Parada

Entrada: um programa "P" com sua respectiva entrada "E".

Saída: Sim, se o programa "P" para de rodar com a entrada "E". Não, caso contrário.

Em outras palavras, dado um programa, você quer saber se ele para de rodar ou não. Pra descobrir isso, você precisa de um outro programa. Mas, como Alan Turing mostrou, não existe um programa que resolva o Problema da Parada. Não vou entrar na argumentação de porque ele não existe, mas sim em uma outra coisa que nunca havia me dado conta, de quão importante é esse resultado.

Considere, por exemplo, o Último Teorema de Fermat. Caso existisse um programa que resolvesse o problema da parada, teríamos uma prova quase trivial para o Último Teorema de Fermat. Considere o programa P abaixo:

Programa P

Para toda tripla (x, y, n) de inteiros, x > 0, y > 0, n > 2.

Verifique se existe z inteiro satisfazendo:

Se existe z, pare.

Note que esse programa só parará de rodar caso exista um contra-exemplo para o Último Teorema de Fermat. Portanto, utilizando a solução do Problema da Parada com o programa P como entrada, teríamos como verificar a validade do Último Teorema de Fermat. Da mesma forma, esse mesmo argumento poderia ser utilizado para provar (ou refutar) diversas conjecturas e resultados por aí.

Claro que, mesmo se existisse, a solução para o Problema da Parada poderia ser ineficiente, ou seja, poderia ser necessário muito tempo para que o programa rodasse e uma resposta fosse dada. Mas esse tempo ainda seria finito e, portanto, podemos praticamente afirmar que seria apenas uma "questão de tempo" até termos uma resposta. Note que o programa P serviria para refutar o Último Teorema de Fermat caso ele não fosse verdadeiro mas, por outro lado, apenas com ele, nunca poderíamos ter certeza de que o teorema é verdadeiro, pois nesse caso ele teria que testar uma infinidade de triplas e, portanto, nunca pararia. Assim, de fato, a solução do Problema da Parada seria um resultado importantíssimo.

Idéias e Dijkstra

Volta e meia eu reflito sobre algum assunto e acho que seria interessante postar aqui no blog. Mas, coincidência ou não, nunca estou perto do computador, por isso tenho postado pouco. Pelo visto eu só raciocino quanto estou fora do computador =P

Aproveitando a oportunidade, passo adiante uma dica que me foi dada. Todo mundo que é de computação já ouviu (ou deveria ter ouvido) falar do Dijkstra. Pois bem, a Universidade do Texas mantém a página sobre ele no ar, com algumas informações. Não parei pra olhar ainda, mas achei interessante o fato de ter umas palestras dele. Pros estudantes da minha geração, que não tiveram a chance de conhecê-lo, acho uma oportunidade legal. Já estou baixando :-)

http://www.cs.utexas.edu/~EWD/

What's new in Firefox 3.5?

Videozinho do Firefox 3.5 explicando as últimas novidades. Copiaram um pouco algumas idéias do Chrome (isso não é uma crítica, apenas um comentário) e mudaram pouca coisa aparentemente. Pra mim essa atualização só tem coisa supérflua.

Reality Show com o dilema do prisioneiro

Pra quem não conhece, simplificando um pouco, o Dilema do Prisioneiro é um problema estudado na Teoria dos Jogos onde dois jogadores têm que tomar uma decisão. Se os dois jogadores forem gananciosos, ambos perdem tudo. Se um deles tiver espírito de equipe e o outro for ganancioso, o ganancioso leva o prêmio máximo. Mas se ambos cooperarem, os dois levam um "prêmio" menor que o máximo, mas bem melhor do que não levar nada. Então o jogo depende da confiança no adversário e de tentar prever a ação a ser tomada por ele. Acho que já fizeram parecido aqui no Brasil e o vídeo já é velho, mas acho que vale a pena postar mesmo assim :-)

Desktop ou Notebook

Todos sabem as diversas vantagens de ter um notebook. A facilidade de levar seu computador pra todos os lugares, com seus arquivos e configurações é uma maravilha. Não precisa ficar com medo ou desconfortável por usar computadores estranhos. Às vezes, o simples fato de poder utilizá-lo em outras partes da casa já quebra muitos galhos. Por outro lado, quando se sai na rua há o risco de ser roubado (portanto, faça backup) e também de roubarem informações importantes (o que pode ser muito pior em certos casos), como o projeto revolucionário que você ia apresentar na sua empresa, fotos comprometedoras, senhas salvas, etc.

Mas uma das vantagens que mais me agrada no notebook atualmente é o fato de ter uma bateria. Ok, isso é óbvio e é uma característica básica, mas esse "detalhe" funciona como um no break! E não um no break daqueles de 10 minutos que só dá tempo de desligar o computador. É um no break parrudo, que deixa vc terminar tranquilamente o que está fazendo e depois ainda brincar com um joguinho antes do fornecimento de energia ser normalizado (já que dificilmente a bateria vai acabar antes de tudo voltar ao normal)! Em particular, fico muito feliz ao ter que mexer no estabilizador de casa pra ligar algum periférico e penso que não preciso ficar com medo de desligar o computador durante essa arriscada manobra! :D

Mas nem tudo são flores... Além da insegurança supracitada, há outras questões importantes. A começar pelo preço. Apesar de ter diminuído, ainda é bem mais caro que um desktop equivalente. Além disso, você vai de fato levar seu computador para outros lugares? O tamanho da tela te satisfaz? Você é desastrado e deixa as coisas caírem no chão? =P

Enfim, no meu caso um notebook é uma mão na roda e apresenta muitas vantagens, mas certamente tem seus defeitos e sempre vale a pena analisar se compensa em cada caso :-)

Diigo

Diigo é uma ferramenta que permite marcar textos, compartilhar com amigos e gerenciar os favoritos, tudo de uma vez só... Parece interessante. Será que pega? Tomara que não, senão vou perder ainda mais tempo acompanhando as novidades =P

Computador na TV de 32 polegadas =D

Ontem, por alguma razão da natureza a Debora lembrou que a televisão dela funciona como monitor também. Lá fomos nós ligar o Notebook (um Vostro 1310) na TV. A televisão suportava uma resolução boa (acho que era 1366 x 768) e a imagem ficou bem nítida mesmo para caracteres pequenos (usei meu e-mail e o Gtalk, por exemplo).

Depois, como não podia deixar de ser, fui testar o CS =D
Ficou bem legal, depois de poucos minutos esqueci até que estava usando uma televisão grandona, tirando o fato do computador superaquecer (como visto em posts anteriores) e eu ter que colocar um ventilador em cima pra não dar as travadas contínuas (acho que essa história de dois monitores e uma resolução maior que a normal foi demais pra placa de vídeo =P).

Não vejo tanta vantagem em jogar uma tela tão grande, já que fica meio ruim pra você ver a imagem toda de uma só vez, ou seja, você acaba tendo que ficar longe. Mas sem dúvida, vale muito a pena pra ver vídeos, imagens, etc.

Se a resolução fosse um pouco maior, acho que seria interessante pra usar vários programas ao mesmo tempo, sem maximizar...

Mulheres na Computação

Muito tem se falado sobre a importância das mulheres na computação. Estudos comprovaram que equipes mistas em geral são mais criativas e produtivas do que aquelas compostas exclusivamente por homens. Baseados nessa constatação da importância feminina, foram criados diversos foruns de discussão em esferas nacionais e internacionais para discutir como atrair e manter mulheres em computação. Acho que todos valorizam a presença feminina (pelo menos até hoje não me lembro de ter visto uma crítica em relação à sua importância).

Outra iniciativa é a premiação de mulheres que se destacam em computação, tanto para incentivá-las, quanto para que estas sirvam de exemplos para as demais. Eu tenho alguns questionamentos sobre esse tipo de atitude. Em primeiro lugar, acho que as mulheres que se destacam das demais já não precisam de incentivos. Em geral, se vão bem é porque gostam do que fazem ou então passam a gostar, uma vez reconhecida a habilidade para aquela atividade. Já o argumento de "servir de exemplo para outras mulheres" mostra-se mais relevante. O problema é que normalmente só serve de exemplo para mulheres que já estejam na computação (e mesmo assim muitas delas vão pensar "nunca serei igual àquela premiada"). Embora a manutenção das mulheres presentes seja importante, mais importante ainda é atrair mais mulheres para a área. E, para isso, há de se investir em pessoas ainda no início da adolescência. Muitas vezes, ao iniciar o ensino médio muitos alunos já sabem ao menos a grande área a seguir (humanas, biológicas, etc). No transcorrer do ensino médio, há muitas mudanças, mas muitos preconceitos permanecem e, se já tiverem tido experiências "traumáticas" dificilmente se interessarão pela carreira. Me lembro de bem de quando eu era pequeno e via o computador como uma coisa de outro mundo (não tinha em casa) e pensava "que legal!". Acho que era isso que tinha que ser despertado para atrair uma maior procura pela carreira (não só de mulheres).

Google Latitude

O Google Latitude é um produto do Google que permite que você informe aos seus amigos sua localização. Aí juntam uns caras com uma idéia maluca, um monte de gente desocupada e o Google Latitude... Olha o resultado:

Mac vc. PC

E naquela briga de quem é mais descolado e tal, a Microsoft resolveu apelar pro calcanhar de aquiles da Apple: o preço (veja o video abaixo). É interessante o fato de que a propaganda não fala que o Windows é melhor, mas que um PC é melhor... Ou seja, a Microsoft tá pagando propaganda para os fabricantes de PCs. Outro ponto irônico é que no vídeo o "consumidor" fala que quer um produto customizável... Mas espera aí: o Linux é muito mais customizável que o Windows! Ou seja, ao argumentar a favor de um PC, eles podem estar argumentando contra o próprio SO deles =P

Opera Face Gestures

Muito bom o video! hehhehe

Problemas no acesso à página da Receita Federal (para declaração do IRPF)

Desde o final de semana eu estava tentando acessar a página da Receita (http://www.receita.fazenda.gov.br/) da minha casa e não estava conseguindo. Tentei computadores diferentes, browsers diferentes e nada. A página não abria e ainda dava um erro estranho no Firefox (dizia que acessava mas não carregava ou algo do tipo). E a Debora estava conseguindo acessar normalmente, de outra cidade, de outro provedor, mas estava. Aí comecei a desconfiar que poderia ser algum bloqueio de IP. Provavelmente alguém deve ter tentado fazer besteira e bloqueou um IP do Velox. Como o IP é dinâmico, dei a sorte de cair pra mim =P

Bom, com a hipótese em mãos, fui no modem, desconectei, esperei um pouco e reconectei. Com um IP novo o problema estava resolvido. Fica a dica pra quem tiver problema parecido. Já tinha ouvido falar de coisa parecida no CS:S (Counter Strike: Source), mas lá o problema era a latência que variava de acordo com o IP (acho que dependia de gateway).

Instalando o AVG Antivírus Gratuito

O AVG é um antivírus razoável e é gratuito. Por ter experimentado o Avast (outro antivírus gratuito) e não gostado, tenho utilizado utilizado o AVG há um bom tempo. Só tem uma coisa que me irrita muito: a dificuldade para se encontrar o link da versão gratuita no site. Tudo bem que eles querem vender a versão Pro Plus Max Super, mas tem gente que não vai pagar (e eles sabem disso, senão não teriam uma versão gratuita).

Pra achar a versão Free, depois de procurar na página e desistir, parti pro Google e digitei "AVG Free", sem as aspas. O resultado que eu queria era o primeiro. Aí fui procurar somente em páginas em português. O resultado não era o primeiro mas tava lá. Mais uma vez o Google resolveu meus problemas. Pra facilitar, já deixo aqui um link pra baixar a versão 8.5 do AVG Free (que é a que eles estão perturbando pra atualizar). Depois é só clicar em "Download" lá embaixo e, na página que abrir, clicar em "Installation Files".

Twitter e-Penis

Volta e meia aparece mais um site maluco usando estatísticas do Twitter. O http://www.epenis.nl/ é mais um desse estilo. Você coloca o username de um usuário do twitter e ele te dá o tamanho do "e-Penis" dele.

Como bom computata, fiquei imaginando como ele calculava... Pelo que vi de resultado de dois Twitters diferentes (o meu e o do Kibeloco), to achando que a fórmula é 15*(#pessoas_que_seguem_você)/(#pessoas_que_você_segue). Dá um erro pequeno, mas deve ser alguma medida pra evitar divisão por zero ou algo do tipo.

F1 McLaren por controle remoto!

Não pare de assistir antes de chegar na metade. Muito legal :-)

Apresentação de resultados

A apresentação dos resultados é quase tão importante quanto os resultados em si. Tanto no meio acadêmico quanto no corporativo. Clique para ampliar.

Briga de SO's

Essa imagem representa bem a visão dos fanáticos em relação aos outros SO's =P



(Clique para ampliar).

Publicando em Congressos e Revistas Científicas

Quando se trabalha com algum tipo de pesquisa, como em mestrado e doutorado, é bastante comum a publicação de resultados em algum tipo de revista científica ou apresentação em congressos da área de estudo. Como são muitos congressos e de muitas áreas, a divulgação acaba ficando meio confusa com um monte de e-mail pra lá e pra cá em listas de discussão e entre profissionais.

Alguém teve a brilhante idéia de criar uma Wiki pra organizar essa informação. Assim, se você acabou de desenvolver seu trabalho de pesquisa e procura um congresso ou periódico onde publicá-lo, dê uma olhada no WikiCFP que pode ser uma mão na roda. Aparentemente só tem coisas da área de exatas, em particular engenharia elétrica/eletrônica e informática/computação. Mas não sei se a proposta se restringe a essas áreas.

Se tudo correr bem, em breve usarei este site =)