Code Sync Courses

Kill All Mutants! Introduction to Mutation Testing - Code BEAM Europe 2022

Explore mutation testing to enhance test suites and code quality. Learn its benefits, drawbacks, implementation, and tools for various languages. Gain insights to improve testing practices and code reliability.

• YouTube
• 41 minutes
• On-Demand
• Free Video

Testing Done PropEr - Introduction to Property-Based Testing with PropEr

Explore PropEr, a property-based testing framework for Erlang, focusing on its state machine testing capabilities. Learn setup, implementation, and practical applications for robust software development.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Debugging for Math Lovers

Explore mathematical approaches to debugging, focusing on functional programming techniques and their impact on error resolution efficiency and program complexity reduction.

• YouTube
• 42 minutes
• On-Demand
• Free Video

ROSiE: The Robot Operating System in Erlang - Implementation and Advantages

Explore ROSiE, an Erlang implementation of ROS, enabling BEAM-based interaction with robotics ecosystems. Learn its architecture, advantages, and witness live demonstrations including hot code upgrades on active robots.

• YouTube
• 42 minutes
• On-Demand
• Free Video

Orthotope - APL-Inspired Arrays for Haskell - Lambda Days 2022

Explore Orthotope, a Haskell library for multi-dimensional arrays inspired by APL. Learn efficient structural operations, clever array representation, and various implementations for different storage and typing needs.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Security Under the BEAM - Building Trustworthy Isolation in Operating Systems

Explore the Kry10 Secure Platform, combining BEAM VM isolation, seL4 Microkernel, and formal methods to build trustworthy, fault-tolerant systems for IoT and next-gen software development.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Improve Your Tests with Makina - Property-Based Testing for Complex Systems

Explore Makina, a new Elixir library for efficient property-based testing of complex systems like Ethereum smart contracts, featuring improved error detection and code reuse.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Lambdapad - Static Websites with Elixir or Erlang - Code BEAM Europe 2022

Explore Lambdapad, a static site generator for BEAM languages. Learn its features, setup process, and see a live demo for creating websites easily with Elixir or Erlang.

• YouTube
• 26 minutes
• On-Demand
• Free Video

Formal Reasoning: An Alternative Approach to Formal Verification - Code BEAM America 2022

Explore formal reasoning techniques to improve system testing, monitoring, and design. Learn practical applications of formal verification concepts for more efficient software development and operations.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Time Travel Debugging in Production - Know Your Past to Predict Your Future

Explore time-travel debugging techniques for complex production systems, learn to build specialized debuggers, and understand their impact on system design for efficient troubleshooting.

• YouTube
• 38 minutes
• On-Demand
• Free Video

We Are Stronger Together - Uniting the BEAM Ecosystem

Explore the BEAM ecosystem's challenges and future, focusing on uniting developers and improving interoperability between languages. Gain insights on strengthening the community and fostering innovation.

• YouTube
• 57 minutes
• On-Demand
• Free Video

Trace Specifications and Chaos Engineering: Advanced Testing with Snabbkaffe - Code BEAM Europe 2022

Explore advanced testing techniques for distributed Erlang applications using trace specifications and chaos engineering. Learn to verify complex scenarios and improve fault tolerance in production systems.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Evolving Erlang/OTP Feature by Feature - Selectable Features in OTP25

Explore Erlang/OTP's new selectable features, including Value-Based Error Handling. Learn how to evolve the language without affecting existing code, enabling experimentation with backwards-incompatible changes.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Incremental Dialyzer: How We Made Dialyzer 7x Faster

Discover how to boost Dialyzer's performance 7x with the new incremental mode. Learn the differences from classic PLT building and checking, and optimize your Erlang & Elixir development workflow.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Vaxine - The Rich CRDT Database for Elixir/Phoenix Apps

Explore Vaxine, a rich-CRDT database for Elixir/Phoenix apps. Learn about its features, use cases, and how it extends CRDTs with invariant safety for low-latency, collaborative applications.

• YouTube
• 23 minutes
• On-Demand
• Free Video