List of videos

This video was recorded at Code BEAM V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ Compositional protocol engineering for communicating actors | Laura Bocchi & Laura Voinea - Senior Lecturer in Computing at the University of Kent & Research Associate at he University of Kent ABSTRACT In systems of communicating processes or actors, data types can be used to discipline the sorts of sent and received messages. Session types, in addition, can describe specific causalities and patterns among different send/receive actions (like application-level protocols). I will give an overview on recent and ongoing research about writing “good protocols” using session types and session types to yield correct implementations. I will then focus on modular composition of protocols. Real-world communication protocols are often built out of simpler protocols that cater for some specific functionality (e.g., banking, authentication) or operate at different levels of abstraction (e.g., HTTP, POP). However much of the work used for program verification (e.g., session types) treat protocols as monolithic units. I will show an approach to protocol composition, including a tool that extracts models from concurrent Erlang code into a protocol language based on session types, implements an algorithmic notion of protocol composition, and provides code generation from protocols. The purpose is greater modularisation and code reuse. • Timecodes 00:00 - 01:15 - Contents - Laura Bocchi 01:16 - 02:48 - Modeling Behaviour 04:26 - 07:01 - A bad protocol ( in the harsh asynchronous world) 07:02 - 09:21 - Good Protocols 09:22 - 12:29 - Session Types 12:30 - 14:11 - Context 14:12 - 19:52 - Problem 1: Composition 19:52 - 21"47 - Problem 2: Make it easy to (re-)engineer 21:48 - 23:00 - In Summary 23:01 - 31:30 - Demo Overview - Laura Voinea 31:41 - 38:39 - 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 V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ End to End Encryption with Elixir and Beam | Mrinal Wadhwa - ECTO at Ockam ABSTRACT Erlang LS is slowly becoming the de-facto standard when it comes to an Erlang development environment. Being completely editor-agnostic, Erlang LS brings the most popular Erlang developer tools such as Elvis, Dialyzer and TypEr to the masses. But what is next? During this talk we will discover what is cooking among the Erlang LS core contributors. We will peek at the work being done around the Build Server Protocol, which allows language servers to integrate with existing build tools (rebar3 anyone?) and the Debug Adapter Protocol, which can transform your editor into a fully-fledged debugger. OBJECTIVES: Showcase the current status of Erlang LS Present the roadmap for Erlang LS Give a gentle introduction to the BSP and DAP protocols • Timecodes 00:00 - 04:43 - Introduction 04:44 - 06:23 - Security of Data-in-transit 06:24 - 09:52 - Trust in Network Boundaries 09:53 - 11:29 - Transport Layer Security 11:30 - 12:33 - Principle of Least Privilege 12:34 - 26:00 - Secure Channels 26:01 - 37:14 - End-to-end Encryption 37:15 - 41:26 - 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 V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ EJumping gen_servers! A new way of building distributed applications | Peer Stritzinger - Founder and Director of Peer Stritzinger GmbH • Abstract Distributed applications in Erlang have been static, limited and manual. Couldn't they be dynamic, limitless and automatic instead? Heterogenous large networks with interesting topology and varied properties of nodes and links call for a new way of building such applications. We will together explore building blocks made out of processes, messages, links and monitors sprinkled with practical experiments. Distributed self managing computation and communication, seeking new emergent behaviours. • Objectives Kick off a new way of building distributed computing showing code everyone can understand and see what new properties emerge. Giving an outlook how we can get further into the rabbit hole of Erlang Distributed possibilities. • Timecodes 00:00 - 03:11 - Basic Building Blocks 03:12 - 06:42 - Mapping Process to Nodes 06:43 - 08:05 - Process Messaging Topology 08:06 - 10:29 - Modes of operation 10:30 - 15:29 - Why migrate processes? 15:30 - 25:33 - Distributed Digital Twin & Online Planning 25:32 - 28:28 - Migrating Processes 28:29 - 31:07 - Message formats 31:08 - 33:01 - OTP 24 33:02 - 36:52 - How do we learn the Node Topology? 36:55 - 38:47 - Braid: Demo 38:48 - 39: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 V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ Convert your Web App to a Desktop App with Elixir Desktop | Dominic Letz - Co-Founder of Diode.io ABSTRACT Elixir-Desktop is a new project and library to convert Elixir Phoenix (LiveView) apps into native Desktop applications for macOS Linux and Windows. Think what electron brought to JavaScript but for Elixir. During this talk, I would like to showcase the library and how to get started and then dive into some of the nitty-gritty details of creating a macOS dmg from your project and deploying it through the mac appstore. OBJECTIVES: Presenting the Elixir-Desktop project and giving people an overview of what has been achieved already as well as some of the open todos. This would be a great opportunity to probe the community interest for an Elixir alternative to Electron. • Timecodes 00:00 - 01:52 - Introduction 01:53 - 05:26 - Goals of the project 05:27 - 07:29 - Other BEAM Based Desktop Apps 07:30 - 11:53 - How is Elixir-Desktop different from scenic UI and when would you change it over Scenic? 11:54 - 14:11 - Principle of Least Privilege 14:12 - 17:56 - Secure Channels 17:57 - 34:19 - End-to-end Encryption 34:20 - 39:29 - 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 V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ Metaprogramming + DSL Design in Elixir | Adi Iyengar - Senior Software Engineer/Architect ABSTRACT Elixir relies heavily on metaprogramming. We use metaprogramming features in Elixir regularly, sometimes without even knowing. In this talk, we will cover some of the low level constructs in Elixir, which will help you better understand how metaprogramming works in Elixir. We will finish up by using some of those constructs to build a Domain-Specific Language to compose music using Elixir. • Timecodes 00:00 - 01:02 - Introduction 01:03 - 01:46 - Metaprogramming: What is it? 01:47 - 02:57 - Metaprogramming: Pros and Cons 02:58 - 04:30 - Metaprogramming" When to use it? 04:31 - 05:28 - Metaprogramming in Elixir 05:29 - 12:54 - Quoted Expressions 12:55 - 14:14 - Summary 14:15 - 27:17 - Let's build a DSL 28:18 - 37:17 - QnA • Slides https://codesync.global/uploads/media/activity_slides/0001/03/503333ee4b1264529b0306d872dce51310ed4bb6.pdf • 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 V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ Fireside chat on JIT compiler | Lukas Larsson & John Högberg - Software Engineer at Erlang Solutions & member of the Erlang/OTP team at Ericsson ABSTRACT "Good things come to those who wait" goes the saying, and indeed, after 10 years and several interesting attempts and research, Erlang 24.0 finally comes out of the box with a JIT (i.e. Just-In-Time) compiler that is impressive both in its performance, as well as its simplicity, and has gotten the entire BEAM community talking about it! In this fireside chat, hosted by Stavros Aronis, Lukas Larsson and John Högberg will answer all your questions about the new JIT. • 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

Fireside chat on Nova and Nitrogen | Daniel Widgren, Niclas Axelsson & Jesse Gumm - Co-founders of Nova, & project lead for the Nitrogen Web Framewor ABSTRACT "The leads for one of the oldest and one of the newest Erlang web frameworks discuss each project's vision, their experiences, and making Erlang appealing to wider audiences. • 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 V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ Fireside Chat with LiveView Surface | Timmo Verlaan, Marlus Saraiva & Bruce Tate - Lead Developer at Wuunder, Creator of Broadway, Surface, ElixirSense & Founder of Grox.io • ABSTRACT Join Marlus Saraiva, the creator of Surface, alongside Timmo Verlaan and Bruce Tate for a discussion about Surface, the new LiveView Component library. Surface is a server-side rendering component library built on top of LiveView. Surface brings static type checks to LiveComponents, while providing better ergonomics and a high-degree of composability. It is a powerful tool in the LiveView developer's toolkit for designing rich, interactive UIs that are easy to build, layer, and maintain. Bruce Tate, co-author of Programming Phoenix LiveView, will moderate a discussion between Marlus Saraiva and Timmo Verlaan. We'll talk with Marlus about the problems Surface is designed to solve, what it's been like to build the library, where Surface is going next, and more. We'll also hear from Timmo Verlaan on his experience working with Surface, when and why he reaches for Surface, and what Surface has brought to LiveView development. We also want to hear from you, the audience. So come with all of your Surface questions and join us for this lively discussion. • 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 V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ Fireside Chat on making a typed language on the BEAM | Leandro Ostera & Louis Pilfold - Author of Caramel & Author of Gleam ABSTRACT "Gleam is a fast, friendly, and functional language for building type-safe, scalable systems." "Caramel is a functional language for building type-safe, scalable and maintainable applications." These are currently the official slogans of the Gleam and Caramel languages, and it's easy to see the alignment on functional programming, scalability and maintainability. But with both being languages running on the BEAM, these are not too surprising. Type-safety on the BEAM, on the other hand? That is a more intriguing story! Join us on this fireside chat hosted by Stavros Aronis, where Louis Pilford, author of Gleam, and Leandro Ostera, author of Caramel, will answer all your questions about making a type-safe language on the BEAM! • 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