I didn't mention it in the video, but I've already used ChatGPT to ask questions about Lean, and it worked. I had to specify that it was Lean 4 because a significant portion of the material available online is about Lean 3, which is quite different.Links: https://github.com/adolfont https://github.com/adolfont/learning-lean https://lean-lang.org/ https://lean-lang.org/functional_programming_in_lean/title.html Type Theory for All with Leo de Moura https://www.typetheoryforall.com/episodes/z3-and-...
Apr 04, 2025•6 min
Podcast episode generated by NotebookLM from the text of the Unsafe Impedance: Safe Languages and Safe by Design Software paper by Lee Barney and Adolfo Neto https://dl.acm.org/doi/10.1145/3677995.3678196
Oct 13, 2024•18 min
#Elixir #Erlang #BEAM I 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 Dave Lucia, CTO & Co-Founder at TV Labs. You can find Dave (David Lucia) at: https://www.linkedin.com/in/david-lucia-a395441b/ Dave's talk is published at Accessible Time Series data with TimescaleDB | David Lucia | Code BEAM America 2022 https://www.youtube.com/watch?v=sFnoZm89U64 I thank ...
Sep 06, 2024•4 min
#Elixir #Erlang #BEAM I 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 Lee Barney, a Professor of Computer Science at BYU-Idaho https://www.byui.edu/ . You can find Lee at: https://www.linkedin.com/in/barneylee https://www.byui.edu/directories/lee-barney A case study of using FP and Erlang in a Computer Science Curriculum. Lee Barney - Code BEAM America https://ww...
Sep 05, 2024•3 min
In this episode, Professor Adolfo Neto interviews Nicole Novielli, Associate Professor at the University of Bari, about the role of emotions in software engineering. Nicole Novielli's page at the Collaborative Development Group – CDG https://collab.di.uniba.it/nicole/ DBLP profile https://dblp.org/pid/09/1798.html Google Scholar profile https://scholar.google.com/citations?user=XeCgthcAAAAJ Linkedin profile https://www.linkedin.com/in/nicole-novielli-a1131910/ Twitter/X profile https://x.com/nic...
Aug 28, 2024•39 min
In this episode, Professor Adolfo Neto interviews Alexander Serebrenik about diversity and inclusion in software engineering. Alexander begins by sharing his journey into computer science and what motivated him to focus on Social Software Engineering. The conversation highlights the importance of diversity and inclusion, with Alexander explaining how these topics are crucial for fostering innovation and effective problem-solving in software development. He provides examples of the positive impac...
Aug 06, 2024•38 min
In 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 Universit...
Jun 18, 2024•23 min
In 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 programming...
Jun 03, 2024•43 min
I 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 LiveView https://hex...
May 13, 2024•4 min
In 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 academ...
May 08, 2024•24 min
In 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 and...
Apr 30, 2024•33 min
Join 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 e...
Apr 03, 2024•23 min
In 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 University of ...
Mar 18, 2024•27 min
I 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://erlef.org/ Progr...
Mar 04, 2024•5 min
I 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 Sync, Erlang Ecosy...
Feb 28, 2024•3 min
In 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 to take...
Feb 19, 2024•34 min
I 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 affiliat...
Jan 30, 2024•4 min
In 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 us t...
Dec 18, 2023•23 min
Episó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
Dec 08, 2023•1 hr 4 min
Republicaçã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...
Nov 21, 2023•1 hr 19 min
O 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
Oct 31, 2023•4 min
Edsger Dijkstra’s One-Day Workweek https://calnewport.com/edsger-dijkstras-one-day-workweek/
Aug 11, 2023•6 min
"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 do podc...
Aug 09, 2023•31 min
Este é 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://www....
Jul 13, 2023•30 min
Painel 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 Univer...
Jun 15, 2023•1 hr 44 min
Este 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 ChatGPT busc...
Mar 20, 2023•1 hr 14 min
Ví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...
Feb 28, 2023•29 min
Entrevistei 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.com/scholar...
Feb 16, 2023•1 hr 2 min
Neste 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/releases/tag/v...
Feb 13, 2023•14 min
Conceitos 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/...
Oct 26, 2022•20 min
