codequations's profile picture. Programador • Matemática • Linguagens
"De uma gota d'água podemos inferir as Cataratas do Niágara."
Tweets longos | Código | Ideias

André

@codequations

Programador • Matemática • Linguagens "De uma gota d'água podemos inferir as Cataratas do Niágara." Tweets longos | Código | Ideias

When I first watched Neon Genesis Evangelion, what struck me about NERV wasn’t the EVAs, the underground base, or the technology. It was the people. Misato, Ritsuko, even Gendo — professionals operating under constant pressure, treating catastrophe not as drama but as a…

codequations's tweet image. When I first watched Neon Genesis Evangelion, what struck me about NERV wasn’t the EVAs, the underground base, or the technology. It was the people. Misato, Ritsuko, even Gendo — professionals operating under constant pressure, treating catastrophe not as drama but as a…

The supposed “death” of Stack Overflow has been narrated with the usual panic, as if a decline in public questions were evidence of intellectual decay. It isn’t. What vanished was never the substance, only the stage on which it used to perform. For years, the industry mistook…


Stack Overflow was never a stream of genuinely new knowledge. It was a compression mechanism. The same kinds of problems, asked over and over, until the solution space settled. When a domain matures, question volume drops. Repetition is being killed here. What actually changed…

RIP Stack Overflow.

pmddomingos's tweet image. RIP Stack Overflow.


Pra Nietzsche os indivíduos são capazes de suportar quase qualquer sofrimento desde que consigam inscrevê-lo numa cadeia de sentido. O cristão, por exemplo, aceita o sofrimento porque acredita que por seus pecados; o hindu porque sofre por seu karma; em ambos os casos, a dor é…

Por anos, acreditei que um dos principais fatores responsáveis pela redução do bem-estar das pessoas fosse a desigualdade econômica e que, portanto, formuladores de políticas públicas deveriam priorizar sua redução. No entanto, em dezembro do ano passado, foi publicada na revista…

eslendelanogare's tweet image. Por anos, acreditei que um dos principais fatores responsáveis pela redução do bem-estar das pessoas fosse a desigualdade econômica e que, portanto, formuladores de políticas públicas deveriam priorizar sua redução. No entanto, em dezembro do ano passado, foi publicada na revista…


Conheça Dev X! Dev X diz “eu sei Pandas” à la Neo dizendo que sabe kung-fu (desculpa, geração Z). Colocou no currículo, pra qualquer empregador ver, que ele é cinco estrelas na lib em questão. Mas tem uma coisa que Dev X nunca se perguntou. Nem ele, e muitas vezes nem nós: o…

codequations's tweet image. Conheça Dev X!

Dev X diz “eu sei Pandas” à la Neo dizendo que sabe kung-fu (desculpa, geração Z). Colocou no currículo, pra qualquer empregador ver, que ele é cinco estrelas na lib em questão.

Mas tem uma coisa que Dev X nunca se perguntou. Nem ele, e muitas vezes nem nós: o…

Marco Túlio Cícero foi um dos maiores advogados e políticos da Roma Antiga. Ele viveu num mundo onde crimes políticos raramente eram confessados e quase nunca tinham um “autor claro”. Por isso, Cícero gostava de uma pergunta simples, emprestada de um juiz romano famoso: cui bono?…

2019 : A ficção avisou 2026 : A realidade chegou



Dá pra explicar muita confusão sobre IA usando um exemplo simples e honesto: o Stockfish. Pra quem acompanha a história do xadrez, desde o fatídico O Turco — uma “máquina” do século XVIII que secretamente escondia um humano — existe a obsessão em construir algo que jogue xadrez…

codequations's tweet image. Dá pra explicar muita confusão sobre IA usando um exemplo simples e honesto: o Stockfish.

Pra quem acompanha a história do xadrez, desde o fatídico O Turco — uma “máquina” do século XVIII que secretamente escondia um humano — existe a obsessão em construir algo que jogue xadrez…

Um ponto realmente interessante — e talvez uma barreira concreta para falarmos em Inteligência Artificial Geral — seria a capacidade de produzir matemática nova, no sentido forte da expressão: chegar a conclusões que não estavam implícitas em nenhum sistema já conhecido e que…

Mathematician Joel David says current AI models are basically zero help for mathematics They produce garbage answers, then argue they're correct when you point out the exact error "if i were talking to a person who argued like that, i'd stop talking to them"



Ao longo dos anos em que trabalhei como professor, houve uma pergunta que nunca me deixou em paz. Eu nunca a formulei em voz alta, nem a vi surgir em reuniões pedagógicas. Ela aparecia nos intervalos entre uma aula e outra, enquanto eu caminhava pelos corredores; às vezes no…


Loading...

Something went wrong.


Something went wrong.