Code Sync Courses

Same Same but Different: Static Type Checkers for Erlang

Explore the comparison of four static type checking tools for Erlang (Dialyzer, Gradualizer, eqWAlizer, etylizer), examining their expressivity, performance, capabilities, and limitations to help developers choose the right tool for their projects.

• YouTube
• 35 minutes
• Self-Paced
• Free Video

Embedding of External DSLs in Scala: Why and How

Discover how to embed external domain-specific languages in Scala, exploring implementation techniques using tagless-final style and Scala 3 features through real-world examples from the jq language embedding.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

Lustre Universal Components - The Best of Elm and Phoenix LiveView

Explore Lustre's framework architecture in Gleam, combining Elm Architecture with Erlang's actor model to create universal components that seamlessly run on both server and client sides.

• YouTube
• 40 minutes
• Self-Paced
• Free Video

The Two Cultures of Artificial Intelligence - Logic vs Heuristics

Explore the contrasting approaches of logic and heuristics in AI development, examining their implications for programming, creativity, and the future of human work in technology and arts.

• YouTube
• 53 minutes
• Self-Paced
• Free Video

Fullstack Gleam: Static Types on the BEAM and Javascript You'll Love

Dive into building full-stack applications with Gleam, exploring static typing on BEAM and JavaScript integration through hands-on demonstrations and practical implementation techniques.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

Far More Than You've Ever Wanted to Know About ADTs - Understanding Algebraic Data Types and GADTs

Dive into the fundamentals of Algebraic Data Types (ADTs), exploring their properties, practical applications, and evolution into GADTs while understanding their theoretical foundations and system design implications.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

Imagine a Dependently Typed Python

Explore a conceptual Python dialect that combines optional static typing with dependent types, creating harmony between functional and object-oriented programming while empowering developers with advanced type theory.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

SAFE Stack: The Pit of Success for Functional Web Programming

Discover how SAFE Stack enables functional-first web development in F#, combining type safety with modern frameworks like ASP.NET and React to build unified client/server applications that can be easily deployed to the cloud.

• YouTube
• 46 minutes
• Self-Paced
• Free Video

Microcontrollers with Gleam - Creating a Framework for ESP32 and Raspberry PICO Devices

Explore Ray De Los Santos' journey developing a microcontroller framework for ESP32 and Raspberry PICO using Gleam, Erlang, and AtomVM, with demonstrations of tools and code examples for embedded programming.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

Code Generators are Dead. Long Live Code Generators

Explore Chris McCord's keynote on the evolution of code generators in Elixir, discussing their death and rebirth with new approaches and techniques at ElixirConf EU 2025.

• YouTube
• 1 hour 8 minutes
• Self-Paced
• Free Video

Lua on the BEAM - Overview and Implementation

Explore Luerl, a pure Erlang implementation of Lua that runs on the BEAM in a sandboxed environment, with insights on its implementation and practical applications in Smart TV testing.

• YouTube
• 33 minutes
• Self-Paced
• Free Video

La Machine: The Useless Box Reloaded with Erlang and AtomVM

Discover how Erlang and AtomVM were used to develop a lovable IoT device with personality while maximizing battery life, including hardware prototyping, code flashing, and memory management techniques.

• YouTube
• 38 minutes
• Self-Paced
• Free Video

From Concept to Hardware - Cross-Continental IoT Development on the BEAM

Explore cross-continental IoT development using BEAM technologies, covering multiprotocol gateways, Edge AI/ML, and hardware-software solutions from prototype to production.

• YouTube
• 39 minutes
• Self-Paced
• Free Video

Rethinking our Adoption Strategy - Platform vs Productivity Languages

Discover how to make functional programming languages more appealing to business decision-makers by understanding platform vs productivity languages and their budget implications.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

My BEAM History - A Personal Journey Through Three Decades of BEAM Evolution

Discover the evolution of BEAM virtual machine through nearly three decades of development, from memory-hungry Erlang VM to robust foundation for Elixir and Gleam languages.

• YouTube
• 47 minutes
• Self-Paced
• Free Video