Cupom de desconto ELIXIREMFOCO em https://embedstore.ingresse.com/tickets/www.ingresse.com/event/86534?coupon=ELIXIREMFOCOSite do evento: https://curitiba.elixiremfoco.com/

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

Este é um episódio extra do podcast Elixir em Foco.

Nesta palestra, Leonardo Lucena, professor do IFRN, apresenta Potigol https://potigol.github.io/, uma linguagem moderna para aprender a programar que é multiparadigma (funcional, imperativa e orientada a objetos) e com foco educacional, tendo sintaxe intuitiva em português.

Teste o Potigol em https://codespaces.new/potigol/potigol-codespace?quickstart=1

Os slides desta apresentação estão em https://github.com/lrlucena/esquenta

Quer ver exemplos de pequenos programas em Potigol:

• Um "olá mundo" com algo a mais: https://gist.github.com/adolfont/b89ccaf103db68b599b6e2f674ce8a5c

• Programa que verifica se os delimitadores (parênteses, colchetes e chaves) em um texto estão corretamente balanceados, ou seja, se cada abertura tem um fechamento correspondente na ordem correta: https://gist.github.com/lrlucena/3421368a11e6b39cd082aa2eebbe8d5f

Este vídeo é uma versão editada de uma live do Esquenta SE4FP. Veja a live completa em https://www.youtube.com/watch?v=ZMAY8ry8cVo

Mediador: Prof. Dr. Adolfo Neto – UTFPR Curitiba

Leonardo Lucena é professor do IFRN https://x.com/lrlucena

Site de Potigol: https://potigol.github.io/

Quando for realizada a live: Quarta-feira, 17 de setembro de 2025, às 16h (UTC-3)

Site do SE4FP: https://se4fp.github.io/2025/

Programação do Esquenta: https://se4fp.github.io/2025/#esquenta

Nesta palestra Paulo Borba discutiu alguns Mitos e Realidades sobre o uso de técnicas de Inteligência Artificial, especialmente os LLMs (Large Language Models), para desenvolvimento de software. Ele explicou o mecanismo básico de funcionamento dos LLMs e dos Agentes de Engenharia de Software, suas limitações e seus potenciais, e como os mesmos podem atualmente ser utilizados na prática, destacando o que funciona (realidade) e o que é exagero ou puro marketing (mito).

Paulo Borba https://pauloborba.cin.ufpe.br/ é Professor de Engenharia de Software no Centro de Informática da Universidade Federal de Pernambuco, onde lidera o Grupo de Produtividade de Software.

Ele investiga e desenvolve ferramentas e técnicas para melhorar a qualidade e a produtividade no desenvolvimento de software, especialmente por meio da redução de esforços desnecessários e da frustração nas atividades de trabalho de desenvolvedores de software. Busca combinar excelência acadêmica com relevância social.

Seus principais interesses de pesquisa incluem, e integram, os seguintes tópicos: ferramentas avançadas de mesclagem de código (semi-estruturada, estruturada, semântica), conflitos de integração de código, integração e implantação contínuas, modularidade de software, linhas de produtos de software e refatoração.

Site do SE4FP: https://se4fp.github.io/2025/

Esta palestra from apresentada ao vivo como parte do Esquenta SE4FP. Link da transmissão ao vivo: https://www.youtube.com/live/rXP4YUGeIJk

Preencha https://forms.gle/J88PVbxiSew1bKeo6 se quiser ser avisado(a) de futuras palestras.

Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems e Mestre em Computação Aplicada pela UDESC, sobre a linguagem de especificação Quint.

O encontro faz parte do Esquenta SE4FP 2025 (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025,

Além de explorar as bases do Quint, Gabriela compartilha exemplos práticos e referências de estudo.

Links citados no episódio:

LinkedIn de Gabriela Moreira – Gabriela Moreira  - Research Engineer at Informal Systems https://www.linkedin.com/in/bugarela/  

GitHub de Gabriela Moreira – https://github.com/bugarela 

Página de Quint https://quint-lang.org/ 

GitHub de Quint https://github.com/informalsystems/quint 

Slides da palestra – https://bit.ly/3HnRqtM 

SE4FP 2025 – https://se4fp.github.io/2025/ 

CBSOFT 2025 – https://cbsoft.sbc.org.br/2025/cbsoft/ 

PPGCA – UTFPR Curitiba – https://www.utfpr.edu.br/cursos/programas-de-pos-graduacao/ppgca-ct 

Rede Emílias de Podcasts – https://fronteirases.github.io/redeemilias/ 

Episódio “21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems” no YouTube – https://youtu.be/_vI8xFxn60A 

Capítulos

00:00 Introdução

05:15 Início da Apresentação

1:00:54 Perguntas e Respostas

Neste episódio especial do podcast Elixir em Foco, recebemos Nelkisa Matias, Engenheira de Software no Nubank e graduada em Sistemas de Informação pela UNINASSAU, para um bate-papo sobre Clojure — uma linguagem funcional moderna baseada em Lisp, que roda sobre a JVM e também conta com implementações como o Clojerl, para a BEAM. O Clojure é, inclusive, uma das linguagens que inspiraram a criação de Elixir.

O episódio faz parte do Esquenta SE4FP (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025. Nelkisa compartilha também o repositório e materiais de sua palestra sobre programação funcional.

Links citados no episódio:

• SE4FP 2025

• CBSOFT 2025

• Clojerl

• LinkedIn de Nelkisa Matias

• GitHub de Nelkisa Matias

• Repositório da palestra

• PPGCA – UTFPR Curitiba

• Rede Emílias de Podcasts

• Clojure Brasil

• Seven Languages in Seven Weeks

• Functional Design – Uncle Bob

• Programming Clojure

• Episódio “Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria”

  • YouTube

  • Spotify

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/LaN6XzyCqao

No Creators: https://creators.spotify.com/pod/show/elixiremfoco/episodes/32--A-linguagem-Lean--com-Algebraic-Sofia-e-Algebraic-Gabi-e2b8kao/a-a9i7agg

No Spotify: https://open.spotify.com/episode/7ul2BgLy23cM5dQPMMcsoq

Alguns 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

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/

Artigos

• 
  

  Entendendo 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-y

• 
  

  Rumo 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=10336282

• Compreendendo 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.pdf

• Maus 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.pdf

Tese

Code smells and refactorings for Elixir: https://repositorio.ufmg.br/handle/1843/80651

Eventos e Divulgação

CBSOFT 2025:https://adolfont.github.io/events/cbsoft2025

SE4FP 2025:https://se4fp.github.io/2025/

ICSE 2026:https://adolfont.github.io/events/icse2026

Empirical Software Engineering (Springer Journal):https://link.springer.com/journal/10664

CALL FOR PAPERS: Special Issue on Advancing Software Engineering with Large Language Models:https://link.springer.com/journal/10664/updates/27735998

Code Smells e Refatorações específicos para Elixir, Lucas Vegi (UFV e UFMG):https://youtu.be/klubcNmv4qI?si=Odb-uKgCxTY6TuPx

Elixir Code Smells com Lucas Vegi (UFV) e Marco Tulio Valente (UFMG):https://youtu.be/dp8zQUadDgQ?si=hwEYuh7BAkDbp5pF

Language Processing in Erlang - Simon Thompson:https://youtu.be/i9SUR1v1bhY?si=z4Rz290hoI9nzAeY

Marcelo 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/ 

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

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 2025

https://x.com/adolfont/status/1898117471309369465 

“REFACTOREX: Integrate Refactorex, another language server by Gabriel Pereira as a university project

Implements a ton of awesome refactors. Built with GenLSP”

Refactorex demo at Elixir LSP talk by Mitchell Hanberg's Code BEAM America 2025 talk

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

https://creators.spotify.com/pod/show/elixiremfoco/episodes/15--Elixir-Code-Smells-com-Lucas-Vegi-UFV-e-Marco-Tulio-Valente-UFMG-e1jb1bb

Code Smells e Refatorações específicos para Elixir, Lucas Vegi (UFV e UFMG) - palestra

https://youtu.be/klubcNmv4qI?si=A-V4Zz4cU_ybyVuW  

E-mail do Gabriel: [email protected]

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/ 

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]