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

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

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é Vignatti

https://www.inf.ufpr.br/vignatti/ 

CV Lattes http://lattes.cnpq.br/1944386300029937

Links para comprar o livro

A 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 Jabuti

https://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 Science

https://sol.sbc.org.br/index.php/brasnam/article/view/29330 

Beyond Boundaries: Collaboration Networks and Research Output in Brazilian Computer Science

https://sol.sbc.org.br/index.php/brasnam/article/view/36367 

Uma Introdução à Computação Quântica

https://ic.unicamp.br/~bit/arquivos/tg.pdf 

Livro de professora da UTFPR é finalista do Jabuti Acadêmico

https://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 Jabuti

https://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 Segredos

https://amzn.to/427U1Ps

Ada Lovelace, a condessa curiosa

https://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 

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

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

Link to post on Bluesky https://bsky.app/profile/lean-lang.org/post/3lvnybzwsn22k

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

Link:

🎧 Podcasts & software engineering research — a match?  https://bit.ly/PodcastSEResearch 

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