Ricardo Bittencourt (@ricbit) profile picture

Ricardo Bittencourt

@ricbit

Cats and science

 Sao Paulo, Brazil
blog.ricbit.com
Joined August 2008
  • Tweets10K
  • Following232
  • Followers2.4K
641Media
Photo by Ricardo Bittencourt (@ricbit)Photo by Ricardo Bittencourt (@ricbit)Photo by Ricardo Bittencourt (@ricbit)Photo by Ricardo Bittencourt (@ricbit)Photo by Ricardo Bittencourt (@ricbit)Photo by Ricardo Bittencourt (@ricbit)Photo by Ricardo Bittencourt (@ricbit)Photo by Ricardo Bittencourt (@ricbit)
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.
1
4
2,501
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).
3
2,347
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.
Image from Ricardo Bittencourt (@ricbit)
1
4
25
2,744
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).
Image from Ricardo Bittencourt (@ricbit)
1
1
16
1,760
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.
3
1,130
Fiz um emulador de msx que traduz automaticamente de japonês para português e coloca legenda, ficou legalzinho. youtu.be/UCv2tg33rAQ?si=MYBW…
7
11
45
2,896
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.
1
1
17
1,168
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).
Image from Ricardo Bittencourt (@ricbit)
3
5
1
55
2,359
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.
\int_0^1 \arctanh(x \sqrt{2-x^2})/x dx

ALT \int_0^1 \arctanh(x \sqrt{2-x^2})/x dx

1
1
22
1,860
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: youtube.com/watch?v=WUsqNVCD…
1
5
1,019
As filmagens do Oppenheimer devem ter sido muito difíceis, todo mundo que subia no palco do Oscar agradecia aos hematomas.
Image from Ricardo Bittencourt (@ricbit)
2
1
26
1,455
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.
For a positive integer $n$, show that 16 17 $$ \left(\frac{ 18 \cos(1)+\cos(2)+\cos(3)+\cdots+\cos(n) 19 }{ 20 \sin(1)+\sin(2)+\cdots+\sin(n) 21 }\right)^2=\frac{2}{1-\cos\left(n+1\right)}-1$$

ALT For a positive integer $n$, show that 16 17 $$ \left(\frac{ 18 \cos(1)+\cos(2)+\cos(3)+\cdots+\cos(n) 19 }{ 20 \sin(1)+\sin(2)+\cdots+\sin(n) 21 }\right)^2=\frac{2}{1-\cos\left(n+1\right)}-1$$

1
1
14
1,659
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.
Image from Ricardo Bittencourt (@ricbit)
3
3
44
2,338
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).
2
16
833
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!
Image from Ricardo Bittencourt (@ricbit)
Image from Ricardo Bittencourt (@ricbit)
Image from Ricardo Bittencourt (@ricbit)
Image from Ricardo Bittencourt (@ricbit)
3
1
16
1,430
Gente, só hoje eu descobri que o Marillion chama Marillion por causa do Tolkien.
3
4
792
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
7
679
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.
4
10
62
5,041
Gravei um video resolvendo o Advent of Code 2019, problema 2, em python. Consegui um tempo suficiente para entrar no leaderboard! youtube.com/watch?v=3F2w8iJu…
6
698
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. cvsweb.openbsd.org/cgi-bin/c…
1
2
29
1,265
Load more