List of videos

This video was recorded at Code BEAM America 2021 - https://codesync.global/conferences/code-beam-sf-2021/ Fireside chat on Riak | Nicholas Adams - Director of Global Support Operations at T.I Tokyo & Andrei Zavada - Software Engineer at T.I Tokyo ABSTRACT A fireside chat covering recent updates in the Riak community, an in depth look into challenges presented in the OTP uplift process from OTP16 to OTP22 and a special announcement. • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2021 - https://codesync.global/conferences/code-beam-sf-2021/ Fireside chat on RabbitMQ | Ayanda Dube - Principal Engineer and RabbitMQ Contributor & Karl Nilsson - Senior Member of Technical Staff at VMware. ABSTRACT Discussion on RabbitMQ, it’s usage, design and Erlang implementation aspects. We discuss supported protocols (e.g. AMQP, MQTT) as well as different queue types and their purpose, along with consensus and HA/scalability matters. We discuss the available RabbitMQ toolkits and libraries which the community can adopt for building their own distributed systems. • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2021 - https://codesync.global/conferences/code-beam-sf-2021/ Fireside chat on BEAM security | Bram Verburg - Grand Prior of Software Security @ Bluecode & Maxim Fedorov - Software Engineer at WhatsApp ABSTRACT Join Maxim Fedorov and Bram Verburg to discuss security for BEAM-based applications. How can industry best-practices for secure coding, testing and deployment hardening be applied to the Erlang ecosystem? What has been achieved over the last few years and what challenges remain? How can the community collaborate on moving things forward? Audience participation, through questions/comments in the session chat, is encouraged! • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2021 - https://codesync.global/conferences/code-beam-sf-2021/ Fireside chat on BEAM Languages with Erlang co inventor Robert Virding & Mariano Guerra ABSTRACT In this fireside chat, Mariano Guerra and Robert Virding, creators of many languages on the BEAM including Erlang(!!), Effene, LFE and LuErl will discuss past, present and future of languages on the BEAM, current and future challenges and opportunities. Join them, prepared with your own questions. • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2021 - https://codesync.global/conferences/code-beam-sf-2021/ Copy of Ask me anything about OTP | Kenneth Lundin - Head of the Erlang/OTP Team at Ericsson, & John Högberg - Erlang compiler & VM developer ABSTRACT Short update from the OTP Team and then you will be able to ask them any question you like about their work. • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2021 - https://codesync.global/conferences/code-beam-sf-2021/ Ask me anything about Elixir with José Valim - Creator of Elixir programming language ABSTRACT Open meeting with Elixir Core Team. Unmute yourself and ask the guest any question about his work you like. • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2022 - https://codebeamamerica.com/ We are stronger together | Andrea Leopardi & Maxim Fedorov - Elixir Core Team Member & Software Engineer at WhatsApp ABSTRACT The BEAM is living its best days. The ecosystem is thriving, big companies are picking up our languages, innovation is sprawling, and BEAM-based solutions are getting traction in new domains. But being fragmented, the ecosystem is not as strong as it deserves. There are over 30 languages speaking BEAM, yet only a few can talk to each other. While improvements to Erlang/OTP often trickle down to Elixir and Gleam, the opposite is rarely true. Rewriting everything with Erlang is not an option - we would not rewrite C++ in C either. So what can we do to bring the community together? We want to talk about the challenges we are facing, the future we envision, and some ideas on how we can step into that future. We want to get you inspired to reunite the ecosystem. OBJECTIVES Unite developers working in and on the ecosystem. AUDIENCE Any developer working with BEAM • Timecodes 00:00 - 03:53 - Intro 03:54 - 06:37 - The Ecosystem 06:38 - 08:40 - The Business Part 08:41 - 10:54 - Multi-dimensional Challenge 10:55 - 11:49 - The Onion Theory 11:50 - 20:06 - Erlang and Elixir 20:07 - 22:41 - GLEAM, LFE and more 22:42 - 32:54 - Monorepo for the BEAM 32:55 - 38:02 - Interoperability 38:03 - 47:25 - F.O.M.O 47:27 - 56:51 - Compilation and Types • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2022 - https://codebeamamerica.com/ Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti - Author of books Kill It With Fire ABSTRACT Formal verification is difficult to integrate with a real software development process. It takes time, the abstraction of Boolean logic are difficult to learn and the specifications are out of date as soon as the system is updated. But formal logic can be used to make my operation tasks easier and more efficient if instead of using booleans to prove systems correct you use them to reason about system behavior and test hypothesis. OBJECTIVES An intro to different ways of applying the same techniques used in formal verification to improve testing, monitoring, and designing of systems AUDIENCE Engineers who are curious about verification but find the learning curve intimidating • Timecodes 00:00 - 02:46 - Intro 02:47 - 05:08 - Formal Methods 05:09 - 11:07 - Verifying Hardware and Software 11:08 - 12:47 - Strengths and Weaknesses of Verification 12:48 - 22:56 - Some Problems Modelling Systems 22:57 - 28:08 - Code Generator 28:09 - 33:23 - Formal Reasoning and Testing 33:24 - 45:37 - QnA • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Code BEAM America 2022 - https://codebeamamerica.com/ Security Under the BEAM | Boyd Multerer - Creator of Scenic and Lead Engineering for Xbox Live, XNA ABSTRACT The BEAM VM is a leader in application-level isolation. Isolated code recovers from faults. Isolated processes can process messages asynchronously with very little coordination. Isolated data means garbage collection is fast and simple. We studied these isolation patterns and asked what would an operating system look like that learned from those lessons and was built to be good at running the BEAM? Could isolation patterns be used to provide deep security that runs from the OS up through the BEAM? The resounding answer to that question is yes! In this keynote, we will present our findings and show you how to build software that uses trustworthy isolation, so that if problems do occur, they cannot spread to the rest of the system. The combination of formal methods, the seL4 Microkernel and the BEAM is the magic formula to build a new operation system for the next generation of software and device. We are very excited to present, for the first time, the Kry10 Secure Platform. • Timecodes 00:00 - 03:21 - Intro 03:22 - 07:54 - IoT: Momentum and Challenges 07:55 - 13:39 - Platform Requirements 13:40 - 17:21 - What's a Microkerner + Formal Methods 17:22 - 27:53 - The Kry10 Platform 27:54 - 30:27 - Summary 30:28 - 43:22 - QnA • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global