Adolfo Neto
LightNews LightNews
banner
adolfont.github.io
Adolfo Neto
@adolfont.github.io
4.7K followers 3.5K following 10K posts
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
https://ko-fi.com/adolfoneto
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Posts Replies Media Videos
adolfont.github.io
UNC was beatiful
February 10, 2026 at 1:46 PM
adolfont.github.io
👇
alfiekohn.bsky.social Alfie Kohn @alfiekohn.bsky.social · 1h
"Class participation" is a good example of why we must look beyond mere behavior. Motive matters more than frequency or even quality. Is it genuine engagement (wondering aloud) or just an attempt to impress the teacher?
(Hint: If it's being graded, it very likely has been turned it into the latter)
February 10, 2026 at 1:45 PM
adolfont.github.io
Programação da Semana de Planejamento da UTFPR que inclui minha oficina.

Sim, ainda usamos Google Drive. Muito.

bit.ly/4bIciZv
Cronograma Semana de Planejamento 2026 e XVI Jornada Pedagógica de Formação.pdf
bit.ly
February 10, 2026 at 1:41 PM
adolfont.github.io
👇
tante.cc tante @tante.cc · 2h
I was invited to the "AI-Freecast". We talked about #luddism #ai, data center and the human need for friction.

It was great fun.

player.captivate.fm/episode/71f7...
player.captivate.fm
February 10, 2026 at 1:16 PM
adolfont.github.io
Pesquisa "Operacionalização da Ética em Sistemas de IA no Setor Público: um estudo empírico sobre Motivação, Percepção e Expectativa" realizada pela UnB.
Para participar desta pesquisa, é necessário atuar no setor público com sistemas de informação e IA, ciência de dados ou em áreas de governança.
Operacionalização da Ética em Sistemas de IA no Setor Público: um estudo empírico sobre Motivação, Percepção e Expectativa
Você está sendo convidado(a) a participar, como voluntário(a), da pesquisa "Operacionalização da Ética em Sistemas de IA no Setor Público: um estudo empírico sobre Motivação, Percepção e Expectativa" ...
docs.google.com
February 10, 2026 at 12:15 PM
adolfont.github.io
Comentário sobre 'Meus textos usam inteligência artificial; meu pensamento, não', de Natalia Beauty
adolfoneto.elixiremfoco.com/blog/posts/2...
Comentário sobre 'Meus textos usam inteligência artificial; meu pensamento, não'
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 sub...
adolfoneto.elixiremfoco.com
February 10, 2026 at 12:12 PM
adolfont.github.io
34 inscritos luma.com/nbtlk1cd
Não precisamos aceitar a IA como inevitável na educação · Luma
Como diz Emily M. Bender em "Não precisamos aceitar a IA (muito menos a GenAI) como inevitável na educação" https://bit.ly/4ayqweH, "os sistemas vendidos como…
luma.com
February 10, 2026 at 11:18 AM
adolfont.github.io
Some things I've seen, but I have no idea if they're happening in significant numbers:

1. People who no longer want to contribute to Open Source
2. People who create projects and don't want to release them as Open Source so as not to help AI companies
adolfont.github.io Adolfo Neto @adolfont.github.io · 6h
Não só isso.
Tem gente que:

1. Não quer mais contribuir
2. Cria projeto novo e não quer liberar como Open Source.

1 e 2 são significativos? Não sei
February 10, 2026 at 10:24 AM
adolfont.github.io
A good reason to reject "papers" by Anthropic and other companies "even when the results seem favorable to my side": (...) "these companies are trying to convince people that their constructs are valid, and that will likely benefit them in the future"
February 10, 2026 at 10:21 AM
adolfont.github.io
Now we know what AGI means 👇
February 10, 2026 at 9:20 AM
Reposted by Adolfo Neto
yellowduck.be
🔗 Moving my website from Next.js to Phoenix

#ai #ElixirLang #ElixirPhoenix #phoenix #reading-list
Moving my website from Next.js to Phoenix
#ai #ElixirLang #ElixirPhoenix #phoenix #reading-list
aayushsahu.com
February 9, 2026 at 6:05 PM
adolfont.github.io
I won't read anything Wario, sorry, Dario Amodei wrote until, at least:

- his company makes a profit
- he releases his training data
booch.com Grady Booch @booch.com · 1d
(But I still assert that Dario is profoundly wrong WRT his position that software engineering is going away. For me, this is a force multiplier, making it possible for me to do more.)
February 9, 2026 at 3:55 PM
adolfont.github.io
It is still unethical using Claude for anything serious
booch.com Grady Booch @booch.com · 1d
I am gobsmacked WRT Claude: I find myself able in just a few hours to introduce to a web site some very complex bespoke responsive visualizations of data that otherwise would have taken me days if not weeks to do myself or were I to have commissioned the work thousands of dollars.
February 9, 2026 at 3:54 PM
adolfont.github.io
🎯
emilymbender.bsky.social Emily M. Bender @emilymbender.bsky.social · 1d
If your study is framed as asking whether "AI" does X as well as humans do, it's fundamentally misguided and I'd argue not scientifically sound.

A short 🧵>>
February 9, 2026 at 3:35 PM
adolfont.github.io
👇
tante.cc tante @tante.cc · 23h
The reason "AI" has settled on "chat" as interface is because what they are actually selling is domination. They are selling you having a personal slave. That's their hook.
February 9, 2026 at 3:34 PM
adolfont.github.io
Verifying Distributed Protocols in Veil
by Ilya Sergey
#LeanLang
proofsandintuitions.net/2026/02/09/d...
Verifying Distributed Protocols in Veil
In this post, we discuss how to formalise, test, and prove the correctness of a classic distributed protocol by combining model checking, automated deductive verification, and AI-powered invariant inf...
proofsandintuitions.net
February 9, 2026 at 2:28 PM
adolfont.github.io
I counted 26 articles from the @icseconf.bsky.social 2026 Research Track related to AI/LLMs/Deep Learning

I only counted the ones starting with the letter A. My plan was to do all the letters, but I got bored with A

drive.proton.me/urls/38FV1XY...
Proton Drive
Securely store, share, and access your important files and photos. Anytime, anywhere.
drive.proton.me
February 9, 2026 at 10:44 AM
Reposted by Adolfo Neto
olivia.science
e/acc/OSS 🙊
dancow.bsky.social Dan Nguyen @dancow.bsky.social · 1d
VC, founder, dumbass
@Nick_Davidov Asked Claude Cowork organize my wife's desktop, it stated doing it, asked for a permission to delete temp office files, I granted it, and then it goes "ooops" Turns out it tried renaming and accidentally deleted a folder with all of the photos my wife made on her camera for the last 15 years. All photos of kids, their illustrations, friends' weddings, travel, everything. It's not in trash, it was done via terminal It's not in iCloud, it already synced the new file structure. She didn't have Time Machine. Disc recovery tools can't see anything. I called Apple and they pointed me to a feature in iCloud allowing to retrieve files that were saved before but are no longer on iCloud Drive (they keep them for 30 days). I'm now watching it load tens of thousands of files. I nearly had a heart attack. Nick Davidov • @Nick_Davidov VC, founder, DVC.ai - backing repeat founders with a community of 200 engineers. e/acc/OSS. Perplexity, Higgsfield, Animation, Etched. Husband to @msdavidova
February 9, 2026 at 6:19 AM
adolfont.github.io
🤣
tante.cc tante @tante.cc · 1d
The Forbes 30 ander 30 list should basically be a todo list for fraud investigations.
timchristiaens.bsky.social Tim Christiaens @timchristiaens.bsky.social · 5d
Another tech entrepreneur from the Forbes “30 under 30”-list facing prison over fraud charges. After Sam Bankman-Fried & Elizabeth Holmes already in prison. Good time to question whether the tech start-up sector isn’t inherently a grifter economy. “Fake it till you make it” with billions of dollars.
February 9, 2026 at 9:39 AM
adolfont.github.io
🤣🤣🤣
syntaxerror6.bsky.social SyntaxError @syntaxerror6.bsky.social · 1d
Writing a C compiler using LLM:
February 9, 2026 at 9:37 AM
adolfont.github.io
I joined the trend!
Texto em português: Meta, Google, ChatGPT (usei bastante antes de saber mais precisamente como funcionava e quão prejudicial é) já sabem demais sobre mim. Não preciso pedir uma caricatura sobre isso. Quem tiver curiosidade, meus interesses atuais são Ética em IA, Engenharia de Software, Diversidade na Computação e Podcasts, entre outros. --- English translation: Meta, Google, ChatGPT (I have used a lot before finding out exactly how it worked and how harmful it is) already know too much about me. I don’t need to ask for a caricature about it. If anyone is curious, my current interests are AI Ethics, Software Engineering, Diversity in Computing, and Podcasts, among others.
February 8, 2026 at 10:44 PM
adolfont.github.io
Vai ser assim:

26/02 10h-12h oficina online (link abaixo - gratuita e usando Jitsi)
02/03 20h00 Palestra online pro grupo de pesquisa Gele.ia
05/03 10h-12h oficina presencial na UTFPR Curitiba
February 8, 2026 at 10:05 PM
adolfont.github.io
👇
irisvanrooij.bsky.social Iris van Rooij 💭 @irisvanrooij.bsky.social · 1d
AI literacy is pseudo-education
February 8, 2026 at 9:37 PM
adolfont.github.io
👇
hagenblix.bsky.social Hagen Blix @hagenblix.bsky.social · 1d
The industrialized production of language produces a fast fashion-like business model, where rapid low quality output floods the market

That's why I think debates around whether AI "works" missing the point; we have to argue about (against) capitalism, not debunk marketing claims
February 8, 2026 at 6:29 PM
adolfont.github.io
I discovered PB&J sandwiches when I was a teenager. I was in the USA for a month. So strange. But now I like them.

The version below is flexible. Good idea.
rolored-panda.bsky.social Rolo @rolored-panda.bsky.social · 1d
He's a 10 but he makes PB&J and instead of creating sandwiches he eats each slice separately.
February 8, 2026 at 6:26 PM