ABOUT THIS EPISODE
Adolfo Neto fala sobre um post de Boris Cherny sobre especificação e verificação formal (em Lean e TLA+) e como ela repercutiu com algumas pessoas, como José Valim.
No final, fala sobre uma postagem no Elixir Forum que explora o desânimo e a desilusão de profissionais da área de desenvolvimento de software com a carreira.
Post no Elixir Forum: https://forum.elixirforum.com/t/i-genuinely-hate-programming-now/76697/79
No YouTube: https://www.youtube.com/watch?v=etw56h1EO9E
Portuguese
Brazil
SEARCH PAST EPISODES
Search past episodes of Professor Adolfo Neto.
OTHER EPISODES IN THIS PODCAST
Neste episódio do podcast Professor Adolfo Neto, da Rede Emílias de Podcasts, Adolfo conversa com o professor Luiz Nacamura Junior sobre sua trajetória na UTFPR, desde a gestão de redes Unix nos anos 90 até se tornar o primeiro pró-reitor de pesquisa da instituição. Neste ano de 2026 Nacamura foi c…
Texto completo na 404 Media: https://www.404media.co/software-developers-say-ai-is-rotting-their-brains/Inverdade: 'Papagaio estocástico' é uma crítica aos LLMs/'IA' https://adolfoneto.elixiremfoco.com/blog/posts/2026-05-14-llms-sp/IA no desenvolvimento: produtividade, desqualificação e prazer em p…
Republicação de live que aconteceu no canal DEPLOY, de Felipe Pimentel Augusto
Felipe Augusto: https://www.linkedin.com/in/felipementel/
Adolfo Neto: https://bsky.app/profile/adolfont.github.io
Renata Gomes: http://renatagames.bsky.social
In this read I comment and read some phrases from "Why does cheating matter?", by Olivia Guest.
Link para o blog post.
Disclaimer: The podcast and artwork embedded on this page are from Rede Emílias de Podcasts, which is the property of its owner and not affiliated with or endorsed by Listen Notes, Inc.
EDIT
Thank you for helping to keep the podcast database up to date.
