List of videos

This video was recorded at Code BEAM Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ Incremental Dialyzer: How we made Dialyzer 7x Faster | Thomas Davies - Software Engineer ABSTRACT Dialyzer is really powerful, but sometimes it can be hard to get the most out of it because the analyses can be quite slow. This talk introduces an incremental mode for Dialyzer that can significantly improve its performance by avoiding redundant work. OBJECTIVES Introduce a new "incremental" mode for Dialyzer, and explain how it differs from the classic model of building a PLT and checking it. AUDIENCE Erlang & Elixir users of Dialyzer • Timecodes 00:00 - 03:14 - Classic Dialyzer 03:15 - 12:10 - Incremental Dialyzer 12:11 - 27:53 - 7x Times Faster 27:54 - 28:36 - 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 Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ Update from the Elixir Core Dev Team | Andrea Leopardi - Elixir Core Team Member & Software Engineer at Apple ABSTRACT Andrea will give updates on what the Elixir team has done in the last few months, what are the projects they're working on, what's going on on the research side, and what features will be in the next release. • 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 Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ Evolving ErlangOTP Feature by Feature | Cons Åhs - Erlang/OTP team at Ericsson ABSTRACT With the release of OTP25, support for selectable features in the language and the runtime will be added. This means that extensions and changes to the language and/or runtime system can be used selectively. One benefit is the possibility to try out features without affecting existing code, even for backwards-incompatible changes. This talk will be a deep dive into the ideas and implementation behind the support for features. As an extended example, we will show how this support is used to add Value-Based Error Handling (EEP49) as the first experimental feature. OBJECTIVES Stake out a path forward, evolving Erlang/OTP without forcing developers to rewrite legacy code. AUDIENCE - Developers using Erlang/OTP, both those wanting new features and those who don't. - Managers of the same • Timecodes 00:00 - 07:45 - Intro 07:46 - 11:11 - Motivation 11:12 - 13:51 - What is a Feature? 13:52 - 18:46 - Details 18:47 - 28:11 - Feature Support in Action 28:12 - 34:23 - Enabling maybe 34:24 - 35:28 - Enabling/ Disabling 35:29 - 36:25 - Effects on a CodeBase 36:26 - 39:00 - Testing within Module 39:01 - 45:04 - Implementations 45:04 - 46:07 - 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 Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ Designing BEAM Systems for the Cloud Amazon AWS | Ayanda Dube - Erlang engineer and RabbitMQ specialist ABSTRACT System designers are now turning to cloud infrastructure for deploying and running BEAM systems at scale. But how can BEAM systems be designed to exploit cloud infrastructure such as Amazon AWS? In this talk, we look at some of the aspects to look out for when designing and architecting Erlang/Elixir systems for the cloud, with focus on Amazon AWS. OBJECTIVES Help Erlang/Elixir engineers better design systems for the cloud, (Amazon AWS). AUDIENCE Architects, Engineers and Developers. • Timecodes 00:00 - 02:59 - Intro 03:00 - 10:07 - Motivation 10:08 - 11:09 - What is a Feature? 11:10 - 12:57 - Details 12:58 - 19:32 - Feature Support in Action 19:33 - 21:11 - Enabling maybe 21:12 - 22:26 - Enabling/ Disabling 22:27 - 23:48 - Effects on a CodeBase 23:49 - 25:56 - Testing within Module 25:57 - 37:47 - Implementations 37:58 - 39:17 - 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 Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ ROSiE the Robot Operating System in Erlang | Luca Succi - Creator of ROSiE ABSTRACT ROSiE is a pure Erlang implementation of ROS (Robot Operating System). No matter where from cloud to robots at the edge: use Erlang or any other language on the BEAM to interact with the ROS ecosystem with the help of ROSiE. It’s fully interoperable with existing ROS2 Robots with all the scalability, concurrency, distribution, and fault-tolerance of the BEAM. ROS2 builds on the DDS data connectivity protocol which is used in many industries besides robotics. ROSiE therefore also provides a standalone DDS protocol stack. It also features dedicated Rebar3 plugins, to integrate Erlang projects with the official ROS2 distributions. There will be a demo with robots and GRiSP boards running ROS2 and ROSiE Nodes. You will see some hot code upgrade while robots are in action. This project is funded by the EEF. OBJECTIVES Explain all the possibilities opened up by ROSiE. Talk about how ROSiE works and how to work with it. Show the advantages and strengths of ROSiE over ROS2. Demonstrate the reliability of a code-hot-swap operation on a Robot inside a ROS network, only possible with Erlang and a ROSiE Robot. AUDIENCE Any developer or company working with the BEAM that could have any interest in ROBOTICS. Anyone that would like a Pub-Sub protocol-stack for Erlang since ROSiE includes the first Erlang implementation of DDS. • Timecodes 00:00 - 01:31 - Intro 01:32 - 05:43 - Wha is ROSiE? 05:44 - 08:28 - ROSiE Project 08:29 - 11:01 - ROS2 Client Library Architecture 11:02 - 16:55 - ROSiE Architecture 16:56 - 32:20 - Demo Time 32:21 - 41:58 - 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 Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ Know your Past to Predict your Future, Time Travel Debugging in Production | Quildreen Motta Ribeiro - Engineer at Klarna ABSTRACT You've just hit a weird corner case in your production system. Looking at the code has proved hopeless. Your system's log has so much information you feel overwhelmed. How do you debug it? And how do you go about understanding all of the implications of this issue? In this talk we'll take the learnings from building specialised time-travelling debuggers for production systems and dive into how they help in these scenarios. Then we'll look into how you'd approach building one for your system, as well as the constraints that they put on your system's design. OBJECTIVES The goal of this presentation is to show people why they'd consider building specialised time-travelling debuggers for their production system, and look at a few approaches to building them, as well as what kind of constraints that puts in their system's design, based on debuggers the author has worked with before. The idea of tracing itself isn't complicated, but it's not always clear what kind of trade-offs you need to make in production: you need to be more conscious of the required time and space overhead (which you can't always avoid, e.g.: when building a protocol parser). And it's not always clear how to correlate and present that data in a way that makes the information useful---most data in traces is noise, and just like looking at logs of modern production systems is useless without heavy filtering and correlation, debug traces for time-travelling need specialised analysis and visualisation tools. AUDIENCE This talk is aimed at engineers that run complex production systems on the BEAM, and would like better tools to understand their system's production behaviour when things go wrong. • Timecodes 00:00 - 01:05 - Agenda 01:06 - 08:44 - Act 1. Using Debuggers 08:45 - 31:24 - Act 2. Crafting Debuggers 41:25 - 35:28 - Act 3. In Closing 35:29 - 37:49 - 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 Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ Trace Specifications and Chaos Engineering: Advanced Testing with Snabbkaffe | Dmitrii Fedoseev - Software Developer ABSTRACT Testing distributed eventually consistent fault-tolerant Erlang applications is challenging: their state is difficult to inspect and model and supervisors can hide crashes. Fault tolerance is rarely checked by automatic tests. We solved these problems using a new elegant approach to testing. Snabbkaffe is a test framework that relies on offline inspection of the execution trace of the system. It makes verifying a distributed application recovering from the injected crashes as easy as writing a pure function. OBJECTIVES The trace-based approach to program verification is widely in academia, however, it remains relatively obscure in engineering circles. We have successfully adopted it for the practical applications running in production, and this is what the talk is about. Trace-based testing allows us to verify more complex scenarios, so we believe that sharing it with a wider audience will improve the overall quality of the Erlang ecosystem in the long term. AUDIENCE Software engineers and QA • Timecodes 00:00 - 01:05 - Intro 01:06 - 02:38 - What is EMQX and Challenges 02:39 - 10:25 - Theory of flaky testcases 10:26 - 16:56 - Concurrency 16:56 - 17:52 - Trace-based vs. State-based Approach 17:53 - 25:52 - Stages of the Test 25:53 - 27:51 - Fault Injection and Scenarios 27:52 - 30:00 - Case Study 30:01 - 34:57 - Challenges 34:58 - 39:35 - 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

Check details of the next Code BEAM Europe - The Erlang & Elixir Conference here: https://codebeameurope.com Code BEAM Europe 2022 Highlights Watch some of the best highlights of Code BEAM Europe 2022, the biggest BEAM meeting in Europe. • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/code-sync • Looking for a unique learning experience? Attend the next Code Sync conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

This video was recorded at Code BEAM Europe 2022 - https://codesync.global/conferences/code-beam-sto-2022/ Trace Specifications and Chaos Engineering: Advanced Testing with Snabbkaffe | Dmitrii Fedoseev - Software Developer ABSTRACT Lambdapad was an effort performed by Garreth Smith to provide to the BEAM community (and Erlang mainly) a way to create a static site generator like Jekyll or Octopus from Ruby. Last year I take the code and using the "power of meta-programming" I performed my own vision about it and created a way to perform websites in an easier way, indeed, I'm using it for my blog (+300 posts) and different websites successfully. OBJECTIVES Introduce Lambdapad to the community and reach people who want to be involved in the project or support it. AUDIENCE People who want to create/maintain a website like a blog, landing page or similar. • Timecodes 00:00 - 06:51 - Intro 06:52 - 09:45 - Get Started with Lambda Pad 09:46 - 12:36 - What's the problem? 12:37 - 13:43 - Features: Markdown 13:44 - 16:53 - Features: config.toml + lambdapad.exs 16:54 - 25:58 - Demo Time • 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