Para provar que c^c > c^a0 você começa com c=2^a0, então c^c = (2^a0)^c =2^(a0*c)=2^c, depois c^a0=(2^a0)^a0=2^(a0*a0)=2^a0=c, e por fim 2^c>c porque power set é sempre maior que o set. (Eu tentei escrever aleph0 com unicode mas o ltr atrapalhou).

Pensei num jeito fácil de mostrar que algumas funções não tem série de Taylor. A cardinalidade das funções de R em R é c^c, a cardinalidade dos polinômios reais é c^a0, e c^c é muito maior que c^a0 logo tem mais função que polinômio.

Em 1965, Penzias e Wilson tentavam conseguir um sinal puro de sua antena, mas notaram um ruído que não sumia, nem quando tiravam os pombos que faziam ninho lá dentro. Eles chamaram o ruído de Radiação Cósmica de Fundo, perdendo a chance de chamar de Radiação Pombo-Invariante.

ENCONTREI JESUS (Em formulário contínuo de 132 toques, ASCII art matricial raiz, com duas impressões por linha, e truncado para caber em duas páginas. Essa impressão tem mais de 40 anos).

Justify my love versão Duna, tem bene gesserit e tudo o mais. Fiquei esperando entrar o minhocão mas a globo não ia mostrar.

Fiz um emulador de msx que traduz automaticamente de japonês para português e coloca legenda, ficou legalzinho. https://t.co/4yERvJIirZ

Certa vez Platão foi preso por xingar o rei, e vendido como escravo. Anniceris então comprou a liberdade de Platão por 20 minae. Cada mina são 0.57kg de prata, então hoje seria uns 52 mil reais. Um Platão é menos que uma Helena, que vale no mínimo mil navios.

Hoje eu fui ao zoológico, e finalmente consegui ver ao vivo dois catetos fazendo 90 graus! Muito simpáticos, apelidei o primeiro de a e o segundo de b. (O cateto também é conhecido como caititu, pecari ou porco-do-mato).

Resolvi a integral 2816 da Mathematics Magazine. Levei três semanas e meio caderno, mas rolou haha. Tive que usar o método secreto do Feynman dessa vez.

Vi o Rick Wakeman ao vivo na sexta, excelente! Mas veio uma memória de que ele já tinha sido abertura de algum programa da Globo. Fui conferir e sure, Jornal da Globo na década de 70. Acabei também achando o original do Globo Repórter e recomendo muito: https://t.co/fQ7toCnKOU

As filmagens do Oppenheimer devem ter sido muito difíceis, todo mundo que subia no palco do Oscar agradecia aos hematomas.

Mandei uma solução do problema 1258 para o College Mathematics Journal. Eu bati o olho e pensei "ué, parece fácil, deve ter pegadinha". Mas não tinha, era fácil mesmo, dá para resolver com matemática de segundo grau.

Fiz uma api para fazer o chatgpt entrar dentro de um emulador de msx enquanto ele está rodando, aí ele consegue pedir o disassembly pro emulador e interpretar o resultado. Ficou legalzinho.

Quando eu era criança, não tinha isso de "programar". O verbo correto era "micrar". - Cadê o menino? - Tá lá na sala micrando. (Computador era aquela coisa enorme no CPD da firma. O que a gente tinha em casa era micro).

Customizei um modelo de AI generativa para entender a resolução do MSX 1 e converti umas telas do Snatcher de Sega CD. Olha, eu acho que as versões no MSX1 ficaram até melhores que as originais!

Gente, só hoje eu descobri que o Marillion chama Marillion por causa do Tolkien.

Muito tentado a trocar o switch na minha tecla Enter para ficar sensível a pressão. Aí se detectar Enter pressionado com força ele adiciona sudo sozinho. note: sua cpu roda a 2.6GHz eu: não, ela roda a 4GHz + ENTER note: mic desconectado eu: está conectado + ENTER

Vou ensinar um comando SECRETO do Python para vocês. Todo mundo sabe do operador +=, operador *=, mas o operador ,= ninguém comenta. Serve para quando você tem uma lista com só um elemento e você quer tirar ele de lá. a ,= [2] Agora a = 2, muito útil.

Gravei um video resolvendo o Advent of Code 2019, problema 2, em python. Consegui um tempo suficiente para entrar no leaderboard! https://t.co/6mCUJeuL3g

Dia desses eu baixei o source do tmux para dar uma customizada no meu setup, mas aí bati o olho e notei: ops, tem um buffer overflow ali. Mandei um patch e foi integrado hoje. Felizmente o código usava snprintf defensivamente então não era security bug. https://t.co/cfizOP1x6N