Code Sync Courses

Scaling Dialyzer: Performance Optimization and Incremental Analysis

Discover advanced techniques for scaling Dialyzer's performance in OTP 26, exploring incremental mode improvements, micro-optimizations, and ETS performance enhancements for large Erlang codebases.

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

Fast - Grepping SQL Code Like a Boss

Explore the 'fast' search/refactoring tool that targets AST nodes, with a focus on its new SQL language support. Learn how the matching system works and how to use AST Tree Rewriter for code refactoring.

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

WasmRef-Isabelle: How to Formally Verify a Not-Slow Interpreter

Discover how WasmRef-Isabelle, a verified WebAssembly interpreter, achieves both formal correctness and performance, becoming a fuzzing oracle for Wasmtime through a two-step refinement proof approach.

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

Parenting in OTP - Managing Process Hierarchies

Dive into managing process hierarchies in OTP with a focus on "smart parents" and worker processes. Learn about pitfalls of naive start-linking and discover proper techniques for handling children processes.

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

Benefits of Reinventing the Wheel

Discover how rebuilding internal tools when adopting Elixir can be an opportunity rather than a hurdle, leading to better engineering practices and even open-source contributions.

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

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

AI for Worker Collective Action

Discover how AI can empower gig workers through collective action. Learn about a framework using LLMs and worker-owned data to create technologies that improve working conditions on platforms like Upwork and Amazon Mechanical Turk.

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

Functional Platform Engineering with Scala and Pulumi

Explore a novel approach to cloud-native platform engineering using functional programming with Scala SDK for Pulumi (Besom), demonstrating how to build type-safe, maintainable infrastructure as code.

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

Advanced RabbitMQ Strategies: A Case Study from Zendesk

Discover advanced RabbitMQ strategies through a real-world case study from Zendesk, exploring implementation techniques and best practices for message queuing systems.

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

My First Year in Functional Programming

Discover one junior developer's journey from OOP to functional programming in Scala, overcoming challenges and learning to contribute production code within months despite no prior domain knowledge.

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

Managing Quorum Queues at Scale

Discover effective strategies for managing RabbitMQ quorum queues in large-scale environments, including optimization techniques and best practices for high-volume message processing.

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

Media Streaming in the Functional World

Explore the development of Membrane, a media streaming framework in Elixir, and discover the benefits and challenges of implementing media streaming solutions in functional programming languages.

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

Declarative UIs in a Functional Language

Explore how to build apps in functional languages using declarative views, update functions, and models without business logic, addressing key challenges based on production experience.

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

The Socio-technical Elements that Make Good Platforms

Explore the relationship between teams and technology in platform development, examining how support systems enable technological power and the key elements that drive successful team performance.

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