Adolfo Neto
@adolfont.github.io
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.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
It is not true that everything gets cheaper.
When I see LLMs pitched as a guaranteed productivity tool for software engineering, the is the counterweight I keep trying to get people to seriously engage with and not handwave away is the future cost, and “oh everything tech gets cheaper” isn’t an answer. Services don’t and LLMs are a service.
December 26, 2025 at 7:52 PM
It is not true that everything gets cheaper.
The video is in Portuguese, but it has subtitles in English
December 26, 2025 at 12:22 PM
The video is in Portuguese, but it has subtitles in English
"Human-Centered"
Do you think this kind of research helps companies that create LLMs?
December 26, 2025 at 11:39 AM
"Human-Centered"
Okay I think this guy basically just hates women who're smarter than him 🤷 utterly rank vibes
December 26, 2025 at 11:26 AM
Rob Pike is one of the creators of the Go programming language
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
![[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation
External
Inbox
Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org>
5:43 AM (4 hours ago)
to me
Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village)
IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vsgr3rwyckhiavgqzdcuzm6i/bafkreifg5kvowgazg6uwqulfbdvxurqafbcescazwvgcl2catgvlrsc2fi@jpeg)
December 26, 2025 at 10:33 AM
Rob Pike is one of the creators of the Go programming language
"AI is already in classrooms. (...)
Ignoring or banning it is not an effective approach."
A colleague said in an Instagram video.
I commented: Banning it is indeed an approach. We cannot passively accept it. Academia can do more. We ban many things. Do you let your students cheat on tests?
Ignoring or banning it is not an effective approach."
A colleague said in an Instagram video.
I commented: Banning it is indeed an approach. We cannot passively accept it. Academia can do more. We ban many things. Do you let your students cheat on tests?
December 26, 2025 at 10:21 AM
"AI is already in classrooms. (...)
Ignoring or banning it is not an effective approach."
A colleague said in an Instagram video.
I commented: Banning it is indeed an approach. We cannot passively accept it. Academia can do more. We ban many things. Do you let your students cheat on tests?
Ignoring or banning it is not an effective approach."
A colleague said in an Instagram video.
I commented: Banning it is indeed an approach. We cannot passively accept it. Academia can do more. We ban many things. Do you let your students cheat on tests?
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
December 26, 2025 at 10:08 AM
👇
STILL no trans people or drag queens implicated in the Epstein Files.
Plenty of TERFs though.
It’s almost as though every “gender-critical” transphobe is trying to protect cis men who abuse women and girls by helping them distract from the real threat.
Plenty of TERFs though.
It’s almost as though every “gender-critical” transphobe is trying to protect cis men who abuse women and girls by helping them distract from the real threat.
December 26, 2025 at 10:05 AM
👇
Hey, I've heard some scandalous stories as the creator of a podcast that interviews women in technology... Some had to be off the record.
I cannot ever be surprised by tech sector people calling women stupid or whatever else because I did a compsci degree and saw this stuff daily. But this is a little bit extra funny because they are getting increasingly completely detached, as most such people do sadly, by calling her a creationist.
Totally normal, no? 🧐
December 25, 2025 at 9:04 PM
Hey, I've heard some scandalous stories as the creator of a podcast that interviews women in technology... Some had to be off the record.
Which is better? Asking your distant Uncle Barry for the Top10 restaurants in NY or consulting the Michelin Guide? Well, turns out that bug-based fuzzer benchmarking is much like Uncle Barry. Random and noisy.
Accepted at #FSE26. Led by Ardi Madadi, @is-eqv.bsky.social, and @nimgnoeseel.bsky.social
Accepted at #FSE26. Led by Ardi Madadi, @is-eqv.bsky.social, and @nimgnoeseel.bsky.social
December 25, 2025 at 9:03 PM
"Harvard’s conflict with the federal government is on track to take yet another casualty.
Facing financial uncertainty after the endowment tax hike and cuts to research funding, the University drastically reduced Ph.D. admissions to curb spending."
www.thecrimson.com/article/2025...
Facing financial uncertainty after the endowment tax hike and cuts to research funding, the University drastically reduced Ph.D. admissions to curb spending."
www.thecrimson.com/article/2025...
Trump’s Cuts Are Coming for Our Classrooms. Here’s How To Respond. | Opinion | The Harvard Crimson
So with the storm closing in on Harvard’s teaching infrastructure, the answer isn’t to scuttle the course catalog — it’s to trim the sails and steer smarter.
www.thecrimson.com
December 25, 2025 at 9:01 PM
"Harvard’s conflict with the federal government is on track to take yet another casualty.
Facing financial uncertainty after the endowment tax hike and cuts to research funding, the University drastically reduced Ph.D. admissions to curb spending."
www.thecrimson.com/article/2025...
Facing financial uncertainty after the endowment tax hike and cuts to research funding, the University drastically reduced Ph.D. admissions to curb spending."
www.thecrimson.com/article/2025...
Attributes to Support the Formulation of Practically Relevant Research Problems in Software Engineering arxiv.org/abs/2512.12699
Attributes to Support the Formulation of Practically Relevant Research Problems in Software Engineering
[Background] A well-formulated research problem is essential for achieving practical relevance in Software Engineering (SE), yet there is a lack of structured guidance in this early phase. [Aims] Our ...
arxiv.org
December 25, 2025 at 12:49 PM
Attributes to Support the Formulation of Practically Relevant Research Problems in Software Engineering arxiv.org/abs/2512.12699
AI Hallucination Cases Database – Damien Charlotin www.damiencharlotin.com/hallucinatio...
AI Hallucination Cases Database – Damien Charlotin
Database tracking legal cases where generative AI produced hallucinated citations submitted in court filings.
www.damiencharlotin.com
December 25, 2025 at 12:09 PM
AI Hallucination Cases Database – Damien Charlotin www.damiencharlotin.com/hallucinatio...
Uber, 99
Airbnb
Bitcoin
ChatGPT, Claude
Airbnb
Bitcoin
ChatGPT, Claude
qual sua inovação tecnológica favorita?
1. companhia de táxi ilegal
2. rede de hotel ilegal
3. dinheiro digital pra criminoso
4. máquina de plágio
digam nos comentários 😋
1. companhia de táxi ilegal
2. rede de hotel ilegal
3. dinheiro digital pra criminoso
4. máquina de plágio
digam nos comentários 😋
December 24, 2025 at 4:59 PM
Uber, 99
Airbnb
Bitcoin
ChatGPT, Claude
Airbnb
Bitcoin
ChatGPT, Claude
Claude
Codex
Antigravity
Copilot
Replit
Lovable
Which one is the biggest failure? Which one loses the most money?
Codex
Antigravity
Copilot
Replit
Lovable
Which one is the biggest failure? Which one loses the most money?
December 24, 2025 at 3:35 PM
Claude
Codex
Antigravity
Copilot
Replit
Lovable
Which one is the biggest failure? Which one loses the most money?
Codex
Antigravity
Copilot
Replit
Lovable
Which one is the biggest failure? Which one loses the most money?
The Dangers of Relying on AI for Education
YouTube video by Adolfo Neto
youtube.com
December 24, 2025 at 1:40 PM
"Profiting from the Randomness of LLMs in the Requirements Engineering Process" is the title of an invited talk at a software engineering conference
December 24, 2025 at 12:37 PM
"Profiting from the Randomness of LLMs in the Requirements Engineering Process" is the title of an invited talk at a software engineering conference
Do you think this kind of research helps companies that create LLMs?
December 23, 2025 at 2:42 PM
Do you think this kind of research helps companies that create LLMs?
Y encontré un estudio de METR que confirma justo esa intuición.
Y aquí está el punto clave:
la IA acelera la sensación de progreso, no necesariamente el progreso real.
Y aquí está el punto clave:
la IA acelera la sensación de progreso, no necesariamente el progreso real.
December 23, 2025 at 1:57 PM
Sad, but it seems everybody is using LLMs to code.
Maybe @algebraic.dev can explain the rules on using AI on #LeanLang source code
Maybe @algebraic.dev can explain the rules on using AI on #LeanLang source code
Lean proof assistant is vibe-coded. What the fuck? https://github.com/leanprover/lean4/commit/67ba4da71f2f6b066ac343c2e35cf7f986962553
This is the state of lean right. one developer changing semantics of division with no review or docs using claude. Claude folder in the main repo. Terry Tao […]
This is the state of lean right. one developer changing semantics of division with no review or docs using claude. Claude folder in the main repo. Terry Tao […]
Original post on mastodon.online
mastodon.online
December 23, 2025 at 12:10 PM
Sad, but it seems everybody is using LLMs to code.
Maybe @algebraic.dev can explain the rules on using AI on #LeanLang source code
Maybe @algebraic.dev can explain the rules on using AI on #LeanLang source code
Reposted by Adolfo Neto
From Zero to QED: An informal introduction to formality in Lean 4 https://lobste.rs/s/2rtmv9 ##compsci ##formalmethods
From Zero to QED: An informal introduction to formality in Lean 4
An informal introduction to formality in Lean 4
sdiehl.github.io
December 22, 2025 at 6:50 PM
From Zero to QED: An informal introduction to formality in Lean 4 https://lobste.rs/s/2rtmv9 ##compsci ##formalmethods
Vale pra LLMs também
Se não há como separar a proteção infantil da forma como as redes funcionam, as redes tem que parar de funcionar.
December 23, 2025 at 11:34 AM
Vale pra LLMs também
👇
It's a good encapsulation of our media and educational systems when we know Fulnecky's name and can be fairly sure she'll make bank and prestige on a rightwing and evangelical press junket.
Meanwhile the TA has lost funding through their position and likely can't release their name out of fear.
Meanwhile the TA has lost funding through their position and likely can't release their name out of fear.
A graduate teaching assistant who gave a University of Oklahoma student a failing grade on a psychology essay will no longer be teaching at the university
December 23, 2025 at 10:55 AM
👇