List of videos

✨This talk was recorded at Code BEAM Lite Stockholm 2024. If you're curious about our upcoming event, check https://codebeamstockholm.com ✨ In the dynamic and demanding context of warehouse operations, efficiency and responsiveness are paramount. With the growth in demand and the emergence of more advanced technologies, many companies are reassessing their technological solutions to ensure they meet the challenge. In this lecture proposal, we will dive into the journey of an organization that chose to migrate its warehouse application from C# to Elixir. This decision, while technical, has profound business implications, promising gains in scalability, efficiency, and resilience. Let's keep in touch! Follow us on: 💥 Twitter: https://twitter.com/CodeBEAMio 💥 Facebook: https://www.facebook.com/CodeSyncGlobal 💥 Linkedin: https://www.linkedin.com/company/code-sync 💥 Mastodon: https://genserver.social/codesync

✨Esta presentación fue grabada en Code BEAM Lite Mexico 2023. ¡No te pierdas nuestro próximo evento! Descúbrelo aquí: https://codebeamamerica.com ✨ El código heredado puede ser frágil. Ayudaría mucho estar segura de cuáles tipos de datos son los que reciben y devuelven tus funciones. Pero… ¿Y si en el pasado no incluiste especificaciones de tipos, lo cual te hace la vida más dura ahora? ¡Afortunadamente, ya existe TypEr! Agreguemos algo de mágica a TypEr con el uso del plugin de rebar3 para TypEr. Ven y aprende sobre las herramientas que hemos usado para hacer este plugin, lo que descubrimos por el camino y las mejoras que hicimos durante el proceso.

✨ This panel discussion was recorded at Code BEAM Lite Stockholm. If you want to join our next event, check details on https://codebeameurope.com ✨ We conclude our celebration of the 30 year anniversary of the 1st international Erlang User Conference with a look towards the future. Join Tommy Andersson (newly appointed manager of the OTP team at Ericsson), Lennart Friden (celebrated member of the Elixir community), Hayleigh Thompson (Core member of Gleam), Francesco Cesarini (Founder and Technical Director at Erlang Solutions) and Roberto Aloi (Co-creator of the Erlang Language Server and Platform at Meta) as they discuss the present and future of the BEAM community and technologies. Let's keep in touch! Follow us on: 💥 Twitter: https://twitter.com/CodeBEAMio 💥 Facebook: https://www.facebook.com/CodeSyncGlobal 💥 LinkedIn: https://www.linkedin.com/company/code-sync 💥 Mastodon: https://genserver.social/codesync

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Abstract In this talk, I will introduce a novel approach to building modern, cloud-native platforms using functional programming from the ground up. Utilizing the Scala SDK for Pulumi, codenamed Besom, I will demonstrate how one can construct a complete, production-grade system while staying within the safe and typeful confines of a functional programming language. Along the way, I'll illustrate how to leverage Scala's features to enhance maintainability, safety, and correctness across the stack. Finally, I will explore how this method opens up new possibilities in platform engineering, empowering functional programmers to dynamically deploy entire segments of infrastructure on demand, directly from their applications Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Abstract Navigating the world of functional programming as a beginner can feel quite daunting and intimidating. Over a year ago, I was thrown into the deep end of learning Scala. I started my FP journey as a junior developer at a bank, after graduating with a degree in Physics. So, not only did I have the challenge of learning functional Scala from scratch, but I also had to apply these concepts to a domain I had no prior knowledge of. Initially, I experienced a lot of confusion and frustration, having come from an OOP background. However, with the help of senior engineers on my team, I learned both Scala and how to think functionally, quickly and effectively enough to start contributing production-level code in my first few months. Hopefully, after listening to this talk, other newcomers will feel less alone and more optimistic about diving into the exciting world of FP, and experienced developers will understand how to best help their juniors learn and grow. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Abstract While scaling applications is a perpetual challenge, there are specific hurdles unique to scaling Haskell applications. Join me in exploring the intricacies involved in this process, uncovering lessons from faced challenges, implementing ingenious solutions, and ongoing optimizations toward a 10x scaling goal. Our exploration will traverse critical domains, from fine-tuning database performance to pinpointing bottlenecks and rectifying inefficient data structures. In the realm of Haskell's memory management, we'll address its reputation for leaks and reconsider the laziness paradigm, discovering situations where adopting strictness boosts performance. Let’s explore the dynamic world of software scaling! Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Abstract In today’s digital world, safeguarding sensitive data is crucial. Yet, the verification of information-flow control (IFC) mechanisms, vital for data security, poses challenges. This talk explores how we can streamline the verification of IFC mechanisms by incorporating property-based testing. This involves generating random lambda terms to test the functionality of IFC mechanisms. The advantage of this approach is that it helps identify errors early in the verification process. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Abstract Static typing in programming languages is crucial for robust software development. Flaws in type checkers lead to (1) reliability and security ramifications on the programs compiled with the faulty compilers, and (2) degradation of the programmers’ experience and productivity. In particular, compiler typing bugs typically cause frustrating rejections of well-typed programs, dangerous acceptances of erroneous, type-unsafe programs, or annoying crashes and compilation performance issues. In this session, I will present our ongoing efforts on enhancing the reliability of compilers' type checkers using randomized software testing. Within three years, we have found more than 250 bugs (of which 140 bugs have been fixed) in industrial-strength compilers, such as Java, Kotlin, Scala, and Groovy. Most of the discovered bugs lie in critical components of type checkers, including type inference, parametric polymorphism, overloading, or higher-order functions. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

RabbitMQ continues to be the most widely deployed open source message broker, used by over 35,000 companies worldwide. Don't miss out on your chance to hear the case studies, success stories and RabbitMQ development strategies from the leading people behind the development and support of RabbitMQ.