Notícias do Elixir em Foco #2: Fim do Thinking Elixir, Prisma e Inferência de Tipos

Olá, estas são algumas notícias da comunidade Elixir e BEAM. Não precisa escutar se não quiser, apenas clique nos links!Apresentador: Adolfo Neto (UTFPR)  https://bsky.app/profile/adolfoneto.elixiremfoco.com Elixir World https://t.me/elixir_worldElixir Brasil https://t.me/elixirbr —O fim do Thinking Elixirhttps://podcast.thinkingelixir.com/309 Mark Ericksenhttps://bsky.app/profile/brainlid.bsky.social  David Bernheiselhttps://bsky.appl/profile/david.bernheisel.com  —Beam There, Done That podcast, ativohttps://beamtheredonethat.com https://beamtheredonethat.com/about—Podcast BEAM Radio, inativohttps://www.beamrad.io —Case Study & Benchmark: ezicPerformance, CPU efficiency, and bug detection comparison between Prisma and Dialyzerhttps://prisma.altenwald.com/blog/ezic/ https://github.com/altenwald/prismaManuel Rubio:I was a bit tired of generating .plt files and then I thought that maybe a new format portable, linked only to the version of the lib you created could be possible and following the papers from Sagonas, Brujo, and others, I got https://github.com/altenwald/prismaTradução:Estudo de caso e benchmark: ezicComparação de desempenho, eficiência de CPU e detecção de bugs entre Prisma e Dialyzerhttps://prisma.altenwald.com/blog/ezic/   https://github.com/altenwald/prisma Manuel Rubio:Eu estava um pouco cansado de gerar arquivos .plt e então pensei que talvez um novo formato portátil, vinculado apenas à versão da biblioteca que você criou, pudesse ser possível e seguindo os artigos de Sagonas, Brujo e outros, obtive https://github.com/altenwald/prisma Grupo sobre Erlang no Google Groups, do Matheus Marqueshttps://groups.google.com/g/erlang-group/members Type inference and narrowing with reverse arrowshttps://elixir-lang.org/blog/2026/11/10/inference-narrowing-reverse-arrows/10 Anos de Elixir, com Gustavo Oliveira e Adolfo Netohttps://www.youtube.com/watch?v=xqT7vjw-3bgElixir em Foco https://elixiremfoco.com  (veja o link do Elixir Brasil no Telegram na página)A Erlang Ecosystem Foundation apoia este podcast financiando o software que utilizamos para gravar os episódios. A Erlang Ecosystem Foundation é uma organização sem fins lucrativos apoiada por mais de 1.000 membros que abraçam o seu modelo de Grupos de Trabalho colaborativos, e eventos de construção de comunidades. Os membros da EEF incluem líderes da indústria que se dedicam a promover o estado da arte para Erlang, Elixir, LFE e outras tecnologias baseadas no BEAM.Associe-se à Erlang Ecosystem Foundation em⁠⁠ ⁠⁠⁠https://bit.ly/3Sl8XTO. 

Neste episódio, Adolfo Neto comenta algumas notícias relacionadas a Elixir no Brasil.Post da Zoey de Souza Pessanha sobre o Pitaco https://lnkd.in/p/dRjHSgki Post da Zoey sobre o Peri https://lnkd.in/p/d9jNn7bi Peri https://github.com/zoedsoupe/periPost de Matheus Marques https://lnkd.in/p/dhWp5V2P Practical Erlang/OTP Tutorial Based on Recent Academic Evidence (2025–2026) https://dev.to/matheuscamarques/practical-erlangotp-tutorial-based-on-recent-academic-evidence-2025-2026-4io ElixirConf BR https://www.elixirconf.com.br Elixir em Foco https://elixiremfoco.com (veja o link do Elixir Brasil no Telegram na página)A Erlang Ecosystem Foundation apoia este podcast financiando o software que utilizamos para gravar os episódios. A Erlang Ecosystem Foundation é uma organização sem fins lucrativos apoiada por mais de 1.000 membros que abraçam o seu modelo de Grupos de Trabalho colaborativos, e eventos de construção de comunidades. Os membros da EEF incluem líderes da indústria que se dedicam a promover o estado da arte para Erlang, Elixir, LFE e outras tecnologias baseadas no BEAM.Associe-se à Erlang Ecosystem Foundation em⁠⁠ ⁠⁠⁠https://bit.ly/3Sl8XTO. Notícias do Elixir em Foco #1: Pitaco, Peri, Erlang/OTP Tutorial e ElixirConf BR https://www.youtube.com/watch?v=ctyxJPpK68c

Neste episódio, o professor Lucas Vegi (UFV) apresentou o estudo "Mind the Gap: Linking Refactorings and Code Smells in Elixir" no Esquenta SE4FP 2026. O trabalho busca preencher a lacuna existente no paradigma funcional entre a identificação de más práticas de código (code smells) e a sua remoção (via refatorações).Sobre o ArtigoTítulo: Mind the Gap: Linking Refactorings and Code Smells in ElixirAutores: Lucas Vegi e Marco Túlio ValentePublicação: Journal of Software: Evolution and Process (Vol. 38, Issue 5)Apresentação: Trilha Journal-First do CBSOFT 2026Links do PalestranteSite Pessoal: Linktree do Lucas VegiGoogle Scholar: Perfil do Lucas Vegi (ordenado por data)Veja TambémCatálogo de Code Smells para Elixir: lucasvegi/Elixir-Code-SmellsCatálogo de Refatorações para Elixir: lucasvegi/Elixir-RefactoringsSite do SE4FP 2026: se4fp.github.io/2026AnfitriãoAdolfo Neto (PPGCA UTFPR Curitiba)Transcrição: https://elixiremfoco.com/transcricoes/2026-09-03

https://cbsoft.sbc.org.br/2026/

Não devemos usar IA em Engenharia de Software! Live no canal do Fronteiras da Engenharia de Software https://www.youtube.com/live/zrsIq0G5pVYSE4FP 2026

Esta palestra abordou alguns padrões e estratégias de testes automatizados em Clojure, começando com testes de unidade baseados em exemplos, cobrindo testes gerativos até testes de integração ponta a ponta cobrindo múltiplos serviços. Minibio: Lucas é entusiasta de programação funcional, aplicando Clojure e Datomic nos últimos 12 anos para construir o maior banco digital da América Latina, o Nubank.Palestramnte: Lucas Cavalcanti dos Santos - Distinguished Software Engineer no NubankPerfil no Linkedin: https://www.linkedin.com/in/lucascavalcantisantos/ SE4FP  https://se4fp.github.io/2026/ Clojure https://clojure.org/ Datomic https://www.datomic.com/   Nosso patrocinador: https://pragprog.com/   CUPOM SEFP2026Livros em Clojure: https://pragprog.com/search/?q=clojure Programming Clojure 4a. edição https://pragprog.com/titles/shcloj4/programming-clojure-fourth-edition/ Clojure/Conj 2026 https://2026.clojure-conj.org/  Why one of the world's largest digital banks chose Clojure and Datomic - Clojure/Conj 2014 https://youtu.be/pleo1VA9D70 How One Programmer's Pet Project Changed the Way We Think About Software https://www.youtube.com/watch?v=Y24vK_QDLFg  Introdução à Programação Funcional com Clojure, Nelkisa Matias (Nubank) https://www.youtube.com/live/4xibkZ4jFWw Lucas Cavalcanti & Edward Wible - Exploring four hidden superpowers of Datomic https://youtu.be/7lm3K8zVOdY Site do podcast: https://elixiremfoco.com 

Site da Elixir Conf Brasil https://www.elixirconf.com.br

João Arthur Brunet Monteiro é Professor Associado do Departamento de Sistemas e Computação da Universidade Federal de Campina Grande (UFCG), doutor em Ciência da Computação, com estágio sanduíche na University of British Columbia e passagem pela Microsoft Research. Atua em Engenharia de Software Experimental, com foco no uso de inteligência artificial e modelos de linguagem para apoiar atividades de desenvolvimento, testes, manutenção e análise do comportamento de desenvolvedores. Possui mais de dez anos de experiência na coordenação e liderança técnica de projetos de PDI em parceria com empresas e órgãos públicos como Nubank, IBM, Dell, HP e Polícia Federal, resultando em soluções efetivamente implantadas em ambientes produtivos. É coordenador do SPLab/UFCG, já exerceu a coordenação do Curso de Ciência da Computação e tem forte atuação na formação de recursos humanos e transferência de tecnologia universidade-indústria.Transmitido ao vivo no YouTube em https://youtube.com/live/I9-jRNyLudQ.Saiba mais sobre o SE4FP em https://se4fp.github.io/2026/

Apresentação do artigo "On the Maintenance of Large-Scale Elixir Tests" Livia Almeida Barbosa (Remote Technology) https://doi.org/10.5753/se4fp.2025.13526Perfil no Linkedin da Lívia: https://www.linkedin.com/in/liviaab/Lívia já esteve no Elixir em Foco: Elixir em Produção na Remote, com Lívia Almeida Barbosahttps://www.youtube.com/watch?v=y8burRlBoh8Anais do I Workshop em Engenharia de Software para Programação Funcional https://sol.sbc.org.br/index.php/se4fpSite do Elixir em Foco: https://elixiremfoco.comA ⁠Erlang Ecosystem Foundation⁠ apoia este podcast financiando o software que utilizamos para gravar os episódios. A Erlang Ecosystem Foundation é uma organização sem fins lucrativos apoiada por mais de 1.000 membros que abraçam o seu modelo de Grupos de Trabalho colaborativos, e eventos de construção de comunidades. Os membros da EEF incluem líderes da indústria que se dedicam a promover o estado da arte para Erlang, Elixir, LFE e outras tecnologias baseadas no BEAM.Associe-se à Erlang Ecosystem Foundation em⁠⁠ ⁠⁠⁠⁠https://bit.ly/3Sl8XTO⁠.

Engenharia de Software e IA com Elixir, Juan Rivillas (Elixir BH Meetup)Juan RivillasSite https://www.juanrivillas.comBlog https://www.juanrivillas.com/blog Organizador do Elixir BH Meetup https://www.meetup.com/pt-br/elixir-bh/ GitHub: https://github.com/jprivillaso Principal produto de Juan, criado usando Elixir e LiveView: https://momento.baby/ Apresentadores: Adolfo Neto https://adolfoneto.elixiremfoco.com, https://bsky.app/profile/adolfont.github.io Zoey Pessanha https://www.linkedin.com/in/zoedsoupe/,  https://bsky.app/profile/zoedsoupe.zeetech.io, https://zoedsoupe.zeetech.io Links mencionados:https://www.appcues.comhttps://tidewave.ai Associe-se à Erlang Ecosystem Foundation, que apoia este podcast!https://erlef.orgSE4FP 2026 https://se4fp.github.io/2026/ Nosso site é https://elixiremfoco.com.