TENTANG EPISODE INI
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
Portugis
Brasil
CARI EPISODE TERDAHULU
Cari episode sebelumnya dari Professor Adolfo Neto.
EPISODE LAIN DALAM PODCAST INI
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…
Link para o blog post.
Simon Thompson is Professor Emeritus at Kent, and Eötvös Loránd University in Budapest, where he continues to teach and take part in research. He is also a director of the Marlowe Language CIC, the open source organisation supporting Marlowe. https://www.kent.ac.uk/school-of-computing/people/3164/t…
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…
Sanggahan: Podcast dan karya seni yang disematkan pada halaman ini berasal dari Rede Emílias de Podcasts, yang merupakan milik pemiliknya dan tidak berafiliasi atau didukung oleh Listen Notes, Inc.
Sunting
Terima kasih telah membantu agar basis data podcast tetap terbaru
