Adolfo Neto

586 Followers
368 Following
2.9K Posts

EN: Professor at UTFPR Curitiba. Podcaster on Fronteiras da Engenharia de Software, on Emílias Podcast (from Emílias Armação em Bits), and on Elixir in Focus.

PT: Professor da UTFPR Curitiba. Podcaster no Fronteiras da Engenharia de Software, no Emílias Podcast (do Emílias Armação em Bits) e no Elixir em Foco.

https://linktr.ee/adolfont

If you work a hybrid schedule, on average how many days are you in the office and how many days do you work from home?
E.g.: 3-2 (3 days in the office, 2 at home)
Teorias da Verdade 1: introdução
https://www.youtube.com/watch?v=BG5huBSlL3Q
Teorias da Verdade 1: introdução

YouTube
Devemos usar IA em tudo? Felipe Augusto, Adolfo Neto e Renata Gomes
https://open.spotify.com/episode/4dgVmb7thNYC9EWchAiB6A
Devemos usar IA em tudo? Felipe Augusto, Adolfo Neto e Renata Gomes

Spotify
"In tech we've always had evangelists, weither it's for FOSS, or Blockchain or now AI."
"AI however this seems to be worse. Not just because of the serious hardware shortages that LLM models are causing. It's what it's doing to people."
https://dotart.blog/cobbles/ai-and-that-guy-at-the-bar
AI and that Guy at the bar

In tech we've always had evangelists, weither it's for FOSS, or Blockchain or now AI. It's a natural thing to do. You have a tech you'r...

cobbles
Leanstral: Open-Source foundation for trustworthy vibe-coding
by Mistral AI
#LeanLang
https://mistral.ai/news/leanstral
Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

First open-source code agent for Lean 4.

"if people would treat it [an LLM] like a box that receives untrusted user text input and emits untrustable user text output we would all be better off"

https://bsky.app/profile/kevinr.free-dissociation.com/post/3mh7shp5mbs2o

Kevin Riggle (@kevinr.free-dissociation.com)

I mean in terms of an artifact it *is* a standard IT product, and if people would treat it like a box that receives untrusted user text input and emits untrustable user text output we would all be better off

Bluesky Social
One thing Mastodon is better than Bluesky: Lists include boosts.
Perhaps the uncritical use of LLMs in our FOSS ecosystem is a symptom of burnout in our maintainers and projects.

For the first time in years I spend a few hours in the last days reading fiction. It's hard to overstate how good it feels and how stupid I was not to do more of it. Reading a book is just such a wonderful experience.

(I read a lot of books but stuck to non-fiction in the last years)

What is happening to young people?
I had to introduce Little Bobby Tables to my undergraduate students yesterday

https://www.reddit.com/r/SQL/comments/1k9ve1i/who_can_explain_this_xkcd_comic_for_me/