Adolfo Neto

Brazil election: many scientists relieved as Lula wins surprise victory www.nature.com/articles/d41...

> “AI is inevitable and it’s changing everything. You need to get on board now, or you’re going to be left behind,” said the NFT-based avatar of the crypto bro, broadcasting in a Clubhouse stream from somewhere in the metaverse. Max Leibman

Muito triste pra mim e muita gente, mas são exigências da CAPES: > Art. 1° As disciplinas do Mestrado em Computação da UTFPR são ministradas na modalidade presencial, devendo o percurso formativo dos discentes do programa privilegiar obrigatoriamente a presença física no espaço universitário.

FVjobs A job board for formal verification: proof assistants, automated reasoning, verified compilation, hardware verification, and the growing set of roles where AI writes proofs and something has to check them. #LeanLang #LeanProver github.com/typetheoryfo...

Also by Roger: Anthropic numbers were so good, because $AMZN gave them a 75% discount on compute.

Some very bad people here

> Why Anthropic’s IPO Prospectus Is Missing So Many Key Figures > Anthropic’s S-1 filing is hundreds of pages long—and it leaves out quite a few financial details. “Anthropic owes investors more information,” one analyst tells WIRED.

Suppose you knew nothing about a new invention or development except that ordinary folks familiar with it were worried about its impact, or critical of its effects, but the most powerful people absolutely loved it...: tinyurl.com/56yd3wee

Principles of Dependent Type Theory Carlo Angiuli Daniel Gratzer www.danielgratzer.com/papers/type-...

AI Companies to professional cooks: We've brought you food. We think it's delicious, but it might be spoiled or poisonous. Check it out for yourselves.

Déia Freitas, do podcast Não Inviabilize, disse que perdeu 3 mil e poucos assinantes que "descobriram" que ela é de esquerda. As pessoas assinavam mas não escutavam o podcast? pca.st/episode/3f9e...

O Janones vai ser contratado por toda esquerda de todos os países agora. Gritando pessoal, urgente em linguas diferentesa

Is that good, bad, I don't know !?

Sem exigências. Porque eles sabem que Lula é a contrapartida. Eles sabem que o dinheiro será bem gasto! Isso, bolsonaristas, chama-se CONFIANÇA NA HONESTIDADE DA PESSOA.

FALA DO JORNAL AGORA

Alerta Paraná

Brazil: Meta AI faces allegations of unequal treatment of Lula and Flávio Bolsonaro in campaign image generation www.business-humanrights.org/it/ultime-no...

"it is too expensive" is also not a good frame for resisting ai I admit I sometimes use it.

EDITAL DIREC-CT nº 22/2026 CREDENCIAMENTO PÚBLICO DE COLABORAÇÃO E/OU FOMENTO PARA ATIVIDADES DO PROGRAMA EMÍLI@S - ARMAÇÃO EM BITS 2026 sei.utfpr.edu.br/sei/publicac...

This was a big difference. Supporters of the other candidate hate trans people. bsky.app/profile/ruby...

Unsung heroes: the UFF (Fluminense Federal University) students who, in a conversation, perhaps in a WhatsApp chat, think: shall we hold a demonstration in support of the defeated candidate in the first round the day after the defeat?

I wore stickers on my clothes, on the bus, to do a silent campaign. The city I'm in is very pro-Bolsonaro. My role was to show other sensible people: we exist.

I saw a really cool sticker today for Lula. I don’t feel like it’s my place to comment on any other country’s politics at the fuck all, so I like to stay silent. But I do adore this.

ICYMI: For 30 years I've written an essay for Education Week each fall. This year's is called "Why Students Hide Themselves from Us." It's inspired by a très charmant scene from a Truffaut film, a bundle of research, and a mea culpa moment from my own teaching days: www.alfiekohn.org/article/hidi...

Segundo relatos, falas da economista do FB foram úteis pra virar votos. Algumas das entrevistas dela foram de antes do primeiro turno. Parabéns aos herois anônimos que foram chafurdar na lama das entrevistas e achar as "pérolas" contra os trabalhadores.

Na cidade onde meu pai e meu avô nasceram, Traipu-AL, Lula teve 79,62% 11.393 votos resultados.tse.jus.br/oficial/app/...

😍

Engenharia de Software Experimental: Um Guia Completo Um dos autores, Anderson Marcolino, passou a campanha toda compartilhando coisas legais de Lula no status do WhatsApp link.amazon/B0ajglLSR

A colleague posted: "Look at Guilherme Cortes, he's right there next to Lula! My little cousin, a knockout!" Guilherme was elected federal deputy.

Um indiano que mora no Brasil está muito feliz com a vitória de Lula An Indian living in Brazil is very happy with Lula's victory www.instagram.com/reels/De8O12...

I will adopt the Janones startegy to the news about the AI of a certain woman Ignore so as not to publicize it further.

I had to suspend my rejection of AI during the Brazilian elections. Now we're back to our normal schedule.

Coding is Solved youtube.com/shorts/eYTNR...

Still feeling like this