POPULARITY
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/josevalimLinkedIn: https://www.linkedin.com/in/josevalim/Bluesky: https://bsky.app/profile/josevalim.bsky.socialDashbit: https://dashbit.co/Artigos científicos:The Design Principles of the Elixir Type SystemGiuseppe Castagna, Guillaume Duboc, José Valimhttps://www.irif.fr/_media/users/gduboc/elixir-types.pdfGuard analysis and safe erasure gradual typing: a type system for ElixirGiuseppe Castagna, Guillaume Dubochttps://arxiv.org/abs/2408.14345Links:Ep. Roberto Ierusalimschy (Lua) https://fronteirases.github.io/episodios/paginas/52 Lua na BEAM https://hexdocs.pm/lua/Lua.htmlEp. 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-potionTese Lucas Vegi https://repositorio.ufmg.br/handle/1843/80651 Artigos Lucas Vegi e Marco Tulio Valentehttps://scholar.google.com/citations?hl=pt-BR&user=N6KnVK8AAAAJ&view_op=list_works&sortby=pubdateYou have built an Erlang https://vereis.com/posts/you_built_an_erlang Beyond Functional Programming with Elixir and Erlanghttps://blog.plataformatec.com.br/2016/05/beyond-functional-programming-with-elixir-and-erlang/ ChatGPTs para Elixir e Erlang https://gist.github.com/adolfont/a747dcc9cbef002f510b6dbf050695ebErlang 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 transformationhttps://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 2023https://www.youtube.com/watch?v=gJJH7a2J9O8 Quem é José Valim? Respostas de vários LLMshttps://gist.github.com/adolfont/a95b7e37867cc1b2e24cd0e372727d8cHoney Potion https://www.youtube.com/watch?v=CoFNns01VjARefactorEx https://github.com/gp-pereira/refactorexJido frameworkhttps://github.com/agentjido/jido Fronteiras da Engenharia de Software https://fronteirases.github.io/ Elixir em Foco https://www.elixiremfoco.com/
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/josevalimLinkedIn: https://www.linkedin.com/in/josevalim/Bluesky: https://bsky.app/profile/josevalim.bsky.socialDashbit: https://dashbit.co/Artigos científicos:The Design Principles of the Elixir Type SystemGiuseppe Castagna, Guillaume Duboc, José Valimhttps://www.irif.fr/_media/users/gduboc/elixir-types.pdfGuard analysis and safe erasure gradual typing: a type system for ElixirGiuseppe Castagna, Guillaume Dubochttps://arxiv.org/abs/2408.14345Links:Ep. Roberto Ierusalimschy (Lua) https://fronteirases.github.io/episodios/paginas/52 Lua na BEAM https://hexdocs.pm/lua/Lua.htmlEp. 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-potionTese Lucas Vegi https://repositorio.ufmg.br/handle/1843/80651 Artigos Lucas Vegi e Marco Tulio Valentehttps://scholar.google.com/citations?hl=pt-BR&user=N6KnVK8AAAAJ&view_op=list_works&sortby=pubdateYou have built an Erlang https://vereis.com/posts/you_built_an_erlang Beyond Functional Programming with Elixir and Erlanghttps://blog.plataformatec.com.br/2016/05/beyond-functional-programming-with-elixir-and-erlang/ ChatGPTs para Elixir e Erlang https://gist.github.com/adolfont/a747dcc9cbef002f510b6dbf050695ebErlang 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 transformationhttps://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 2023https://www.youtube.com/watch?v=gJJH7a2J9O8 Quem é José Valim? Respostas de vários LLMshttps://gist.github.com/adolfont/a95b7e37867cc1b2e24cd0e372727d8cHoney Potion https://www.youtube.com/watch?v=CoFNns01VjARefactorEx https://github.com/gp-pereira/refactorexJido frameworkhttps://github.com/agentjido/jido Fronteiras da Engenharia de Software https://fronteirases.github.io/ Elixir em Foco https://www.elixiremfoco.com/
Possível instalação de curso de Medicina em Cachoeira do Sul.
Possível instalação de curso de Medicina em Cachoeira do Sul.
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
Salve, camaradas! Mauro Lopes entrevistou Patrícia Valim, conversaram sobre os 17 anos de governo do PT na Bahia, a necessidade de um projeto de esquerda no Brasil e mais. Patrícia Valim: professora do Departamento de História e do PPGH/UFBA. Liderança feminista, é protagonista da Rede Brasileira de Mulheres Cientistas
Salve, camaradas! No Manhã Brasil desta terça (4), ancorado pelo jornalista Mauro Lopes, os temas centrais são: 1) na tradicional mensagem do presidente da República ao Congresso, na abertura dos trabalhos legislativos, Lula afirma que a prioridade de seu governo seguirá sendo o arcabouço fiscal: “Em 2024, o Governo Federal manteve seu compromisso com o equilíbrio das contas públicas. Fizemos o sexto maior ajuste fiscal do mundo. (...) Em 2025, continuaremos a pautar nossa gestão pelo compromisso com o equilíbrio fiscal”; 2) A pesquisa Quaest sobre o cenário eleitoral para 2026 impactou a cena política e as conclusões apontam: Lula é favorito mas, se ele não for candidato, o PT fica praticamente fora do jogo; a extrema direita tem vários candidatos com potencial, mas nenhum se destaca; 3) A Procuradoria Geral da República finalmente deverá denunciar Bolsonaro por tentativa de golpe, antes do Carnaval. Se a denúncia não for feita até lá, os prazos para o julgamento em 2025 começarão a ficar comprometidos e processo deve invadir o ano eleitoral Os convidados do Manhã desta quinta são Gabriel Landi Fazzio, metroviário e advogado trabalhista é secretário político de formação do PCBR Patrícia Valim, professora do Departamento de História e do PPGH/UFBA. Liderança feminista, é protagonista da Rede Brasileira de Mulheres Cientistas Adriano Repórter, roteirista e apresentador de podcast. Atuou nas redações da Folha de S.Paulo e do UOL, onde cobriu edições das Olimpíadas e da Copa do Mundo. Produziu, roteirizou e apresentou o podcast "Os Grampos de Robinho" e trabalhou no documentário sobre o mesmo tema do Globoplay. Hoje produz o podcast independente "Carrapato". Margareth Maytapu, coordenadora do conselho Indígena Tapajos e Arapiuns( CITA), onde representa 14 povos de 119 aldeias do município de Aveiro, Belterra e Santarém- baixo Tapajós Alexandre Vasilenskas. ´psicólogo e sanitarista. Mestre em Doutor em saúde coletiva pelo IMS/UERJ. Especialista em gestão de redes de saúde pela Fiocruz. Ex presidente do conselho estadual de saúde do Rio e atual coordenador de saúde mental do CRP RJ
1 - Te hanova ny fonsika Izy vao manome valim-bavaka 2 - Mila mifanampy 3 - Fiainam_baovao 4 - Tsy izay tianao no vokany 5 - Vato velona
1 - Te hanova ny fonsika Izy vao manome valim-bavaka 2 - Mila mifanampy 3 - Fiainam_baovao 4 - Tsy izay tianao no vokany 5 - Vato velona
We're back for Backend Banter Season 2, and we bring a very special guest, José Valim, the creator of the Elixir Programming Language, one of the most popular and loved functional programming languages of today. (Fun fact: it's used in production at Discord). We cover the nitty-gritty of the language, ranging from simple topics such as the decision behind not making Elixir be statically typed, into the more complex cross-machine communication. We go over how Elixir's features compare with those of other languages, work habits of today's developers, José's own day-to-day development, and a lot more! Today's talk encompasses a great variety of themes, so grab your coffee and tune in! Learn back-end development - https://www.boot.dev Listen on your favorite podcast player: https://www.backendbanter.fm Livebook & Elixir Talk: https://www.youtube.com/watch?v=pas9WdWIBHs Elixir Programming Language: https://elixir-lang.org/ Livebook: https://livebook.dev/ Elixir In Action Book: https://www.manning.com/books/elixir-in-action-third-edition José's Socials: X/Twitter: https://x.com/josevalim LinkedIn: https://www.linkedin.com/in/josevalim GitHub: https://github.com/josevalim Timestamps: 00:00 - Intro 01:06 - Embarrassing Stories with Foreign Languages 02:58 - Who is José Valim? (and Elixir's Popularity) 06:51 - Does José Use Phoenix a Lot? 08:28 - Why Isn't Elixir Statically Typed? 16:51 - External Input vs. Internal Code Logic 28:16 - Quick Overview of BEAM languages 31:23 - Elixir's Equivalent to Golang's Goroutines & Channels 42:43 - Cross-Machine Communication in Standard Libraries 49:15 - Do You Need RabbitMQ When Writing Elixir? 54:53 - Built-In Features in the Standard Library 01:01:52 - Why People Are Too Used To Work The Hard Way 01:04:22 - José and DHH 01:08:01 - Favorite Elixir Features & Immutability 01:17:49 - Purity in Functional Programming 01:21:35 - Where to find José
1 - Aza kivy dia ho lehibe ny valim-pitia 2 - Fotoana fiz faharoa 3 - Ny fitsaran39;Andriamanitra 4 - Ny fahalalana an`i Jesosy sy ny teniny, fianarana fanampiny
1 - Aza kivy dia ho lehibe ny valim-pitia 2 - Fotoana fiz faharoa 3 - Ny fitsaran39;Andriamanitra 4 - Ny fahalalana an`i Jesosy sy ny teniny, fianarana fanampiny
1 - Valim-bavaka 2 - Ady @ fositra fotsy 3 - Lalàna sa Fahasoavana 4 - Mitoetra ao amin`i Jesosy
1 - Valim-bavaka 2 - Ady @ fositra fotsy 3 - Lalàna sa Fahasoavana 4 - Mitoetra ao amin`i Jesosy
Nesta edição, Leonardo Sá conversa com seu barbeiro, André Valim, que falou sobre sua vida e como foi parar nesse trabalho. Confira! Você pode acompanhar também a entrevista no Medium:
MÃES DA PRAÇA DE MAIO DENUNCIAM MILEI/PETRO SOFRE LAWFARE NA COLÔMBIA - ADVOGADO E DOUTOR EM DIREITONo episódio de hoje do Programa 20 Minutos, trazemos uma análise profunda sobre dois temas centrais na luta por justiça e democracia na América Latina. Rafael Valim, advogado e doutor em Direito, aborda a denúncia das Mães da Praça de Maio contra o ultradireitista Javier Milei, Presidente da Argentina que ameaça os avanços sociais e os direitos humanos no país. As Mães da Praça de Maio, ícones da resistência à ditadura militar, continuam sua luta pela memória, verdade e justiça, agora enfrentando o crescimento de uma agenda neoliberal e autoritária.Além disso, discutimos o caso de lawfare contra o presidente Gustavo Petro na Colômbia, uma prática que tem sido usada para perseguir líderes progressistas e desestabilizar governos comprometidos com a justiça social e os direitos das maiorias populares. Valim traz uma análise jurídica e política dos desafios que Petro enfrenta e como o lawfare é utilizado para manter a hegemonia das elites conservadoras.Se você é contra o avanço do autoritarismo e a perseguição judicial a líderes progressistas, este episódio é essencial. Inscreva-se no canal para mais debates sobre política, direitos humanos e justiça social na América Latina!
Lee-Ann Olwage a visual storyteller from South Africa. Her series, Valim-babena, won Story of the Year, and explores the stigma in Madagascar surrounding dementia and memory loss.
Back in 2012, José Valim started building Elixir to as a way to have his ideal programming language running on the same platform as Erlang. Fast-forward 12 years and it's become build anything from distributed infrastructure to notebooks and websites.In this week's Developer Voices, José joins us to tell the history of Elixir in a series of design choices. Which features mattered to him in the early days, and which ones excite him most now. What's going on under the hood to make Elixir tick, and what does its future hold?–Support Developer Voices on Patreon: https://patreon.com/DeveloperVoicesSupport Developer Voices on YouTube: https://www.youtube.com/@developervoices/joinElixir Homepage: https://elixir-lang.org/Elixir Docs: https://elixir-lang.org/docs.htmlNumerical Elixir: https://github.com/elixir-nxPhoenix: https://phoenixframework.org/Livebook: https://livebook.dev/José's Livebook & Elixir Presentation: https://www.youtube.com/watch?v=pas9WdWIBHsComparing Elixir & Erlang Variables: https://dashbit.co/blog/comparing-elixir-and-erlang-variablesGleam on the BEAM: https://youtu.be/RntfkL8lUY4José on Github: https://github.com/josevalimKris on Mastodon: http://mastodon.social/@krisajenkinsKris on LinkedIn: https://www.linkedin.com/in/krisjenkins/Kris on Twitter: https://twitter.com/krisajenkins
podcast recorded with enacast.com
This week we're delighted to have José Valim on the podcast. José is the author of Elixir, the programming language build on the Erlang VM. Elixer provides a functional programming language with metaprogramming and built-in support for concurrency and distributed computing. Livebook is a web-based interactive programming environment for Elixir and it flexes what the Phoenix framework can do. https://twitter.com/josevalim https://elixir-lang.org/ https://www.phoenixframework.org/ https://livebook.dev/ Episode sponsored By Clerk (https://clerk.com) Become a paid subscriber our patreon, spotify, or apple podcasts for the full episode. https://www.patreon.com/devtoolsfm https://podcasters.spotify.com/pod/show/devtoolsfm/subscribe https://podcasts.apple.com/us/podcast/devtools-fm/id1566647758 https://www.youtube.com/@devtoolsfm/membership
1- Poteho dieny zao ny fahazaran-dratsy 2- Flan vita amin39;ny Brocolie 3- Ny herin39;ny vavaka 4-Ny asan39;ny AWR + valim-panotanin39;ny mpihaino & famba fitoriana amin39;ny haino aman-jery 5- Teny fikasana ny amin39;ny fiverenany
1- Poteho dieny zao ny fahazaran-dratsy 2- Flan vita amin39;ny Brocolie 3- Ny herin39;ny vavaka 4-Ny asan39;ny AWR + valim-panotanin39;ny mpihaino & famba fitoriana amin39;ny haino aman-jery 5- Teny fikasana ny amin39;ny fiverenany
Inspírate, crea nuevos proyectos y expande tu conocimiento en http://www.newmedia.ufm.edu Organizado por Escuela de Posgrado https://posgrado.ufm.edu/ Una producción de UFM Studios http://newmedia.ufm.edu Síguenos en nuestras redes sociales Facebook @ufmvideos Twitter @newmediaufm Facebook @UFMposgrado Twitter @UFMposgrado
1- Manaova ny marina 2- Gateau Sinoa tsy mila lafaoro 3- Fitahiana sandoky ny fahotana 4- Ny asan39;ny AWR sy Tmg + valim-panotanin39;ny mpihaino & famba fitoriana amin39;ny haino aman-jery 5- Ireo Vavolombelona roa
1- Manaova ny marina 2- Gateau Sinoa tsy mila lafaoro 3- Fitahiana sandoky ny fahotana 4- Ny asan39;ny AWR sy Tmg + valim-panotanin39;ny mpihaino & famba fitoriana amin39;ny haino aman-jery 5- Ireo Vavolombelona roa
Neste episódio, falamos sobre a nossa relação com jogos de mundo aberto, e o que gostamos e odiamos nesse tipo de jogo. Tivemos também uma história sobre o colossal PS2. Quer apoiar o Fora do Controle? PIX: 175e05ce-5f6e-42f7-ae88-5b8872670ebc Segue a gente: Flesh | Gisele | Lucena | PC Convidado: Murilo Redes Sociais: Twitch | Discord | YouTube | Instagram | Twitter E-mail: podcastforadocontrole@gmail.com
In this episode, Brittany Valim shares her experience with pulmonary hypertension and her journey towards a heart and double lung transplant. She now lives a fulfilling life as a mother, student, and aspiring nurse. Brittany encourages others to embrace life and ride the wave, appreciating the rarity of their experiences. Learn more about pulmonary hypertension trials at www.phaware.global/clinicaltrials. Follow us on social @phaware Engage for a cure: www.phaware.global/donate #phaware Share your story: info@phaware.com
Compacto de entrevista com a abordagem de temas pertinentes à comunidade do Vale do Rio Pardo e Taquari. A cada edição um tema relevante ou algum assunto específico de ampla repercussão
Compacto de entrevista com a abordagem de temas pertinentes à comunidade do Vale do Rio Pardo e Taquari. A cada edição um tema relevante ou algum assunto específico de ampla repercussão
For the final episode of Elixir Wizards' Season 11 “Branching Out from Elixir,” we're featuring a recent discussion from the Software Unscripted podcast. In this conversation, José Valim, creator of Elixir, interviews Richard Feldman, creator of Roc. They compare notes on the process and considerations for creating a language. This episode covers the origins of creating a language, its influences, and how goals shape the tradeoffs in programming language design. José and Richard share anecdotes from their experiences guiding the evolution of Elixir and Roc. The discussion provides an insightful look at the experimentation and learning involved in crafting new languages. Topics discussed in this episode What inspires the creation of a new programming language Goals and use cases for a programming language Influences from Elm, Rust, Haskell, Go, OCaml, and more Tradeoffs involved in expressiveness of type systems Opportunistic mutation for performance gains in a functional language Minimum version selection for dependency resolution Build time considerations with type checking and monomorphization Design experiments and rolling back features that don't work out History from the first simple interpreter to today's real programming language Design considerations around package management and versioning Participation in Advent of Code to gain new users and feedback Providing performance optimization tools to users in the future Tradeoffs involved in picking integer types and arithmetic Comparing floats and equality checks on dictionaries Using abilities to customize equality for custom types Ensuring availability of multiple package versions for incremental upgrades Treating major version bumps as separate artifacts Roc's focus on single-threaded performance Links mentioned in this episode Software Unscripted Podcast https://feeds.resonaterecordings.com/software-unscripted Roc Programming Language https://www.roc-lang.org/ Roc Lang on Github https://github.com/roc-lang/roc Elm Programming Language https://elm-lang.org/ Elm in Action by Richard Feldman https://www.manning.com/books/elm-in-action Richard Feldman on Github https://github.com/rtfeldman Lua Programming Language https://www.lua.org/ Vimscript Guide https://google.github.io/styleguide/vimscriptfull.xml OCaml Programming Language https://ocaml.org/ Advent of Code https://adventofcode.com/ Roc Language on Twitter https://twitter.com/roclang Richard Feldman on Twitter https://twitter.com/rtfeldman Roc Zulip Chat https://roc.zulipchat.com Clojure Programming Language https://clojure.org/ Talk: Persistent Data Structures and Managed References by Rich Hickey https://www.youtube.com/watch?v=toD45DtVCFM Koka Programming Language https://koka-lang.github.io/koka/doc/index.html Flix Programming Language https://flix.dev/ Clojure Transients https://clojure.org/reference/transients Haskell Software Transactional Memory https://wiki.haskell.org/Softwaretransactional_memory Rust Traits https://doc.rust-lang.org/book/ch10-02-traits.html CoffeeScript https://coffeescript.org/ Cargo Package Management https://doc.rust-lang.org/book/ch01-03-hello-cargo.html Versioning in Golang https://research.swtch.com/vgo-principles Special Guests: José Valim and Richard Feldman.
Software Engineering Radio - The Podcast for Professional Software Developers
José Valim, creator of the Elixir programming language, Chief Adoption Officer at Dashbit, and author of three programming books, speaks with SE Radio host Gavin Henry about what Elixir is today, what Livebook is, the five spearheads of the new machine learning ecosystem for Elixir, and how they all fit together. Valim describes why he created Elixir, what “the beam” is, and how he pitches it to new users. This episode examines things you can do with Livebook and how it is well-aligned with machine learning, as well as why immutability is important and how it works. They take a detailed look at a range of topics, including tensors with Nx, traditional machine learning with Scholar, data munging with Explorer, deep learning and neural networks with Axon, Bumblebee and Huggingface, and model creation basics. Brought to you by IEEE Computer Society and IEEE Software magazine.
Richard talks with José Valim, creator of the Elixir programming language, about the differences between gradual typing and static typing - including whether gradual is the best of both worlds.
Michel Valim is a spiritual practitioner hailing from Rio de Janeiro, Brazil. Michel is a Bruxo/Witch, Sacerdote/Priest of Aphrodite and Dionysus, Priest of the Religion of Antinous. He is a reiki practitioner and works as an integrative therapist and diviner of witch runes. On today's show we talk about Michel's spiritual journey, the relationship between Aphrodite/Dionysus/Antinous in his life, and his work at community building in the queer pagan community in Brazil. To connect with Michel, please check out his socials: FB: https://www.facebook.com/mickyvalim IG: @ValimMichel YT: https://www.youtube.com/channel/UCG128dn7W-S3D_zZAcAwK9g ---------------------------------------------------------- LIKE and SUBSCRIBE to keep up with the Essence Summer Series Podcast. Join us on our other socials: IG: www.instagram.com/benstimpsonauthor YT: @BenStimpsonAuthor FB: www.facebook.com/benstimpsonauthor WS: www.benstimpson.com
José Valim, the creator of Elixir, joins Dax to tell us the story behind how it was born and what makes it great.Want to carry on the conversation? Join us in Discord. (00:00) - Intro (00:30) - José gets into streaming (02:34) - Dax's experience with Elixir (04:08) - The beginning (12:25) - Functional Programming (26:00) - Modules and functions (33:12) - Standard Library (42:19) - Should tooling be built in? (48:52) - Elixir ecosystem (01:00:19) - Patterns (01:02:02) - Typesafety (01:13:03) - Takeaway
In this episode, Conor interviews speakers & attendees live from Lambda Days 2023!Link to Episode 133 on WebsiteDiscuss this episode, leave a comment, or ask a question (on GitHub)TwitterADSP: The PodcastConor HoekstraBryce Adelstein LelbachGuests InterviewedToby PfiefferKim HuizingAlexis KingJosé ValimAndor PénzesPeer StritzingerShow NotesDate Recorded: 2023-06-06Date Released: 2023-06-09Lambda Days 2023Elixir LanguageElixir Benchee Benchmarking LibraryRuby Berlin User Group MeetingLambda Days 2023: Stories In Open Soure - Toby PfeifferLambda Days 2018 - Tobias Pfeiffer - Stop Guessing and Start Measuring - Benchmarking in PracticeDevon Estes - Digging through the garbage - Code BEAM Lite Berlin 18Scala LanguageAWK LanguageAlexis King's BlogLambda Days 2023: Delimited Continuations Demystified - Alexis KingZuriHac 2023: Delimited Continuations Demystified - Alexis KingRacket LanguageSlideshow LanguageLambda Days 2023: Meta-programmable functional notebooks with Livebook - José ValimThinking Elixir PodcastLambda Days 2021: Introducing Nx - José ValimElixir NxElixir LiveBookElixir PhoenixElixir MembraneKeynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022Elixir ForumSponsor: Evolution EngineeringLambda Days 2023: Examples of easy dependently typed programming (in Idris) - Andor PénzesType Driven Development by Edwin BradyFunctional FemalesGRiSPErlang LanguageWhatsApp acquired for 19BGRiSP on TwitterIntro Song InfoMiss You by Sarah Jansen https://soundcloud.com/sarahjansenmusicCreative Commons — Attribution 3.0 Unported — CC BY 3.0Free Download / Stream: http://bit.ly/l-miss-you
It's the Season 10 finale of the Elixir Wizards podcast! José Valim, Guillaume Duboc, and Giuseppe Castagna join Wizards Owen Bickford and Dan Ivovich to dive into the prospect of types in the Elixir programming language! They break down their research on set-theoretical typing and highlight their goal of creating a type system that supports as many Elixir idioms as possible while balancing simplicity and pragmatism. José, Guillaume, and Giuseppe talk about what initially sparked this project, the challenges in bringing types to Elixir, and the benefits that the Elixir community can expect from this exciting work. Guillaume's formalization and Giuseppe's "cutting-edge research" balance José's pragmatism and "Guardian of Orthodoxy" role. Decades of theory meet the needs of a living language, with open challenges like multi-process typing ahead. They come together with a shared joy of problem-solving that will accelerate Elixir's continued growth. Key Topics Discussed in this Episode: Adding type safety to Elixir through set theoretical typing How the team chose a type system that supports as many Elixir idioms as possible Balancing simplicity and pragmatism in type system design Addressing challenges like typing maps, pattern matching, and guards The tradeoffs between Dialyzer and making types part of the core language Advantages of typing for catching bugs, documentation, and tooling The differences between typing in the Gleam programming language vs. Elixir The possibility of type inference in a set-theoretic type system The history and development of set-theoretic types over 20 years Gradual typing techniques for integrating typed and untyped code How José and Giuseppe initially connected through research papers Using types as a form of "mechanized documentation" The risks and tradeoffs of choosing syntax Cheers to another decade of Elixir! A big thanks to this season's guests and all the listeners! Links and Resources Mentioned in this Episode: Bringing Types to Elixir | Guillaume Duboc & Giuseppe Castagna | ElixirConf EU 2023 (https://youtu.be/gJJH7a2J9O8) Keynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022 (https://youtu.be/Jf5Hsa1KOc8) OCaml industrial-strength functional programming https://ocaml.org/ ℂDuce: a language for transformation of XML documents http://www.cduce.org/ Ballerina coding language https://ballerina.io/ Luau coding language https://luau-lang.org/ Gleam type language https://gleam.run/ "The Design Principles of the Elixir Type System" (https://www.irif.fr/_media/users/gduboc/elixir-types.pdf) by G. Castagna, G. Duboc, and J. Valim "A Gradual Type System for Elixir" (https://dlnext.acm.org/doi/abs/10.1145/3427081.3427084) by M. Cassola, A. Talagorria, A. Pardo, and M. Viera "Programming with union, intersection, and negation types" (https://www.irif.fr/~gc/papers/set-theoretic-types-2022.pdf), by Giuseppe Castagna "Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)" (https://www.irif.fr/~gc/papers/covcon-again.pdf) by Giuseppe Castagna "A reckless introduction to Hindley-Milner type inference" (https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference) Special Guests: Giuseppe Castagna, Guillaume Duboc, and José Valim.
Today on Elixir Wizards, José Valim, creator of the Elixir programming language, joins hosts Sundi Myint and Owen Bickford to discuss the future of Elixir, upcoming features, changes to the language and ecosystem, and the potential for a type system. José discusses how Elixir's extensibility allows the ecosystem to grow with new tools and libraries, all while requiring few languages to the core language. Key Takeaways: The origin of the famous rainbow heart combo José's hands-off approach to planning the ecosystem which allows community contribution without reliance on the core team The success and growth of the Elixir community Lessons learned in the first ten years of the language The evolution of Elixir's documentation and the role of Livebook in creating more interactive and engaging learning experiences The potential for Elixir Nx to make numerical computation, machine learning, and data science more accessible to Elixir developers Potential implementation of a gradual type system and the importance of backwards compatibility The role of the Elixir community in shaping the language's development and ecosystem, including the importance of open-source contributions Whether we'll see Elixir 2.0 in the next decade Links mentioned in this episode: Josė Valim Keynote ElixirConf EU Bringing Elixir to Life (https://www.youtube.com/watch?v=xItzdrzY1Dc) Dashbit - https://dashbit.co/ Elixir programming language: https://elixir-lang.org/ ElixirConf: https://elixirconf.com/ ElixirForum: https://elixirforum.com/ Elixir's Logger library: https://hexdocs.pm/logger/Logger.html José's Twitter: https://twitter.com/josevalim ElixirLS (Elixir Language Server) https://github.com/elixir-lsp/elixir-ls Mermaid Charts in Livebook - https://news.livebook.dev/date/2022/1 IEx - https://hexdocs.pm/iex/1.14/IEx.html Numerical Elixir - Nx: https://hexdocs.pm/nx/getting-started.html Nerves: https://hexdocs.pm/nerves/getting-started.html Membrane: https://hexdocs.pm/membrane/getting-started.html Dialyxir: https://hexdocs.pm/dialyxir/readme.html LiveBook: https://hexdocs.pm/livebook/getting-started.html Bumblebee: https://github.com/elixir-nx/bumblebee Special Guest: José Valim.
Não tem jeito: todo dia nós somos impactados por alguma mídia exterior, ou mídia out of home. São outdoors, painéis de rua, nos aeroportos, transporte urbano e até mesmo em elevadores! E essas são oportunidades interessantes para os empreendedores interessados em anunciar seu negócio. Por que afinal investir em mídia exterior? Quais são as vantagens para a empresa? Vamos entender o assunto com o Guilherme Valim, que é gerente comercial da Eletromídia no Rio Grande do Sul. Saiba mais em: https://www.instagram.com/sejavero/
1 - Ny dikan'ny fotoana hiandrasana valim-bavaka 2 - Ady @ Bibikely voly an-tanety 3 - Tontolo iainana 18 ( Mijoro ho mahatoky hatramin'ny farany ) 4 - Lasopy manatsara ny tosi-drà ( Dr Pamplona) 5 - Ny taona 1844
1 - Te hanova ny fontsika izy vao manome valim_bavaka 2 - Ranom-boankazo hisorohana ny ra mivaingana, AVC 3 - Miomana ho any an-danitra 08 4 - Famaritana ny fanabeazana fizarana fahadimy 5 - Manaiky ny fandresen'i Jesosy
The Beam Radio Panel has a long lovely Elixir chat with the creator of Elixir - José Valim and we welcome our newest host - Meryl Dakin! Follow Jose´ at @josevalim@genserver.social Come see us at these conferences: GigCityElixir Conference - Chattanooga, TN May 19-20 (training day with Bruce Tate May 18) https://www.gigcityelixir.com Empex - CFP is open! NYC June 9 https://www.empex.co/new-york We want to connect with you! Twitter: @BeamRadio1 Send us your questions via Twitter @BeamRadio1 #ProcessMailbox Keep up to date with our hosts on Twitter @akoutmos @lawik @meryldakin @RedRapids @smdebenedetto @StevenNunez and on Mastodon @akoutmos@fosstodon.org @lawik@fosstodon.org @redrapids@techhub.social @steven@genserver.social Sponsored by Groxio (https://grox.io) and Underjord (https://underjord.io)
The Elixir community is buzzing with excitement around Bumblebee! Bumblebee makes it easy to use a variety of pre-trained neural network models in Elixir. José Valim, Paulo Valente, and Jonatan Kłosko join us to talk about this latest advancement. We learn how Bumblebee works, the abilities that are supported today, where things are going next and the longer term visions of what's possible. We cover the new Livebook smart cells that create an easy playground for playing with Bumblebee, a single-file Phoenix example that does image classification, and much more! Show Notes online - http://podcast.thinkingelixir.com/130 (http://podcast.thinkingelixir.com/130) Elixir Community News - https://news.livebook.dev/announcing-bumblebee-gpt2-stable-diffusion-and-more-in-elixir-3Op73O (https://news.livebook.dev/announcing-bumblebee-gpt2-stable-diffusion-and-more-in-elixir-3Op73O) – José Valim made the Bumblebee reveal - https://github.com/elixir-nx/bumblebee/tree/main/examples/phoenix (https://github.com/elixir-nx/bumblebee/tree/main/examples/phoenix) – Phoenix examples using Bumblebee - https://spawnfest.org/2022.html (https://spawnfest.org/2022.html) – SpawnFest 2022 winners announced - https://github.com/spawnfest/json_native (https://github.com/spawnfest/json_native) – 1st place overall - jasonnative - https://github.com/spawnfest/secret_vault (https://github.com/spawnfest/secret_vault) – Tie for 2nd place - secretvault - https://github.com/spawnfest/the-arborists (https://github.com/spawnfest/the-arborists) – Tied for 2nd place - the-arborists - https://github.com/spawnfest/dtu (https://github.com/spawnfest/dtu) – 3rd place overall - dtu (“Data The Ultimate”) - https://podcast.thinkingelixir.com/127 (https://podcast.thinkingelixir.com/127) – Lively project episode won in Livebook category - https://twitter.com/sorentwo/status/1600167231828086785 (https://twitter.com/sorentwo/status/1600167231828086785) – Github's Dependabot Elixir support explained - https://fosstodon.org/@tylerayoung/109467615067473743 (https://fosstodon.org/@tylerayoung/109467615067473743) – Post from Tyler Young about Dependabot - https://twitter.com/ElixirMembrane/status/1599751442180382721 (https://twitter.com/ElixirMembrane/status/1599751442180382721) – The Membrane GitHub org is changing to Jellyfish - https://podcast.thinkingelixir.com/43 (https://podcast.thinkingelixir.com/43) – Previous interview about Membrane - https://github.com/benvp/ex_cva (https://github.com/benvp/ex_cva) – Class Variance Authority library - https://elixirforum.com/t/cva-easily-construct-component-variants/52043 (https://elixirforum.com/t/cva-easily-construct-component-variants/52043) – CVA variant usage explained - https://github.com/joe-bell/cva (https://github.com/joe-bell/cva) – Original implementation in JS Do you have some Elixir news to share? Tell us at @ThinkingElixir (https://twitter.com/ThinkingElixir) or email at show@thinkingelixir.com (mailto:show@thinkingelixir.com) Discussion Resources - https://twitter.com/josevalim/status/1600955042621976576 (https://twitter.com/josevalim/status/1600955042621976576) – Bumblebee announcement - https://news.livebook.dev/announcing-bumblebee-gpt2-stable-diffusion-and-more-in-elixir-3Op73O (https://news.livebook.dev/announcing-bumblebee-gpt2-stable-diffusion-and-more-in-elixir-3Op73O) – Livebook announcement with embedded Youtube video - https://www.youtube.com/watch?v=g3oyh3g1AtQ (https://www.youtube.com/watch?v=g3oyh3g1AtQ) – YouTube show-and-tell video from Jose - https://twitter.com/josevalim/status/1601228739819450368 (https://twitter.com/josevalim/status/1601228739819450368) – Guest article on HuggingFace about Elixir and ML - https://huggingface.co/blog/elixir-bumblebee (https://huggingface.co/blog/elixir-bumblebee) - https://github.com/elixir-nx/bumblebee/tree/main/examples/phoenix (https://github.com/elixir-nx/bumblebee/tree/main/examples/phoenix) – Examples of embedding a Phoenix app in a single file from Chris McCord - https://github.com/livebook-dev/kino_bumblebee (https://github.com/livebook-dev/kino_bumblebee) – Livebook smart cell - https://podcast.thinkingelixir.com/109 (https://podcast.thinkingelixir.com/109) – Paulo episode - https://podcast.thinkingelixir.com/46 (https://podcast.thinkingelixir.com/46) – Jonatan episode - https://huggingface.co (https://huggingface.co) - https://github.com/elixir-nx/scholar (https://github.com/elixir-nx/scholar) - https://podcast.thinkingelixir.com/104 (https://podcast.thinkingelixir.com/104) – Exploring Our Data with Chris Grainger - https://podcast.thinkingelixir.com/95 (https://podcast.thinkingelixir.com/95) – Rustler Precompiled with Philip Sampaio - https://en.wikipedia.org/wiki/Federated_learning (https://en.wikipedia.org/wiki/Federated_learning) - https://prise.com/ (https://prise.com/) - https://www.amplified.ai/ (https://www.amplified.ai/) - https://github.com/polvalente/nx-signal (https://github.com/polvalente/nx-signal) - https://erlef.org/slack-invite/erlef (https://erlef.org/slack-invite/erlef) Guest Information - https://genserver.social/josevalim (https://genserver.social/josevalim) – José Valim on Mastadon - https://twitter.com/josevalim (https://twitter.com/josevalim) – José Valim on Twitter - https://github.com/josevalim (https://github.com/josevalim) – José Valim on Github - https://dashbit.co/ (https://dashbit.co/) – Dashbit website and blog - https://github.com/jonatanklosko/ (https://github.com/jonatanklosko/) – Jonatan Kłosko on Github - https://jonatanklosko.com/ (https://jonatanklosko.com/) – Blog - jonatanklosko@gmail.com (jonatanklosko@gmail.com) – Jonatan's email - https://twitter.com/polvalente (https://twitter.com/polvalente) – Paulo Valente on Twitter - https://github.com/polvalente/ (https://github.com/polvalente/) – Paulo Valente on Github Find us online - Message the show - @ThinkingElixir (https://twitter.com/ThinkingElixir) - Message the show on Mastadon - @ThinkingElixir@genserver.social (https://genserver.social/ThinkingElixir) - Email the show - show@thinkingelixir.com (mailto:show@thinkingelixir.com) - Mark Ericksen - @brainlid (https://twitter.com/brainlid) - Mark Ericksen on Mastadon - @brainlid@genserver.social (https://genserver.social/brainlid) - David Bernheisel - @bernheisel (https://twitter.com/bernheisel) - David Bernheisel on Mastadon - @dbern@genserver.social (https://genserver.social/dbern) - Cade Ward - @cadebward (https://twitter.com/cadebward) - Cade Ward on Mastadon - @cadebward@genserver.social (https://genserver.social/cadebward)
1 - Te hanova ny fontsika izy vao manome valim_bavaka 2 - Ranom-boankazo hisorohana ny ra mivaingana, AVC 3 - Miomana ho any an-danitra 08 4 - FAMARITANA NY FANABEAZANA 05 5 - Maro no nitsangana Niaraka taminy
Richard talks with José Valim, the creator of the Elixir programming language, about introducing static types to Elixir.
1 - Fanilo manazava 2 - Fanafodin'ny Omby tratry ny hazatra 3 - Satana sy ny hevi -petsiny amin'ny alalan'ny angatra 4 - Sakafo sy fahasalamana 02( Dr Harizava) 5 - >Mifaly ao @ Jehovah eo am-piandrasana valim-bavaka
1 - Valim-bavaka 2 - Amanin'omby ady @ bibikely 3 - Mila olona mahatoky ny fiaraha-monina 4 - Style de vie torimaso, fizarana voalohany 5 - Afon'ny memy
Our 100th episode is spent with José Valim celebrating 10 years of Elixir. We close out our 5-part series talking about the recent 1.13 release, the upcoming 1.14 release and looking into the future and v2.0. We learn that many features were created with Nx in mind but are still broadly helpful to Elixir developers. José gives a 1-minute explanation of how ex_unit works, explains what usually makes it into a point release, and how adding stepped ranges meant changes to many Enum functions and so much more! In addition to Elixir, we talk about his journey with Dashbit and we end up learning how the song "The Final Countdown" by Europe might actually be teaching functional programming and recursion?? A super packed episode! Show Notes online - http://podcast.thinkingelixir.com/100 (http://podcast.thinkingelixir.com/100) Elixir Community News - https://news.livebook.dev/v0.6-automate-and-learn-with-smart-cells-mxJJe (https://news.livebook.dev/v0.6-automate-and-learn-with-smart-cells-mxJJe) – Livebook v0.6 released with new "Smart Cells" - https://twitter.com/josevalim/status/1524761086880276482 (https://twitter.com/josevalim/status/1524761086880276482) – Livebook Twitter thread - https://www.youtube.com/watch?v=4hVIxyHxwK8 (https://www.youtube.com/watch?v=4hVIxyHxwK8) – Livebook announcement and demonstration video - https://youtu.be/4hVIxyHxwK8?t=409 (https://youtu.be/4hVIxyHxwK8?t=409) – Time signature for talking about making custom Smart Cells - https://github.com/livebook-dev/nerves_livebook (https://github.com/livebook-dev/nerves_livebook) – Nerves Livebook v0.6 was also released - https://stackoverflow.blog/2022/05/11/stack-overflow-2022-developer-survey-is-open/ (https://stackoverflow.blog/2022/05/11/stack-overflow-2022-developer-survey-is-open/) – Stack Overflow - 2022 Developer Survey is open until June 1st. - https://meta.stackoverflow.com/questions/417991/take-the-2022-developer-survey (https://meta.stackoverflow.com/questions/417991/take-the-2022-developer-survey) – More information about the survey - https://twitter.com/DNAutics/status/1526358294016794624 (https://twitter.com/DNAutics/status/1526358294016794624) – Zig adds the ability to execute Javascript from Zig - https://github.com/wojtekmach/req (https://github.com/wojtekmach/req) – Wojtek Mach is working on Req and is adding some pretty cool features - https://github.com/wojtekmach/req_easyhtml (https://github.com/wojtekmach/req_easyhtml) - https://github.com/wojtekmach/req_hex (https://github.com/wojtekmach/req_hex) - https://twitter.com/wojtekmach/status/1525226000283467776 (https://twitter.com/wojtekmach/status/1525226000283467776) – Wojtek teasing a new Req feature - https://twitter.com/wojtekmach/status/1525972732680232960 (https://twitter.com/wojtekmach/status/1525972732680232960) – Wojtek teasing another new Req feature - https://www.youtube.com/playlist?list=PLyO-58-sOapwMYqvLRtvV8AGPdREu5Wg7 (https://www.youtube.com/playlist?list=PLyO-58-sOapwMYqvLRtvV8AGPdREu5Wg7) – Empex MTN presentation videos are up! - https://www.elixirconf.eu/ (https://www.elixirconf.eu/) – ElixirConf EU in London on June 9-10 - https://elixirconf.com/events (https://elixirconf.com/events) – ElixirConf US in Colorado on August 30 - Sep 2 Do you have some Elixir news to share? Tell us at @ThinkingElixir (https://twitter.com/ThinkingElixir) or email at show@thinkingelixir.com (mailto:show@thinkingelixir.com) Discussion Resources - https://podcast.thinkingelixir.com/82 (https://podcast.thinkingelixir.com/82) – Reviewing Elixir with José Valim - Part 1 - https://podcast.thinkingelixir.com/87 (https://podcast.thinkingelixir.com/87) – Reviewing Elixir with José Valim - Part 2 - https://podcast.thinkingelixir.com/91 (https://podcast.thinkingelixir.com/91) – Reviewing Elixir with José Valim - Part 3 - https://podcast.thinkingelixir.com/96 (https://podcast.thinkingelixir.com/96) – Reviewing Elixir with José Valim - Part 4 - https://github.com/elixir-lang/elixir/blob/v1.13/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/v1.13/CHANGELOG.md) – v1.13 - https://podcast.thinkingelixir.com/60 (https://podcast.thinkingelixir.com/60) – 60 - Compile Faster with Marc-André Lafortune - mix xref trace FILE - https://podcast.thinkingelixir.com/54 (https://podcast.thinkingelixir.com/54) – AST Parsing using Sourceror with Lucas San Román - New power operator "**" - mix test supports --profile-require=time - https://github.com/elixir-lang/elixir/blob/main/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/main/CHANGELOG.md) – v1.14 - Dashbit as a company and growth over time. - Elixir v2.0? - https://podcast.thinkingelixir.com/54 (https://podcast.thinkingelixir.com/54) – AST Parsing using Sourceror with Lucas San Román - https://talonvoice.com/ (https://talonvoice.com/) - https://www.erlang.org/eeps/eep-0054.html (https://www.erlang.org/eeps/eep-0054.html) - https://www.elixirconf.eu/ (https://www.elixirconf.eu/) – ElixirConf EU - hybrid conference 9-10 June 2022 - https://livebook.dev/ (https://livebook.dev/) - https://github.com/elixir-nx/explorer (https://github.com/elixir-nx/explorer) - https://github.com/elixir-nx/scholar (https://github.com/elixir-nx/scholar) - https://github.com/elixir-nx/axon/ (https://github.com/elixir-nx/axon/) - https://podcast.thinkingelixir.com/95 (https://podcast.thinkingelixir.com/95) – Rustler Precompiled with Philip Sampaio - https://github.com/lukaszsamson (https://github.com/lukaszsamson) - https://github.com/elixir-lsp/elixir-ls (https://github.com/elixir-lsp/elixir-ls) - https://github.com/elixir-lang/elixir/issues?q=is%3Aopen+is%3Aissue+milestone%3Av2.0 (https://github.com/elixir-lang/elixir/issues?q=is%3Aopen+is%3Aissue+milestone%3Av2.0) - https://www.youtube.com/watch?v=9jK-NcRmVcw (https://www.youtube.com/watch?v=9jK-NcRmVcw) – Europe - The Final Countdown Guest Information - https://twitter.com/josevalim (https://twitter.com/josevalim) – on Twitter - https://github.com/josevalim (https://github.com/josevalim) – on Github - https://dashbit.co/ (https://dashbit.co/) – Dashbit website and blog - https://erlef.org/news/ (https://erlef.org/news/) – The Erlang Ecosystem Foundation news Find us online - Message the show - @ThinkingElixir (https://twitter.com/ThinkingElixir) - Email the show - show@thinkingelixir.com (mailto:show@thinkingelixir.com) - Mark Ericksen - @brainlid (https://twitter.com/brainlid) - David Bernheisel - @bernheisel (https://twitter.com/bernheisel) - Cade Ward - @cadebward (https://twitter.com/cadebward)
[00:01:29] José tells us his background and what he does, and Seth explains how he found himself on a Ruby podcast with the Elixir creator.[00:03:47] We find out how José got started in Ruby and progress into being a Rails core team member.[00:07:40] We hear how José went from being a Rails core team member to creating Elixir, and he tells us about an influential paper called, “The Free Lunch Is Over.”[00:24:28] José talks about the story of Elixir, the story around putting it into the world, the features that have grown in it, and the adoption. [00:26:46] We learn more about if José considers himself a Web Developer before he got into writing Elixir.[00:32:34] Jose shares how long it took him to get from starting Elixir to where he felt confident in it with people running in production.[00:34:54] Where does Phoenix, a popular web framework for Elixir, come into play?[00:41:11] José shares a story about LiveView.[00:51:16] José goes in depth about distributed systems and the solution that most people would do and the really cool solution. [01:03:13] Jason brings up something José said which was, “Using Elixir and Phoenix, it's just a great developer experience,” and he expands more on this explaining the good cases outside of concurrency for using Elixir.[01:09:33] Chris wonders if there are any rough edges of Elixir that José still wants to put some polish on.[01:15:42] We hear about Laravel and how they are a great example of trying to be all encompassing.[01:16:09] José shares his thoughts on supporting authentication in a web application.[01:23:24] We learn what José is working on that's new and exciting with Elixir, and he also tells us about Nerves, FarmBot, Broadway, and Numerical Elixir.[01:31:32] Find out where you can follow José on the internet. Panelists:Jason CharnesChris OliverAndrew MasonGuest:José ValimSponsor:HoneybadgerLinks:Ruby Radar NewsletterRuby Radar TwitterJosé Valim TwitterJosé Valim LinkedInElixirThe Free Lunch is Over: A Fundamental Turn Toward Concurrency is Software LivebookMoz Developer BlogPhoenix FrameworkFarmBotNervesBroadwayNumerical Elixir (Nx)
José Valim returns for part 4 in our 5 part series as we count down to the 10 year anniversary of the Elixir project we know and love! In Part 4, we talk through the Elixir releases of 1.10, 1.11, and 1.12. We go deeper on the philosophy of “explicit vs implicit” and how that informs many design decisions about the language. We learn about how Elixir and Erlang loggers were unified, how matching on map keys in guards enabled receives block enhancements, how common date sorting bugs were solved with Enum.sort improvements (that you should really listen to), the improvements to application config, how exceptions work in Erlang and Elixir and much more! A packed episode! Show Notes online - http://podcast.thinkingelixir.com/96 (http://podcast.thinkingelixir.com/96) Elixir Community News - https://github.com/livebook-dev/livebook/pull/1115 (https://github.com/livebook-dev/livebook/pull/1115) – Livebook adds “Code Focus Mode” making it easier to focus on the code cells. - https://github.com/livebook-dev/livebook/discussions (https://github.com/livebook-dev/livebook/discussions) – Livebook project announced and opened a Github Discussions section to the project. - https://github.com/phoenixframework/phoenixlivedashboard/pull/367 (https://github.com/phoenixframework/phoenix_live_dashboard/pull/367) – Full screen mode contribution added to Phoenix LiveDashboard project. - https://podcast.thinkingelixir.com/92 (https://podcast.thinkingelixir.com/92) – Mitch Hanberg talked with us previously about Temple - https://github.com/mhanberg/eexcompilervisualizer (https://github.com/mhanberg/eex_compiler_visualizer) – Mitch Hanberg created an “EEX Compiler Visualizer” project. - https://twitter.com/mitchellh/status/1515369637726224385?s=12&t=so7B66NTrJKPwDWLqMxpJA (https://twitter.com/mitchellh/status/1515369637726224385?s=12&t=so7B66NTrJKPwDWLqMxpJA) – The Zig language reached the milestone of being self-hosted - https://github.com/ziglang/zig/pull/11442 (https://github.com/ziglang/zig/pull/11442) – Zig being self-hosted means the compiler is capable of building itself. Do you have some Elixir news to share? Tell us at @ThinkingElixir (https://twitter.com/ThinkingElixir) or email at show@thinkingelixir.com (mailto:show@thinkingelixir.com) Discussion Resources - https://github.com/elixir-lang/elixir/blob/v1.10/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/v1.10/CHANGELOG.md) – Elixir 1.10 changelog - https://elixirforum.com/t/discussion-incorporating-erlang-otp-21-map-guards-in-elixir/14816 (https://elixirforum.com/t/discussion-incorporating-erlang-otp-21-map-guards-in-elixir/14816) – Incorporating Erlang/OTP 21 map guards in Elixir - https://github.com/elixir-lang/elixir/blob/v1.11/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/v1.11/CHANGELOG.md) – Elixir 1.11 changelog - https://github.com/elixir-lang/elixir/blob/v1.12/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/v1.12/CHANGELOG.md) – Elixir 1.12 changelog - https://www.erlang.org/eeps/eep-0054.html (https://www.erlang.org/eeps/eep-0054.html) – EEP 54 - Provide more information about errors - https://github.com/sasa1977/boundary (https://github.com/sasa1977/boundary) - https://hexdocs.pm/elixir/Enum.html#sort/2-sorting-structs (https://hexdocs.pm/elixir/Enum.html#sort/2-sorting-structs) – Improvements to sort-based APIs in Enum - Enum.sort(dates, Date) - https://hexdocs.pm/elixir/Calendar.html#strftime/3 (https://hexdocs.pm/elixir/Calendar.html#strftime/3) - https://github.com/elixir-nx/nx (https://github.com/elixir-nx/nx) - https://livebook.dev/ (https://livebook.dev/) - https://hexdocs.pm/mix/Mix.html#install/2 (https://hexdocs.pm/mix/Mix.html#install/2) - CMD+ or CTRL+ - https://github.com/doawoo/teex (https://github.com/doawoo/teex) - https://hexdocs.pm/elixir/Kernel.html (https://hexdocs.pm/elixir/Kernel.html) - https://hexdocs.pm/elixir/Kernel.html#then/2 (https://hexdocs.pm/elixir/Kernel.html#then/2) - https://hexdocs.pm/elixir/Kernel.html#tap/2 (https://hexdocs.pm/elixir/Kernel.html#tap/2) - https://hexdocs.pm/elixir/Range.html (https://hexdocs.pm/elixir/Range.html) - https://hexdocs.pm/elixir/Range.html#disjoint?/2 (https://hexdocs.pm/elixir/Range.html#disjoint?/2) - https://github.com/elixir-lang/elixir/blob/a64d42f5d3cb6c32752af9d3312897e8cd5bb7ec/lib/elixir/lib/range.ex#L249-L251 (https://github.com/elixir-lang/elixir/blob/a64d42f5d3cb6c32752af9d3312897e8cd5bb7ec/lib/elixir/lib/range.ex#L249-L251) - https://math.stackexchange.com/questions/1656120/formula-to-find-the-first-intersection-of-two-arithmetic-progressions (https://math.stackexchange.com/questions/1656120/formula-to-find-the-first-intersection-of-two-arithmetic-progressions) Guest Information - https://twitter.com/josevalim (https://twitter.com/josevalim) – on Twitter - https://github.com/josevalim (https://github.com/josevalim) – on Github - https://dashbit.co/ (https://dashbit.co/) – Dashbit website and blog - https://erlef.org/news/ (https://erlef.org/news/) – The Erlang Ecosystem Foundation news Find us online - Message the show - @ThinkingElixir (https://twitter.com/ThinkingElixir) - Email the show - show@thinkingelixir.com (mailto:show@thinkingelixir.com) - Mark Ericksen - @brainlid (https://twitter.com/brainlid) - David Bernheisel - @bernheisel (https://twitter.com/bernheisel) - Cade Ward - @cadebward (https://twitter.com/cadebward)
José Valim returns to continue with part 3 of our 5 part series as we count down to the 10 year anniversary of the Elixir project we know and love. In Part 3, we talk through the Elixir releases of 1.7, 1.8, and 1.9. We talk about the unification efforts between Elixir and Erlang. These came through changes to error stacktraces, how documentation is stored, a unified logger, and more. We learn how features like Mix.target made a big difference for the Nerves project. We also hear the call for contributors to help bring a few remaining date/time features to Elixir. The big feature in Elixir 1.9 was the addition of deployment releases and the early efforts at managing config for releases. We thought this would be a short episode but found there was a lot to talk about and learn! Show Notes online - http://podcast.thinkingelixir.com/91 (http://podcast.thinkingelixir.com/91) Elixir Community News - https://github.com/bencheeorg/benchee (https://github.com/bencheeorg/benchee) – Benchee 1.1.0 release - https://pragtob.wordpress.com/2022/03/08/benchee-1-1-0-released-why-did-it-take-so-long/ (https://pragtob.wordpress.com/2022/03/08/benchee-1-1-0-released-why-did-it-take-so-long/) – Blog post on Benchee release and why the release took so long - https://twitter.com/josevalim/status/1501482561511510018 (https://twitter.com/josevalim/status/1501482561511510018) – ExDoc gets a new minor feature that lets us syntax highlight HEEx templates - https://elixirpatterns.dev/ (https://elixirpatterns.dev/) – “Elixir Patterns” book is being pre-launched by the authors, Alex Koutmos and Hugo Baraúna. - https://davelucia.com/blog/avro-2.0 (https://davelucia.com/blog/avro-2.0) – AvroEx 2.0 released - https://www.functionalconf.com/ (https://www.functionalconf.com/) – Functional Conference 2022 - Asia's Premier Functional Programming Conference Do you have some Elixir news to share? Tell us at @ThinkingElixir (https://twitter.com/ThinkingElixir) or email at show@thinkingelixir.com (mailto:show@thinkingelixir.com) Discussion Resources - https://podcast.thinkingelixir.com/82 (https://podcast.thinkingelixir.com/82) – Part 1 - https://podcast.thinkingelixir.com/87 (https://podcast.thinkingelixir.com/87) – Part 2 - https://github.com/elixir-lang/elixir/blob/v1.7/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/v1.7/CHANGELOG.md) – Elixir changelog for v1.7 - https://www.erlang.org/eeps/eep-0048 (https://www.erlang.org/eeps/eep-0048) – EEP 48 - https://hexdocs.pm/nx/Nx.html (https://hexdocs.pm/nx/Nx.html) - https://github.com/elixir-lang/elixir/blob/v1.8/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/v1.8/CHANGELOG.md) – Elixir changelog for v1.8 - https://hexdocs.pm/elixir/Kernel.html#guards (https://hexdocs.pm/elixir/Kernel.html#guards) – Elixir docs on guards - “dunder“ = a Double Underscore - https://hexdocs.pm/elixir/Protocol.html#derive/3 (https://hexdocs.pm/elixir/Protocol.html#derive/3) – Protocol derive - https://hexdocs.pm/elixir/Inspect.html#module-deriving (https://hexdocs.pm/elixir/Inspect.html#module-deriving) – Deriving for inspect - https://github.com/elixir-lang/elixir/blob/v1.9/CHANGELOG.md (https://github.com/elixir-lang/elixir/blob/v1.9/CHANGELOG.md) – Elixir changelog for v1.9 - https://hexdocs.pm/ecto/Ecto.Schema.html#field/3-options (https://hexdocs.pm/ecto/Ecto.Schema.html#field/3-options) - https://hex.pm/packages/datetimeparser (https://hex.pm/packages/date_time_parser) - https://github.com/bitwalker/distillery (https://github.com/bitwalker/distillery) – Mix package used for releases before it was built into Elixir. Guest Information - https://twitter.com/josevalim (https://twitter.com/josevalim) – on Twitter - https://github.com/josevalim (https://github.com/josevalim) – on Github - https://dashbit.co/ (https://dashbit.co/) – Dashbit website and blog - https://erlef.org/news/ (https://erlef.org/news/) – The Erlang Ecosystem Foundation news Find us online - Message the show - @ThinkingElixir (https://twitter.com/ThinkingElixir) - Email the show - show@thinkingelixir.com (mailto:show@thinkingelixir.com) - Mark Ericksen - @brainlid (https://twitter.com/brainlid) - David Bernheisel - @bernheisel (https://twitter.com/bernheisel) - Cade Ward - @cadebward (https://twitter.com/cadebward)