Episodes

  • Elixir Curitiba 2025

    Elixir Curitiba 2025
    Oct 22 2025

    Cupom de desconto ELIXIREMFOCO em https://embedstore.ingresse.com/tickets/www.ingresse.com/event/86534?coupon=ELIXIREMFOCOSite do evento: https://curitiba.elixiremfoco.com/00:00 Apresentação da Elixir Curitiba01:40 Programação da Elixir Curitiba06:16 História dos eventos de Elixir no Brasil
    Show More Show Less
    12 mins
  • From Diplomacy to OTP: Mackenzie Morgan's Path to Erlang and Elixir

    From Diplomacy to OTP: Mackenzie Morgan's Path to Erlang and Elixir
    Oct 10 2025

    In this episode of Elixir in Focus, part of the SE4FP 2025 warm-up series, host Adolfo Neto welcomes Mackenzie Morgan, a senior backend engineer at Level All. Mackenzie shares her journey into technology, which began with a focus on Japanese and International Affairs at university. She recounts how the "siren song of the computer lab" and a scheduling conflict between an algorithms class and a Japanese class ultimately led her to a computer science degree — a path she had already begun exploring through her contributions to the Ubuntu project as an undergraduate.

    Mackenzie describes herself like this:

    “I'm a programmer who writes Elixir and Erlang. Former Ubuntu developer. I enjoy languages, Argentine tango (especially queer tango!), historic costuming, and photography. Washington Spirit & USWNT fan ⚽.”

    Website: https://wandering.shop/@maco

    🎥 Original livestream: https://www.youtube.com/watch?v=ZuA5XwGWnqE
    🌐 Elixir em Foco website: https://elixiremfoco.com/index_en.html

    The Erlang Ecosystem Foundation supports the Elixir em Foco podcast by funding the software we use to record the episodes. The Erlang Ecosystem Foundation is a non-profit organization supported by over 1,000 members who embrace its model of collaborative Working Groups and community-building events. EEF members include industry leaders dedicated to advancing the state of the art for Erlang, Elixir, LFE, and other BEAM-based technologies.

    👉 Join the Erlang Ecosystem Foundation: https://bit.ly/3Sl8XTO
    Show More Show Less
    1 hr and 6 mins
  • A Máquina da Natureza - Conversa com André L. Vignatti (UFPR), autor do livro vencedor do Jabuti Acadêmico Computação 2025

    A Máquina da Natureza - Conversa com André L. Vignatti (UFPR), autor do livro vencedor do Jabuti Acadêmico Computação 2025
    Oct 3 2025
    Neste episódio do podcast Professor Adolfo Neto, da Rede Emílias de Podcast, o professor André L. Vignatti (UFPR) é entrevistado por Gustavo Lugo, Larissa Behrens e Adolfo Neto sobre seu livro "A Máquina da Natureza - Uma Perspectiva Cronológica da Ciência da Computação Teórica", vencedor do prêmio Jabuti Acadêmico na área de Computação em 2025. O professor Vignatti explica que o título do livro reflete sua crença de que a computação foi descoberta, não inventada, sendo um fenômeno natural. Ele destaca que o livro busca desmistificar o formalismo da área, tornando os conceitos acessíveis, o que tem atraído muitos alunos para sua disciplina "Grandes Ideias da Computação Teórica" na UFPR. Gustavo Lugo elogia a abordagem do livro por sua beleza e sensibilidade, enquanto Larissa Behrens enaltece a escrita acessível. O professor Vignatti também discute a importância do não determinismo e da aleatoriedade na computação para explicar fenômenos naturais e na evolução de algoritmos. Ele compartilha a decisão de ter versões colorida e preto e branco do livro, ressaltando a importância de valorizar a produção nacional e incentivar a paixão pela computação. A conversa se estende para a preferência por livros físicos, enfatizando seus benefícios cognitivos.Página de André Vignattihttps://www.inf.ufpr.br/vignatti/ CV Lattes http://lattes.cnpq.br/1944386300029937 Links para comprar o livroA Máquina da Natureza (colorido) na Amazon - https://amzn.to/3WmIVCU A Máquina da Natureza (preto e branco) na Amazon - https://amzn.to/4mQtPRd A Máquina da Natureza (colorido) no Clube de Autores - https://clubedeautores.com.br/livro/a-maquina-da-natureza-edicao-luxo-colorida A Máquina da Natureza (preto e branco) no Clube de Autores - https://clubedeautores.com.br/livro/a-maquina-da-natureza-2 André Vignatti leva a profundidade da ciência da computação teórica ao Prêmio Jabutihttps://www.c3sl.ufpr.br/2025/08/26/andre-vignatti-leva-a-profundidade-da-ciencia-da-computacao-teorica-ao-premio-jabuti/ Artigos:Citation Analysis Disparity Between Sub-Areas of Brazilian Computer Sciencehttps://sol.sbc.org.br/index.php/brasnam/article/view/29330 Beyond Boundaries: Collaboration Networks and Research Output in Brazilian Computer Sciencehttps://sol.sbc.org.br/index.php/brasnam/article/view/36367 Uma Introdução à Computação Quânticahttps://ic.unicamp.br/~bit/arquivos/tg.pdf Livro de professora da UTFPR é finalista do Jabuti Acadêmicohttps://www.utfpr.edu.br/noticias/geral/livro-de-professora-da-utfpr-e-finalista-do-jabuti-academico Professores da UTFPR são autores de livro semifinalista do prêmio Jabutihttps://www.plural.jor.br/professores-da-utfpr-sao-autores-de-livro-semifinalista-do-premio-jabuti/“A cientista colecionadora de dados – Claudia Maria Bauzer Medeiros”, da editora Inverso.Silvia Amelia Bim, Mirella Moro, Aletéia Araújo e Luciana Salgado, com a ilustração de Paula Prado Muriel. É o primeiro volume da série Meninas Digitais, uma iniciativa do Programa da Sociedade Brasileira da Computação (SBC).https://editorainverso.com.br/produtos/a-cientista-colecionadora-de-dados/https://amzn.to/4mJzIAg Alan Turing: Suas Máquinas e Seus Segredoshttps://amzn.to/427U1PsAda Lovelace, a condessa curiosahttps://editorainverso.com.br/produtos/ada-lovelace-a-condessa-curiosa/ https://amzn.to/4oXP9Gv Livro Papadimitriou https://www.goodreads.com/book/show/138565.Elements_of_the_Theory_of_Computation
    Show More Show Less
    1 hr and 18 mins
  • Império da IA, com Renata Gomes (UFRB) - republicação Emílias

    Império da IA, com Renata Gomes (UFRB) - republicação Emílias
    Sep 16 2025

    Republicamos aqui este episódio do Emílias Podcast - Mulheres na Computação. Para maiores informações, acesse https://www.youtube.com/watch?v=495fRwlBKN0 ou https://open.spotify.com/episode/24COSlalfW6QTdtmCX4adG
    Show More Show Less
    1 hr and 22 mins
  • "No, AI is not Making Engineers 10x as Productive", Colton Voege

    "No, AI is not Making Engineers 10x as Productive", Colton Voege
    Aug 7 2025

    In this episode, I read and comment part of this text "No, AI is not Making Engineers 10x as Productive - Curing Your AI 10x Engineer Imposter Syndrome"


    BlueSky post by Ed Zitron: https://bsky.app/profile/edzitron.com/post/3lvrb4vw35c27
    Show More Show Less
    25 mins
  • Lean FRO Year 3 Roadmap

    Lean FRO Year 3 Roadmap
    Aug 5 2025

    Link to post on Bluesky https://bsky.app/profile/lean-lang.org/post/3lvnybzwsn22k
    Show More Show Less
    12 mins
  • 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/
    Show More Show Less
    8 mins
  • 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
    Show More Show Less
    6 mins