Foi bem divertido ontem o evento no Garoa. Nós passamos metade do video, que tinha entrevistas com as pessoas que fizeram os primeiros computadores na década de 30.

Mas a parte mais legal não foi o video em si, foi a conversa ao redor do video. Qual o equivalente brasileiros daqueles computadores antigos. Certamente é o Patinho Feio, o primeiro computador desenhado e produzido no Brasil, lá na Poli/USP por volta de 1972. (Ele era do tamanho de um armário, todo feito com lógica TTL, 4kb de memória, 0.5MHz, e naturalmente não tinha monitor, só um monte de blinkenlights).

E no evento ontem não apenas nós tínhamos a documentação original do Patinho Feio em mãos, como também estávamos com um participante do projeto! O Sebastião, da foto, trabalhou com o Patinho Feio na época e escreveu o primeiro compilador para ele.

Eu nem sabia que existiu um compilador, achei que era tudo feito em assembly mesmo. Mas o Sebastião contou a história para a gente. A linguagem usada pelo compilador eles mesmos inventaram. Na época o que bombava era ALGOL, então eles criaram uma linguagem parecida, que foi chamada de (wait for it) PATOL !

O compilador de PATOL era pesado demais para rodar nos 4kb de memória do Patinho Feio, então ele rodava em dois passos. No primeiro passo ele só lia as declarações de variáveis e montava a tabela de símbolos. Depois o segundo passo compilava propriemente dito o programa. Cada passo tinha que ser carregado da fita perfurada, uma parecida com essa da foto (a da foto é um exemplo de "ascii art" da época).

A parte bacana é que talvez esse compilador ainda exista. O Sebastião tem uma caixa cheia de fitas da época, então talvez ainda tenha alguma coisa por lá. O problema vai ser converter as fitas, acho que vou acabar escrevendo alguma coisa usando opencv para ler os furos, aí dá para fazer um leitor rodando no android mesmo.

E vale reparar que papel ainda é a melhor mídia que nós temos. A humanidade tem livros que ainda existem faz milênios, essas fitas do Patinho tem quase 50 anos e ainda são legíveis. Agora tenta ler um disquete um CD-R de dez anos atrás para ver se funciona.

Eu li por aí que o maior legado do Patinho Feio não foi o computador em si, mas a capacitação humana. As pessoas que fizeram o Patinho se tornaram a primeira geração de professores brasileiros com experiência em primeira mão na criação de computadores. Então isso faz de mim parte da segunda geração de patinhos! Eu tive aula com quase todos os criadores originais (introdução à engenharia com o Hélio Guerra, eletrônica digital com o Edson Fregni, compiladores com o João José Neto). Se você lê o meu blog, você é a terceira geração smile emoticon

Quarta que vem tem a parte 2 do video, se quiser participar cola lá no garoa.

Na última vez que fui à California, passei no Computer History Museum e comprei uns documentários sobre a história da computação. Hoje vamos fazer uma sessão no Garoa Hacker Clube para exibir o primeiro deles, Computer Pioneers and Pioneer Computers. Ele cobre o período da computação saindo da eletromecânica e indo para a eletrônica (décadas de 40 e 50). Tem entrevistas com os autores originais, dá até para ver a Grace Hopper contando a história do bug!

Quem quiser assistir, cola no Garoa hoje 19h30.

Nesse último FIQ nós conseguimos pegar o autógrafo do quadrinista Sávio. Ele é autista e tem dificuldade de comunicação verbal, mas isso não atrapalha em nada na hora de fazer gibis!

Eu estava bem curioso para ler. Da história da arte nós sabemos que "deficiências" não são um impeditivo na criação, pelo contrário, é só lembrar que Beethoven era surdo, Monet não enxergava direito, Van Gogh era esquizofrênico, e essas características acabaram se incorporando como estilo na arte deles.

Pois bem, com o Savio não tinha como ser diferente. Uma característica comum entre os autistas é que eles gostam de padrões regulares e repetitivos. Nós compramos dois gibis do Savio, e olha só, os dois partem da mesma premissa! Ambos são histórias sobre um par de meninos que acham dinheiro na rua, e resolvem fazer estrepulias com o dinheiro. Mas apesar da premissa igual, a história se desenvolve de maneira levemente diferente. Nesse ponto o trabalho do Savio me lembrou os quadros do Andy Warhol.

E a história não é simples, pelo contrário, ela tem indagações morais bem complexas. Os trapaceiros protagonista são retratados como anti-heróis, tendendo a vilões. Mas eles possuem um amigo que é bom e ordeiro, e graça da história é justamente o conflito interno desse amigo. Ele deve preservar a amizade mesmo quando seus amigos cometem atos ilegais? Se ele não participar do ilícito, mas também não contar para ninguém, ele é cúmplice por omissão?

Eu fico pensando que esse desenvolvimento da história deve ser um reflexo de como o ele vê o mundo. Aquelas pequenas transgressões sociais que todos nós fazemos devem ser gritantes para quem vê o mundo em binário. Todos nós devemos ser pequenos trapaceiros sob os olhos daquele personagem.

Durante o FIQ o Savio, além da sessão de autógrafos, também deu uma palestra de quase meia hora. Note que dar uma palestra já é difícil para a maioria das pessoas, para ele deve ter sido intensamente desgastante. Mas ainda assim, foi melhor que muita palestra que eu já vi! Ele não ficou lendo slides como boa parte das pessoas fazem, pelo contrário, ele tinha palavras-chaves no slide e desenvolvia o texto na hora a partir delas.

Fica aqui meus parabéns para o Savio e minha recomendação para todos comprarem os gibis dele.

Acabou agora mais um contest do codinggame, fechei em 35 global e primeiro brasileiro.

https://www.codingame.com/leaderboards/global/challenge/code-vs-zombies/25917060f87223d9e663378f192e4c1216da532

O jogo era fazer uma IA matadora de zumbis. Você tem um campo 2D onde tem um punhado de humanos estáticos e um punhado de zumbis de velocidade 400 que sempre andam na direção do humano mais próximo. Você controla um herói com velocidade 1000 e shotgun de alcance 2000, o objetivo é matar todos os zumbis de modo que sobre pelo menos um humano vivo.

Tinha 24h para codar, eu nem esquentei em fazer nada complicado, escrevi direto um monte carlo tree search. A parte bacana desse método é que ele escala com o número de simulações, então você está basicamente transformando otimização inteira em otimização de código (quanto mais rápido, mais iterações nos 100ms por round do jogo).

Se fosse 48h minha próxima otimização seria tirar fora o O(h*z) para calcular o zumbi mais próximo de cada humano, e trocar por uma BSP, aí esse mesmo check poderia ser feito em O(n lg n + z lg n).

O próximo contest é em fevereiro, é bem divertido, recomendo a todos :)

Resolvi deixar o bigode crescer, para ficar mais parecido com o Rabisco.

Saiu na Science um paper sobre como treinar pombos para detectar cancer em imagens, com precisão igual à de um profissional da área e superior aos algoritmos no estado da arte:

http://news.sciencemag.org/health/2015/11/pigeons-spot-cancer-well-human-experts

Mas eles não foram os primeiros, o Google já usava pombos para fazer PigeonRank desde 2002 !

https://archive.google.com/pigeonrank/

Fallout 4 sem spoiler. Estou com umas 20h de jogo no xbox one, minhas impressões até agora:

- Estou jogando no Survival, o jogo fica imensamente divertido. Uma granada que pega em você é 1-hit kill e para matar um Super Mutant parrudo vai uns 100+ tiros de sniper. O jogo fica muito tático, você precisa planejar cada encontro. Não dá para maximizar uma armadura e uma arma só, tem que customizar pelo tipo de inimigo.

- Os gráficos são piores que o Witcher 3, até piores que o GTA V no 360. Mas não estraga a experiência, eles são bons o suficiente.

- Vamos ser honestos, a função dos companions é carregar coisas para você. Dos companions que eu achei até agora, o que consegue carregar mais coisas é cachorro. Eu só não sei onde ele guarda todos aqueles itens (e francamente, prefiro não saber).

- A parte minecraft, de ficar criando casinha, eu não estou usando muito. Mas a customização de armas e armaduras é bacana (e essencial, no survival).

- O pip-boy de android eu achei muito bacana, porém ele gasta muita bateria, e desconecta muito fácil. Eu jogo do lado do router então não é flutuação de sinal, é touperice de quem fez mesmo.

Quando criança eu sempre gostei de jogar Padeiro Maluco no MSX, talvez porque eu fosse viciado em game & watch e esse jogo é basicamente um game & watch com gráfico melhorado. (Talvez ser descendente de padeiros tenha influenciado também).

Mas eis que ontem eu fui jogar e notei alfo que não tinha visto antes. 30 anos jogando esse negócio, e eu nunca reparei que as máquinas tinham nome. Tem um nome em kanji logo abaixo de cada uma delas!

É claro que eu fiquei na nóia para traduzir. É claro que eu me dei mal. Essas coisas que parecem simples sempre são mais difíceis do que parecem! Os kanjis naquela resolução jurássica são praticamente ilegíveis, eu levei literalmente uma hora para conseguir entender o que estava escrito. As três máquinas são:

整型 - Modeladora
第二発酵 - Segunda Fermentação
焼き上がり - Forno

A Modeladora foi a pior de todas, porque eu não conseguia usar o google para me ajudar. Só depois eu fui entender o que deu errado. 整型 em japonês é "máquina modeladora", mas 整型 em chinês é "cirurgia plástica", e sem contexto o google retornava só o mais comum, que era o chinês.

Para tentar traduzir eu fui até atrás do manual original em japonês, e acabei descobrindo outra curiosidade: esse jogo é educativo! Os primeiros jogos da Konami são sempre associados com uma matéria de escola:

Antartic Adventure -> Geografia
Athletic Land -> Educação Física
Macaco Acadêmico -> Matemática
Hyper Sports -> Ciências
Padeiro Maluco -> Estudos Sociais

Os dois últimos são os menos óbvios. Estudos Sociais é uma matéria que não tem no Brasil, lá eles ensinam a criança o que você precisa saber para morar sozinho. As tarefas nessa aula incluem coisas diversas como economia doméstica e culinária, sendo que esse último é o que encaixa no jogo.

Hyper Sports é mais bizarro, imagino que está como ciência porque envolve um pouco de física para achar os ângulos certos para pular na piscina e tal; mas a impressão que me deu é que foi marretado mesmo. Meu chute é que a Konami deve ter pego dinheiro emprestado subsidiado com o governo e prometeu fazer jogos educativos em troca, aí teve que ficar achando desculpa educativa para jogos que já estavam planejados.

Finalmente eu tenho um autógrafo do Alan Moore! Esse é nível hard de conseguir, porque ele não vai mais em convenções e não autografa mais gibis. O truque é que de vez em quando ele brinca de roteirizar filmes, e os DVDs ele autografa.

Tive um sonho louco hoje.

Sonhei que ganhei um carrossel, desses grandões de parque de diversões mesmo. Mas ele veio desmontado. Aí eu pensei: esse negócio é todo mecânico, só o motor que é elétrico, não tem muito segredo para montar, eu mesmo faço.

Aí eu encaixei um dos cavalos, sentei, liguei, e o bicho começou a rodar igual doido, parecia centrífuga! Eu saí meio tonto e pensei "ah, deve trabalhar em torque constante, então se colocar carga menor fica mais rápido mesmo". Daí eu encaixei os outros cavalos e funcionou normal.

Eu não sabia que minha cabeça calculava torques enquanto eu dormia!

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.

Eu comentei com o Paul que a cesta de basquete ainda estava no lugar, ele disse que eu deveria ter tentado fazer uma cesta de longe. (De verdade, eu pensei em tentar uma cesta de longe, mas dado que mora alguém ali, pensei que seria abusar demais. Da próxima vez eu jogo a bola e falo que foi o Paul que mandou).

Escrevi uns micropost no meu blog de msx. Falei de California Games, Alcatraz, e resolvi um mistério de mais de 20 anos sobre o jogo Psycho World. (E resolvi com chocolate, ainda por cima!) http://ift.tt/1i6QtF0

Quando nós fomos no Museum of Cartoon Art em SF, tinha quatro exposições acontecendo. Uma delas era só de artes originais do Erik Larsen! A minha preferida da exposição foi essa aqui, onde o Savage Dragon enfrenta um Osama Bin Laden gigante e radiativo.

Todo mundo morrendo de cansaço depois de 6h de trilha, aí eu consigo convencer o povo de que é pecado ir até a Castro Street e não passar no sebo! Eles me deram 10 minutos, era tudo que eu precisava. Consegui desencavar um montão de Astro City, incluindo o número 1, um punhado de X-Men do Claremont, Tomorrow Stories com capa variante e até um Bitch Planet original. Tudo por um dólar cada :)

Como era a computação em 1951! Meu momento predileto é em 5:45 quando a programadora vai pegar uma subrotina na gaveta. (Mas o job queue em 6:50 é um segundo lugar garantido). Se quiser pular a entrevista, comece o video direto em 4:08 que é quando começa o tutorial. https://www.youtube.com/watch?v=6v4Juzn10gM

Fui testar o Chunchyroll e descobri que tem um anime cuja heroína chama Kaga Koko. E o pior é que eu estou tão climatizado com nomes japonese que só fui perceber uns 15 minutos depois.

A saga do spray de pimenta! Na minha cabeça Los Angeles era uma cidade meio violenta (eu terminei GTA V e GTA San Andreas), então a gente sempre andava por lá meio ressabiado. Até que uma hora eu vi uma lojinha vendendo spray de pimenta. Por que não né? Comprei dois potinhos e coloquei na mochila. Quando chegamos no hotel, desempacotando as coisas vi os dois sprays, e comentei com a Ila Fox que seria legal testar para ver como é. Então, não foi legal não. Em minha defesa, eu não sou muito burro, então não apontei pro olho de ninguém. Eu fui na pia da cozinha e apontei pra baixo, raciocinando que o jato de pimenta iria direto ralo abaixo. Mas alguns segundos depois eu aprendi uma coisa nova: aquele jato que sai do frasco é só tinta para marcar a cara do bandido. A pimenta mesmo é um gás. E o gás sobe. Eu e a Ila tivemos que evacuar o apartamento porque não dava para respirar lá dentro! Demorou algumas horas até conseguirmos respirar sem tossir. Olhando na internet depois, descobri que a primeira regra do spray de pimenta é "não use em locais fechados", dica que eu deixo para todos aqui. É verdade, eu fiz o experimento. No fim nós ficamos na dúvida se podíamos ou não trazer o spray pro Brasil, mas acabou que esquecemos o spray na mala e ele veio para cá por distração mesmo.

Na próxima viagem vou precisar de um quadro maior, esse já lotou.

Terminei de ler o art book do He-Man, tem até um mini-cel para explicar como funcionava o processo de animação! Mas o que eu gostei mais foi a história da gênese do personagem. Incrivelmente, tudo começou com star wars! O George Lucas bateu na porta da Mattel oferecendo os direitos de um filme que ele iria lançar em breve, mas a Mattel achou que aquilo não ia dar em nada e deixou passar. Uns meses depois, eles não estavam vendendo mais nada para o público masculino, porque star wars tinha inundado o mercado! Por isso eles resolveram criar uma linha nova para competir com star wars, e sem licenciar personagem, com um conceito que eles tivessem o ownership. Aí surgiu o He-Man. Outra coisa curiosa é que muito da mitologia do He-Man surgiu como refugo. O Gato Guerreiro na verdade é reuso do molde de um brinquedo de pantera do Tarzan, que não vendia mais; e o Castelo de Grayskull era o protótipo de um playset de piratas que nunca foi produzido. Realmente, aquele caveirão na entrada faz mais sentido no contexto de piratas.

O Observatório Griffith, que além de ser aberto ao público e ter um museu de astronomia bem legal, também foi o lugar que o Kevin explodiu com uma bomba no banheiro enquanto acontecia um eclipse.

O estado do ser humano, depois de 500m de subida (para comparação, 500m é um Empire State e meio). De curiosidade, o placar final de elogios ficou em 19x4 (as pessoas elogiaram a roupa da Ila Fox 4 vezes, e elogiaram as minhas roupas 19 vezes). Essa camiseta da foto foi mais curiosa, eu achei que ninguém ia elogiar uma camiseta genérica do projeto Tamar, mas é claro que no meio de uma trilha cheia de gente eco-conscious, eles iriam gostar da camiseta de preservação das tartarugas.

Antigamente os arcades tinham hardware muito melhor do que você tinha em casa. Mas olha só quais jogos tem nos arcades hoje em dia.

Livros da viagem:

Gears from the Greeks: com o esquemático do mecanismo de antikhythera.
TMNT Adventures: um módulo de RPG da Palladium, vintage 86.
He-Man Art Book: excelente art book com tudo de he-man, mas tudo mesmo, até as miniaturas e o filme.
Disney During WWII: falando sobre tudo que o Disney fez durante a guerra, incluindo alguns cartoons que foram proibidos depois.
Institution Rules and Regulations: uma réplica do manual que os prisioneiros de Alcatraz recebiam quando entravam na cela.
Darth Vader and Friends, Vader's Little Princess: da exposição do Jeffrey Brown no cartoon art museum, tinha um montão de originais lá.
Groo vs Conan: porque eu não ia perder ter esse clássico em papel.
Mathematics in the Western Culture: mais um livrinho de história da matemática, bem detalhado.
The Jedi Doth Return: completando a saga de star wars escritos pelo Shakespeare.
Physics in 100 Numbers: livrinho divertido com cem constantes físicas e suas histórias.
American Mathematical Monthly: tinha um monte no sebo, eu peguei um aleatório para ler (se fosse leve teria pego mais).
Tesla Life and Times: uma biografia bem ilustrada do Tesla, cheia de fotos e desenhos.
The Annotated Turing: com curiosidades e perspectiva história dos papers do Turing.

Instalei meu teclado novo! É um das keyboard 4 ultimate, com teclas cherry mx blue, e não tem aquelas coisas brancas redundantes escritas em cima das teclas.

Para quem não tem noção do tamanho, eu coloquei um arcade do space invaders para comparar.

Se eu tivesse que definir essa viagem em uma palavra, seria MINIONS. Tem em todo lugar, não dá para andar um quarteirão sem ver um!

O teapot original que foi scaneado!

(O computing history museum ficou bem melhor depois da reforma)

Na floresta de Endor!
(foi aqui que gravaram o Retorno de Jedi)

Fizemos uma trilha de 20km em 6h, o que dá um tempo médio melhor que o de um Ewok.

Aprendi a pilotar avião antes de aprender a dirigir carro!

Para mim a maior diferença do avião de verdade para o simulador de vôo é que o avião usa um controlador derivativo e por isso tem quase 2s de delay.

Eu estava andando ocasionalmente por SF quando encontrei um submarino da segunda guerra, resolvi entrar para ver como é por dentro. É apertado.

Em LA tem muito mendigo, e em SF eu não sei: não consigo diferenciar os mendigos dos hipsters. 

Na solitária de Alcatraz.

Dieta paleo a sério, só com coxa de dinossauro!

(a atendente achou estranho quando eu pedi um dinosaur leg, mas tecnicamente falando o peru é uma ave, e aves são dinossauros, então tá valendo)

Cookies em formato de atrator caótico!

Ontem nós fomos visitar o Kevin, impressionante como a cesta de basquete ainda está lá.

Fui na Muscle Beach encontrar os brothers da maromba!
#whey #workout #protein #choaniki

Sebo de informática, onde os livros vão para morrer.

O homem de mil expressões.