Profile avatar
adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
5,395 posts 4,028 followers 3,297 following
Regular Contributor
Active Commenter
Posts 26 Comments 24

A importância do humano em sistemas robóticos autônomos www.youtube.com/shorts/5pzbQ...

submitted 16 hours ago • 0 comments

"I’ve been saying for years that programmers ought to pay more attention to empirical studies of software engineering and base their practices on evidence rather than strong opinion." third-bit.com/2018/03/13/b...

submitted 18 hours ago • 0 comments

Garousi, Jafarov, Movsumova, Namazov, Mirzayev: Encouraging Students' Responsible Use of GenAI in Software Engineering Education: A Causal Model and Two Institutional Applications https://arxiv.org/abs/2506.00682 https://arxiv.org/pdf/2506.00682 https://arxiv.org/html/2506.00682

submitted 5 days ago • 1 comment

He is safe in Brazil. He is not going to be sent to another country because of something he wrote bsky.app/profile/wash...

submitted 18 hours ago • 1 comment

The AI Con - Amazon US: US$ 15 ~R$84,00 The AI Con - Amazon Brazil: R$ 125,00 Both are Kindle versions www.amazon.com/AI-Fight-Tec... Why? www.amazon.com.br/AI-Fight-Cre...

submitted 19 hours ago • 0 comments

Brian Cardarella on Elixir Adoption #ElixirLang www.youtube.com/watch?v=nCB9...

submitted 19 hours ago • 0 comments

There's so much to dunk on in this NYT piece and so little time, but I gotta start here: Some law profs at U Chicago did a study to see if the chatbots could answer questions based on specific materials and found, unsurprisingly, that they make shit up. www.nytimes.com/2025/06/07/t... >>

submitted 19 hours ago • 5 comments

Inspired by the conversations about today's Times article about college ChatGPT, I asked ChatGPT to design a writing assignment in the style of...my writing assignments. First it gave me something very generic. Then it gave me...one of my own assignments that is available online. A short 🧵 /1

submitted 22 hours ago • 3 comments

I heard a concerned doctor say that LLMs will be used to make the profession even harder. Suppose the following situation. A doctor makes a difficult decision. It goes wrong. The patient consults ChatGPT, or another LLM, which says the doctor should have made a different decision.

submitted 22 hours ago • 2 comments

Let's have some fun. In this NYT story, we see a picture of an OpenAI billboard on a college campus, suggesting the following prompt: "Give me a guide for mastering this Calc 101 syllabus. In two weeks. Small steps please." What happens when we actually use ChatGPT to do this? THREAD!

submitted 1 day ago • 11 comments

Still simmering about OpenAI's attempts to capture higher ed described in today's NYT article and thinking about the opportunity for colleges and universities to listen @emilymbender.bsky.social and @alexhanna.bsky.social and reject AI hype along these lines from their book The AI Con:

submitted 22 hours ago • 0 comments

Minha pequena vai pra uma competição de ginástica em Curitiba, daí estão fazendo rifa para custear a viagem! Quem quiser/puder ajudar, pode fazer um pix pro [email protected] que eu respondo com o número. Cada número é R$10. Obrigado 🫶

submitted 1 day ago • 1 comment

This reminds me of the situation with electronic voting machines in Brazil around 2022.

submitted 1 day ago • 0 comments

Try that shit in a small town, as it were

submitted 1 day ago • 1 comment

Tietando Luís Carlos Valois

submitted 1 day ago • 4 comments

Acabamos de apresentar no #CBMFC: Interfaces entre Inteligência Artificial Generativa e Medicina de Família: Uma Análise Crítica sobre o Uso por Pacientes adolfont.github.io/research/pub...

submitted 1 day ago • 0 comments

Big Proof >>> Big Tech

submitted 1 day ago • 0 comments

STARTING IN TWO HOURS! See you there.

submitted 1 day ago • 0 comments

Someone wrote this in a group of people who like AI: "Exactly. AI companies are acting like drug dealers. They're getting everyone addicted by giving it away for free. At some point, a lot of things or a lot of people won't be able to do without AI. Then they'll charge whatever they want!"

submitted 1 day ago • 4 comments

Here’s this week’s Better Offline monologue. I walk you through how the media is misleading you about AI job loss as a form of propaganda for OpenAI and Anthropic - and the Business Idiots behind it. podcasts.apple.com/us/podcast/b... Linktr.ee/betteroffline

submitted 2 days ago • 3 comments

"For many companies, excitement over the promise of generative artificial intelligence (AI) has given way to vexation over the difficulty of making productive use of the technology. The share of companies abandoning...has risen to 42%, up from 17% last year." www.economist.com/business/202...

submitted 2 days ago • 2 comments

People always doubted that dependently-typed programming would ever be relevant, useful, worth the extra effort. Now, the holy grail we see everyone talking about is using LLMs to generate dependently-typed things--it is important to work on the hard thing everyone really wants.

submitted 2 days ago • 1 comment

24th Edition of the Erlang Workshop Sunday 12th of October 2025, Singapore A satellite workshop of ICFP 2025 conf.researchr.org/home/icfp-sp... ** Abstract Registration Deadline: 6 June 2025 ** ** Submission Deadline: 13 June 2025 ** (extended) #Erlang #Elixirlang #gleam #BEAM #WeBEAMTogether

submitted 2 days ago • 0 comments

An Atari signed by its creator: Nolan Bushnell

submitted 2 days ago • 1 comment

side effect of AI-in-higher-ed: having to spend my ONE WILD AND PRECIOUS LIFE googling footnotes for articles that I can't believe I missed off my reading lists only to discover that they aren't, in fact, real articles

submitted 3 days ago • 33 comments

Yesterday, I gave a lecture to students from computer science programs at a public university. Some were familiar with Lua. A few knew Elixir. No one knew Lean.

submitted 2 days ago • 1 comment