เกี่ยวกับตอนนี้
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
โปรตุเกส
บราซิล
ตอนอื่นๆ ใน PODCAST นี้
Link para o blog post.
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
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…
In this read I comment and read some phrases from "Why does cheating matter?", by Olivia Guest.
ข้อสงวนสิทธิ์: พอดแคสต์และอาร์ตเวิร์คที่ฝังอยู่ในหน้านี้มาจาก Rede Emílias de Podcasts ซึ่งเป็นทรัพย์สินของเจ้าของและไม่มีส่วนเกี่ยวข้องหรือรับรองโดย Listen Notes, Inc.
