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
Participe da Code BEAM BR 2022! [not-audio_url] [/not-audio_url]

Duration: 4:24
Acesse https://www.codebeambr.com/ e inscreva-se com o cupom ELIXIREMFOCO50.
17. Ulisses Almeida, Engenheiro de Software na Duffel [not-audio_url] [/not-audio_url]

Duration: 1:07:53
Neste episódio conversamos com Ulisses Almeida, Engenheiro de Software na Duffel, Inglaterra. Você pode escutar também no YouTube https://youtu.be/2r6ZP8fL9g4. Ulisses Almeida no Twitter https://twitter.com/ulissesalmeid…
13. Surface com Marlus Saraiva [not-audio_url] [/not-audio_url]

Duration: 44:23
Este é o primeiro episódio da nossa segunda temporada. Tivemos a honra de receber o criador do Surface: Marlus Saraiva. Ele conversou conosco sobre: as motivações que o levaram a desenvolver o Surface Phoenix LiveView co…
12. Elixir em Produção, com José Valim (Dashbit) [not-audio_url] [/not-audio_url]

Duration: 1:07:44
Este é o episódio final da nossa primeira temporada. Tivemos a honra de receber o criador da linguagem Elixir, José Valim. Ele conversou conosco sobre: sua formação na USP e no Politécnico de Turim Elixir em Produção a D…
10. Elixir em Produção com Renan "Milhouse" Ranelli (Podium) [not-audio_url] [/not-audio_url]

Duration: 1:01:32
No décimo episódio da série Elixir em Produção, conversamos com Renan Ranelli, o Milhouse, da Podium. Links do Renan: Twitter do Renan Ranelli https://twitter.com/renanranelli Linkedin https://www.linkedin.com/in/renan-r…
Elixir Extra com José Valim na Elixir Brasil 2021 [not-audio_url] [/not-audio_url]

Duration: 29:43
Este é um episódio extra do Elixir em Foco, o podcast da comunidade brasileira de Elixir. Fomos convidados pela Elixir Brasil para entrevistar José Valim, criador de Elixir, ao vivo, durante o evento, no espaço Elixir Ex…