Code Sync Courses

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

How to Safely and Reliably Upgrade Your RabbitMQ Cluster While Maintaining 100% Uptime

Learn to upgrade your RabbitMQ cluster safely and reliably while maintaining 100% uptime. Discover step-by-step techniques for implementing new features, bug fixes, and security patches without service interruption.

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

F#, SQL and Lots of Fun - Building a F# SQL Micro ORM

Explore building a data access library for F#, covering design decisions, query representation, side-effect control, and DSL creation for efficient SQL interactions.

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

Managing RabbitMQ Usage at Scale for Bloomberg's Trading Systems

Explore Bloomberg's use of RabbitMQ in Order Management Systems, covering complex topologies, performance optimization, and scalability solutions for critical trading infrastructure.

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

Write Fast, Reliable, and Secure RabbitMQ Clients

Discover techniques for developing high-performance, dependable, and secure RabbitMQ client libraries. Learn about Carl Hörberg's contributions and insights into creating superior messaging solutions.

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

Why Event Sourcing is Not Easy

Explore real-world challenges and solutions in event sourcing beyond the simplified "foldLeft over events" concept. Gain insights for practical implementation in your projects.

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

What's New in RabbitMQ Streams - RabbitMQ Summit 2022

Explore RabbitMQ Streams' evolution, including stabilization, ecosystem growth, and upcoming features like super streams and single active consumer for enhanced publishing and consuming capabilities.

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

YATA Collaborative Documents and How to Make Them Fast

Explore core concepts of Conflict-free Replicated Data Types (CRDTs) and their application in building distributed apps with offline-first capabilities. Learn performance metrics and improvement strategies.

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

osnap - Painless and Massive Regression Test Generation for OCaml

Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.

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

Bringing OpenCV to the Elixir World

Explore OpenCV integration in Elixir with Evision, learn its creation process, see practical demos, and discover its potential for computer vision and machine learning pipelines.

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

Uncomputable Functions - Exploring the Limits of Computation

Explore the fascinating world of uncomputable functions, their implications for lambda calculus, and the limits of computation in this thought-provoking presentation.

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

Automating the Automator - Refactoring with Elixir 1.13 and Sourceror

Explore automating developer tasks like refactoring using Elixir 1.13 and Sourceror library. Learn to work smarter and enhance productivity in software engineering.

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

"config.exs is Simple" and Other Lies - Understanding Elixir Configuration

Demystify Elixir's complex configuration system, exploring compile-time, runtime, startup, release, and application environment configurations. Learn when and how to use each option effectively.

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

Nix: Configure and Prosper - An Introduction to Nix Ecosystem and Usage

Explore Nix's ecosystem, package manager, and OS configuration. Learn core concepts, syntax, and real-world applications for reproducible builds and cross-platform compatibility.

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

TypeCheck - Effortless Runtime Type Checking

Explore runtime type-checking in Elixir with TypeCheck library. Learn its benefits, implementation, and advanced features for improved code clarity and resilience.

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