Professor Adolfo Neto Podcast Por Adolfo Neto capa

Professor Adolfo Neto

Professor Adolfo Neto

De: Adolfo Neto
Ouça grátis

Sobre este áudio

 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.Adolfo Neto
Episódios
  • Erlang Ecosystem Foundation GPTs for learning Elixir, Erlang and OTP

    Erlang Ecosystem Foundation GPTs for learning Elixir, Erlang and OTP
    Jul 2 2025

    Link: https://adolfont.github.io/teaching/2025/caes005/resources/
    Exibir mais Exibir menos
    8 minutos
  • Learning Lean in the Age of Artificial Intelligence

    Learning Lean in the Age of Artificial Intelligence
    Apr 4 2025

    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
    Exibir mais Exibir menos
    6 minutos
  • Unsafe Impedance: Safe Languages and Safe by Design Software

    Unsafe Impedance: Safe Languages and Safe by Design Software
    Oct 13 2024

    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
    Exibir mais Exibir menos
    18 minutos

O que os ouvintes dizem sobre Professor Adolfo Neto

Nota média dos ouvintes. Apenas ouvintes que tiverem escutado o título podem escrever avaliações.

Avaliações - Selecione as abas abaixo para mudar a fonte das avaliações.

Avaliações Audible.com.br

Avaliações na Amazon
Nenhuma revisão disponível