Code Sync Courses

Good Behavior: Cultivating Healthy Elixir Teams and Codebases

Discover best practices for maintaining healthy Elixir codebases and teams. Learn strategies for adoption, testing, organization, and more, applicable to various stages of Elixir implementation.

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

Deep Dive in Nx Backends - Lecture 1

Explore Nx Backends in Elixir, understanding their impact on performance and automatic differentiation. Learn about backend structure, runtime dispatching, and integration with Axon for deep learning.

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

seL4 and BEAM: Running Erlang Without an OS

Explore running BEAM without an OS, focusing on security and robustness for embedded applications. Learn about seL4 microkernel, formal verification, and BEAM-seL4 integration.

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

Building Blocks and How to Use Them: A MongooseIM Case Study - Code BEAM America 2022

Explore MongooseIM's evolution, Erlang design patterns, and reusable libraries extracted from this open-source messaging server. Learn about scalable architecture and community-driven development.

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

Accessible Time Series Data with TimescaleDB

Explore TimescaleDB for efficient time series data management. Learn to deploy, leverage unique features, and build applications using this open-source Postgres extension.

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

Network Observability at LinkedIn - Scaling Flow Data Processing with Erlang

Explore LinkedIn's Erlang-based network observability system for processing millions of data points per second, addressing scalability challenges in large-scale infrastructure.

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

Refactoring via the Language Server Protocol - Code BEAM America 2022

Explore refactoring in Erlang using Wrangler and Language Server Protocol. Learn integration techniques, complex refactorings, and their implementation in various editors.

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

RabbitMQ Performance Improvements - Tools and Techniques for Optimization

Discover tools and techniques for optimizing RabbitMQ performance, including spotting bottlenecks, profiling, and improving throughput and latency while minimizing resource usage.

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

Zero Trust RabbitMQ with HashiCorp Vault

Implement Zero Trust security for RabbitMQ using HashiCorp Vault. Learn to manage access, ensure data confidentiality, and simplify cryptography for secure messaging in a demo-driven exploration.

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

Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer

Explore innovative payment systems using Haskell for type-safe, continuous money transfers. Learn about generalizing payments and implementing blockchain protocols with functional programming concepts.

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

Pushing RabbitMQ to the Limit - Performance Testing with PerfTest

Explore RabbitMQ performance factors and learn to use PerfTest for simulating workloads across different topologies. Gain practical insights into optimizing RabbitMQ throughput.

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

Approximate Knowledge Synthesis with Refinement Types

Explore approximate knowledge synthesis using refinement types for quantitative declassification policies. Learn about ANOSY's approach to information flow control and policy violation checks.

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

How We Rabbit at AWeber - RabbitMQ in Production for 10 Years

Explore AWeber's decade-long use of RabbitMQ in production, covering topologies, standards, monitoring, and operational management for high-volume message delivery.

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

An Update on Khepri Adoption in RabbitMQ

Explore Khepri's evolution, its benefits for RabbitMQ users, and the timeline for its integration into a GA release. Learn about the next-gen schema database's progress and potential impact.

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

Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022

Explore formal methods in TLA+ to predict and prevent chaos in distributed computing. Learn how to design robust systems beyond untestable whiteboard drawings and ad-hoc scripts.

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