Professor Adolfo Neto
67 episodes - English - Latest episode: 2 days ago -I am Adolfo Neto, a professor at UTFPR Curitiba. In this podcast, I interview professionals from the field of computing and related areas. My goal is to better understand how they became interested in their current profession, what their daily lives are like, and what their motivations, difficulties, and challenges are.
Homepage Google Podcasts Overcast Castro Pocket Casts RSS feed
Episodes
Ethics in Software Engineering with Brittany Johnson-Matthews (George Mason University)
June 18, 2024 15:59 - 22 minutes - 20.9 MBIn this episode of the Professor Adolfo Neto podcast, Professor Adolfo Neto interviews Brittany Johnson-Matthews, an Assistant Professor in the Department of Computer Science at George Mason University. Brittany, who directs the INSPIRED Lab, shares insights from her research in Software Engineering. The interview begins with Brittany discussing her academic journey, including her Bachelor's degree in Computer Science from the College of Charleston and her PhD from North Carolina State Univ...
Inside the Scheme Workshop 2024 with Kris Micinski
June 03, 2024 21:06 - 42 minutes - 39.3 MBIn this episode of the Professor Adolfo Neto podcast, Professor Adolfo Neto from the Federal University of Technology - Paraná interviews Kris Micinski, an Assistant Professor at Syracuse University and the Co-chair of the Scheme Workshop 2024. They delve into Kris's journey from earning a Bachelor's degree in Electrical and Computer Engineering to pursuing a PhD in Computer Science. Kris shares his motivations for choosing an academic career, discusses the significance of the Scheme program...
An interview with Herminio Torres at Code BEAM America 2022 (in Portuguese)
May 13, 2024 17:25 - 3 minutes - 3.57 MBI went to Code BEAM America 2022 https://codebeamamerica.com/archives/CBA_2023/index.html (you can watch my talk with Lucas Tavano here https://youtu.be/zvS1Uj3_UTE ) and interviewed Herminio Torres, a software engineer at Simplebet (https://www.simplebet.ai/ ). You can find Herminio at: https://www.linkedin.com/in/herminiotorres/ https://twitter.com/herminiotorres https://github.com/herminiotorres In the interview we mentioned: Surface https://github.com/surface-ui/surface Liv...
Erlang Workshop, Erlang, and OTP with Kiko Fernandez-Reyes
May 08, 2024 16:33 - 24 minutes - 22.3 MBIn this episode of the Professor Adolfo Neto podcast, Adolfo Neto sits down with Kiko Fernández-Reyes, a Computer Science Engineer and Programming Languages Researcher at Ericsson, to delve into the world of Erlang, OTP (Open Telecom Platform), and programming languages. Kiko shares his academic journey, from studying Computer Science at Universidad de Málaga to pursuing a PhD in programming languages at Uppsala University in Sweden. He discusses the motivations behind his transition from a...
Empowering Learning: Peter Ullrich's Journey from Psychology to Indie Courses
April 30, 2024 04:00 - 33 minutes - 30.4 MBIn this episode of the Professor Adolfo Neto Podcast, Adolfo sits down with Peter Ullrich, founder of Indie Courses and a senior Elixir engineer, for an engaging discussion about his unique journey from psychology to software engineering. Peter shares his early passion for building things, which eventually led him to pursue a bachelor's degree in psychology followed by a master's degree in software engineering and distributed systems. He recounts how he discovered Elixir during his first job ...
Elixir Enthusiasm: Insights from Senior Software Engineer Eduardo Borsa
April 03, 2024 18:13 - 23 minutes - 21.3 MBJoin Professor Adolfo Neto in this episode of the podcast as he delves into the world of Elixir with Eduardo Borsa, a Senior Software Engineer at Loomis, Sayles & Company. Eduardo shares his journey into software engineering and his early encounters with Elixir, highlighting the factors that sparked his interest in the language. As they discuss Eduardo's role at Loomis, Sayles & Company, listeners gain insights into the projects Eduardo is involved in and the technologies he finds both excit...
Exploring Erlang, Elixir and Beyond: A Conversation with Professor Laura Castro
March 18, 2024 19:06 - 26 minutes - 24.3 MBIn this episode of the Professor Adolfo Neto podcast, join me, Adolfo, as we sit down with Laura Castro. Laura is a distinguished professor at Universidade da Coruña (UDC), Spain, and the chair of Cátedra CICAS, a collaborative project aimed at advancing Open Science through Software. She is involved in the BEAM (Erlang and Elixir) community and is a member of the Erlang Ecosystem Foundation. During our conversation, Laura shares her journey into Erlang and Elixir, her role at the Universi...
An interview with Sophie DeBenedetto at Code BEAM America 2022
March 04, 2024 18:16 - 5 minutes - 4.62 MBI went to Code BEAM America 2022 https://codebeamamerica.com/archives/CBA_2023/index.html (you can watch my talk with Lucas Tavano here https://youtu.be/zvS1Uj3_UTE ) and interviewed Sophie DeBenedetto, a software developer at GitHub. You can find Sophie at: http://sophiedebenedetto.nyc/ https://www.linkedin.com/in/sophiedebenedetto/ https://github.com/SophieDeBenedetto In the interview we mentioned: ElixirChatt https://grox.io/mentor_programs Erlang Ecosystem Foundation https://er...
An interview with Mackenzie Morgan at Code BEAM America 2022
February 28, 2024 18:00 - 2 minutes - 2.34 MBI went to Code BEAM America 2022 https://codebeamamerica.com/archives/CBA_2023/index.html (you can watch my talk with Lucas Tavano here https://youtu.be/zvS1Uj3_UTE ) and interviewed Mackenzie Morgan, a software developer at NextRoll. You can find Mackenzie at: https://mackenzie.morgan.name/ https://github.com/maco https://www.tiktok.com/@maco.nix Mackenzie's talk at Code BEAM America 2022 was "Typing with pixie dust" https://youtu.be/-hcvGTwPLFI I thank Erlang Solutions, Code Syn...
Elixir, Education, and Beyond: A Conversation with Rickson Oliveira, Software Engineer at ateliware
February 19, 2024 04:00 - 33 minutes - 31 MBIn this episode of the Professor Adolfo Neto podcast, join me, Adolfo, as we sit down with Rickson Oliveira. Rickson is a Software Engineer at ateliware, a company from Curitiba, where I live. Rickson works in technologies such as Elixir, Phoenix, LiveView, and JavaScript. He also happens to be a former student of ELXPRO, an Elixir course whose creator, Gustavo Oliveira, I had the pleasure of interviewing in a previous episode ( https://youtu.be/bTUVIXg3Z28 ). If you're curious and ready ...
An interview with Carlo Gilmar at Code BEAM America 2022
January 30, 2024 16:01 - 3 minutes - 3.45 MBI went to Code BEAM America 2022 https://codebeamamerica.com/archives/CBA_2023/index.html (you can watch my talk with Lucas Tavano here https://youtu.be/zvS1Uj3_UTE) and interviewed Carlo Gilmar, the creator of many graphic recordings which are loved by the BEAM community. I thank Erlang Solutions, Code Sync, Erlang Ecosystem Foundation and UTFPR for the support. Cameraperson: Wiviane Nallin If you're curious and ready to take your Elixir language skills to the next level, check out my a...
Learning Elixir with ELXPRO - Gustavo Oliveira
December 18, 2023 18:43 - 23 minutes - 21.1 MBIn this episode of the Professor Adolfo Neto podcast, join me, Adolfo, as we sit down with Gustavo Oliveira, creator of ELXPRO, an advanced Elixir course. We uncover Gustavo's Elixir journey and the inspiration behind ELXPRO. Delve into the current landscape of Elixir developers as Gustavo shares market insights and dispels myths about opportunities for developers at different levels. Watch on YouTube at https://youtu.be/bTUVIXg3Z28. The spotlight then turns to ELXPRO itself. Gustavo walks...
Republicação FES: Aprendizado de Máquina em Engenharia de Software com Mauricio Aniche
December 08, 2023 11:31 - 1 hour - 59 MBEpisódio originalmente publicado no Fronteiras da Engenharia de Software. Link: https://podcasters.spotify.com/pod/show/fronteirases/episodes/18-Aprendizado-de-Mquina-em-Engenharia-de-Software--com-Maurcio-Aniche-TU-Delft-e1acmcc --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
FES 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) - republicação
November 21, 2023 04:00 - 1 hour - 72.1 MBRepublicação do episódio 41 do podcast Fronteiras da Engenharia de Software, em que entrevistei Leonardo de Moura. Republico aqui, pois foi neste podcast minha primeira entrevista com Leonardo: Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research https://podcasters.spotify.com/pod/show/adolfont/episodes/Raciocnio-Automatizado-com-Leonardo-de-Moura--Pesquisador-na-Microsoft-Research-e1anc8j --- Send in a voice message: https://podcasters.spotify.com/pod/show...
A linguagem de programação Lean - Trecho do episódio 32 do podcast Elixir em Foco
October 31, 2023 18:53 - 3 minutes - 3.25 MBO episódio 32 completo de Elixir em Foco está aqui https://www.youtube.com/watch?v=LaN6XzyCqao e aqui https://podcasters.spotify.com/pod/show/elixiremfoco Minha entrevista com Leonardo de Moura está aqui https://youtu.be/bwKFcLaeD1A?si=xAXdG8Ahj9JuVMZ4 #Lean --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
A Semana de Trabalho de um Dia de Edsger Dijkstra
August 11, 2023 17:34 - 6 minutes - 5.53 MBEdsger Dijkstra’s One-Day Workweek https://calnewport.com/edsger-dijkstras-one-day-workweek/ --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Podcast Diálogo Ágil - Episódio #2 - Robson Valentim
August 09, 2023 15:38 - 31 minutes - 29.1 MB"Episódio de podcast gravado para a disciplina de Metodologias Ágeis Para O Desenvolvimento De Software ministrada pelo Prof. Dr. Adolfo Neto; apresentado por Breno Abreu e Samuel Valentim, estudantes de BSI na UTFPR Curitiba. Neste episódio conversamos com Robson Valentim, desenvolvedor na Companhia de Tecnologia da Informação e Comunicação do Paraná (CELEPAR). #podcast #metodosageis #agile" Este episódio está no YouTube em https://www.youtube.com/watch?v=VPmnE8psyUs. Os três episódios ...
Podcast Diálogo Ágil - Episódio #3 - Gustavo Tenius
July 13, 2023 13:05 - 30 minutes - 27.9 MBEste é um episódio do podcast Diálogo Ágil, feito pelos alunos Breno Abreu e Samuel Valentim, estudantes do curso de Bacharelado em Sistemas de Informação na UTFPR Curitiba. O podcast foi feito como trabalho final da disciplina Metodologias Ágeis para o Desenvolvimento de Software. Neste episódio, Breno e Samuel conversaram com Gustavo Tenius, líder de melhoria contínua e qualidade na Solvay Brasil (https://www.linkedin.com/in/gustavotenius/). Os três episódios do podcast estão em https://w...
Painel de debate - Comunicação entre a academia e a indústria
June 15, 2023 14:15 - 1 hour - 96.2 MBPainel de debate sobre a comunicação entre a academia e a indústria. Transmitido originalmente em https://www.youtube.com/live/DBi8qg08uYc. Algumas questões que serão abordadas incluem: O que é um Pitch? O que é um Pitch acadêmico/científico? Qual é a estrutura de um Pitch? Linguagem para parcerias científica ou de empresas? Participantes: Samara Avelar - Jornalista da UFLA Jornalista e especialista em Gestão Estratégica da Comunicação pela PUC Minas, mestra em Administração Pública pela ...
"Há limites para a Inteligência Artificial? Sobre a Filosofia no caso ChatGPT", com Walter Carnielli e mediação de Marcos Silva
March 20, 2023 16:51 - 1 hour - 68.2 MBEste episódio é a republicação do áudio de uma live que aconteceu em 18/03/2023 no canal do Coletivo Lógica Viva. Caso prefira ver as imagens, acesse https://www.youtube.com/live/pyrbJi_QEac. Abaixo a descrição da live: O Lógica Viva convida você para mais uma live! Você já ouviu falar em ChatGPT? É um tema em alta, com muita gente falando sobre. Mas você tem conseguido acompanhar bem o debate? Nesta live, o Prof. Walter Carnielli vai discutir junto com o Prof. Marcos Silva sobre o ChatGP...
Por que usar @typespecs em seu código Elixir?, por Rômulo Silva
February 28, 2023 20:30 - 29 minutes - 26.7 MBVídeo no YouTube que acompanha este episódio: https://youtu.be/Kl5iStovPJo Blog post https://dev.to/rohlacanna/por-que-usar-typespecs-em-seu-codigo-elixir-4id7 Rômulo Silva https://www.linkedin.com/in/rohlacanna/ Adolfo Neto https://www.linkedin.com/in/adolfont Post do Rômulo no Linkedin https://www.linkedin.com/in/rohlacanna?miniProfileUrn=urn%3Ali%3Afs_miniProfile%3AACoAACr1lvwBqnBrMmtvFGT8uMr2GcBM38mKNpE&lipi=urn%3Ali%3Apage%3Ad_flagship3_detail_base%3BuXSZ0u3wT3eVS5opsROgCQ%3D%3D -...
Francisco Antonio Dória, Professor Emérito da UFRJ
February 16, 2023 03:00 - 1 hour - 57.1 MBEntrevistei Francisco Antonio Dória, Professor Emérito da UFRJ e pesquisador com publicações nas áreas de Lógica, Matemática e outras. Veja no YouTube: https://youtu.be/2RD1mzUhDkc Escute no Anchor: https://anchor.fm/adolfont/episodes/Francisco-Antonio-Dria--Professor-Emrito-da-UFRJ-e1v1c9v Links do professor Dória: Wikipédia lusófona: https://pt.wikipedia.org/wiki/Francisco_D%C3%B3ria Wikipedia https://en.wikipedia.org/wiki/Francisco_D%C3%B3ria Google Scholar: https://scholar.google....
"Elixir, sete passos para iniciar sua viagem", de Lorena Mireles
February 13, 2023 21:47 - 14 minutes - 13 MBNeste episódio eu falo sobre o texto "Elixir, 7 pasos para iniciar tu viaje", de Lorena Mireles https://www.erlang-solutions.com/blog/elixir-7-pasos-para-iniciar-tu-viaje/ Este vídeo no YouTube: https://youtu.be/xXvIMfrcS6g Lorena Mireles https://twitter.com/loreniuxmr Elixir v1.14 released https://elixir-lang.org/blog/2022/09/01/elixir-v1-14-0-released/ 10 Years of Elixir http://adolfont.github.io/service/events/10YearsOfElixir/ Elixir v0.5.0 https://github.com/elixir-lang/elixir/relea...
Conceitos básicos para programação funcional
October 26, 2022 15:29 - 20 minutes - 18.6 MBConceitos básicos para programação funcional https://youtu.be/L4HPfwr1y3g Basic concepts for functional programming https://github.com/adolfont/caes005-introduction-to-functional-programming/blob/master/2022/01_introduction.md Basic concepts for functional programming https://youtu.be/wTPfqpbFPQk Tweet de Iago Effting https://twitter.com/iagoEffting/status/1584936391863324672 Café com Elixir https://www.getrevue.co/profile/iagoeffting EEF https://erlef.org/ --- Send in a voice messag...
Meu tempo em Raleigh: participação em Meetups
October 24, 2022 23:58 - 10 minutes - 9.59 MBEste é um episódio bem diferente dos que normalmente faço. Estou relembrando o período, de abril de 2014 a abril de 2015, que passei em Raleigh, na Carolina do Norte, Estados Unidos da América. Vídeo no YouTube https://youtu.be/xCQo6PtGmAg Alguns links: Laurie Williams https://collaboration.csc.ncsu.edu/laurie/ NC State https://ncsu.edu/ Duke https://duke.edu/ UNC https://www.unc.edu/ RTP https://en.wikipedia.org/wiki/Research_Triangle_Park- Meetups em Raleigh https://www.meetup.com...
Esper Cavalheiro: Habilidades de um doutor (Revista FAPESP)
October 05, 2022 12:11 - 15 minutes - 15 MBNeste episódio, li o texto "Esper Cavalheiro: Habilidades de um doutor". É permitida a republicação desta reportagem em meios digitais de acordo com a licença Creative Commons CC-BY-NC-ND. É obrigatório o cumprimento da Política de Republicação Digital de Conteúdo de Pesquisa FAPESP, aqui especificada. Em resumo, o texto não deve ser editado e a autoria deve ser atribuída, assim como a fonte (Pesquisa FAPESP). O uso do botão HTML permite o atendimento a essas normas. Em caso de reprodução a...
Computação evolucionária de alto desempenho com aceleração baseada em tensores
July 14, 2022 14:08 - 38 minutes - 35.3 MBEste episódio está como vídeo completo em meu canal do YouTube: https://youtu.be/AbDlvveLDgU. O artigo analisado é "High performance evolutionary computation with tensor-based acceleration", cujos autores são onatan Kłosko, Mateusz Benecki, Grzegorz Wcisło, Jacek Dajda e Wojciech Turek. Link: https://dl.acm.org/doi/10.1145/3512290.3528753. Tensor Processing Unit: https://en.wikipedia.org/wiki/Tensor_Processing_Unit. Tensor: https://en.wikipedia.org/wiki/Tensor. Meow: https://www.youtube...
Edward Petkovicz - Program Manager na Amazon (Egressos do DAINF)
June 21, 2022 15:08 - 1 hour - 43.4 MBEste é o áudio de uma entrevista publicada no canal BSI DAINF https://youtu.be/Kvhy2p3CEOQ. Edward Petkovicz é egresso do curso de Bacharelado em Sistemas de Informação da UTFPR Curitiba e atua como Program Manager na Amazon, EUA. O entrevistador foi Luca Nozzoli, aluno de Engenharia de Computação da UTFPR Curitiba. O professor Adolfo Neto supervisionou e editou esta entrevista. Você pode saber mais sobre o Edward em seu Linkedin: https://www.linkedin.com/in/edwardpetkovicz/ Indicações ...
Iván Álvarez, Software Developer at Resuelve tu Deuda, México (EN)
June 15, 2022 12:20 - 45 minutes - 42.5 MBIn this episode of the Professor Adolfo Neto podcast, the first one fully in English, I interviewed Iván Álvarez, a software developer in Mexico. He currently is a Team Lead at Resuelve tu Deuda. We talked about his story as a software developer and many topics related to Elixir. Iván's Linkedin: https://www.linkedin.com/in/ivanalvarezfrias/ Ivánś Twitter: https://twitter.com/ivanhoe My Linkedin: https://www.linkedin.com/in/adolfont My Twitter: https://twitter.com/adolfont --- Send i...
Podcurso de Elixir - Aula 1 - Parte 2 - Básico
April 27, 2022 19:18 - 18 minutes - 17.2 MBLição "Básico" na Elixir School https://bit.ly/3k9Ek3V Exercícios e links extras: https://bit.ly/3KetoN2 --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Podcurso de Elixir - Aula 1 - Parte 1 - Básico
April 25, 2022 20:04 - 27 minutes - 25.1 MBLição "Básico" na Elixir School https://bit.ly/3k9Ek3V Exercícios e links extras: https://bit.ly/3KetoN2 --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Informações Iniciais sobre Introdução à Lógica para a Computação (versão 2022)
March 22, 2022 12:17 - 2 minutes - 2.64 MBPágina da disciplina: https://logicaparacomputacao.github.io/ --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
RS Entrevista Professor Adolfo Neto
March 06, 2022 14:15 - 1 hour - 55.3 MBEsta é a republicação de um episódio que foi publicado no podcast Rúben Salomão Entrevista em 16/07/2020: Link para o resumo: http://www.rubensalomao.me/2020/07/rs-entrevista-professor-adolfo-neto.html (cópia perene em https://archive.is/ABhXk). Sigam o Rúben Salomão em https://www.instagram.com/rubensalomao/. Resumo do episódio escrito pelo Rúben: "No episódio de hoje converso com Adolfo Neto (@adolfont), falamos um pouco da sua vida, sua carreira dentro da academia e suas experiências...
José Valim no Elixir em Foco
March 02, 2022 19:29 - 8 minutes - 8.24 MBLink para o episódio completo: https://anchor.fm/elixiremfoco/episodes/Elixir-em-Produo--com-Jos-Valim-Dashbit-e1edp6t --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Curso de Elixir Sequencial - Março 2022
February 28, 2022 16:28 - 1 minute - 1.09 MBLink para informações e inscrições https://cursosdeextensao.ct.utfpr.edu.br/curso-de-elixir-sequencial/ Vídeo sobre o Curso de Elixir Sequencial - Março 2022 https://youtu.be/w0_sT8HTu5A Meu perfil no Twitter https://twitter.com/adolfont --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Entrevista com a equipe da UTFPR Curitiba classificada para a Final da Maratona de Programação
December 08, 2021 18:55 - 41 minutes - 38.8 MBEntrevistei a equipe Programmeurs: end(0) da UTFPR Curitiba, classificada para a Final Brasileira da Maratona de Programação. Veja no YouTube em https://youtu.be/f9ZWdnUV7CU. Técnico da equipe: professor Leandro Zatesko https://pessoal.dainf.ct.utfpr.edu.br/zatesko/ Integrantes: Gabriel Frizzo, Gustavo Guedes e Felipe Wolter, estudantes de Engenharia de Computação da UTFPR Curitiba. Clube de Programação http://cdp.dainf.ct.utfpr.edu.br/ Grupo no TELEGRAM: https://t.me/joinchat/H2HN-cqDd...
Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
November 23, 2021 19:52 - 1 hour - 83.3 MBLeonardo de Moura https://www.microsoft.com/en-us/research/people/leonardo/ Se preferir ver esta entrevista em vídeo, ela está em https://youtu.be/bwKFcLaeD1A. Lean https://leanprover.github.io/ Zulip do Lean: https://leanprover.zulipchat.com/login/ Vaga na Microsoft Research https://careers.microsoft.com/us/en/job/1203686/Research-Software-Engineer-Formal-Methods-Microsoft-Research Contribuidores nas perguntas: Walter Carnielli e Adair Antonio Da Silva Neto Adolfo Neto no Twitter http...
Valdemar W. Setzer em "IA - Inteligência Artificial ou Imbecilidade Automática? Máquinas pode pensar e sentir?
October 07, 2021 10:59 - 2 hours - 117 MBEsta é a gravação de uma palestra que aconteceu em 05/10/2021. O ministrante foi Valdemar W. Setzer, Professor Titular Senior da Universidade de São Paulo (USP)> Link direto para o vídeo: https://youtu.be/-eofjKL-N1Y. O vídeo contém também a parte de perguntas e respostas da plateia. Notícia no portal do PPGCA UTFPR https://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/ia-inteligencia-artificial-ou-imbecilidade-automatica --- Send in a voice message: https://p...
Barack Obama usa Elixir? Mensagens sociais com Elixir na empresa Community
September 22, 2021 18:34 - 24 minutes - 22.8 MBLink para o vídeo: https://youtu.be/5m871ogsQWc Texto: Social messaging with Elixir at Community February 03, 2021 · by José Valim https://elixir-lang.org/blog/2021/02/03/social-messaging-with-elixir-at-community/ --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Novos episódios dos podcasts Elixir em Foco, Fronteiras da Engenharia de Software e Emílias Podcast
July 16, 2021 12:24 - 1 minute - 972 KBMelissa Weber Mendonça: matemática e desenvolvedora de software na Quansight https://anchor.fm/emilias-podcast/episodes/Melissa-Weber-Mendona-matemtica-e-desenvolvedora-de-software-na-Quansight-e13lhri Elixir em Produção com Paulo Valente, Backend Tech Leader na Stone https://anchor.fm/elixiremfoco/episodes/Elixir-em-Produo-com-Paulo-Valente--Backend-Tech-Leader-na-Stone-e13kt6p Estimativas de Software com Emilia Mendes (Blekinge Institute of Technology) https://anchor.fm/fronteirases/e...
Walter Carnielli comenta e indica dois livros de Lógica
June 30, 2021 15:39 - 8 minutes - 7.65 MBEste é o áudio deste vídeo: https://youtu.be/gbjI5akIeQE Entrevista completa com Walter Carnielli: https://youtu.be/FBrExIIO6Hk Livros: Games for Your Mind: The History and Future of Logic Puzzles by Jason Rosenhouse https://www.amazon.com/Games-Your-Mind-History-Puzzles-ebook/dp/B08DL91KVR The Significance of the New Logic, Willard Van Orman Quine https://www.amazon.com.br/Significance-Logic-Willard-Orman-Quine/dp/1316631168/ Leia também Computabilidade, Funções Computáveis, Lógic...
Walter Carnielli: Professor de Lógica da UNICAMP
June 25, 2021 19:44 - 1 hour - 73 MBConversei com Walter Carnielli, bolsista de produtividade 1B do CNPq, Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas. Esta entrevista está no YouTube em https://youtu.be/FBrExIIO6Hk. Links do professor Carnielli: - Site https://www.cle.unicamp.br/prof/carnielli/, - Página na Wikipedia https://en.wikipedia.org/wiki/Walter_Carnielli, - CV Lattes http://lattes.cnpq.br/1055555496835379, - Página na Amazon https://www.amazon.com/Walter-A-Carnielli/e/B001H...
Spawnfest 2021, com Filipe Varjão e Paulo F. Oliveira
May 04, 2021 17:41 - 33 minutes - 30.8 MBEste é um episódio extra em que conversei com Filipe Varjão e Paulo F. Oliveira sobre a Spawnfest 2021 https://spawnfest.org/, uma competição para equipes que desenvolvem em linguagens que rodam na BEAM, a máquina virtual da linguagem Erlang. É o áudio de um vídeo que está no meu canal no YouTube em https://youtu.be/KphxN-0rlXY. Gostou do conteúdo? Escute o podcast Elixir em Foco! https://elixiremfoco.com/ Filipe foi entrevistado aqui em https://anchor.fm/adolfont/episodes/Filipe-Varjo-En...
Elixir e Empreendedorismo com Alfred Reinold Baudisch
April 14, 2021 14:53 - 1 hour - 65 MBAlfred Reinold Baudisch é Desenvolvedor de Software e Empreendedor. Atualmente está como Senior Software Engineer na FarmBackup / (ver https://www.linkedin.com/in/alfred-reinold-baudisch-6b1a731a/ e https://www.linkedin.com/company/farmbackup/) CTO na FredBots. Links: Canal no YouTube: https://www.youtube.com/alfredbaudisch Site pessoal: https://alfredbaudisch.com/ Medium: https://alfredbaudisch.medium.com Twitter: https://twitter.com/alfredbaudisch Pesca Dinâmica: https://youtube.com...
Inteligência Artificial com Marcelo Finger, Professor Titular da USP
March 17, 2021 15:51 - 1 hour - 60.2 MBMarcelo Finger é Professor Titular da Universidade de São Paulo e Pesquisador Principal no C4AI - Center for Artificial Intelligence https://c4ai.inova.usp.br/. O vídeo desta entrevista está em https://youtu.be/lI6KbV_Q0OE. Links do Marcelo Finger: Página https://www.ime.usp.br/~mfinger/ LIAMF https://liamf-usp.github.io/liamf-page/ Publicações https://scholar.google.com.br/citations?user=uuu73GEAAAAJ SPIRA https://jornal.usp.br/ciencias/ferramenta-computacional-detecta-doenca-por-meio-...
Arthur Schopenhauer seguiu a mesma rotina todo dia por 27 anos
March 10, 2021 12:42 - 5 minutes - 4.66 MBLink para o texto: https://subtlemaneuvers.substack.com/p/arthur-schopenhauer-daily-routine --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Arnaldo Carvalho de Melo: Senior Principal Software Engineer na Red Hat e um dos fundadores da Conectiva
December 17, 2020 09:34 - 1 hour - 63.2 MBArnaldo Carvalho de Melo é Senior Principal Software Engineer na Red Hat desde 2007. Ele é mantenedor das ferramentas de observabilidade (perf tools) do Linux e foi um dos co-fundadores da Conectiva, uma empresa fundada em 1995 em Curitiba. A Conectiva criou a distribuição Conectiva Linux, uma das distribuições pioneiras de Linux, feita no Brasil. A gravação da entrevista está em https://youtu.be/JriUR7k-qKE. Arnaldo no Twitter: https://twitter.com/acmel Arnaldo no LinkedIn: https://www.l...
Q&A with Brujo Benavides - Introduction to Functional Programming
November 12, 2020 22:17 - 1 hour - 52.7 MBBrujo (Fernando) Benavides is an Erlang Developer & Trainer who work as a Staff Software Engineer at NextRoll, Inc. (formerly AdRoll Group). Links e vídeo no YouTube https://youtu.be/6MTSl2OArd0 --- Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message
Charlotte de Oliveira: Engenheira de Software Senior especialista em Elixir
October 09, 2020 14:23 - 1 hour - 97.9 MBConversei com Charlotte de Oliveira sobre sua carreira e sobre Elixir. Você pode encontrar a Charlotte de Oliveira no Twitter https://twitter.com/umamaistempo, no Telegram http://t.me/umamaistempo e no LinkedIn https://www.linkedin.com/in/umamaistempo/. Ela é participante dos dois grupos de Elixir no Telegram: https://t.me/elixirbr e https://t.me/elixirbr_offtopic. Eu criei um outro grupo, em inglês: https://t.me/elixir_world. Canal da Charlotte: https://www.youtube.com/channel/UCv3KvwpQG0...
Diego Aranha: Professor na Universidade de Aarhus, Dinamarca
September 09, 2020 21:20 - 1 hour - 83.6 MBDiego Aranha (https://twitter.com/dfaranha) é Professor Associado de Engenharia Criptográfica e Segurança de Redes na Universidade de Arrahus, na Dinamarca, e já foi professor da UnB e da Unicamp. Conversamos sobre voto eletrônico, blockchain, problemas de pesquisa em criptografia e, como é característica deste podcast, como ele se interessou pela computação e como foi sua carreira até hoje. Esta entrevista foi gravada em vídeo e está em https://youtu.be/JnM7bDqWR18 Alguns dos temas: ...