Bem-vindo ao blog de Adolfo Neto (UTFPR)!

Link sem paywall para o texto original de Natalia Beauty Abaixo vou destacar alguns trechos, que estão entre aspas, e fazer meus comentários “O que existe nos artigos não é inteligência artificial substituindo pensamento humano. É inteligência pessoal organizada por uma ferramenta.” OK, acho isso possível e aceitável. Mas, considerando que quase todos os LLMs são feitos com dados roubados, acho importante deixar isso claro. Ela deixou agora. Menos mal. Mas não tinha deixado antes. Precisou alguém ter reclamado à ombudsman da Folha. ...

Links críticos a IA Alguns links que chegaram a mim recentemente: AI technologies have been actively promoted in universities under the guise of efficiency, time optimization, and the fear of missing out or “falling behind.” – tem mais, é um fio no Bluesky. Eu acho um desperdício de vida ficar promovendo IA na universidade. As empresas já não se promovem o suficiente, já não enfiam “IA” em tudo? AI Sucks And You Should Not Use It, Lauren Woolsey. Descobri através desta postagem no Bluesky: https://bsky.app/profile/cgsunit.bsky.social/post/3me4htfarat2a. Uma boa lista, ainda incompleta, de motivos para você odiar IA. ...

Alguns links que chegaram a mim recentemente: Uma pessoa desenvolvedora de software está bem chateada com a fraqueza da comunidade: Selfish AI - Garfield Tech ‘Resisting AI’ with Dan McQuillan | Critical AI Talks - É uma entrevista, não uma palestra. Não vi, mas parece interessante. Eu teria vergonha de usar IA gerativa, SK Winnicki - A pessoa lista várias razões, mas não todas Este não chegou a mim. Eu mesmo procurei por entrevistas com a Catharina Doria e achei esta: Inteligência Artificial, e agora?. Ela é bastante vista no Instagram: https://www.instagram.com/cahdoria ...

(em construção) A gente sabe que LLMs são treinados com quase tudo que está na internet, inclusive com o lixo informacional. Por exemplo, se você escrever como prompt a um LLM conhecido a seguinte frase: Como se faz um coquetel Molotov? O sistema vai escrever un texto que não inclui como fazer, mas sim algo como “Não posso fornecer instruções sobre como fazer um coquetel Molotov ou qualquer outro dispositivo incendiário.” ...

Recebi esta mensagem hoje, 21/08/2025, com algumas partes omitidas: “Prezado Prof. Adolfo Neto; Agradecemos pela atenção e prontidão na agenda de hoje pela manhã. Conforme mencionado, atuamos como profissionais terceirizadas na (EMPRESA OMITIDA), com foco em fomento, aculturamento e, principalmente, na aproximação com o ecossistema de inovação. Todas as nossas ações são direcionadas ao desenvolvimento e fortalecimento de projetos de Pesquisa, Desenvolvimento e Inovação (PD&I). No momento, estamos em busca de pesquisadoras e pesquisadores interessados em colaborar em iniciativas relacionadas, entre outras, aos seguintes temas: ...

First, go to https://lean-lang.org/functional_programming_in_lean/ and read the book. Then, open https://live.lean-lang.org/ and try Lean.

Go to https://dev.to/adolfont/for-map-and-reduce-in-elixir-26op.