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

Elixir em Foco

Player FM - Internet Radio Done Right

اضافه شده در three سال پیش

محتوای ارائه شده توسط Elixir em Foco. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Elixir em Foco یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

The Final Flight of Captain Forrester

1
The Final Flight of Captain Forrester | 1. The Mystery of Tiny 05 38:05

16 روز پیش38:05

پخش در آینده

لیست ها

پسندیدن

دوست داشته شد

38:05

In late 1972, U.S. Marine Captain Ron Forrester disappeared on a bombing run into North Vietnam. Back home in Texas, his family could only wait and hope. Audio subscribers to Texas Monthly can get early access to episodes of the series, plus exclusive interviews and audio. Visit texasmonthly.com/audio to join. Go to HelloFresh.com/FLIGHT10FM to get 10 Free Meals with a Free Item For Life.…

۲ سال پیش 55:34

M4A•خانه قسمت

Neste episódio conversamos com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC.

Links Gabriela:

Twitter https://twitter.com/bugarela
GitHub https://github.com/bugarela/
Linkedin https://www.linkedin.com/in/bugarela/

Assista a esta entrevista no YouTube em https://www.youtube.com/@ElixirEmFoco

Ela conversou conosco sobre:

o que é TLA+
como foram feitos seus trabalhos que juntaram TLA+ e Elixir
como é trabalhar como Engenheira de Pesquisa
como foi fazer mestrado

Links:

Colóquios de Ciência da Computação https://www.youtube.com/@ColoquiosdeCienciadaComputacao
Palestra “Elixir”, de Paulo Henrique Cuchi (08/11/2017) – 55 visualizações https://www.youtube.com/watch?v=okk-da7DESs
TLA+ Transmutation - Elixir code and test generation from TLA+ specifications https://github.com/bugarela/tla-transmutation
Informal Systems https://informal.systems/ https://github.com/informalsystems
Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022 https://www.youtube.com/watch?v=FxDm8VP2-zs
Elixir Code Generation from TLA + specifications - Gabriela Moreira Mafra https://www.youtube.com/watch?v=trm9Lp0yt6Y
Pesquise com Elixir https://pesquisecomelixir.com.br/
Fully-Tested code generation from TLA+ specifications https://sol.sbc.org.br/index.php/sast/article/view/22179

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 @elixiremfoco https://twitter.com/elixiremfoco. Nosso email é elixiremfoco@gmail.com.

60 قسمت

#Tecnologia #Elixir Em Foco

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

Elixir em Foco

published ۲ سال پیش

اشتراک گذاری

M4A•خانه قسمت

Neste episódio conversamos com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC.

Links Gabriela:

Twitter https://twitter.com/bugarela
GitHub https://github.com/bugarela/
Linkedin https://www.linkedin.com/in/bugarela/

Assista a esta entrevista no YouTube em https://www.youtube.com/@ElixirEmFoco

Ela conversou conosco sobre:

o que é TLA+
como foram feitos seus trabalhos que juntaram TLA+ e Elixir
como é trabalhar como Engenheira de Pesquisa
como foi fazer mestrado

Links:

Colóquios de Ciência da Computação https://www.youtube.com/@ColoquiosdeCienciadaComputacao
Palestra “Elixir”, de Paulo Henrique Cuchi (08/11/2017) – 55 visualizações https://www.youtube.com/watch?v=okk-da7DESs
TLA+ Transmutation - Elixir code and test generation from TLA+ specifications https://github.com/bugarela/tla-transmutation
Informal Systems https://informal.systems/ https://github.com/informalsystems
Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022 https://www.youtube.com/watch?v=FxDm8VP2-zs
Elixir Code Generation from TLA + specifications - Gabriela Moreira Mafra https://www.youtube.com/watch?v=trm9Lp0yt6Y
Pesquise com Elixir https://pesquisecomelixir.com.br/
Fully-Tested code generation from TLA+ specifications https://sol.sbc.org.br/index.php/sast/article/view/22179

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 @elixiremfoco https://twitter.com/elixiremfoco. Nosso email é elixiremfoco@gmail.com.

60 قسمت

#Tecnologia #Elixir Em Foco

همه قسمت ها

Elixir em Foco

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

۷ روز پیش36:20

36:20

Neste episódio do Elixir em Foco, Adolfo Neto, Herminio Torres e Zoey Passanha conversaram com Gabriel Pereira sobre o RefactorEx, uma ferramenta de refatoração de código Elixir. Gabriel é formado em Ciência da Computação pela Universidade Federal de Viçosa (UFV) e atualmente atua como Tech Lead na Ingresse, onde lidera times relacionados a pagamentos e autorizações. O RefactorEx nasceu como seu Trabalho de Conclusão de Curso e vem ganhando destaque na comunidade, tendo sido inclusive mencionado na Code BEAM America 2025 por Mitchel Hanberg. No episódio, Gabriel contou como surgiu a ideia da ferramenta, por que optou por uma extensão para o VS Code, quais são suas refatorações favoritas, a influência do trabalho de Lucas Vegi em sua pesquisa, e também um pouco sobre o uso de Elixir na Ingresse. Gabriel Pereira https://github.com/gp-pereira RefactorEx https://github.com/gp-pereira/refactorex RefactorEx - Effortless Elixir Refactoring in VS Code https://elixirforum.com/t/refactorex-effortless-elixir-refactoring-in-vs-code/67759 RefactorEx foi mencionado na Code BEAM America 2025 https://x.com/adolfont/status/1898117471309369465 “REFACTOREX: Integrate Refactorex, another language server by Gabriel Pereira as a university project Implements a ton of awesome refactors. Built with GenLSP” Refactorex demo at Elixir LSP talk by Mitchell Hanberg's Code BEAM America 2025 talk https://www.youtube.com/watch?v=R1CCyszhESk Expert, o novo LSP de Elixir https://expert-lsp.org/ Episódio sobre Code Smells, com Lucas Vegi e Marco Tulio Valente https://creators.spotify.com/pod/show/elixiremfoco/episodes/15--Elixir-Code-Smells-com-Lucas-Vegi-UFV-e-Marco-Tulio-Valente-UFMG-e1jb1bb Code Smells e Refatorações específicos para Elixir, Lucas Vegi (UFV e UFMG) - palestra https://youtu.be/klubcNmv4qI?si=A-V4Zz4cU_ybyVuW E-mail do Gabriel: pereira7346@gmail.com Rede Emílias de Podcasts no Bluesky - https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon - https://bertha.social/@redeemilias/ Elixir em Foco no YouTube - https://www.youtube.com/@elixiremfoco Elixir em Foco no Spotify - https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ Elixir em Foco no Spotify for Podcasters - https://podcasters.spotify.com/pod/show/elixiremfoco Elixir em Foco na Apple Podcasts - https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119 Associe-se à Erlang Ecosystem Foundation - https://bit.ly/3Sl8XTO Site da Erlang Ecosystem Foundation - https://bit.ly/3Jma95g Nosso site - https://elixiremfoco.com Nosso email - elixiremfoco@gmail.com…

Elixir em Foco

1
Você pode nos ajudar nestas pesquisas? 1:31

19 روز پیش1:31

1:31

Links das Pesquisas: 🎧 Podcasts & software engineering research — a match? https://bit.ly/PodcastSEResearch Pesquisa de Opinião sobre Inclusão e Representatividade nos Podcasts da Área de Computação https://bit.ly/InclusaoRepresentatividade

Elixir em Foco

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

۵ weeks پیش49:27

49:27

Neste episódio do Elixir em Foco, Adolfo Neto e Zoey Pessanha conversaram com Ana Dubas e Thiago Zattar da Silveira sobre o uso de Elixir em Produção na empresa MeetRox. A MeetRox é uma plataforma de Sales Enablement que utiliza Inteligência Artificial para automatizar e facilitar o trabalho de times de vendas e Customer Success. No episódio, Ana e Thiago explicaram como o Elixir é peça central no backend da empresa, sendo utilizado no processamento de conversas, integração com o banco de dados, gerenciamento de configurações e tarefas assíncronas. Eles contaram também como foi o processo de decisão por Elixir, destacando aspectos de escalabilidade, produtividade e visão de futuro. Ana e Thiago ainda falaram sobre a cultura de trabalho da MeetRox, que é uma empresa remote first, com pessoas de diferentes regiões, priorizando flexibilidade e encontros presenciais em offsites. Ana Dubas https://www.linkedin.com/in/anadubas/ Thiago Zattar da Silveira https://www.linkedin.com/in/thiago-zattar-da-silveira/ MeetRox https://meetrox.ai/ Rede Emílias de Podcasts no Bluesky - ⁠ https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon - ⁠ https://bertha.social/@redeemilias Associe-se à Erlang Ecosystem Foundation - ⁠ https://bit.ly/3Sl8XTO ⁠ Site da Erlang Ecosystem Foundation - ⁠ https://bit.ly/3Jma95g Nosso site - ⁠ https://elixiremfoco.com⁠ Estamos no X (@elixiremfoco) - ⁠ https://x.com/elixiremfoco⁠ Nosso email - elixiremfoco@gmail.com…

Elixir em Foco

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

۸ weeks پیش1:14:30

1:14:30

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/ Bluesky: https://bsky.app/profile/josevalim.bsky.social 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. https://typex.fly.dev/ 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/…

Elixir em Foco

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

۹ weeks پیش1:27:18

1:27:18

Neste episódio do Elixir em Foco, Adolfo Neto e Herminio Torres entrevistam Georges Boris, cofundador, ex-CTO e atual CDO da Uncover. O episódio aborda a trajetória de Georges, o uso de Elixir na Uncover e a importância da linguagem Gleam no ecossistema Erlang. Eles discutem o sistema de tipos de Gleam, sua integração com Elixir e o conceito de fearless refactoring. Além disso, conversam sobre a influência do cineasta David Lynch na vida de Georges. O episódio termina com sugestões de aprendizado e uma mensagem final para a comunidade de Elixir. Links de Georges: X https://x.com/georgesboris Bluesky https://bsky.app/profile/georgesboris.com Linkedin https://www.linkedin.com/in/georges-boris-ux/ Links da Uncover https://www.uncover.co/careers https://www.linkedin.com/company/uncover-company/posts/?feedView=all Site de Gleam https://gleam.run/ Palestra “Functional Shell, Strongly Typed Core“ por Georges Boris | 16º Meetup Elug CE https://www.youtube.com/watch?v=vp3BuFr8rY8 Streams do criador de Gleam https://www.twitch.tv/louispilfold Difference Of Squares no Exercism: Aprendendo a lidar com Listas em Gleam https://www.youtube.com/watch?v=zj7ZOTTG77Q Newsletter Gleam Weekly https://gleamweekly.com/ Gleam Developer Survey 2024 https://gleam.run/news/developer-survey-2024-results/ Keynote: Gleam's Journey on the BEAM - Hayleigh Thompson & Louis Pilfold | Code BEAM Europe 2024 https://www.youtube.com/watch?v=6I0IbJtUC3U (7321 views) Lissome is a library to integrate the Gleam frontend framework Lustre with Phoenix Live View. https://github.com/selenil/lissome/ Getting to know Actors in Gleam - Raúl Chouza | Code BEAM America 2024 https://www.youtube.com/watch?v=WaHx6n2UZJg Gleam: Lean BEAM typing machine | Louis Pilfold | Code BEAM V 2020 https://www.youtube.com/watch?v=ceynSTa1dV4 BEAM's bright future with Gleam (and JavaScript?) - Peter Saxton | Code BEAM Lite Stockholm 2024 https://www.youtube.com/watch?v=fhJBEuJjxFQ Gleam Star History https://star-history.com/#gleam-lang/gleam&Date Gleam+Elixir Star History https://star-history.com/#gleam-lang/gleam&elixir-lang/elixir&Date O runtime Erlang e como torná-lo seu amigo, Pedro Castilho https://www.youtube.com/watch?v=UGHbdeLOtbo Recursos para aprender Gleam: https://exercism.org/tracks/gleam https://www.youtube.com/@IsaacHarrisHolt https://www.youtube.com/@giacomo_cavalieri Comunidade Gleam: https://tour.gleam.run/ https://tour.gleam.run/everything/ Usando Gleam e Elixir juntas: https://github.com/georgesboris/gleam-in-elixir-example Sistema de tipos em Gleam: https://github.com/giacomocavalieri/squirrel Fearless refactoring: https://www.youtube.com/watch?v=8bZh5LMaSmE Functional Shell and Boundaries: https://www.destroyallsoftware.com/talks/boundaries https://www.destroyallsoftware.com/screencasts/catalog/functional-core-imperative-shell Curso de CSS de Andy Bell: https://piccalil.li/complete-css/lessons Rede Emílias de Podcasts no Bluesky - ⁠https://bsky.app/profile/redeemilias.bsky.social⁠ Rede Emílias de Podcasts no Mastodon - ⁠https://bertha.social/@redeemilias⁠ Elixir em Foco no YouTube - ⁠https://www.youtube.com/@elixiremfoco⁠ Elixir em Foco no Spotify - ⁠https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ⁠ Elixir em Foco no Spotify for Podcasters - ⁠https://podcasters.spotify.com/pod/show/elixiremfoco⁠ Elixir em Foco na Apple Podcasts - ⁠https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119⁠ Associe-se à Erlang Ecosystem Foundation - ⁠https://bit.ly/3Sl8XTO⁠ Site da Erlang Ecosystem Foundation - ⁠https://bit.ly/3Jma95g⁠ Nosso site - ⁠https://elixiremfoco.com⁠ Estamos no X (@elixiremfoco) - ⁠https://x.com/elixiremfoco⁠ Nosso email - elixiremfoco@gmail.com…

Elixir em Foco

1
José Valim (reprise) 1:07:44

14 weeks پیش1:07:44

1:07:44

Esta entrevista com José Valim foi gravada no final de 2021 e publicada em 2022. Em breve deveremos ter mais uma entrevista com José Valim no Elixir em Foco. Links: https://www.elixiremfoco.com/episodio?id=jose-valim https://open.spotify.com/episode/01qT9Xdtz2LdTrxvhCNgpu?si=ube3TsIfS2Cxuvr9yXs0ZQ

Elixir em Foco

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

19 weeks پیش1:07:39

1:07:39

Neste episódio do podcast Elixir em Foco, Adolfo Neto, Herminio Torres e Zoey Pessanha conversaram sobre eventos da comunidade Elixir ao redor do mundo, como a Code BEAM e a Alchemy Conf, além de iniciativas locais no Brasil, como o Elixir Curitiba e a possibilidade de um futuro Elixir Maceió. Eles também exploraram tendências e aprendizados técnicos, como o interesse em frameworks como Ash, linguagens emergentes como Gleam, e ferramentas para aprendizado como Exercism. Reflexões sobre temas não técnicos, como ciências sociais e gênero, também foram abordadas, demonstrando o interesse dos participantes em ampliar seus horizontes. O episódio terminou com mensagens de final de ano e incentivos à comunidade para explorar novos conhecimentos, participar de projetos, e dar feedback sobre o podcast. Houve também uma chamada para mais interação com os ouvintes e o desejo de continuar fortalecendo o projeto em 2025. Recomendações IA SOB CONTROLE https://www.iasobcontrole.tech/ IA nas ondas do rádio (um episódio) https://open.spotify.com/episode/0i3ThcX70HsEHLMZzbpqt1 Ep. Paulo Valente https://elixiremfoco.com/episodio?id=paulo-valente Twitter -> Bluesky https://redeemilias.bsky.social/ Projetos open source da Zoey https://github.com/zoedsoupe/proto_rune https://github.com/zoedsoupe/peri https://github.com/zoedsoupe/nexus https://github.com/zoedsoupe/arcane-quests Blog do Herminio https://dev.to/herminiotorres/bridging-the-gap-simplifying-live-component-invocation-in-phoenix-liveview-5boc O que quer aprender ou praticar em 2025 https://elixir-phoenix-ash.com/index.html Lean https://lean-lang.org/ Sofia https://bsky.app/profile/monad.mom Gleam https://gleam.run/ Rede Emílias de Podcasts no Bluesky https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon https://bertha.social/@redeemilias/ Elixir em Foco no YouTube https://www.youtube.com/@elixiremfoco Elixir em Foco no Spotify https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ Elixir em Foco no Spotify for Podcasters https://podcasters.spotify.com/pod/show/elixiremfoco Elixir em Foco na Apple Podcasts https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119 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 X em @elixiremfoco⁠⁠ ⁠⁠⁠⁠ https://x.com/elixiremfoco⁠ Nosso email é ⁠⁠⁠ elixiremfoco@gmail.com ⁠ .…

Elixir em Foco

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

23 weeks پیش45:30

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 Microsoft, David compartilhou sua transição para o mundo open source e sua paixão por Elixir, que ele utiliza amplamente na Trio para soluções financeiras em produção. Ele destacou os desafios e aprendizados em ambientes de alta escala, além das bibliotecas e frameworks que a empresa utiliza para manter a eficiência e a qualidade dos sistemas. David também falou sobre sua motivação para criar conteúdo educacional no YouTube, em português e inglês, como forma de contribuir com a comunidade Elixir. No bloco final, comentou sobre sua participação no evento Elixir Curitiba 2024, organizado na sede da Trio, e mostrou entusiasmo com a possibilidade de uma edição em 2025. David Alencar (Linkedin): https://www.linkedin.com/in/davidalencar/ Canal no YouTube: https://www.youtube.com/@odavidalencar/ Elly Academy https://www.youtube.com/c/ELLYACADEMY/ https://www.instagram.com/elly.academy/ Rede Emílias de Podcasts no Bluesky - https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon - https://bertha.social/@redeemilias Elixir em Foco no YouTube - https://www.youtube.com/@elixiremfoco Elixir em Foco no Spotify - https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ Elixir em Foco no Spotify for Podcasters - https://podcasters.spotify.com/pod/show/elixiremfoco Elixir em Foco na Apple Podcasts - https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119 Associe-se à Erlang Ecosystem Foundation - https://bit.ly/3Sl8XTO Site da Erlang Ecosystem Foundation - https://bit.ly/3Jma95g Nosso site - https://elixiremfoco.com Estamos no X (@elixiremfoco) - https://x.com/elixiremfoco Nosso email - elixiremfoco@gmail.com…

Elixir em Foco

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

27 weeks پیش57:22

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 Remote. Lívia detalha seu trabalho inicial na equipe de API pública da Remote e sua transição para o time de integrações contábeis. Ela explica o uso de Elixir em produção na empresa e a importância do trabalho assíncrono. Lívia também compartilha sua experiência prévia na Saraiva Educação, onde trabalhou com produtos educacionais e ganhou conhecimentos sobre desenvolvimento fullstack e cultura de testes. Lívia compartilha seu percurso acadêmico, com bacharelado e mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (UFMG), e menciona o trabalho com o professor André Hora. Ela conta como sua pesquisa de mestrado, focada na migração de frameworks de testes no ecossistema Python, contribuiu para seu desenvolvimento profissional. Além da vida profissional, Lívia comenta sobre a comunidade "Engineering Wolves" da Remote, destinada a mulheres e engenheiros não-binários, e oferece conselhos para iniciantes em Elixir, recomendando ferramentas como Exercism e participação em projetos reais. Para concluir, ela deixa uma mensagem à comunidade brasileira de Elixir, incentivando o engajamento e a busca constante por aprendizado. LinkedIn da Lívia - https://www.linkedin.com/in/liviaab/ Dissertação de mestrado da Lívia: Assessing the Migration of Testing Frameworks in the Python Ecosystem - https://repositorio.ufmg.br/handle/1843/47346 Exercism - https://exercism.org/ Remote Careers - https://remote.com/careers Rede Emílias de Podcasts no Bluesky - https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon - https://bertha.social/@redeemilias/ Elixir em Foco no YouTube - https://www.youtube.com/@elixiremfoco Elixir em Foco no Spotify - https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ Elixir em Foco no Spotify for Podcasters - https://podcasters.spotify.com/pod/show/elixiremfoco Elixir em Foco na Apple Podcasts - https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119 Associe-se à Erlang Ecosystem Foundation - https://bit.ly/3Sl8XTO Site da Erlang Ecosystem Foundation - https://bit.ly/3Jma95g Nosso site - https://elixiremfoco.com Estamos no X (@elixiremfoco) - https://x.com/elixiremfoco Nosso email - elixiremfoco@gmail.com…

Elixir em Foco

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

32 weeks پیش1:02:44

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 Nx https://bit.ly/4gHiXmv Paulo Valente has done the work to make Nx work on Metal. https://podcast.thinkingelixir.com/212 https://archive.is/EQkpd https://github.com/elixir-nx/nx_iree/blob/main/run.exs Elixir em Produção com Paulo Valente https://podcasters.spotify.com/pod/show/elixiremfoco/episodes/4--Elixir-em-Produo-com-Paulo-Valente--Backend-Tech-Leader-na-Stone-e13kt6p Links ML: https://codebeameurope.com/participants/lars-wikman/ https://fosstodon.org/@lawik/113027528907484208 https://youtu.be/TfZI5-oQSqI?feature=shared Machine Learning in Elixir - Learning to Learn with Nx and Axon by Sean Moriarity https://pragprog.com/titles/smelixir/machine-learning-in-elixir/ Curso Andrew Ng http://coursera.org/specializations/machine-learning-introduction Rambo 2 - A Missão https://pt.wikipedia.org/wiki/Rambo:_First_Blood_Part_II Elixir Curitiba https://elixircuritiba.github.io/ Rede Emílias de Podcasts no Bluesky https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon https://bertha.social/@redeemilias/ Elixir em Foco no YouTube https://www.youtube.com/@elixiremfoco Elixir em Foco no Spotify https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ Elixir em Foco no Spotify for Podcasters https://podcasters.spotify.com/pod/show/elixiremfoco Elixir em Foco na Apple Podcasts https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119 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 X em @elixiremfoco⁠⁠ ⁠⁠⁠⁠ https://x.com/elixiremfoco⁠ Nosso email é ⁠⁠⁠ elixiremfoco@gmail.com ⁠ .…

Elixir em Foco

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

36 weeks پیش46:35

46:35

Neste episódio do Elixir em Foco, conversamos com Iago Effting, Engenheiro de Software na Finbits e criador da newsletter Café com Elixir. Entre outras coisas, Iago respondeu: • Como a Finbits usa Elixir em produção? • Quais são as vantagens de usar Elixir na Finbits? E as desvantagens? • Quais são as principais bibliotecas que vocês usam na Finbits? • Por que decidiu criar a Café com Elixir? Links do Iago • https://mastodon.social/@iago_effting • https://www.linkedin.com/in/iagoeffting/ • https://cafecomelixir.com.br/ • https://x.com/iagoEffting Café com Elixir https://cafecomelixir.substack.com/ E-books: • Aprenda Elixir utilizando testes https://aprenda.cafecomelixir.com.br/ • Consumindo APIs com Elixir https://consumindo-apis-com-elixir.cafecomelixir.com.br/ Finbits https://github.com/finbits Elixir Conf https://2024.elixirconf.com/schedule/#schedules Elixir Curitiba https://elixircuritiba.github.io/ Elixir Pattterns https://elixirpatterns.dev/ Rede Emílias de Podcasts no Bluesky https://bsky.app/profile/redeemilias.bsky.social Rede Emílias de Podcasts no Mastodon https://bertha.social/@redeemilias/ Elixir em Foco no YouTube https://www.youtube.com/@elixiremfoco Elixir em Foco no Spotify https://open.spotify.com/show/43aDX4kajkNCKaCYpGPooJ Elixir em Foco no Spotify for Podcasters https://podcasters.spotify.com/pod/show/elixiremfoco Elixir em Foco na Apple Podcasts https://podcasts.apple.com/us/podcast/elixir-em-foco/id1560944119 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 X em @elixiremfoco⁠⁠ ⁠⁠⁠https://x.com/elixiremfoco Nosso email é ⁠⁠⁠elixiremfoco@gmail.com⁠…

Elixir em Foco

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

40 weeks پیش1:08:17

1:08:17

Neste episódio do podcast Elixir em Foco, Adolfo Neto, Herminio Torres, Cristine Guadelupe e Zoey Pessanha recebem George Guimarães, um dos fundadores da Plataformatec e atualmente Engineering Manager na Cloudwalk. George compartilha sua experiência com o Elixir e suas funções na Cloudwalk, onde está envolvido em projetos de Acquiring e Agents AI. Ele também discute o impacto do Elixir no campo de aprendizado de máquina, apresentando seu repositório no GitHub, “Awesome Machine Learning and Elixir”, que reúne recursos valiosos para a comunidade de desenvolvedores. Além disso, George fala sobre sua trajetória na Plataformatec e sua experiência como CEO da SourceLevel, uma empresa focada em medir a produtividade de equipes de software. O episódio também aborda sua iniciativa de criar o Protótipo Podcast, onde busca compartilhar o que está acontecendo no ecossistema Elixir, e sua participação em webinars e meetups que promovem a linguagem e suas aplicações. George Guimarães: Perfil no Linkedin https://www.linkedin.com/in/georgeguimaraes/ GitHub https://github.com/georgeguimaraes Twitter https://x.com/georgeguimaraes Mastodon @ georgeguimaraes@mastodon.social Rebrandly https://rebrand.ly/georgeguimaraes CloudWalk https://www.cloudwalk.io/ JIM https://www.jim.com/ Awesome Machine Learning and Elixir A curated list of Machine Learning packages and resources for the Elixir programming language. https://github.com/georgeguimaraes/awesome-machine-learning-elixir Agilistas estão morrendo! https://bit.ly/4d9LY7Y Spotify Model Nunca Existiu? Como Assim? https://www.youtube.com/watch?v=1wstlCLmT7w The Real Real https://www.youtube.com/watch?v=6A6eXFd8olw https://www.youtube.com/watch?v=sTs_4T1ufLY Webinar de Elixir da Source Level em abril de 2020 https://archive.is/o7thF “da quarentena” Protótipo Podcast https://prototipo.tech/ ttps://open.spotify.com/show/5MErBHgSpMATMy6So1UKIh Castálio Podcast - 141 - George Guimarães - Code Review (2019) https://www.youtube.com/watch?v=mvLL5QS34No Marcelo Park | Posicionamento Estratégico para diferenciação e tracionamento | UNITE 2020 https://www.youtube.com/watch?v=aUcm0bam2fc Chat do Vagas ponto com https://www.vagas.com.br/ Geovane Fedrecheski PhD, Research Engineer at Inria Paris Egresso Poli https://scholar.google.com/citations?hl=pt-BR&user=TBf0rLkAAAAJ&view_op=list_works&sortby=pubdate https://www.linkedin.com/in/geovane-fedrecheski https://www.teses.usp.br/teses/disponiveis/3/3142/tde-26072023-074626/pt-br.php https://geonnave.com/ https://x.com/geonnave Venmo https://www.remessaonline.com.br/blog/venmo/ Canal Plataformatec https://www.youtube.com/@PlataformatecCompany A RAG for Elixir https://bitcrowd.dev/a-rag-for-elixir/ How even the simplest RAG can empower your team https://bitcrowd.dev/how-even-the-simplest-RAG-can-empower-your-team/ ElixirLab https://elixirlab.org/ Assista a esta entrevista no YouTube em⁠⁠ ⁠⁠⁠ https://www.youtube.com/@elixiremfoco . Escute a esta entrevista no Spotify em⁠ ⁠ https://podcasters.spotify.com/pod/show/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 X em @elixiremfoco⁠⁠ ⁠⁠⁠ https://x.com/elixiremfoco Nosso email é ⁠⁠ elixiremfoco@gmail.com .…

Elixir em Foco

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

45 weeks پیش50:37

50:37

Neste episódio do Elixir em Foco, Adolfo Neto e sua equipe, Herminio Torres e Zoey Pessanha, entrevistam Fabian van 't Hooft, Team Lead Manager na Ekinops, e João Henrique Freitas, Embedded Software Developer na mesma empresa. Eles discutem o papel da Ekinops, seu forte background acadêmico e como a empresa utiliza a BEAM, a máquina virtual que executa Erlang e Elixir. Os convidados compartilham suas experiências, vantagens e desafios de trabalhar com BEAM, bem como as principais bibliotecas e frameworks que utilizam. Além disso, oferecem recomendações para quem deseja aprender Erlang. No final, deixam uma mensagem especial para a comunidade brasileira de Elixir. Entrevistados: Fabian van 't Hooft - Team Lead Manager at Ekinops https://www.linkedin.com/in/fabian-van-t-hooft-9825b89/ João Henrique Freitas - Embedded Software Developer at Ekinops https://www.linkedin.com/in/jo%C3%A3o-henrique-freitas/ Blog do João: https://beam-mignon.netlify.app/ Perfil no GitHub: https://github.com/joaohf/ Site da Ekinops: https://www.ekinops.com/ Links mencionados no episódio: Nitrogen - https://nitrogenproject.com/ Cowboy - subsistema do Nitrogen (servidor web, o phoenix usa por padrão) ssh do OTP https://www.erlang.org/doc/apps/ssh/ssh.html Mnesia https://www.erlang.org/doc/apps/mnesia/mnesia.html Erlang Examples Rabbit MQ Learn You Some Erlang https://learnyousomeerlang.com/ Playlist de Adolfo baseada no livro https://www.youtube.com/watch?v=pSlcmfQS4EU&list=PLF5ttO8F-IsTided30sMhUx-5Rfyeur65 Livro sobre Property-Based Testing com Erlang e Elixir https://pragprog.com/titles/fhproper/property-based-testing-with-proper-erlang-and-elixir/ Erlang in Anger https://www.erlang-in-anger.com/ Trilha de Erlang no Exercism https://exercism.org/tracks/erlang Erlang Forums https://erlangforums.com/ Erlang and OTP in Action https://www.manning.com/books/erlang-and-otp-in-action Programming Erlang https://pragprog.com/titles/jaerlang2/programming-erlang-2nd-edition/ Erlang Programming https://www.amazon.com/Erlang-Programming-Concurrent-Approach-Development/dp/0596518188 Making reliable distributed systems in the presence of software errors, Joe Armstrong (PhD Dissertation) https://erlang.org/download/armstrong_thesis_2003.pdf Erlang Master Class 1 https://www.youtube.com/playlist?list=PLR812eVbehlwEArT3Bv3UfcM9wR3AEZb5 Erlang Master Class 2: Concurrent Programming https://www.youtube.com/playlist?list=PLR812eVbehlwq4qbqswOWH7NLKjodnTIn Erlang Master Class 3: OTP Behaviours and Releases https://www.youtube.com/playlist?list=PLR812eVbehlx6vgWGf2FLHjkksAEDmFjc Entrevista com Brujo Benavides https://www.youtube.com/watch?v=6MTSl2OArd0 Entrevista com José Valim no freeCodeCampBR https://www.youtube.com/watch?v=KiF10RgaC5k Assista a esta entrevista no YouTube em⁠⁠ ⁠ ⁠https://www.youtube.com/@elixiremfoco⁠ . Escute a esta entrevista no Spotify em ⁠https://podcasters.spotify.com/pod/show/elixiremfoco⁠ Leia o livro “Aprenda Elixir utilizando testes” https://aprenda.cafecomelixir.com.br/ Assine a newsletter “Café com Elixir”. Em especial, leiam a Edição 28. Ela é feita por Iago Efting https://cafecomelixir.substack.com/p/cafe-com-elixir-edicao-n28 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 X em @elixiremfoco⁠⁠ ⁠ ⁠https://x.com/elixiremfoco⁠ ⁠⁠⁠ . Nosso email é ⁠⁠elixiremfoco@gmail.com⁠ .…

Elixir em Foco

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

49 weeks پیش29:10

29:10

Neste episódio do podcast Elixir em Foco, Adolfo Neto, Herminio Torres e Zoey Pessanha entrevistam Samanta de Araújo, Engenheira de Software Senior/Principal na Ultrawise. Samanta compartilha sua experiência e insights sobre o uso de Elixir na empresa Ultrawise e em outras empresas em que trabalho, além de discutir as vantagens e desafios da adoção dessa linguagem de programação. Samanta também fala sobre suas palestras recentes na Elixir Conf Europa 2024 e na Code BEAM Lite Estocolmo 2024, abordando a migração de um aplicativo de armazém de C# para Elixir. Ela explica as motivações técnicas e comerciais por trás dessa migração e descreve o processo de adoção do Elixir. Além disso, Samanta oferece recomendações para quem deseja aprender Elixir e deixa uma mensagem final para a comunidade brasileira de Elixir. Links: Samanta de Araújo Engenheira de Software Senior/Principal https://www.linkedin.com/in/samanta-de-araujo/ Entrevista de Samanta no Emílias Podcast https://youtu.be/zXmvg3daHic?si=NTViSlHM9RFqq7ka Palestra de Samanta na ElixirConf EU 2024 https://www.elixirconf.eu/participants/samanta-de-araujo/ Palestra de Samanta na Code BEAM Lite Stockholm 2024 https://codebeamstockholm.com/participants/Samanta-de-Araujo/ Assista a esta entrevista no YouTube em⁠⁠ ⁠ https://www.youtube.com/@elixiremfoco . Escute a esta entrevista no Spotify em https://podcasters.spotify.com/pod/show/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 @elixiremfoco⁠⁠ ⁠ https://twitter.com/elixiremfoco ⁠⁠⁠ . Nosso email é ⁠ elixiremfoco@gmail.com ⁠ .…

Elixir em Foco

1
GambiConf 2024 4:55

1 year پیش4:55

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 apresentados, na singularidade de cada sessão e, principalmente, no que podemos aprender a partir de ideias bem aleatórias e inusitadas. É um ambiente que encoraja todos a testarem novas ideias e descobrirem coisas novas, tudo pelo simples prazer da curiosidade e da exploração. Se você tem uma ideia fora do comum, um projeto curioso ou uma abordagem inovadora que gostaria de compartilhar, submeta à Gambiconf! A data final para a submissão de palestras e workshops é 02 de junho, então marque esta data no seu calendário e prepare sua proposta. Se você prefere um formato mais interativo, pode optar por ministrar um workshop. Essa é uma ótima oportunidade para um hands-on com a comunidade, compartilhando conhecimentos de uma maneira prática e colaborativa. A GambiConf 2024 vai acontecer nos dias 02 e 03 de novembro, na USP - Campus Butantã, em São Paulo. Reserve essas datas e junte-se a nós para um evento que promete ser repleto de aprendizado, inovação e, claro, muita diversão. Não perca a chance de fazer parte desse evento. Submeta sua palestra ou workshop e venha compartilhar suas ideias com a comunidade! Para mais informações e para enviar sua proposta, acesse o site da conferência: https://gambiconf.dev/ Até lá! Esse foi mais um episódio extra do Elixir em Foco https://elixiremfoco.com/ . Não se esqueça de seguir nossas redes sociais e ficar por dentro de todas as novidades da comunidade Elixir. PlataZ by Blue Dot Sessions is licensed under a Attribution-NonCommercial License .…

به Player FM خوش آمدید!

Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.

به بیش از 500 موضوع گوش کنید

مشابه Elixir em Foco

The Let Them Theory: A Life-Changing Tool That Millions of People Can't Stop Talking About

پادکست هایی که ارزش شنیدن دارند

Elixir em Foco « » 21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC

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

پادکست هایی که ارزش شنیدن دارند

به Player FM خوش آمدید!

Bounty Paper Towels Quick Size, White, 16 Family Rolls = 40 Regular Rolls (Packaging May Vary)

The Let Them Theory: A Life-Changing Tool That Millions of People Can't Stop Talking About

Amazon Fire TV Stick HD (newest model), free and live TV, Alexa Voice Remote, smart home controls, HD streaming

Apple AirTag

The Let Them Theory: A Life-Changing Tool That Millions of People Can't Stop Talking About

مشابه Elixir em Foco

راهنمای مرجع سریع

Elixir em Foco « »
21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC