Elixir em Foco

• Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues

  Esta foi uma palestra do Esquenta SE4FP, um evento de divulgação do 1st Workshop on Software Engineering for Functional Programming https://se4fp.github.io/2025/. Nesta palestra tivemos a Sofia Rodrigues, que já esteve conosco, junto com Algebraic Gabi, no episódio sobre Lean:No YouTube: https://youtu.be/LaN6XzyCqaoNo Creators: https://creators.spotify.com/pod/show/elixiremfoco/episodes/32--A-linguagem-Lean--com-Algebraic-Sofia-e-Algebraic-Gabi-e2b8kao/a-a9i7aggNo Spotify: https://open.spotify.com/episode/7ul2BgLy23cM5dQPMMcsoqAlguns links mencionados:https://lean-lang.org/theorem_proving_in_lean4/ https://lean-lang.org/functional_programming_in_lean/ https://t.me/leanlangbr https://softwarefoundations.cis.upenn.edu/ https://www.paultaylor.eu/stable/prot.pdf Quer participar das próximas palestras ao vivo? Inscreva-sem em https://forms.gle/RFZn3gTF6g6DQSdSA

  --------  

  1:21:50

  --------

  1:21:50
• Code Smells e Refatoração em Elixir, com Lucas Vegi (UFV)

  Neste episódio conjunto do Fronteiras da Engenharia de Software e do Elixir em Foco, Adolfo Neto e Zoey Pessanha conversaram com Lucas Vegi sobre code smells e refatorações na linguagem de programação Elixir. Lucas é professor na Universidade Federal de Viçosa (UFV), onde coordena o LABD2M, e doutor em Ciência da Computação pela UFMG. Sua tese foi reconhecida como uma das melhores do país pela SBC, e resultou em artigos publicados em conferências e revistas de destaque, como a Empirical Software Engineering e a ICSME.00:00 Destaques 00:15 Abertura Durante a entrevista, Lucas explicou o processo de construção de um catálogo de code smells específicos de Elixir — trabalho que teve como ponto de partida uma revisão da literatura cinzenta e foi influenciado por conversas com membros da comunidade, como José Valim. Ele também falou sobre seu catálogo de refatorações para Elixir, desenvolvido em parceria com Marco Túlio Valente, e discutido anteriormente em episódio do Elixir em Foco com Gabriel Pereira.Além da pesquisa, o episódio abordou a importância da colaboração entre academia e comunidade, os desafios e possibilidades de realizar um doutorado no Brasil, e o papel que os podcasts têm desempenhado em sua trajetória acadêmica.Lucas também falou sobre o 1º Workshop on Software Engineering for Functional Programming (SE4FP 2025), que acontecerá no CBSoft em setembro, e fez um convite para submissões. Por fim, compartilhou sua visão sobre o futuro da engenharia de software e deixou um convite aberto para colaborações em pesquisa e orientação de novos estudantes de pós-graduação.Lucas Vegi: https://www.dpi.ufv.br/prof-lucas-francisco-da-matta-vegi/ArtigosEntendendo refatorações na linguagem funcional Elixir - Understanding refactorings in Elixir functional language  (Empirical Software Engineering 2025):https://link.springer.com/article/10.1007/s10664-025-10652-yRumo a um Catálogo de Refatorações para Elixir - Towards a Catalog of Refactorings for Elixir (ICSME 2023):https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=10336282Compreendendo Maus Cheiros de Código na Linguagem Funcional Elixir - Understanding Code Smells in Elixir Functional Language (EMSE):https://homepages.dcc.ufmg.br/~mtov/pub/2023-emse-code-smells-elixir.pdfMaus Cheiros de Código em Elixir: Resultados Iniciais de uma Revisão da Literatura Cinzenta - Code Smells in Elixir: Early Results from a Grey Literature Review (ICPC):https://homepages.dcc.ufmg.br/~mtov/pub/2022-icpc-era.pdfTeseCode smells and refactorings for Elixir: https://repositorio.ufmg.br/handle/1843/80651 Eventos e DivulgaçãoCBSOFT 2025:https://adolfont.github.io/events/cbsoft2025SE4FP 2025:https://se4fp.github.io/2025/ICSE 2026:https://adolfont.github.io/events/icse2026Empirical Software Engineering (Springer Journal):https://link.springer.com/journal/10664CALL FOR PAPERS: Special Issue on Advancing Software Engineering with Large Language Models:https://link.springer.com/journal/10664/updates/27735998Code Smells e Refatorações específicos para Elixir, Lucas Vegi (UFV e UFMG):https://youtu.be/klubcNmv4qI?si=Odb-uKgCxTY6TuPxElixir Code Smells com Lucas Vegi (UFV) e Marco Tulio Valente (UFMG):https://youtu.be/dp8zQUadDgQ?si=hwEYuh7BAkDbp5pFLanguage Processing in Erlang - Simon Thompson:https://youtu.be/i9SUR1v1bhY?si=z4Rz290hoI9nzAeYMarcelo Maia no Fronteiras  https://youtu.be/H74laSFH54E?si=SCwN-Lfj-Cq0yR37 e https://open.spotify.com/episode/29xmVuayXe3i46JyRQKiH4 Marco Tulio Valente https://open.spotify.com/episode/0B8uqfrmxygPePafrXIiiD Gabriel Pereira https://open.spotify.com/episode/60tcpvx6LZW3hOIAojGLP4 José Valim https://open.spotify.com/episode/7CSQLDnl5LRPT0UE2cvZIF https://fronteirases.github.io/ https://www.elixiremfoco.com/ 

  --------  

  1:16:18

  --------

  1:16:18
• SE4FP e Gambiconf

  Gambiconf https://bit.ly/gambiconfSE4FP https://bit.ly/SE4FP_FES_EEF00:00 Abertura00:30 SE4FP18:22 Gambiconf

  --------  

  19:42

  --------

  19:42
• RefactorEx: Refatoração em Elixir, com Gabriel Pereira

  Neste episódio do Elixir em Foco, Adolfo Neto, Herminio Torres e Zoey Passanha conversaram com Gabriel Pereira sobre o RefactorEx, uma ferramenta de refatoração de código Elixir. Gabriel é formado em Ciência da Computação pela Universidade Federal de Viçosa (UFV) e atualmente atua como Tech Lead na Ingresse, onde lidera times relacionados a pagamentos e autorizações. O RefactorEx nasceu como seu Trabalho de Conclusão de Curso e vem ganhando destaque na comunidade, tendo sido inclusive mencionado na Code BEAM America 2025 por Mitchel Hanberg. No episódio, Gabriel contou como surgiu a ideia da ferramenta, por que optou por uma extensão para o VS Code, quais são suas refatorações favoritas, a influência do trabalho de Lucas Vegi em sua pesquisa, e também um pouco sobre o uso de Elixir na Ingresse.Gabriel Pereira https://github.com/gp-pereira RefactorEx https://github.com/gp-pereira/refactorex RefactorEx - Effortless Elixir Refactoring in VS Code https://elixirforum.com/t/refactorex-effortless-elixir-refactoring-in-vs-code/67759 RefactorEx foi mencionado na Code BEAM America 2025https://x.com/adolfont/status/1898117471309369465 “REFACTOREX: Integrate Refactorex, another language server by Gabriel Pereira as a university projectImplements a ton of awesome refactors. Built with GenLSP”Refactorex demo at Elixir LSP talk by Mitchell Hanberg's Code BEAM America 2025 talkhttps://www.youtube.com/watch?v=R1CCyszhESk Expert, o novo LSP de Elixir https://expert-lsp.org/ Episódio sobre Code Smells, com Lucas Vegi e Marco Tulio Valentehttps://creators.spotify.com/pod/show/elixiremfoco/episodes/15--Elixir-Code-Smells-com-Lucas-Vegi-UFV-e-Marco-Tulio-Valente-UFMG-e1jb1bbCode Smells e Refatorações específicos para Elixir, Lucas Vegi (UFV e UFMG) - palestrahttps://youtu.be/klubcNmv4qI?si=A-V4Zz4cU_ybyVuW  E-mail do Gabriel: [email protected] Emílias de Podcasts no Bluesky - https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon - https://bertha.social/@redeemilias/ Elixir em Foco no YouTube - https://www.youtube.com/@elixiremfoco Elixir em Foco no Spotify - https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ Elixir em Foco no Spotify for Podcasters - https://podcasters.spotify.com/pod/show/elixiremfoco Elixir em Foco na Apple Podcasts - https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119 Associe-se à Erlang Ecosystem Foundation - https://bit.ly/3Sl8XTO Site da Erlang Ecosystem Foundation - https://bit.ly/3Jma95g Nosso site - https://elixiremfoco.com Nosso email - [email protected] 

  --------  

  36:20

  --------

  36:20
• Elixir em produção na MeetRox, com Ana Dubas e Thiago Zattar da Silveira

  Neste episódio do Elixir em Foco, Adolfo Neto e Zoey Pessanha conversaram com Ana Dubas e Thiago Zattar da Silveira sobre o uso de Elixir em Produção na empresa MeetRox. A MeetRox é uma plataforma de Sales Enablement que utiliza Inteligência Artificial para automatizar e facilitar o trabalho de times de vendas e Customer Success. No episódio, Ana e Thiago explicaram como o Elixir é peça central no backend da empresa, sendo utilizado no processamento de conversas, integração com o banco de dados, gerenciamento de configurações e tarefas assíncronas. Eles contaram também como foi o processo de decisão por Elixir, destacando aspectos de escalabilidade, produtividade e visão de futuro.  Ana e Thiago ainda falaram sobre a cultura de trabalho da MeetRox, que é uma empresa remote first, com pessoas de diferentes regiões, priorizando flexibilidade e encontros presenciais em offsites. Ana Dubas  https://www.linkedin.com/in/anadubas/ Thiago Zattar da Silveira https://www.linkedin.com/in/thiago-zattar-da-silveira/MeetRox https://meetrox.ai/Rede Emílias de Podcasts no Bluesky - ⁠https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon - ⁠https://bertha.social/@redeemilias Associe-se à Erlang Ecosystem Foundation - ⁠https://bit.ly/3Sl8XTO ⁠ Site da Erlang Ecosystem Foundation - ⁠https://bit.ly/3Jma95g Nosso site - ⁠https://elixiremfoco.com⁠  Estamos no X (@elixiremfoco) - ⁠https://x.com/elixiremfoco⁠  Nosso email - [email protected]

  --------  

  49:27

  --------

  49:27

Mais podcasts de Tecnologia

Podcasts em tendência em Tecnologia

Sobre Elixir em Foco