Comercial japonês do Halls - O Melhor

Talvez um dos melhores comerciais que já vi na minha vida:





E ainda com making-of:

Continue lendo...

Uma aula de matemática diferente

Vejam o que esse professor de matemática da Biola University (sim, o nome é esse mesmo) fez em sua aula no dia do Halloween.

Vi lá no Humor na Ciência. Este video, porém, está com uma qualidade de som melhor do que o que foi postado no Humor na Ciência.

Até.


Continue lendo...

Firefox - Personas + Legauss

Personas já existe faz algum tempo para o Firefox, mas o que seria um persona?

Basicamente seria um "tema" para o Firefox, assim como os "temas" para o Windows, mas a diferença entre um Persona e um tema no Firefox é que o tema muda os desenhos dos botões entre outros menus e sub-menus. Já o Persona, é como um papel de parede para sua batta de ferramentas e status do Firefox, sem alterar botões e sub-menus.

Uma grande vantagem do Persona que além de ser leve, são apenas 2 imagens utilizadas, você só precisa pegar o plug-in oficial do Firefox e pode começar a utilizar qualquer Persona somente observando a galeria do site de Personas, so passando o mouse por cima de um, o Firefox permite que você teste ele antes de colocar ele como padrão e você ainda pode ter vários Personas associados à sua conta do site do Firefox, para facilmente alterar entre eles e em qualquer computador.

Mas o que isso tem haver com o Legauss?

Simples, eu apresento à vocês, o Persona do Legauss!

Clique na imagem para ampliar

Agora você pode ter o Legauss na sua tela onde você estiver, quando quiser!

Ele já está disponível para uso desde hoje cedo (levou cerca de 2 semanas para ser aceito).
Por favor, se vocês gostam do Legauss, peguem e divitam-se com ele e os outros Personas.


Site oficial de download e da galeria de Personas:

http://www.getpersonas.com


Persona Legauss:

http://www.getpersonas.com/en-US/persona/64377

Continue lendo...

Dica para ouvir rádios no Rythmbox

Eu sou um usuário de Ubuntu. Portanto, a dica desse post será voltada a usuários Ubuntu, pois simplesmente não sei como resolver isso em outras distribuições.



Se você já usou Rythmbox alguma vez na vida, talvez tenha notado que ele tem uma seção para rádios online. Sendo que várias delas já vêm "instaladas" por padrão. Mas hoje me deparei com o seguinte problema:

Eu gosto de ouvir a rádio http://www.beethoven.com/. Mas, ao tentá-la adicionar ao Rythmbox, o programa verificou a falta de algum plug-in.

Para resolver isto, é simples, basta digitar estes códigos no Shell:

sudo apt-get install gstreamer0.10-ffmpeg
sudo apt-get install gstreamer0.10-plugins-ugly gstreamer0.10-plugins-ugly-multiverse
sudo apt-get install gstreamer0.10-plugins-bad gstreamer0.10-plugins-bad-multiverse

Pronto, agora é só adicionar o link de sua rádio preferida e você provavelmente não terá mais problemas com plug-ins.

Continue lendo...

Uma prova diferente para a infinitude dos números primos

Imagino que todo mundo que gosta de matemática conheça a famosa demonstração de Euclides para a infinitude dos números primos. Aquela que começa assim:

"Suponha que existem finitos primos, a saber, . Então, considere o número . Então..."

O resto fica como exercício para o leitor. :b



A beleza dessa demonstração consiste em sua simplicidade e a (quase) total ausência de pré-requisitos matemáticos. Além de ser uma das primeiras provas por absurdo a existir.

O que vou apresentar aqui é uma demonstração também bastante conhecida, e também por absurdo, mas que envolve um conhecimento um pouco maior de Álgebra e/ou Teoria dos Números. Especificamente, é o Teorema de Lagrange, para grupos.

Teorema: Existem infinitos números primos.

Demonstração: Suponha que existe uma quantidade finita de números primos. Seja o maior deles. Então, pelo Teorema Fundamental da Aritmética, o Número de Mersenne é divisível por algum primo . Então, podemos escrever . Pelo Teorema de Lagrange, , e portanto, . O que é absurdo, pois, por hipótese, era o maior número primo. Logo, existem infinitos números primos.

Até.

Obs.: Ambas as demonstrações mencionadas neste post são "proofs from the book".

Continue lendo...

Moda eletrizante

A beleza, às vezes, exige sacrifícios. Tornar o mundo mais sustentável também. Agora, imagine os dois esforços reunidos num mesmo objeto: a roupa. É isso o que chama a atenção na coleção Captain Electric, cujas três peças – Stiff, Sticky e Itchy – armazenam a energia gerada pelos movimentos do corpo.

O recorrente dilema do mundo da moda entre beleza e conforto foi a inspiração para a criação. Por isso, a intenção dos modelos é apertar e remodelar o corpo, de modo que seja necessário fazer força para se movimentar e, consequentemente, gerar mais energia. Os criadores optaram por não disfarçar os geradores de eletricidade, mas integrá-los ao conjunto da obra, e garantem que ninguém vai levar um choque inesperado.

No caso da Captain Electric, a energia não tem lá uma utilidade muito significativa, apenas produz luzes sob o tecido e é capaz de ativar um MP3 player incorporado à própria peça. No máximo, uma galera animada que aderisse ao figurino poderia garantir a iluminação e o som da balada.

Mas está aí uma iniciativa que pode ser adaptada num futuro próximo. Já pensou se os geradores das roupas pudessem alimentar uma TV, um computador ou mesmo uma bicicleta elétrica?

Sticky

Stiff

Itchy

Você se submeteria a esse sacrifício em nome da moda ou do meio ambiente?

Fonte.

Quando li essa notícia, fiquei até animada com as possibilidades. Mas aí eu assisti aos vídeos. Convenhamos, esse não é o tipo de vídeo que dá credibilidade a alguma coisa.

De qualquer maneira, se no futuro cada pessoa conseguir recarregar seu próprio mp3 sem precisar de uma tomada, talvez tenhamos uma economia legal de energia. Mas antes de ficar andando por aí com essas roupas ridículas (sinto muito, elas são), é uma boa lembrar que já existem outras alternativas muito mais sensatas, como energia solar ou uma simples pedalada.

Continue lendo...

Brasileiros são os mais generosos em World of Goo

World of Goo é um jogo de um produtor independente, 2D Boy, que ganhou diversos prêmios pelo mundo, incluindo o do Independent Games Festival de Melhor Design Inovador e Excelência Técnica. O jogo atualmente custa U$ 20, mas foi um dos jogos mais "pirateados" deste ano.

Por causa disso, o produtor resolveu adotar uma política que valeu até semana passada de "pague-quanto-você-acha-que-vale-esse-jogo". As quantias, por questões óbvias, tinham que ser maior que U$ 0,01, sim, um centavo de dólar americano. Hoje eles divulgaram gráficos com alguns valores sobre este período.

Durante o período, o jogo que está disponível para Windows, Linux e MAC, os usuários de Linux foram os que pagaram mais, com uma média um pouco acima de U$ 3.50 e os usuários de Windows (Também conhecidos como "muquiranas") não chegaram nem na média de U$ 2,00. E a seguir, o site mostra uma tabela de quanto cada país do mundo gastou (em média ) no jogo, o PIB do pais e a "generosidade" do mesmo. A "generosidade" seria um cálculo baseado no PIB com a média de quanto o país gastou (não sei a fórmula utilizada no processo), e isso mostra que mesmo que os suiçoes tenham pago mais pelo jogo, uma média de U$ 5,37/cópia, a generosidade deles ficou em U$ 3,23, já o Brasil ficou com uma média de U$ 2,26/cópia mas a generosidade é a maior de todos os países: U$ 5,62!

Para efeito de comparação, os EUA tiveram uma média de U$ 1,83/cópia e a "generosidade" em U$ 1,00!

Eu achei isso realmente legal par ao Brasil, mas nem tanto para o produto do jogo que esperava uma arrecadação maior.

Quem quiser maiores informações sobre o World of Goo, jogo baseado em quebra-cabeça e construção, acessem o site oficial do mesmo: http://2dboy.com/games.php.

Link com os gráficos: http://2dboy.com/2009/10/26/pay-what-you-want-birthday-sale-wrap-up/

Continue lendo...

Doppler infernal

Físicos são criaturas malígnas, não há quem duvide disso. Curiosamente, um dos poucos momentos de entusiasmo que tive estudando física foi com o seguinte exercício, encontrado no Tipler (sim, eu sei, é péssimo), Vol. 1, 4ª ed.:

Sobrevoando um poço do inferno, um demônio observa que os gritos de um condenado em queda com a velocidade terminal variam de frequência de 842Hz até 820Hz.

(a) Calcular a velocidade terminal da queda do condenado.
(b) Os gritos do condenado refletem-se no fundo do poço. Calcular a frequência do eco percebido pelo condenado em queda.
(c) Calcular a frequência do eco percebido pelo demônio.

Eu sei, o tema é meio mórbido, mas eu dei uma boa risada quando li esse enunciado. Nem preciso dizer que lembrei na hora do meu professor de Física. Espero que ele não leia este blog.

O fato é que este é um exercício simples de ser resolvido, bastando apenas um pouco de bom senso (porque livros de física têm aversão a explicar direito o problema) e aplicar as equações do Efeito Doppler clássico.

As respostas são (aproximadamente):

(a) 4.5 m/s
(b) 853Hz (minha), 887Hz (Tipler)
(c) 842Hz

É claro que já aprendi a não confiar nas respostas do Tipler.

Até.

P.S.

Do jeito que as coisas vão, não duvido nada que, daqui a alguns anos, veremos um exercício assim: "Um padre baloeiro voa a uma velocidade de...".

Continue lendo...

PacMan + Halloween = ?

Uma imagem vale por mais de mil palavras:

Continue lendo...

Kernel Chuck Norris

A notícia que segue abaixo me intrigou quando a li pela primeira vez. Não sei exatamente que tipo de matemática foi usada para realizar este feito, mas não deixa de ser altamente interessante.



A seguinte notícia foi retirada do excelente site http://www.inovacaotecnologica.com.br

Primeiro sistema operacional 100% livre de erros está pronto

Programas de computador representam o melhor exemplo de um produto que usufrui de inovações tecnológicas contínuas - daquelas que não chamam muito a atenção e geralmente não viram manchete, mas que estão melhorando continuamente os aplicativos, incorporando novas funcionalidades e atendendo às novas necessidades dos usuários.

Mas será que é possível que os programas de computador experimentem também inovações tecnológicas disruptivas - daquelas radicais, que viram manchete e mudam o caminho de uma determinada área?

Certamente que sim. A criação dos protocolos de comunicação que viabilizaram a Internet, sistemas operacionais com interfaces gráficas, o primeiro navegador de páginas web, protocolos da computação distribuída, todos são exemplos que tecnologias que mudaram o rumo da informática.

Software 100% livre de erros

É muito possível que estejamos agora frente a mais uma inovação nessa categoria de revolucionária na área de software.

Pesquisadores australianos relataram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional - tecnicamente conhecido como kernel - está 100% livre de erros de programação (bugs).

Isto significa que a parte principal do sistema operacional não estará sujeito a falhas, travamentos e nem a ataques que explorem falhas de segurança, que simplesmente não existem.

Mundo completamente novo

O avanço deverá ter implicações diretas no funcionamento e na segurança de computadores que controlam equipamentos que devem apresentar altíssima confiabilidade, como aparelhagens médicas de exames e cirurgias robotizadas, sistemas aeroespaciais e servidores de informática de missão crítica.

"Eu acredito que não é um exagero afirmar que nosso sistema abre um mundo completamente novo no que diz respeito à construção de novos sistemas altamente confiáveis e seguros," diz o Dr. Gernot Heiser, que coordenou a equipe que desenvolveu a nova técnica nos laboratórios da Universidade Nova Gales do Sul, na Austrália.

Não se trata apenas de uma verificação intensiva do código contra erros específicos. O sistema de verificação garante que o kernel atende inteiramente a toda a sua especificação, não se desviando dela em todos os aspectos, incluindo a funcionalidade e a segurança

Software livre de erros

Uma regra no mundo do software - não-científica, mas largamente citada - é que há 10 bugs para cada mil linhas de código de um programa. Programas mais maduros e mantidos por grandes equipes certamente têm menos, mas nenhum engenheiro ou programador em bom juízo se arriscaria a dizer que seu sistema é 100% livre de erros.

Isto mostra o significado do feito alcançado pelos pesquisadores australianos, comprovando matematicamente a correção de um kernel desenvolvido em linguagem C por uma equipe de seis pessoas ao longo de seis anos.

Esta é a primeira vez que se demonstra de forma conclusiva que é possível construir programas de computador totalmente livres de erros.

A correção do programa também significa que ele está imune a todos os tipos mais comuns de ataques, como os chamados buffer overflows, um forma de ataque na qual os hackers tomam controle dos programas injetando pequenas porções de código malicioso.

Sistema operacional embarcado

O usuário de computadores tradicionais deverá esperar um pouco antes de poder usufruir do acréscimo de segurança e confiabilidade oferecido por um sistema operacional livre de erros.

O kernel 100% correto pertence a um sistema operacional do tipo embarcado (embedded system), que roda em computadores dedicados a tarefas específicas - seu nome é Secure Embedded L4 (seL4).

A nova técnica de verificação, contudo, poderá ser utilizada no desenvolvimento de qualquer outro programa, seja um sistema operacional ou outro aplicativo qualquer.

É incrível como a matemática e a computação sempre estiveram fortemente ligadas desde o surgimento da computação. É lógico que esforços imensos de física e engenharia são absolutamente necessários para o desenvolvimento das novas tecnologias em computadores. Mas as ideias fundamentais parecem vir sempre de alguma mente matemática brilhante. (Sem querer puxar sardinha pra minha futura área...)

Continue lendo...

"Fundinho" de verdade

Há alguns dias esta tirinha me pareceria apenas uma piada, mas alguns "acontecimentos" me fizeram repensar o que eu acho da Matemática.

Se alguém se interessa por lógica, leia este autor. Se alguém entende de lógica, entre em contato comigo, preciso tirar algumas dúvidas. :b

Continue lendo...

Me First and The Gimme Gimmes

Conhecem essa música? Dificilmente não vão conhecer, mas acredito que a maioria não conhece essa verão.



Pois é, Me First and the Gimme Gimmes (home page) é uma banda punk desde 1995 com um som punk, e o diferencial dessa banda está no fato de eles tocarem apenas covers de músicas que não são punk. Eu sou fã deles pelo menos desde 2000.



Alguns outros vídeos deles.









Bom, para os que quiserem mais... Youtube it!

Punk for ever!

Continue lendo...