32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi

32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi

Author: Rede Emílias de Podcasts November 1, 2023 Duration: 41:41

Neste episódio do podcast Elixir em Foco, Adolfo Neto, Herminio Torres e Zoey Pessanha entrevistaram Sofia Rodrigues (Algebraic Sofia) e Gabrielle Guimarães de Oliveira (Algebraic Gabi) para discutir a linguagem de programação Lean. Durante a entrevista, eles exploraram vários aspectos da linguagem e a experiência das convidadas. Algumas das perguntas respondidas neste episódio:

  • O que é Lean e quais são suas características?

  • Por que e quando Gabi e Sofia se interessaram por Lean?

  • Por que Gabi e Sofia decidiram participar da Rinha de Backend com uma solução em Lean e C++?

  • O que foi a Rinha de Compiladores?

Este episódio ofereceu uma visão informativa da linguagem Lean. Aprender Lean pode ser uma experiência valiosa para a comunidade de Elixir.

Links:

Sofia Rodrigues

https://twitter.com/algebraic_sofia

https://github.com/algebraic-sofia 

Gabrielle Guimarães de Oliveira

https://twitter.com/algebraic_gabi

https://github.com/aripiprazole 

https://aripiprazole.dev/

https://gabx.io/ 

λ Algebraic

https://algebraic.dev/

https://github.com/lurasidone 

Rinha de Backend

https://github.com/zanfranceschi/rinha-de-backend-2023-q3 

Rinha de Compiladores

https://github.com/aripiprazole/rinha-de-compiler

Raciocínio Automatizado com Leonardo de Moura https://www.youtube.com/watch?v=bwKFcLaeD1A 

Programming Language Foundations in Agda

https://plfa.github.io/  

"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023) https://youtu.be/XZ3w_jec1v8?si=Oekqx6Zv57w6HJYa 

Crafting Interpreters https://craftinginterpreters.com/ 

Engineering a Compiler

3rd Edition - August 20, 2022

Keith D. Cooper, Linda Torczon

https://shop.elsevier.com/books/engineering-a-compiler/cooper/978-0-12-815412-0 

Nosso canal é⁠⁠⁠ https://www.youtube.com/@ElixirEmFoco⁠⁠⁠

Associe-se à Erlang Ecosystem Foundation em ⁠https://bit.ly/3Sl8XTO⁠⁠⁠. O site da fundação é ⁠⁠⁠https://bit.ly/3Jma95g⁠⁠⁠.

Nosso site é ⁠https://elixiremfoco.com⁠⁠⁠


Estamos no Twitter em ⁠https://twitter.com/elixiremfoco⁠


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
27. Elixir em Produção na Favu com Felippe José e Rodrigo Moretto [not-audio_url] [/not-audio_url]

Duration: 1:09:42
Neste episódio, a equipe do podcast Elixir em Foco entrevista Felippe José (https://www.escavador.com/sobre/4624616/felippe-antonio-jose) e Rodrigo Moretto (https://www.linkedin.com/in/rodrigo-ce-moretto-b17856249/) sobr…
26. Fly.io com João Ferreira, o Lubien [not-audio_url] [/not-audio_url]

Duration: 51:06
A equipe do podcast Elixir em Foco entrevistou João Ferreira, conhecido como Lubien, desenvolvedor que usa Elixir há muitos anos e trabalha full-time com isso há dois anos na fly.io. Lubien explicou que a fly.io é uma pl…
25. Elixir em Produção com Rodolfo Silva (CTO da Infleet) [not-audio_url] [/not-audio_url]

Duration: 39:01
Neste episódio, conversamos com Rodolfo Silva, CTO da Infleet, uma empresa de gestão de frotas. Rodolfo é Bacharel em Sistemas de Informação e Técnico em Informática. Antes da Infleet, trabalhou em diferentes empresas co…
24. Elixir Radar com Hugo Baraúna [not-audio_url] [/not-audio_url]

Duration: 1:07:58
Neste episódio conversamos com Hugo Baraúna, criador e mantenedor da newsletter Elixir Radar e cofundador da Plataformatec (a empresa onde Elixir nasceu). Escute esta entrevista no YouTube em https://youtu.be/P59Au1a4DAo…
23. Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria [not-audio_url] [/not-audio_url]

Duration: 1:07:38
Este episódio é sobre a linguagem de programação Clojure, uma das linguagens importantes para o surgimento de Elixir. Clojure é uma linguagem de programação funcional criada por Rich Hickey em 2007 (cinco anos antes de E…
22. Projeto Spawn e comunidade eigr com Adriano Santos [not-audio_url] [/not-audio_url]

Duration: 43:16
Neste episódio conversamos com Adriano Santos, Engenheiro de Software que atua no mercado corporativo e em startups há 22 anos, tendo passado por empresas de diferentes tamanhos, e diferentes ramos de atuação e com difer…
18. Giorgio Torres, Desenvolvedor Elixir [not-audio_url] [/not-audio_url]

Duration: 1:07:20
Giorgio Torres no Twitter https://twitter.com/lu_gico LinkedIn do Giorgio https://bit.ly/3BdhfH4 Assista a esta entrevista no YouTube em https://youtu.be/8XM7j7Ojrnc. Ele conversou conosco sobre: como conheceu o Elixir e…