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

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

Author: Rede Emílias de Podcasts July 2, 2025 Duration: 1:21:50

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



Há um certo brilho particular em conversas entre pessoas que compartilham uma paixão técnica, e é nesse espaço que Elixir em Foco se encontra. Produzido pela Rede Emílias de Podcasts, este programa mergulha no universo da linguagem de programação Elixir, conhecida por sua abordagem funcional e concorrente, mas sempre através das perspectivas e experiências reais de quem a utiliza no dia a dia. A cada mês, na primeira quarta-feira, um novo episódio chega trazendo vozes da comunidade brasileira de desenvolvimento de software. O que se ouve não são aulas ou monólogos, mas diálogos descontraídos e profundos sobre os desafios, as soluções elegantes, os casos de uso e o ecossistema que gira em torno do Elixir. A ideia é abrir a porta para as discussões que normalmente acontecem em corredores de conferências ou em grupos online, oferecendo insights práticos e reflexões sobre por que esta linguagem tem cativado tantos desenvolvedores. Este podcast é para quem já escreve código em Elixir e busca aprofundar seu conhecimento, mas também para curiosos que desejam entender, a partir de relatos genuínos, o que torna essa tecnologia tão especial e como ela está sendo aplicada em projetos reais no Brasil. É uma escuta que informa e, ao mesmo tempo, conecta.
Author: Language: Portuguese Episodes: 74

Elixir em Foco
Podcast Episodes
8. Elixir em Produção com Willian Frantz (Trybe) e Letícia Silva [not-audio_url] [/not-audio_url]

Duration: 44:53
No oitavo episódio da série Elixir em Produção, conversamos com Willian Frantz, Alquimista de Software na Trybe e com Letícia Silva, que é DSC Lead, Cientista de dados, professora de programação e criadora de conteúdo. L…
Mesa Redonda com Pedro Castilho, Vitor Leal e Elaine Naomi Watanabe [not-audio_url] [/not-audio_url]

Duration: 1:10:55
Conversamos com as pessoas entrevistadas nos nossos três primeiros episódios. Algumas das perguntas foram: Quando você tem uma dúvida, o que você faz? Quais as iniciativas da comunidade de que vocês mais gostam? Quais bi…
6. Elixir em Produção com Jader Correa e Anderson Konzen, da Árvore [not-audio_url] [/not-audio_url]

Duration: 42:12
Neste episódio do Elixir em Foco, conversamos com Jader Correa, CTO da Árvore, e Anderson Konzen, Líder Técnico também na Árvore. Anderson Konzen https://www.linkedin.com/in/andersonkonzen/ Jader Correa https://www.linke…
Participe da SpawnFest 2021! [not-audio_url] [/not-audio_url]

Duration: 4:13
A SpawnFest é uma competição anual de desenvolvimento de software funcional online com 48 horas de duração, na qual equipes de 1 a 4 pessoas de todo o mundo podem criar a melhor aplicação baseada na BEAM que elas podem,…
Code BEAM BR 2021 [not-audio_url] [/not-audio_url]

Duration: 2:41
A segunda edição da Code BEAM BR vai acontecer nos dias 5 e 6 de agosto. A conferência é um dos principais eventos mundiais da comunidade Elixir e Erlang e vai acontecer pela segunda vez no Brasil. A edição brasileira va…