Adolfo Neto
LightNews LightNews
banner
adolfont.github.io
Adolfo Neto
@adolfont.github.io
4.4K followers 3.1K following 8.7K posts
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Posts Replies Media Videos
adolfont.github.io
The person sent me this image
Old newspaper Math teachers protest against calculator use
November 28, 2025 at 9:52 PM
adolfont.github.io
Quando falamos de ciência e pesquisa, você pensa em pesquisadores negros?

O angolano António Fábio Cuhema, integrante da equipe campeã da Maratona Rocket 2025 - RPC, empreendedor na área de tecnologia, é mestrando no PPGCA UTFPR
November 28, 2025 at 8:22 PM
adolfont.github.io
AI - Artificial Intelligence or Automated Imbecility?
Can machines think and feel?
Written in Nov. 2002

Valdemar W. Setzer
www.ime.usp.br/%7Evwsetzer/...
AI - Artificial Intelligence or Automated Imbecility? Can machines think and feel? Valdemar W. Setzer Dept. of Computer Science, University of São Paulo, Brazil vwsetzer@usp.br - www.ime.usp.br/~vwsetzer Written in Nov. 2002 - current version 3.2, Oct. 7, 2016 An enlarged version with the same title was published as a Kindle book on Jan 27, 2020, edited by Frederick Amrine, of the Univ. of Michigan at Ann Arbor
November 28, 2025 at 12:38 PM
adolfont.github.io
Nina da Hora

Hacker antirracista e Cyberqueer

Já está em todas as plataformas de podcasts:

Episódio 131 do Emílias Podcast - Mulheres na Computação
Nina da Hora Hacker antirracista e Cyberqueer Já está em todas as plataformas de podcasts: Episódio 131 do Emílias Podcast - Mulheres na Computação
November 28, 2025 at 8:44 AM
adolfont.github.io
Faltou a foto da @kaqui.bsky.social com seus pupilos!
Kaqui Roggia e seus estudantes. Os nomes são Eduardo Schwarz Moreira, Enzo Rodrigues e João Marcos de Oliveira mas não sei se está na ordem.
November 27, 2025 at 4:16 PM
adolfont.github.io
Parabéns coach @kaqui.bsky.social e sua equipe "é sempre o XOR" (Eduardo Schwarz Moreira, Enzo Rodrigues e João Marcos de Oliveira), da UDESC!!!!

MEDALHA DE OURO 🏅na Maratona de Programação 2025, Final Brasileira!

maratona.sbc.org.br/resultados.h...
Medalhas de ouro: [Unicamp] Naim continua dentro de nós: Leonardo Valente Nascimento,Enzo Pontes Saraiva de Moraes e Arthur Lobo Leite Lopes, coach Naim Shaikhzadeh. Classificado para a Programadores de América [UFCG] 8e6d0497880e3db3b3b093f517c13f9f : Jackson Alves da Silva Souza, Pedro Henrique Lima Simões e Gabriel Holanda, coaches Rohit Gheyi, Lucas Albuquerque, Emerson Lucena e Lucas Figueiredo. Classificado para a Programadores de América [UFMG] ooga booga : Gustavo Cruz, Gabriel Martins e Matheus Prates, coahes Kaio Vieira e Alan Prado. Classificado para a Programadores de América [UFPE] las4s e pelados : Geovany Nunes, Pedro Grisi e João Victor Costa, coaches Gustavo Carvalho, Leonardo Silva e Tiago Gonçalves. Classificado para a Programadores de América [UDESC] é sempre o XOR : Eduardo Schwarz Moreira, Enzo Rodrigues e João Marcos de Oliveira, coach Karina Roggia. Classificado para a Programadores de América
November 27, 2025 at 4:11 PM
adolfont.github.io
Palestra de Michel Albonico agora na UTFPR
November 26, 2025 at 10:23 PM
adolfont.github.io
@acmel.bsky.social Estava numa banca de TCC de graduação e seu nome apareceu.
Página de TCC de aluno da UPE
November 26, 2025 at 6:06 PM
adolfont.github.io
Achei que a Tati Roque deu uma escorregada no fim, mas no geral foi bom. Que achou, @renatagames.bsky.social ?
November 26, 2025 at 1:00 PM
adolfont.github.io
Será que a gente precisa de tanto curso de IA?
Não é melhor formar mais genericamente?

E agora Cibersegurança também?

Toda área da moda vai ter seu próprio curso?

O que vai acontecer com os cursos de Engenharia de Software?
November 26, 2025 at 12:50 PM
adolfont.github.io
Yesterday at the Introduction to Functional Programming class.

Do you recognize this t-shirt, @maggietate.bsky.social ?
Me wearing a BEAM Radio podcast t-shirt
November 26, 2025 at 11:15 AM
adolfont.github.io
Entrevistamos Thaís Say de Carvalho (aluna de Engenharia de Computação, a primeira do vídeo) no Emílias Podcast

Ela é aluna de Engenharia de Computação e tem se destacado em Maratona de Programação

youtu.be/9RrCFpQnCyc
November 26, 2025 at 10:00 AM
adolfont.github.io
Laurie Williams will be a keynote speaker at @icseconf.bsky.social 2026
conf.researchr.org/info/icse-20...
Laurie Williams
November 25, 2025 at 3:15 PM
adolfont.github.io
Palestra de Michel Albonico
Robótica com Eficiência Energética através do Design de Software: Lições de Sistemas Baseados em ROS

Quando? Quarta-feira 19h00
Onde? Sala CC-301 - UTFPR Curitiba - Campus Centro
Palestra de Michel Albonico Robótica com Eficiência Energética através do Design de Software: Lições de Sistemas Baseados em ROS Quando? Quarta-feira 19h00 Onde? Sala CC-301 Título da Palestra: Robótica com Eficiência Energética através do Design de Software: Lições de Sistemas Baseados em ROS Resumo: Estudos recentes sobre ROS 2 evidenciam que escolhas arquiteturais, como a linguagem de programação, o design da comunicação entre nós e o tipo de mensagem, afetam significativamente o consumo energético dos robôs. Nossas investigações mostram que desenvolvedores de software para robótica ainda carecem de estratégias consolidadas de eficiência energética, sobretudo em equipes multidisciplinares que incluem engenheiros elétricos e mecânicos sem formação em engenharia de software. Essa lacuna resulta em projetos desenvolvidos sem boas práticas de desenvolvimento. Assim, há demanda por pesquisas que aprimorem esses processos. Inserimo‑nos nesse cenário, analisando a prática atual e propondo melhorias para a sustentabilidade dos projetos ROS e para a eficiência energética e o desempenho dos sistemas robóticos. Em trabalhos futuros, pretendemos integrar análises estáticas ao ciclo de programação, além de criar simulações e agentes que facilitem a interação com o usuário e orientem a configuração otimizada de seus robôs. Mini-biografia: Michel Albonico é docente do PPGCA e professor associado da Universidade Tecnológica Federal do Paraná (UTFPR), Brasil, onde leciona engenharia de software e programação distribuída. Sua pesquisa se concentra em engenharia de software para sistemas cibernéticos, incluindo robótica e IoT, com interesse particular em robótica industrial e projetos colaborativos que utilizam o Robotic Operating System (ROS). Site: https://michel.iotrixx.com.br/
November 25, 2025 at 3:05 PM
adolfont.github.io
Finally, Google has done something that has nothing to do with AI and is actually useful! Scholar PDF Reader now, long after Edge, allows you to select text to highlight or comment on.
Highlights are saved to your Scholar library.
New Highlight PDFs Select text to highlight or comment. Highlights are saved to your Scholar library.
November 25, 2025 at 2:02 PM
adolfont.github.io
"Gemini 3 is basically AGI at this point."

OK...
Jamie Tso Senior Associate | AI Builder 21h • Edited Gemini 3 is basically AGI at this point. Lawyers love using Harvey's and Legora's "tabular review" features to bulk-analyse documents, but not everyone can afford the $500/month license. So I asked Gemini to build that feature, and after several rounds of prompting, it gave me a fully functioning clone. It supports batch PDF/DOCX upload, source-text highlighting, one-click "generate/optimise" prompts, and model selection. I have open-sourced the code here so you can try it with your own API key: https://lnkd.in/gwFVvgu7. My workflow was pretty simple: Feed Harvey's and Legora's public product pages and demos to Gemini. Ask Gemini to draft detailed product specifications. Give those specs to Gemini in Google AI Studio. Test and iterate until the prototype reaches feature parity. Deploy locally.
November 25, 2025 at 1:35 PM
adolfont.github.io
I love it when people give very specific dates.
The tweet by Adam Wolff (@dmwlff) reads: "I believe this new model in Claude Code is a glimpse of the future we're hurtling towards, maybe as soon as the first half of next year: software engineering is done. Soon, we won't bother to check generated code, for the same reasons we don't check compiler output."
November 25, 2025 at 10:18 AM
adolfont.github.io
Who wants the Nothing University?
November 22, 2025 at 4:56 PM
adolfont.github.io
"We've already reached a point of no return. Resisting is useless and counterproductive"

"The educational system has to be reinvented."

This was a comment on LinkedIn
"We've already reached a point of no return. Resisting is useless and counterproductive because it's just gonna get 'worse' from now on. The educational system has to be reinvented. Many of the traditional ways to evaluate someone's knowledge and articulation of knowledge no longer work. Asserting the correctness and clarity of home assignments is doomed to fail."
November 19, 2025 at 3:51 PM
adolfont.github.io
Emma Barnes wrote on AI
"So let's get this straight. AI is: * an environmental catastrophe * based on stolen content * that harms the viability of creators' livelihoods * that doesn't work very well * that harms a generation's ability to learn * that companies use to eliminate people costs * and is financed in such a way that it is going to damage the global economy in the biggest stock market failure for years. Slow fucking hand clap to its fans. Thanks a bunch."
November 19, 2025 at 3:41 PM
adolfont.github.io
"etc.) that are force-feeding AI tools down our throats to the detriment of global"
November 19, 2025 at 3:40 PM
adolfont.github.io
"It is indeed super wasteful for society to be spending trillions of dollars investing in these tools that have little to no social return (and will probably never have sufficient economic returns either; there's probably a bubble hitting us soon). But that's a structural issue, and is not a relevant reason for bashing people like me and Stefanie making limited (and strategic) use of AI in our work. In fact, Stefanie used generative AI to not only help make her research more publicly accessible, it probably also saved her many hours of labour hours that are best spent teaching, grading, or doing more research. So again, let's not bash individuals, but the structures (capitalism, silicon valley, tech bro culture, etc.) that are force-feeding AI"
November 19, 2025 at 3:39 PM
adolfont.github.io
I'm tired 😂
AI is indeed a bad term but I think your stance is unproductively aggressive. Starting with the Ghibli trend: art has always consisted of copying, so there's nothing inherently (morally) wrong with people creating Studio Ghibli photos of themselves. Is it worth people's time or the electric energy it consumes? In my opinion no, not at all, but it's very elitist to tell people not to make entertaining artwork of themselves.
November 19, 2025 at 3:37 PM
adolfont.github.io
"What can an individual researcher do instead?"

I do not agree with the "instead" part
What can an individual researcher do instead? We cannot solve systemic extractivism through individual abstinence from research tools. But individuals can act meaningfully by: • Voting for political parties that take climate action and regulate high-emissionindustries, including data centres. • Supporting regulation requiring AI companies to disclose energy and water use. • Advocating for fair labour standards in AI supply chains. • Choosing or supporting AI models hosted on renewable-powered data centres or smaller, efficiency-focused architectures. • Joining collective efforts to push for responsible AI governance rather than disengaging entirely.
November 18, 2025 at 3:53 PM
adolfont.github.io
Example of depent type (in #LeanLang):
an if determines whether the function returns a Nat of a String
Example of depent type (in #LeanLang): an if determines whether the function returns a Nat of a String
November 17, 2025 at 2:47 PM