Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Brazil
- Tweets 112,531
- Following 8,048
- Followers 8,803
- Likes 175,075
more than enough
arXiv has updated our policy on rate limiting for all submitters.
This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors.
Please read our announcement to learn more: blog.arxiv.org/2026/10/01/up…
ALT arXiv logo in white over a whiteboard with math symbols.
1
333
RT @antoniotabet: Só para constar: o próprio André Mendonça reconheceu o erro que alguns subservientes, bajuladores, aduladores e submissos…
2,041
14
Coding is solved
> Broadcom to lend Anthropic up to $42 billion to lease its chips, filing says
reuters.com/business/broadco…
4
282
Muito útil
Não tem como impedir a chamada de números desconhecidos - que não estão na sua agenda - só de números sem identificação, na maioria dos Androids.
Mas tem uma app que resolve isso e é grátis.
Chama-se "Calls Blacklist - Bloqueador", de "Encham Li".
Instale a app, dê as permissões que ela pedir. Aí, nas configurações, marque:
* Habilitar Bloqueio
* Números privados
* Números desconhecidos
Com isso, se alguém te ligar de um número que não está na sua agenda, o telefone nem toca.
E, sim, a ANATEL é uma piada. Órgão inutil, vendido e entregue para as telecoms. Um completo absurdo.
1
10
1,079
"Fear of Missing Out hysteria" So true🤣
ploum.net/2026-10-01-pascal_…
247
> Most of this is estimates, particularly the closed models where OpenAI etc don't report energy or climate impacts.
> there is *no* increase in model efficiency
tbsky.app/profile/did:plc:66…
1
287
Nesta quinta, 01/10/2026
Uma estrutura de descoberta para projetos de inovação em IA, Mariana Crisostomo Martins
piped.video/watch?v=A5m5HtKe…
9
496
Deu no UOL
noticias.uol.com.br/politica…
Segredos de Flávio: mulheres, negócios, um Rolex de R$ 300 mil e lobby com Kassio
Faot ou fake?
platobr.com.br/segredos-de-f…
1
5
307
Adolfo Neto in on BlueSky and on Mastodon retweeted
Já viu a nova arte da camisa da GambiConf? 🐒 🏴☠️
Navegue pelos mares da computação junto do macaco gambiarra!
Arte desenhada pelo @KniksisG
1
2
4
2,993
Segredos de Flávio: mulheres, negócios, um Rolex de R$ 300 mil e lobby com Kassio
Faot ou fake?
platobr.com.br/segredos-de-f…
2
6
711
People have been saying this for ages.
When are we going to chenge this?
"The competition was fierce and we were only able to accept 287 out of 1181 submissions. This means that many strong submissions that met the high bar for SODA were finally not selected."
This attitude will need to be fixed. Anything that meets the bar has to be accepted.
1
5
530
If you think that AI agents can help you in your day-to-day life, you are a very specific kind of person, says Tressie McMillan Cottom
And she is right, of course.
2
3
368
> Agents are best for structured, clearly delineated tasks.
> Most people’s work lives are not that structured. And almost no normal person’s personal life can be that structured.
tbsky.app/profile/tressiemcp…
2
2
84
#BadQuotes
"Philosophers and scientists hold many different views on the subject, but in my own, there is no difference between simulating consciousness and having it; any intelligence is what it appears to be."
TIm Berners-Lee, Computer Scientist
moneycontrol.com/books/book-…
2
2
278
Models are getting cheaper
tbsky.app/profile/edzitron.c…
3
247
Coding is solved
Bahahahaha Anthropic is a total dog of a company. Spent $12.6bn to make $4.6bn in revenue in 2025, $7.33bn of which was compute costs. Operating loss of $8bn. Losses getting worse. Weird that Reuters doesn’t have the 2026 numbers from the prospectus
reuters.com/business/finance…
1
1
9
1,055
Are data workers essential for training and for the minimally adequate functioning of these systems?
> AI companies are using human workers to review not just AI chatbot users’ text prompts, but the pictures they upload and wish to edit too.
404media.co/humans-reading-c…
1
267
Adolfo Neto in on BlueSky and on Mastodon retweeted
"DHH is probably one of the top software artisans of the past decade"
DHH is probably one of the top software artisans of the past decade. Hearing him speak with this much conviction and transparency about one of the most polarizing topics in software right now, writing code by hand vs. with AI, is something pretty much every software engineer should hear a few times.
Especially those still on the wrong side of history.
31
44
1,705
29,739