Learning Lean in the Age of Artificial Intelligence

Link: https://adolfont.github.io/teaching/2025/caes005/resources/

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/adolfonthttps://github.com/adolfont/learning-leanhttps://lean-lang.org/https://lean-lang.org/functional_programming_in_lean/title.htmlType Theory for All with Leo de Mourahttps://www.typetheoryforall.com/episodes/z3-and-lean-the-spiritual-journey

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

#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 Erlang Solutions, Code Sync, Erlang Ecosystem Foundation and UTFPR for supporting this series of interviews. Cameraperson: Wiviane Nallin If you're curious and ready to take your Elixir language skills to the next level, check out my affiliate link to the ELXPRO course https://go.hotmart.com/F73840549I Learn more about CODE SYNC conferences at https://codesync.global/

#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://www.youtube.com/watch?v=xf7byQEXmv8 In the interview we mentioned: Erlang Ecosystem Foundation https://erlef.org/ Erlang Ecosystem Foundation Education WG https://erlef.org/wg/education I thank Erlang Solutions, Code Sync, Erlang Ecosystem Foundation and UTFPR for supporting this series of interviews. Cameraperson: Wiviane Nallin If you're curious and ready to take your Elixir language skills to the next level, check out my affiliate link to the ELXPRO course https://go.hotmart.com/F73840549I Learn more about CODE SYNC conferences at https://codesync.global/

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/nicolenovielli  CBSOFT Keynotes https://cbsoft.sbc.org.br/2024/sbes/palestras/?lang=en   Papers on the use of biometrics for recognition of developers' emotions: - Emotions and perceived productivity of software developers at the workplace (field study) https://scholar.google.com/citations?view_op=view_citation&hl=pt-BR&user=XeCgthcAAAAJ&cstart=20&pagesize=80&sortby=pubdate&citation_for_view=XeCgthcAAAAJ:1qzjygNMrQYC   - Recognizing developers' emotions while programming (lab study) https://scholar.google.com/citations?view_op=view_citation&hl=pt-BR&user=XeCgthcAAAAJ&cstart=20&pagesize=80&sortby=pubdate&citation_for_view=XeCgthcAAAAJ:K3LRdlH-MEoC   Papers on sentiment analysis for software development: - Sentiment polarity detection for software development https://dl.acm.org/doi/abs/10.1145/3180155.3182519   - Self-Admitted Technical Debt and comments’ polarity: an empirical study https://link.springer.com/article/10.1007/s10664-022-10183-w   ELXPRO is 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 your Elixir skills to the next level, check out my affiliate link to ELXPRO ⁠⁠⁠⁠https://go.hotmart.com/F73840549I⁠⁠   Your exploration not only opens doors to ELXPRO but also supports the future of this podcast. Find me on Linkedin ⁠⁠⁠⁠https://www.linkedin.com/in/adolfont⁠⁠   Find this podcast on audio platforms at ⁠⁠⁠⁠https://podcasters.spotify.com/pod/show/adolfont⁠⁠   Find this podcast on YouTube at ⁠⁠⁠⁠https://www.youtube.com/@elixiradolfont 

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 impact diverse perspectives can have on engineering practices. Alexander also addresses the challenges organizations face in improving diversity and inclusion. He offers practical advice on creating a more inclusive environment, drawing from his extensive experience in the field. For those looking to learn more, he recommends various resources, such as books, blogs, and academic papers. Looking ahead, Alexander mentions his upcoming keynote speech at the Brazilian Symposium on Software Quality (SBQS) and discusses other areas of research he is involved in. He also shares how he stays updated with the latest news in his field through books, blogs, podcasts, and online courses. The episode concludes with Alexander providing final insights on the importance of diversity and inclusion. Adolfo thanks him for his time and valuable contributions, making for an engaging and informative discussion. Listen to the full episode to hear more about Alexander's insights and experiences in promoting diversity and inclusion in software engineering. Alexander Serebrenik https://www.tue.nl/en/research/researchers/alexander-serebrenik   https://www.win.tue.nl/~aserebre/   https://x.com/aserebrenik   SBQS https://sbqs.sbc.org.br/2024/index.php/en-us/keynotes  https://sbqs.sbc.org.br/2024/index.php/en-us/  Gender and Tenure Diversity in GitHub Teams https://cmustrudel.github.io/papers/chi15.pdf   Bridging Gaps, Building Futures: Advancing Software Developer Diversity and Inclusion Through Future-Oriented Research https://arxiv.org/abs/2404.07142  Unveiling Diversity: Empowering OSS Project Leaders with Community Diversity and Turnover Dashboards https://arxiv.org/abs/2312.08543   ELXPRO is 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 your Elixir skills to the next level, check out my affiliate link to ELXPRO ⁠⁠⁠⁠https://go.hotmart.com/F73840549I⁠⁠   Your exploration not only opens doors to ELXPRO but also supports the future of this podcast. Find me on Linkedin ⁠⁠⁠⁠https://www.linkedin.com/in/adolfont⁠⁠   Find this podcast on audio platforms at ⁠⁠⁠⁠https://podcasters.spotify.com/pod/show/adolfont⁠⁠   Find this podcast on YouTube at ⁠⁠⁠⁠https://www.youtube.com/@elixiradolfont  

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 University. She explains what motivated her to pursue a career in academia over industry. The conversation then shifts to the topic of Ethics in Software Engineering. Brittany defines ethics and provides examples of unethical practices in software development. She emphasizes the responsibility of software engineers to ensure their algorithms do not perpetuate bias or discrimination and offers advice on how to develop ethically minded software. In addition to her work on ethics, Brittany briefly discusses other research topics she explores and what prospective PhD students can expect when working with her. The episode concludes with Brittany sharing how she stays updated in her field through various resources like books, blogs, podcasts, and academic papers. Professor Adolfo Neto thanks Brittany for her valuable insights and wraps up the session by expressing gratitude to the listeners. Dr. Brittany Johnson-Matthews ⁠https://cs.gmu.edu/~johnsonb/ ⁠ ELXPRO is 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 your Elixir skills to the next level, check out my affiliate link to ELXPRO ⁠⁠⁠https://go.hotmart.com/F73840549I⁠  Your exploration not only opens doors to ELXPRO but also supports the future of this podcast. Find me on Linkedin ⁠⁠⁠https://www.linkedin.com/in/adolfont⁠  Find this podcast on audio platforms at ⁠⁠⁠https://podcasters.spotify.com/pod/show/adolfont⁠  Find this podcast on YouTube at ⁠⁠⁠https://www.youtube.com/@elixiradolfont⁠

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 language, and provides insights into the upcoming Scheme Workshop 2024. Additionally, Kris talks about his current research and offers advice for prospective PhD students. The conversation wraps up with Kris's methods for staying updated in the fast-evolving field of computer science. Scheme Workshop 2024 https://icfp24.sigplan.org/home/scheme-2024  Kris Micinski's website https://kmicinski.com  ELXPRO is 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 your Elixir skills to the next level, check out my affiliate link to ELXPRO ⁠⁠https://go.hotmart.com/F73840549I  Your exploration not only opens doors to ELXPRO but also supports the future of this podcast. Find me on Linkedin ⁠⁠https://www.linkedin.com/in/adolfont  Find this podcast on audio platforms at ⁠⁠https://podcasters.spotify.com/pod/show/adolfont  Find this podcast on YouTube at ⁠⁠https://www.youtube.com/@elixiradolfont

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://hexdocs.pm/phoenix_live_view/welcome.html  Elixir em Foco (a podcast in Portuguese) https://elixiremfoco.com/en  Erlang Ecosystem Foundation https://erlef.org/  Erlang Solutions  https://www.erlang-solutions.com/  I thank Erlang Solutions, Code Sync, Erlang Ecosystem Foundation and UTFPR for supporting this series of interviews. Cameraperson: Wiviane Nallin If you're curious and ready to take your Elixir language skills to the next level, check out my affiliate link to the ELXPRO course https://go.hotmart.com/F73840549I  Learn more about CODE SYNC conferences at https://codesync.global/