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
Elixir em Produção na Trio Pagamentos, com David Alencar [not-audio_url] [/not-audio_url]

Duration: 45:30
Neste episódio do *Elixir em Foco*, Adolfo Neto e Zoey Pessanha conversaram com David Alencar, Staff Software Engineer na Trio Pagamentos. Com mais de 15 anos de experiência em tecnologia, incluindo uma passagem pela Mic…
Elixir em Produção na Remote, com Lívia Almeida Barbosa [not-audio_url] [/not-audio_url]

Duration: 57:22
Neste episódio do podcast Elixir em Foco, Adolfo Neto, Cristine Guadelupe, Herminio Torres e Zoey Pessanha recebem Lívia Almeida Barbosa, Senior Backend Engineer na Remote, para uma conversa sobre o uso de Elixir na Remo…
Paulo Valente 2 - A Missão: IA e Machine Learning em Elixir com Nx [not-audio_url] [/not-audio_url]

Duration: 1:02:44
Neste episódio, conversamos com Paulo Valente, Engenheiro de Software na DockYard, e um dos mantenedores do ecossistema Nx. Paulo também é músico e projetista de circuitos por hobby. Links: Documento sobre o Ecossistema…
GambiConf 2024 [not-audio_url] [/not-audio_url]

Duration: 4:55
Estão abertas as submissões de palestras e workshops para a GambiConf 2024! A GambiConf é uma conferência única e multilingue que não se limita a uma única tecnologia. Este evento foca no propósito dos projetos apresenta…
38. Elixir em Produção na Minha Biblioteca, com Thiago Leite Luiz [not-audio_url] [/not-audio_url]

Duration: 35:34
Neste episódio do podcast Elixir em Foco, entrevistamos Thiago Leite Luiz, Head de Tecnologia e Inovação na Minha Biblioteca. Thiago descreve como Elixir é usado em produção naquele que é o maior streaming de livros atua…