Menu
Sign In Search Podcasts Charts People & Topics Add Podcast API Pricing
Podcast Image

Elixir em Foco

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

01 Nov 2023

Description

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⁠

Audio
Featured in this Episode

No persons identified in this episode.

Transcription

This episode hasn't been transcribed yet

Help us prioritize this episode for transcription by upvoting it.

0 upvotes
🗳️ Sign in to Upvote

Popular episodes get transcribed faster

Comments

There are no comments yet.

Please log in to write the first comment.