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

<a href="https://dl.acm.org/doi/10.1145/3677995.3678196" target="_blank" rel="ugc noopener noreferrer">https://dl.acm.org/doi/10.1145/3677995.3678196</a>

Learning Lean in the Age of Artificial Intelligence

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.