Ricardo Bittencourt

Cats and science

[Ricardo Bittencourt @ricbit]

@Pirulla25 @oatila Vocês estão lendo pouca scifi com polvos, recomendo the mountain in the sea:

https://t.co/ygyZgljHbm

[Ricardo Bittencourt @ricbit]

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).

[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.

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto @ID_AA_Carmack (Values are placeholders).

I didn't know from a glance what would be the values of b and c, which is kind of the point.

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto @ID_AA_Carmack For real? In this case I find it much better to just assign the vars. (Values are placeholders).

https://t.co/Uon3HVUQFJ

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto @ID_AA_Carmack Here, no weird case, no lambda, same code generated:

https://t.co/4qBXQJC9S0

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto @ID_AA_Carmack If you really think the original code with if(0) and fallbacks are better than a single lambda, then I'm afraid I must wash my hands. The original code was posted as "I BET YOU CAN'T UNDERSTAND WHAT IT DOES", which is the hallmark of unreadable to me.

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto @ID_AA_Carmack Here's a version where the code is inline, no weird case, same code generated.

https://t.co/0BE35g3sBm

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto Yes, breaking long functions into short functions is actually good, if you name things properly. But you can also do it inline if you really want do it.

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto Here, I removed the weird cases using a new scope, code is more legible, the compiler generate mostly the same code in both cases:

https://t.co/ZutqOUmvaD

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto Oh no, the compiler can handle that. Give me a minute to write an example.

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto Yes? Seems to be deserialization of raw bytes coming from some sort of i/o device.

[Ricardo Bittencourt @ricbit]

@datenwolf @coproduto You can create a scope right there, the compiler will optimize the overhead away. In full C++ you have even more options, but I'm afraid I can't present an example without more context.

[Ricardo Bittencourt @ricbit]

@lucasradaelli Puts pior que teve, a formula da tangente estava errada desde a primeira edição.

[Ricardo Bittencourt @ricbit]

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.

[Ricardo Bittencourt @ricbit]

@oimarioi_ Se quiser exercícios esses são legais: https://t.co/aprZz6j7V5

[Ricardo Bittencourt @ricbit]

@gwidion Se for um encontro regular precisa ter arte com regexp.

[Ricardo Bittencourt @ricbit]

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).