Strange Loop Conference Courses

Type-Driven Program Synthesis

Explore type-driven program synthesis for creating complex data structures and repairing information flow leaks, enhancing software quality through declarative constructs and automated code generation.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Algorithms for DNA Data Storage

Explore algorithms for efficient DNA data storage, including innovations in reading/writing, cost reduction, and potential applications for managing growing data storage needs.

• YouTube
• 30 minutes
• On-Demand
• Conference Talk

A Little Taste of Dependent Types

Explore dependent types, uniting programming and mathematical proofs. Learn about Pie, a tiny dependently typed language, and see a proof that's also a program.

• YouTube
• 39 minutes
• On-Demand
• Conference Talk

Verifying the LLVM

Explore LLVM's intermediate representation, its complexities, and the Vellvm project's approach to formal verification using Coq, aimed at ensuring compiler reliability and security.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Scalable Anomaly Detection - With Zero Machine Learning

Explore Netflix's innovative approach to detecting anomalies in complex distributed systems using stream processing and simple algorithms, without relying on machine learning.

• YouTube
• 41 minutes
• On-Demand
• Conference Talk

The Magical Rebalance Protocol of Apache Kafka

Explore Apache Kafka's hidden protocol for managing work assignments, including leader election and task distribution. Learn its internals, applications, and how to extend it for custom implementations.

• YouTube
• 41 minutes
• On-Demand
• Conference Talk

FaCT - A New Language for Constant-Time Programming

FaCT: A new language for writing constant-time cryptographic code, addressing security vulnerabilities in traditional methods. Enables high-level programming constructs while ensuring timing side-channel resistance.

• YouTube
• 32 minutes
• On-Demand
• Conference Talk

Building Financial Systems on Eventually Consistent DBs

Explore Netflix's innovative approach to building scalable, available, and consistent financial systems using eventually consistent databases, balancing tradeoffs between availability and data integrity.

• YouTube
• 26 minutes
• On-Demand
• Conference Talk

Understanding Microservices with Distributed Tracing

Explore distributed tracing for microservices: visualize request journeys, optimize performance, and gain system-wide insights. Learn implementation strategies and lessons from Lyft's adoption.

• YouTube
• 31 minutes
• On-Demand
• Conference Talk

PANOPTES - Open Source Exoplanet Discovery

Discover exoplanets using open-source PANOPTES: a distributed network of robotic telescopes combining cloud computing, affordable electronics, and innovative software.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

The Glitching Hour

Explore image formats, compression techniques, and data corruption to create artistic glitch effects. Learn how to manipulate digital imagery for unique visual aesthetics.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

Building a Canary Testing Framework

Learn to build a canary testing framework for distributed systems, covering architecture, implementation in Go, test configurations, and result visualization using Prometheus.

• YouTube
• 42 minutes
• On-Demand
• Conference Talk

A Box of Chaos - The Generative Artist's Toolkit

Explore generative art techniques, from algorithms and color theory to creating natural-looking code-generated artwork. Learn practical tools for producing unique digital art pieces.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Leverage vs. Autonomy in a Large Software System

Explore the balance between centralization and decentralization in large-scale software development, examining Twitter's strategies and introducing Strato, a new serverless platform for enhanced engineer productivity.

• YouTube
• 37 minutes
• On-Demand
• Conference Talk

All the Languages Together

Explore the challenges and solutions for building multi-language software systems, focusing on language interoperability, safety, and toolchain improvements for seamless integration.

• YouTube
• 52 minutes
• On-Demand
• Conference Talk