Adolfo Neto
LightNews LightNews
banner
adolfont.github.io
Adolfo Neto
@adolfont.github.io
4.3K followers 3K following 8.2K 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
Mestrado profissional em Computação Aplicada do PPGCA do Instituto Federal do Maranhão, campus Monte Castelo, em São Luís, MA. O programa oferece duas linhas de pesquisa: Inteligência Artificial Aplicada e Sistemas Computacionais. portal.ifma.edu.br/concursos-e-...
portal.ifma.edu.br
November 11, 2025 at 10:55 PM
adolfont.github.io
Pico de 69 pessoas ao vivo, 22 perguntas até agora
November 11, 2025 at 10:39 PM
adolfont.github.io
Estamos ao vivo www.youtube.com/watch?v=CLUH...
Impactos de IA em Engenharia de Software: Um Exercício de Síntese, Marco Tulio Valente
YouTube video by Fronteiras da Engenharia de Software
www.youtube.com
November 11, 2025 at 10:08 PM
Reposted by Adolfo Neto
elixir-munich.org
Our next Meetup has just been announced!

See you at IDEA KITCHEN Coworking on November 24th!

www.meetup.com/elixir-munic...

#Elixir #ElixirLang #Erlang #Munich #Meetup
Elixir & Erlang Meetup - November 2025, Mon, Nov 24, 2025, 6:30 PM | Meetup
We're excited to host our November 2025 Elixir & Erlang Meetup! **Agenda**: 18:30 - Doors open, networking, food, drinks 19:00 - **Code BEAM Europe 2025 Highlights** 19:
www.meetup.com
November 11, 2025 at 1:31 PM
Reposted by Adolfo Neto
tarciziosilva.bsky.social
A caminho da COP30! Quem aí vai e está interessado no combate à discriminação algorítmica?
November 11, 2025 at 2:28 PM
adolfont.github.io
November 11, 2025 at 1:38 PM
adolfont.github.io
November 11, 2025 at 1:38 PM
adolfont.github.io
Are you a software professional in India who listens to tech podcasts?

Fill out this short survey: docs.google.com/forms/d/e/1F...

It only takes a few minutes to participate!
A characterization of the usage of software engineering podcasts by software development professionals in India
We are conducting a research study to understand how software development professionals in India use podcasts for learning, skill development, and staying updated with industry trends. Your responses ...
docs.google.com
November 11, 2025 at 1:24 PM
adolfont.github.io
"There is nothing responsible or ethical coming out of irresponsible and unethical companies, of irresponsible and unethical practices, of irresponsible and unethical grifters, of irresponsible and unethical software products, "
Dagmar Monett’s Post on Linkedin
archive.is/C9jGt
archive.is
November 11, 2025 at 12:45 PM
adolfont.github.io
"But we simply do not know, myself included, what the effect of using LLMs in the classroom, or in journalism, in research, or in medical care will be. Certainly not in the long term. Do we want to expose an entire generation of children and students to something whose effect we don't know?"
adolfont.github.io Adolfo Neto @adolfont.github.io · 20h
But Felienne, aren't you amazed by what LLMs can do?', a colleague asked me recently. Immediately, all the counterarguments about these advanced AI systems that can understand and generate natural language started to

archive.ph/xOYoI
archive.ph
November 11, 2025 at 11:24 AM
adolfont.github.io
Entre os jetsons e o mundo real: robô doméstico humanoide promete autonomia, mas depende de olhos humanos por trás das câmeras

Matéria com a participação dos meus colegas João Fabro e Marco Wehrmeister

archive.is/M966Q
archive.is
November 11, 2025 at 11:20 AM
adolfont.github.io
But Felienne, aren't you amazed by what LLMs can do?', a colleague asked me recently. Immediately, all the counterarguments about these advanced AI systems that can understand and generate natural language started to

archive.ph/xOYoI
archive.ph
November 11, 2025 at 11:19 AM
adolfont.github.io
Joyce Carol Oates on Elon Musk
shoe.bsky.social Shoe+ @shoe.bsky.social · 1d
Good God
November 11, 2025 at 10:55 AM
adolfont.github.io
"At the end of the panel discussion part of my session, Molly Crockett (...) asked each of us to nominate one word or phrase we'd like to see fall out of use. My suggestion, unsurprisingly, was 'artificial intelligence'."
November 11, 2025 at 12:40 AM
adolfont.github.io
Learning Haskell

Basic Anonymous Functions
November 10, 2025 at 8:44 PM
Reposted by Adolfo Neto
haskell.org
Nice. Not quite the same level of introduction, this interactive game by David Peter called Cube Composer does a great job at explaining higher-order functions and their composition: david-peter.de/cube-composer/
November 10, 2025 at 3:48 PM
adolfont.github.io
109 slides on types
krismicinski.bsky.social Kristopher Micinski @krismicinski.bsky.social · 1d
I have some new slides here for my class on compilers that cover types (kmicinski.com/cis531-f25/a...) and objects (kmicinski.com/cis531-f25/a...)
kmicinski.com
November 10, 2025 at 8:43 PM
Reposted by Adolfo Neto
soulsource.mastodon.gamedev.place.ap.brid.gy
It seems, where-clauses are now private, in recent #Lean4 versions...
(https://github.com/leanprover/lean4/pull/9759)

This makes some things annoying. For instance, proving properties of functions in the prelude that use where-clauses (for instance Nat.nextPowerOfTwo) is no longer possible...
feat: default `let rec` and `where` decls to private under the module system by Kha · Pull Request #9759 · leanprover/lean4
Re-lands #9666
github.com
November 9, 2025 at 5:32 PM
adolfont.github.io
Forget Chatbots. You Need a Notebook. - Cal Newport calnewport.com/forget-chatb...
Forget Chatbots. You Need a Notebook. - Cal Newport
Back in 2012, as a young assistant professor, I traveled to Berkeley to attend a wedding. On the first morning after we arrived, my wife ... Read more
calnewport.com
November 10, 2025 at 8:32 PM
adolfont.github.io
Gravamos um episódio do Elixir em Foco

#ElixirLang
Adolfo, Zoey, Herminio Giulliano e Leo
November 10, 2025 at 7:00 PM
Reposted by Adolfo Neto
hagenblix.bsky.social
Automating away accountability is, in fact, one of the many purposes of AI (and of faux personhood more generally, from that of AI to that of corporations)

"We can't manually update AI-generated fields" even when that's clearly stupid and unethical is part of that agenda
Pages 47f of "Why We Fear AI": Any previous bureaucracy, no matter how intransparent, how incomprehensible, how arbitrary in its exercise of power, was still, in some obvious sense, a structure made up of people—even if it precluded the possibility of communality. Up until today, when one faced a bureaucracy, even a hostile one, one always knew, at least intuitively, that the structure was made up of people. Even if no one person in particular was responsible, people were. Bureaucracies may have already perfected the art of continually deferring responsibility from one operator, bureaucrat, or office to the next, until the caller, customer, applicant, etc. gives up from exhaustion. But even if we knew nobody in particular was ever responsible in practice, it was simultaneously obvious that the deferred responsibility is a tactic of diversion, that it is, in a very real sense, a lie (even if it is usually a lie that one cannot do anything about). If a bureaucrat was practically insulated from responsibility, a model, in contrast, is simply genuinely incapable of it. It does not simply obfuscate the responsibility within the bureaucracy by continually deferring it, but instead it becomes the irrational locus of responsibility—incapable of bearing responsi- bility, yet “happy” to take it on.
November 10, 2025 at 4:27 PM
Reposted by Adolfo Neto
edzitron.com
Me, two weeks ago
www.wheresyoured.at/big-tech-2tr...
As we speak, big tech is hoarding masses of GPUs, and by extension, masses of depreciating assets that will without fail lead to a massive impairment loss, which will come directly out of their earnings, and when they’ve spent tens or hundreds of billions of dollars on GPUs, these impairments will be extremely harsh, and come directly out of earnings. So, on top of spending hundreds of billions of dollars in capital expenditures, big tech is also conjuring a giant anvil above their heads. GPUs start losing value the moment you buy them, and by purchasing hundreds of billions of expensive, ever-rotting assets, big tech guarantees their revenues will take a hit sometime in the future, and likely multiple times as each generation ages. Let me put it in really simple terms, and use a hypothetical example. Ten companies bought $10bn of GPUs each to sell AI services, each requiring billions of dollars of data center infrastructure to go on top of them to make them run. As a result, one of the companies — let’s call them BallWeave — has had to take on an absolute shit ton of debt to buy them. BallWeave eventually runs into solvency issues, and has to start selling off masses of GPUs, massively reducing the market value of these GPUs by 30%. This causes the other 9 companies to have to take an immediate impairment — a $3bn haircut directly off of their balance sheet. There is no spreading it out. This is a problem, in part because $3bn is a lot of money, and in part because that’s more than the revenue being generated from AI. The impairment has an immediate negative effect on their assets, while also directly eating into their income, because this shit is almost certainly being financed. This hypothetical scenario is quite real, and it can hurt you, and will hurt any and all companies buying masses of GPUs. One last thing: Remember how I said that there are many ways to calculate depreciation over the useful lifetime of an object? Well, the depreciation rate is always the difference between the initial value of the item and its salvage value — which means how much a company can expect to make when they dispose of the item, either by reselling it or literally scrapping it for parts. So, for the sake of illustration, if a GPU costs $50,000 and has a useful life of five years, after which it has a nominal salvage value of $10,000, the amount said company could mark down as depreciation over that lifespan is $40,000. This is simply me talking out loud, but I worry that there’s no real way to accurately predict what that salvage value of an enterprise GPU will be. It’s contingent on a bunch of factors — namely, how long these cards last in real-world conditions, where they’re experiencing near-constant utilization, as well the pace and the quality of Nvidia’s future releases. It’s bad, and only compounds the fact that they’ve already created a giant, ugly, unsustainable hole on top of their earnings.
November 10, 2025 at 5:09 PM
Reposted by Adolfo Neto
eliascueto.bsky.social
"I hope that five years from now, AI will have revolutionized education as much as MOOCs did."
November 10, 2025 at 4:48 PM
Reposted by Adolfo Neto
yuri.omg.lol
Excelente palestra! Até fiquei empolgado pra ler a tese do JA, depois de ver duas pessoas que já leram.

@adolfont.github.io, parabéns pelo evento!
adolfont.github.io Adolfo Neto @adolfont.github.io · 3d
Pedro Castilho, @coprodu.to, o CTO da Cumbuca, está falando agora na Elixir Curitiba 2025.
#ElixirLang
Pedro Castilho Pedro Castilho
November 10, 2025 at 5:23 PM
adolfont.github.io
I don’t think so.
I hope that doesn’t happen.
I hope that five years from now, AI will have revolutionized education as much as MOOCs did.

"The introduction of AI systems in higher education represents a profound change in how we plan, execute, and evaluate teaching and learning processes."
Inteligência Artificial na docência
A introdução de sistemas de IA na educação superior representa uma mudança profunda na forma como planejamos, executamos e avaliamos processos de ensino e aprendizagem. Contudo, é essencial compreende...
palazzo.pro.br
November 10, 2025 at 4:33 PM