Player FM ऐप के साथ ऑफ़लाइन जाएं!
32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi
Manage episode 381664978 series 3276616
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
λ Algebraic
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
"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
54 एपिसोडस
Manage episode 381664978 series 3276616
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
λ Algebraic
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
"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
54 एपिसोडस
Alle episoder
×प्लेयर एफएम में आपका स्वागत है!
प्लेयर एफएम वेब को स्कैन कर रहा है उच्च गुणवत्ता वाले पॉडकास्ट आप के आनंद लेंने के लिए अभी। यह सबसे अच्छा पॉडकास्ट एप्प है और यह Android, iPhone और वेब पर काम करता है। उपकरणों में सदस्यता को सिंक करने के लिए साइनअप करें।