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