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

Author: Rede Emílias de Podcasts December 7, 2022 Duration: 55:34

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

Links Gabriela:

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:

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.


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
From Diplomacy to OTP: Mackenzie Morgan's Path to Erlang and Elixir [not-audio_url] [/not-audio_url]

Duration: 1:05:43
In this episode of Elixir in Focus, part of the SE4FP 2025 warm-up series, host Adolfo Neto welcomes Mackenzie Morgan, a senior backend engineer at Level All. Mackenzie shares her journey into technology, which began wit…
Palestra Esquenta SE4FP: Leonardo Lucena apresenta Potigol [not-audio_url] [/not-audio_url]

Duration: 1:17:24
Este é um episódio extra do podcast Elixir em Foco.Nesta palestra, Leonardo Lucena, professor do IFRN, apresenta Potigol https://potigol.github.io/, uma linguagem moderna para aprender a programar que é multiparadigma (f…