The repeated use of AI will make us more and more stupid to the point that AI will look smart. That might have been the plan all along!

Pois é, galera. Aula não basta.

Scrollable window managers are the way to go! Using PaperWM now, planning to move to Niri.

E assim caminha a humanidade. Sinceramente, tem dias que ser brasileiro é difícil. Esse congresso realmente é Inimigo do povo, da Ciência e da decência.

I would much prefer at most 1 or 2 *high-quality papers* a year! arstechnica.com/science/2025...

Café torrado hoje. Não tem preço! Coffee roasted today. Priceless!

If anyone has a Lunar Lake laptop and sound is not working after installing or upgrading Ubuntu, you may need to upgrade Alsa UCM. Go to github.com/alsa-project... and run the commands in the second box (starting with `curl`) as root. It saved my day.

Ludicrous. Maybe time to leave Firefox. It is a shame, it has been a long marriage. But it may not survive AI addiction. www.omgubuntu.co.uk/2025/11/fire...

Lapada do Wagner Moura em entrevista para Carta Capital: "Não dá para explicar a Lei Rouanet para quem não assimilou a lei Áurea..." Disse tudo! youtu.be/FqVWtujKeoI?...

O dia hoje foi muito complicado, com o horror no Rio. Mas vale destacar isso aqui: www1.folha.uol.com.br/mercado/2025...

Come do your Ph.D. (and postdoc) in Brazil! We have good universities, some funding, nice (professional and natural) environment and mild winters! www.nature.com/articles/d41...

Sounds like an exiting read.

Yeap. Go to the theater. Leave your home. It is much better. Great movie.

Sinceramente @lulaoficialbluesky.bsky.social, isso é realmente imperdoável. Bets são câncer a sociedade. O Estado se aproveitando disso é inaceitável.

Grande dia! www1.folha.uol.com.br/mercado/2025...

Uno v2.2.0 is out with C, Julia and Python interfaces 🤩 - pure #Julia interfaces to NLPModels.jl and MathOptInterface.jl - #Python bindings using #pybind11 Developed at @zuseinstitute.bsky.social #optimization #mathematicaloptimization #numericaloptimization #constrainedoptimization #oss #foss #uno

Hopefully this movement will take NVIDIA closer to open source tools and development, a movement that Intel has been pursuing lately. This is my Pollyanna side speaking. My more realistic self is more afraid that Intel will take the dreadful CUDA route. www.hpcwire.com/2025/09/29/t...

CPFL Paulista simplesmente diz "já sabemos que vocês estão sem energia", espere. Não dão nenhuma estimativa para a volta da energia. É muito descaso! Eu que adivinhe se devo esperar ou correr para levar o que está na geladeira para outro lugar. Impossível falar com um ser humano!

Bia fez o certo. Vai e se cuida.

Grande dia! Agora é abrir uma cerveja e comemorar. Bolsonaro e militares de alta patente condenados pelas instituições da República!

Como disse amigo, Fux parece seguir código do mafioso. Condena-se *apenas* o delator. Vamos ver se fará isso até o final.

Music at IMECC!

"In Fux we Trust"! Tinha que dá essa merda: www1.folha.uol.com.br/poder/2025/0...

E as raquetes da Sabalenka respiram aliviadas! A brasileira adotiva defende o seu título no US Open!

Bia teve dó dos brasileiros e nos liberou para dormir cedo hoje. Que jogo!

Vi agora um resumo do jogo da Bia. Quantos pontos longos! Deve ter sido um jogão para quem assistiu ao vivo! Vamos, Bia!

If @arstechnica.com says so, it is time to move on folks. Welcome here. arstechnica.com/science/2025...

New preprint in town leveraging the fact that it is fast to detect infeasibility in fast intersection problems to solve basis pusuit problems. arxiv.org/abs/2508.15026

Come to Brazil. You are all welcome here!

Começando o dia com uma caminhada.

I asked many AIs today to write a Julia function to compute the roots of a 2nd degree polynomial. All of them used Baskara naively, presenting an unstable version. Only GPT-5 added a note at the end that the code was unstable (and a regular user would ignore this). Those things are dangerous!

Concordo com ela sempre? Não e isso é bom! Mas que manifestação maravilhosa, perfeita. @erikahilton.bsky.social falou tudo o que eu gostaria, com a eloquência que eu nunca teria.

Thiago Amparo dando uma lição na editorial da Folha que passou um cheque "Eu defendo golpista" ontem. Que vergonha Folha, aprende um pouco, tem professor por perto. Opinião - Thiago Amparo: E daí que Bolsonaro tem liberdade de expressão? www1.folha.uol.com.br/colunas/thia...

Sei não, mas tempo de pensar em procurar provedores de nuvem nacionais ou, no máximo, na Europa. marketing.magalu.cloud/cloud-brasil...

Pena que @thais-bilenky.bsky.social e @zerotoledo.bsky.social não andam muito por aqui... Os links abaixo comentam sobre o caso de sanções à ICC que levou a Microsoft a cortar o email de um procurador. Relacionado à situação do Moraes. www.nytimes.com/2025/06/20/t... www.politico.eu/article/micr...

New preprint on arXiv on a parallel version of the active coordinate descent method. It took a while to get the theory right. We are happy with the numerical results, too. Thanks, Sandra and Ronaldo, for the partnership! arxiv.org/abs/2507.22277

I have just changed my default AI “assistant” from Gemini to the French Mistral. I like it so far. It gave me nice links for further reading on my initial questions (named “sources”). I like that.

The coffee places in Casco Viejo, Panamá City, até amazing! I will miss this.

Muito de boa e com todo respeito do mundo... Mas os EUA deveriam era copiar o Pix. Quem sabe dava para rolar até uma colaboraçãozinha aí?!

Today I really thought about skipping ICCOPT in LA. But I must see my good friend Claudia in the spotlight.

Agora os patriotas vão aceitar, melhor comemorar, uma interferência externa. Patriotas ou oportunistas?

Thiago Amparo foi direto ao ponto. A quem interessa uma cobertura que parece novela (ruim)? Todos sabemos a quem.

Acabei a etapa de correções de final de semestre. Isso é um livramento. Agora só em duas semanas no exame!

A direita sentiu o "nós contra eles". Bom, tem mensagem mais clara que essa? Nós, milhões e milhões, contra eles, poucas centenas de milhares e seus lacaios. Precisamos de mensagens unificadoras como essa.

Valorizem os artistas, criadores, produtores e demais seres humanos... Caramba, uma coisa é o Zé da Esquina usar IA para criar um vídeo para tia. Mas o PT tem fundo partidário para quê?

Olha, tudo a favor da nova linha combativa do PT. Temos mesmo é que partir para cima e mostrar quem está a favor de quem. Agora usar IA para fazer os vídeos é um tiro no pé por dois motivos: ficam bizarros e desvaloriza o trabalho de artistas, atores, produtores. Para que serve o fundo partidário?

For those interested, we presented yesterday at Powertech 2025 a comprehensive tutorial presenting the GPU-accelerated modeler ExaModels: frapac.github.io/tutorials/po...

Ótima leitura. O congresso está cometendo seppuku em câmera lenta e o samurai benevolente pode bem ser uma parte das força armadas apoiando um autogolpe. (Acabo de assitir Shogun, ótima série)

Great text outlining a major limitation of LLMs. A particularly important quote is "The idea that the military would use such obtuse tools in the fog of war is halfway between alarming and preposterous." open.substack.com/pub/garymarc...