התחל במצב לא מקוון עם האפליקציה Player FM !
פודקאסטים ששווה להאזין
בחסות


1 The Killing Call: 1. The death of a star 35:12
A linguagem de programação Elixir, com José Valim (Dashbit)
Manage episode 472170593 series 3276616
Neste episódio conjunto do Fronteiras da Engenharia de Software e do Elixir em Foco, Adolfo Neto, Maria Claudia Emer e Zoey Pessanha entrevistaram José Valim, criador da linguagem de programação Elixir. A conversa abordou o tema de boas práticas e anti-padrões (code smells) em Elixir, destacando a importância de pesquisas acadêmicas na área. Adolfo e Valim mencionaram especificamente o trabalho realizado por Lucas Vegi e Marco Tulio Valente, que investigaram code smells na comunidade Elixir, resultando em uma página dedicada a anti-padrões na documentação oficial da linguagem.
José Valim ressaltou a escassez de materiais sobre design patterns e refactoring para linguagens funcionais, enfatizando a necessidade de mais estudos e publicações sobre esses temas. Ele explicou que iniciativas como a documentação viva dos anti-padrões ajudam a comunidade a identificar práticas inadequadas e aprimorar continuamente a qualidade do código produzido.
Além disso, Valim discutiu brevemente o futuro do Elixir, mencionando projetos recentes como o desenvolvimento do Livebook, ferramenta semelhante ao Jupyter Notebook, e avanços relacionados à tipagem gradual. Ele destacou o potencial da linguagem para sistemas distribuídos e concorrentes, reforçando seu uso crescente por empresas ao redor do mundo. No fim, Valim respondeu qual é a próxima fronteira da Engenharia de Software.
José Valim:
X (Twitter): https://twitter.com/josevalim
LinkedIn: https://www.linkedin.com/in/josevalim/
Dashbit: https://dashbit.co/
Artigos científicos:
The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, José Valim
https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
Guard analysis and safe erasure gradual typing: a type system for Elixir
Giuseppe Castagna, Guillaume Duboc
https://arxiv.org/abs/2408.14345
Links:
Ep. Roberto Ierusalimschy (Lua) https://fronteirases.github.io/episodios/paginas/52
Lua na BEAM https://hexdocs.pm/lua/Lua.html
Ep. Leonardo de Moura (Lean) https://fronteirases.github.io/episodios/paginas/41
Episódio Honey Potion https://www.youtube.com/watch?v=sCV17mv-glE
Honey Potion no GitHub https://github.com/lac-dcc/honey-potion
Tese Lucas Vegi https://repositorio.ufmg.br/handle/1843/80651
Artigos Lucas Vegi e Marco Tulio Valente
https://scholar.google.com/citations?hl=pt-BR&user=N6KnVK8AAAAJ&view_op=list_works&sortby=pubdate
You have built an Erlang https://vereis.com/posts/you_built_an_erlang
Beyond Functional Programming with Elixir and Erlang
https://blog.plataformatec.com.br/2016/05/beyond-functional-programming-with-elixir-and-erlang/
ChatGPTs para Elixir e Erlang https://gist.github.com/adolfont/a747dcc9cbef002f510b6dbf050695eb
Erlang Ecosystem Foundation https://erlef.org/
Entrevistas com José Valim https://open.spotify.com/playlist/0L3paiT1aHtYvW8LaM4XUV
Talvez o episódio com Bill Gates seja este https://www.bbc.co.uk/programmes/w3ct6pmw
Guillaume Duboc https://gldubc.github.io/
PhD student at Université Paris Cité, under the supervision of Giuseppe Castagna https://www.irif.fr/~gc/
Snow Xuejing Huang (pós-doutoranda) https://xsnow.live/
From dynamic to static, Elixir begins its transformation
https://www.ins2i.cnrs.fr/en/cnrsinfo/dynamic-static-elixir-begins-its-transformation
Elixir Type Checker - A (prototype) type checker for Elixir based on set-theoretic type systems.
Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
https://www.youtube.com/watch?v=gJJH7a2J9O8
Quem é José Valim? Respostas de vários LLMs
https://gist.github.com/adolfont/a95b7e37867cc1b2e24cd0e372727d8c
Honey Potion
https://www.youtube.com/watch?v=CoFNns01VjA
RefactorEx
https://github.com/gp-pereira/refactorex
Jido framework
https://github.com/agentjido/jido
Fronteiras da Engenharia de Software https://fronteirases.github.io/
Elixir em Foco https://www.elixiremfoco.com/
61 פרקים
Manage episode 472170593 series 3276616
Neste episódio conjunto do Fronteiras da Engenharia de Software e do Elixir em Foco, Adolfo Neto, Maria Claudia Emer e Zoey Pessanha entrevistaram José Valim, criador da linguagem de programação Elixir. A conversa abordou o tema de boas práticas e anti-padrões (code smells) em Elixir, destacando a importância de pesquisas acadêmicas na área. Adolfo e Valim mencionaram especificamente o trabalho realizado por Lucas Vegi e Marco Tulio Valente, que investigaram code smells na comunidade Elixir, resultando em uma página dedicada a anti-padrões na documentação oficial da linguagem.
José Valim ressaltou a escassez de materiais sobre design patterns e refactoring para linguagens funcionais, enfatizando a necessidade de mais estudos e publicações sobre esses temas. Ele explicou que iniciativas como a documentação viva dos anti-padrões ajudam a comunidade a identificar práticas inadequadas e aprimorar continuamente a qualidade do código produzido.
Além disso, Valim discutiu brevemente o futuro do Elixir, mencionando projetos recentes como o desenvolvimento do Livebook, ferramenta semelhante ao Jupyter Notebook, e avanços relacionados à tipagem gradual. Ele destacou o potencial da linguagem para sistemas distribuídos e concorrentes, reforçando seu uso crescente por empresas ao redor do mundo. No fim, Valim respondeu qual é a próxima fronteira da Engenharia de Software.
José Valim:
X (Twitter): https://twitter.com/josevalim
LinkedIn: https://www.linkedin.com/in/josevalim/
Dashbit: https://dashbit.co/
Artigos científicos:
The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, José Valim
https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
Guard analysis and safe erasure gradual typing: a type system for Elixir
Giuseppe Castagna, Guillaume Duboc
https://arxiv.org/abs/2408.14345
Links:
Ep. Roberto Ierusalimschy (Lua) https://fronteirases.github.io/episodios/paginas/52
Lua na BEAM https://hexdocs.pm/lua/Lua.html
Ep. Leonardo de Moura (Lean) https://fronteirases.github.io/episodios/paginas/41
Episódio Honey Potion https://www.youtube.com/watch?v=sCV17mv-glE
Honey Potion no GitHub https://github.com/lac-dcc/honey-potion
Tese Lucas Vegi https://repositorio.ufmg.br/handle/1843/80651
Artigos Lucas Vegi e Marco Tulio Valente
https://scholar.google.com/citations?hl=pt-BR&user=N6KnVK8AAAAJ&view_op=list_works&sortby=pubdate
You have built an Erlang https://vereis.com/posts/you_built_an_erlang
Beyond Functional Programming with Elixir and Erlang
https://blog.plataformatec.com.br/2016/05/beyond-functional-programming-with-elixir-and-erlang/
ChatGPTs para Elixir e Erlang https://gist.github.com/adolfont/a747dcc9cbef002f510b6dbf050695eb
Erlang Ecosystem Foundation https://erlef.org/
Entrevistas com José Valim https://open.spotify.com/playlist/0L3paiT1aHtYvW8LaM4XUV
Talvez o episódio com Bill Gates seja este https://www.bbc.co.uk/programmes/w3ct6pmw
Guillaume Duboc https://gldubc.github.io/
PhD student at Université Paris Cité, under the supervision of Giuseppe Castagna https://www.irif.fr/~gc/
Snow Xuejing Huang (pós-doutoranda) https://xsnow.live/
From dynamic to static, Elixir begins its transformation
https://www.ins2i.cnrs.fr/en/cnrsinfo/dynamic-static-elixir-begins-its-transformation
Elixir Type Checker - A (prototype) type checker for Elixir based on set-theoretic type systems.
Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
https://www.youtube.com/watch?v=gJJH7a2J9O8
Quem é José Valim? Respostas de vários LLMs
https://gist.github.com/adolfont/a95b7e37867cc1b2e24cd0e372727d8c
Honey Potion
https://www.youtube.com/watch?v=CoFNns01VjA
RefactorEx
https://github.com/gp-pereira/refactorex
Jido framework
https://github.com/agentjido/jido
Fronteiras da Engenharia de Software https://fronteirases.github.io/
Elixir em Foco https://www.elixiremfoco.com/
61 פרקים
כל הפרקים
×
1 Code Smells e Refatoração em Elixir, com Lucas Vegi (UFV) 1:16:18

1 RefactorEx: Refatoração em Elixir, com Gabriel Pereira 36:20

1 Elixir em produção na MeetRox, com Ana Dubas e Thiago Zattar da Silveira 49:27

1 A linguagem de programação Elixir, com José Valim (Dashbit) 1:14:30

1 Gleam em Produção na Uncover, com Georges Boris 1:27:18

1 Retrospectiva 2024: Eventos, Aprendizados e Tendências no Mundo Elixir 1:07:39

1 Elixir em Produção na Trio Pagamentos, com David Alencar 45:30

1 Elixir em Produção na Remote, com Lívia Almeida Barbosa 57:22

1 Paulo Valente 2 - A Missão: IA e Machine Learning em Elixir com Nx 1:02:44

1 42. Iago Effting: Explorando Elixir em Produção na Finbits e a jornada da newsletter Café com Elixir 46:35

1 41. Explorando Elixir: A Trajetória de George Guimarães (CloudWalk e ex-Plataformatec) e suas Contribuições 1:08:17

1 40. BEAM em Produção na Ekinops (Fabian van 't Hooft e João Henrique Freitas) 50:37

1 39. Migração para Elixir: Experiências e Desafios com Samanta de Araújo 29:10

1 25. Elixir em Produção com Rodolfo Silva (CTO da Infleet) 39:01

1 24. Elixir Radar com Hugo Baraúna 1:07:58

1 23. Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria 1:07:38

1 22. Projeto Spawn e comunidade eigr com Adriano Santos 43:16

1 21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC 55:34

1 20. Transição de carreira para Elixir, com Julia Mathias, Engenheira de Software na Hightop 31:57

1 19. Aprendizado e Comunidade, com Bianca Cesarino e Fernanda Bernardo (Cumbuca) 55:14

1 18. Giorgio Torres, Desenvolvedor Elixir 1:07:20


1 17. Ulisses Almeida, Engenheiro de Software na Duffel 1:07:53

1 16. Atualizações da Equipe Elixir em Foco: Cris, Adolfo, Zoey e Herminio 1:06:42

1 15. Elixir Code Smells com Lucas Vegi (UFV) e Marco Tulio Valente (UFMG) 1:07:21

1 14. Elixir Protobuf com João Britto (e Elixir Brasil com João e Alda Rocha) 1:01:50


1 12. Elixir em Produção, com José Valim (Dashbit) 1:07:44

1 38. Elixir em Produção na Minha Biblioteca, com Thiago Leite Luiz 35:34

1 37. Explorando a Jornada de Bernardo Amorim: Experiências, Contribuições Open Source e Palestras 50:19

1 36. Da Supabase ao Elixir: Explorando Linguagens e Open Source com Filipe Cabaço 1:31:52

1 35. Explorando o Universo Elixir com Cherry Ramatis: Desenvolvimento, Comunidade e Conhecimento 45:07

1 34. Empregos, países e projetos: as novidades da equipe Elixir em Foco 59:27

1 33. Beacon CMS, com Leandro Pereira (DockYard) 54:08

1 32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi 41:41


1 30. Honey Potion (backend eBPF p/Elixir), com Fernando Quintão, Vinícius Pacheco, Kael Soares (UFMG) 44:47

1 Elixir em Foco na Code BEAM Brasil 2022 com Alexandre de Souza (Dashbit) 39:09

1 29. Redes Neurais com Nx em Elixir, com Lucas Tavano (SWAP) 55:45

1 28. Erlang com Vítor Andriotti (Riot Games via X-Team) 42:06

1 27. Elixir em Produção na Favu com Felippe José e Rodrigo Moretto 1:09:42

1 26. Fly.io com João Ferreira, o Lubien 51:06
ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.