Povo lançou uma rede social nova onde você recebe dinheiro para postar (na verdade eles compartilham o ganho dos anunciantes com quem produz conteúdo, no caso, você). Mas o facebook está bloqueando todos os links para essa rede social nova, dizendo que é "unsafe" (apesar de nada indicar que é unsafe, parece censura mesmo). Mas nada me impede de fazer uma página com um link e postar o link né?

http://www.ricbit.com/temp/novarede.html

Para entrar precisa de indicação, coloca que quem indicou foi "ricbit".

Dia desses o Marco Lazzeri me perguntou qual a linguagem de computador mais antiga que eu sei programar. Provavelmente é LISP, criada em 1958, já até escrevi um compilador dela.

E dessas linguagens antigas, qual a minha predileta? Quando você pensa em linguagens antigas, tipo ALGOL, FORTRAN, LISP, BASIC, você está pensando na segunda leva de linguagens. A minha predileta é da primeira leva, chama Plankalkül. A imagem tem o algoritmo TPK implementado em Plankalkül.

Os mais desavisados devem olhar para a imagem e ficar se perguntando como eles faziam para digitar essa linguagens cheia de traços e linhas. A resposta é simples: eles não digitavam. Não existia teclado nessa época, aliás os computadores não tinham nem sequer tela.

E como eles compilavam, se não tinha como digitar o programa! Ora, não compilavam! Ainda não tinham inventado o compilador! A linguagem era só um jeito de colocar as idéias no papel de forma legível, depois algum humano ainda teria que converter o algoritmo para código de máquina.

E por que ela é minha preferida? Porque ela veio direto do mundo bizarro! O único motivo de hoje em dia considerarmos o Alan Turing como pai da computação é porque os aliados ganharam a guerra. Se o eixo tivesse ganhado a guerra, então o criador do computador seria o Konrad Zuse, e essa era a linguagem que ele usava para programar o Z2, computador que ele criou que é anterior ao trabalho do Bletchley Park.

Mas poucas pessoas conhecem o Plankalkül. O motivo disso é que ele demorou para ser publicado. O Plankalkül era parte da dissertação de doutorado do Zuse, mas a faculdade queria que ele pagasse uma quantia alta como taxa de matrícula. Sem grana na época, o Zuse deixou pra lá, e esses documentos só vieram a público quase 30 anos depois.

Hoje é dia de postar sobre BTTF, então aqui vai uma foto da Ila Fox com o DeLorean original do filme (usaram 6 carros nas filmagens, mas esse era o único que era usado nas cenas de close).

Eu sempre achei que Capacitor de Fluxo era uma piada escondida. Capacitores funcionam com a derivada da carga, quem funciona com a derivada do fluxo é o indutor. Para mim "capacitor de fluxo" é tipo "subir para baixo" ou "entrar para fora", a graça é que são conceitos opostos.

Se fosse eu a fazer um remake, o carro usaria um capacitor de fluxo para ir ao passado, e um indutor de carga para ir ao futuro.

Como está chegando a data do Star Wars novo, Ila Fox e eu resolvemos assistir de novo os filmes, dessa vez usando a ordem do machete.

Mas eu fiquei intrigado com essa cena onde a Falcon fica presa na Death Star, aí os Stromtroopers entram e não acham ninguém a bordo, porque estavam todos escondidos nos buracos para contrabando.

Poxa! Lá no começo do filme eles falam que não detectaram nenhuma forma de vida no escape pod dos droids. Se eles tem um lifeform detector que funciona à distância, por que raios não usaram na Falcon, ao invés de fazer inspeção manual?!

(Personagem burro a gente super releva, mas worldbuilding com inconsistência interna é pecado).

O sentai dessa semana no Japão teve participação do Jiraiya, rolou até um mini remake da abertura! E não foi só pegar o uniforme no armário e colocar em um dublê, chamaram o Takumi mesmo. Ficou bem legal.

Aqui o video do episódio completo:
https://www.facebook.com/urameshi.ismael/videos/836191206480245/

Tirar foto de gato preto é difícil, então eu experimentei um pouco com exposição longa no gato Rabisco.

Ontem eu reparei que tem uma representação da BIOS no teto do Municipal, decerto a mulher da figura é a placa-mãe então!

Outra leitura do Lohengrin é ver o destino final dos personagens. A trama toda é maquinada por uma sacerdotisa de Wodan, que faz uma invocação bem bacana no ato 2. A tradução do libreto é "Deuses profanos! Ajudai agora a minha vingança! Puni a ignomínia que aqui vos foi feita! Aniquilai o delírio pérfido dos apóstatas!".

Aí você vê o que acontece, a heroína morre de desgosto, o cavaleiro do Graal é exilado, o rei cristão perde o exército, a única que saiu ilesa foi a sacerdotisa mesmo, ou seja, a vingança de Wodan tem poder!

(Vale lembrar que Wodan é a grafia antiga de Odin, então ela estava rezando pro pai do Thor. Daí você vê de onde o Stan Lee tirava a inspiração para aqueles discursos empolados dos asgardianos).

Fomos ao Theatro Municipal assistir à opera Lohengrin do Wagner, que é aquela história onde a Elsa casa com o Cavaleiro de Cisne. A parte bacana dessas óperas clássicas é que ninguém reconhece de nome, mas todo mundo já ouviu. O trecho em 2:35:00 é inconfundível:

https://www.youtube.com/watch?v=VN83SBGSAWg

A parte complicada é conseguir assistir a peça de 1850 com os olhos de hoje, para mim ficou bem claro que a moral da história é que se o marido tiver um segredo que não quer contar, é bom a esposa não insistir porque isso pode acabar com seu casamento (e, eventualmente, esposa que desobedece o marido acaba morrendo).

(crédito da imagem -> http://majunn.deviantart.com/art/Elsa-and-Hyoga-508281672 )

Quem nunca desenhou o Wolverine numa aula de teoria da relatividade?

Eu não sei mais a diferença entre -1 e 1.

Resolvi brincar de axiomatização com um provador de teoremas automático. Coloquei as definições de add e mul no Prover9, e a primeira surpresa é que ele não sabia que 0 é diferente de 1! Na verdade tanto faz, você pode completar essa aritmética dos dois jeitos sem cair em contradição.

Então eu adicionei 0 != 1 como axioma e bola pra frente. Mas aí bati no segundo problema. Se eu tento adicionar raiz quadrada, ele começa a concluir que 1=-1. Usei como definição sqrt(x)=y <=> sqr(y)=x; mas aí ele raciocina que sqrt(1)=1 porque sqr(1)=1, mas sqr(-1)=1 também logo sqrt(1)=-1 e como sqrt(1)=sqrt(1) então 1=-1.

Se eu conserto introduzindo ordem, por exemplo dizendo que (x>0) -> (0>-x) então eu não consigo representar complexos, só reais. Para fazer complexos eu vou precisar de uma definição bem mais complicada de sqrt :(

Aqui meus axiomas até agora:

formulas(sos).
 add(x, 0) = x.
 add(x, minus(x)) = 0.
 add(x, y) = add(y, x).
 add(x, add(y, z)) = add(add(x, y), z).
 mul(x, 1) = x.
 (x != 0) -> (mul(x, inverse(x)) = 1).
 mul(x, y) = mul(y, x).
 mul(x, mul(y, z)) = mul(mul(x, y), z).
 mul(x, add(y, z)) = add(mul(x, y), mul(x, z)).
 1 != 0.
 sqr(x) = mul(x, x).
 (sqrt(x) = y) <-> ((sqr(y) = x)).
end_of_list.

formulas(goals).
 1 = minus(1).
end_of_list.

O dia que o Isaac Newton enfiou uma agulha no olho.

A grande maioria das coisas que o Newton fez foi culpa da peste negra. Quando a peste chegou em Cambridge, a recomendação oficial foi FUJAM PARA AS MONTANHAS! Por isso, o Newton voltou para a fazenda dos avós, e ficou lá dois anos esperando a peste sumir de Cambridge.

Mas ele não ficou parado nesses dois anos, pelo contrário, sem a burocracia da universidade para atrapalhar, esses dois anos provavelmente foram os mais produtivos dele. Foi nessa época que ele criou a teoria da gravidade, o cálculo, e a óptica.

A óptica foi curiosa. Ele era adepto da teoria corpuscular, então achava que as cores eram geradas por partículas que pressionavam a retina. Como bom cientista, ele resolveu testar a hipótese. Para isso, ele enfiou uma agulha por trás do globo ocular, e ficou apertando a retina por trás para ver o que acontecia.

A parte bacana é que a descrição do experimento sobreviveu! A imagem ao lado é um scan do diário dele, onde ele descreve que ao pressionar a retina, via bolas brancas, pretas e coloridas. ("there appeared white darke & coloured circles" - o diário é em inglês então dá para ler fácil).

COMO ele conseguiu fazer isso sem se cegar eu não sei. Eu adoro fazer experimentos científicos, mas o Newton era outro nível de dedicação.

Assistimos The Martian agora. O filme é bom, mas eu tive que assistir sabendo que eu não era o público-alvo. Para deixar mais palatável para os galeritos, toda a parte de hard sci-fi do livro ficou meio de lado. Os meus dois personagens prediletos do livro eram o oxygenator e o water reclaimer, e no filme quase não são citados frown emoticon

E eles mudaram o final também. As cenas pós-créditos são bacanas e menos abruptas que o final original do livro, mas antes disso eles adicionaram uma cena que no livro não tinha. Quer dizer, é baseado em uma idéia que aparece no livro, mas uma idéia que todos os personagens dizem que é idiota. O diretor deve ter achado que ia ficar visualmente legal e adicionou anyway. (Dica para quem for escrever filmes cientificamente corretos: se você aplica uma força em um corpo rígido fora do seu centro de gravidade, ele gira. E sem atrito nenhum, gira loucamente.)

Ah, o Sean Bean não morre, mas acontece uma coisa ruim só com o personagem dele, e todos os outros passam incólumes.

Um mapa lindão com os detalhes do Império Romano em 211 AD. Dá para ficar um tempão vendo os detalhes, mas eu ressalto:

- Um monte de cidades que existem até hoje, como Roma, Pisae, Verona, Florentia, Neapolis. Não tem Pompeii, porque né. Londinium já era capital mas Lutetia era uma vilazinha.
- Nem todos os caminhos levam à Roma! Se você estiver numa ilha, precisa pegar um navio.
- Tem a Muralha no norte da Inglaterra para deixar os selvagens para trás.
- Já tinha o Caminho de Compostela, pelo jeito ele é baseado em uma estrada romana antiga.
- Os nomes são todos em Latim, menos na Grécia onde mantiveram o grego.
- O império não chegou na Rússia porque ninguém conquista a Rússia.

http://brilliantmaps.com/roman-empire-211/

Gelo em Marte, diz a Viking, mas no entanto não há galinha em meu quintal.

O que eu acho legal é como a nasa precisa se virar criativamente para conseguir funding. Arranjar dinheiro para pesquisa é difícil até para eles, então quando conseguem alguma notícia bombástica sobre Marte, eles seguram a notícia até a mesma semana em que Hollywood lança um filme sobre Marte. Assim a notícia fica pairando por mais tempo e alcança um público maior.

http://www.bbc.com/news/science-environment-34379284

Se a Ila Fox pode postar foto com a mesma roupa da Zooey, então eu posso postar foto com a mesma roupa do Knuth!

Finalmente descobri um jeito de subir um video do meu TMNT para MSX turboR no youtube! Esse video só fica bom em 60Hz, e eu não sabia como forçar o youtube a tocar em 60Hz. A manha é subir em HD, no openmsx é só usar a opção -triplesize que sai na resolução certa.

(O TMNT ainda é WIP então faltam coisas. Estou fazendo a animação à velocidade de um frame por semana haha)

Post novo no blog de viagens: Stalkeando Newton!

http://viagemsemguia.blogspot.com.br/2015/09/stalkeando-newton.html

(A Ila Fox hoje fez um post stalkeando a Summer, eu fiz um post stalkeando o Newton para manter a simetria. Somos um casal de stalkers).

Assistindo anime no frio, nem preciso de cobertor.

Como se vestir para a festa de aniversário de 92 anos da sua avó? A parte curiosa é que ela nasceu no mesmo ano que o Richard Attenborough.

Girino Vey me lembrou que ontem fez 68 anos de quando a Grace Hopper achou uma mariposa presa dentro do relé do computador que ela usava. Tem gente que acha que foi aí que surgiu o termo "bug" (não foi), tem gente que acha que foram 70 anos ao invés de 68 (não foram). Mas para mim o mais legal é o que ela estava fazendo nesse dia!

 Olha só a página do diário dela. Às 8:00 ela começou a calcular um arco tangente, a computação terminou às 10:00! Isso foi usando um computador que pegava um andar inteiro do prédio. Hoje em dia meu celular de bolso calcula um arco tangente em nanosegundos.

 E a parte bacana é que ela anotou os resultados! Confere no cantinho, ela estava calculando atan(1.27), o resultado foi 9.037847025e-1, comparado com o valor de referência de 9.037846995e-1 ela achou bom o suficiente e aprovou.

 Mas olha só, o valor de referência dela estava errado :) O certo é 9.037846992e-1, erro no último dígito. E eu fiquei sem saber qual raio de algoritmo ela estava rodando naquele dia.

De primeiro eu pensei que era a série de Taylor do atan, mas isso não foi porque essa série só converge dentro do círculo unitário, e 1.27>1.

Table[InputForm[Sum[(-1)^k *x^(2 k + 1)/(2 k + 1), {k, 0, n}]], {n, 1, 20}]

Aí eu pensei que foi aquela série do Euler que converge com fatorial ao invés de convergir com o inverso. Mas não foi também, porque essa série converge monotonicamente por baixo, e a aproximação dela foi por cima:

Table[InputForm[ Sum[2^(2 k)*(k!)^2*x^(2 k + 1)/(2 k + 1)!/(1 + x^2)^(k + 1), {k, 0, n}]], {n, 1, 60}]

Que resta? Uma idéia é a série de Taylor de atan(1+x), aí você usa x=0.27. Eu fiz o teste e deu 9.037847049e-1, que não é bem o valor, mas é parecido. Mas pode ser porque os erros acumulam diferente, eu usei um computador binário, ela usava um computador decimal.

Table[InputForm[ N[Pi/4] + I Sum[((-1 - I)^k - (I - 1)^k)/(2^(k + 1)*k)*(x - 1)^k, {k, 1, n}]], {n, 1, 60}]

 Ainda não achei uma fórmula que bate com a dela, só se foi uma aproximação de Newton, e aí fica difícil achar o valor exato sem saber qual chute original ela usou de semente.