Conference Talks

Strange Loop Conference

Raft - The Understandable Distributed Protocol

An understandable walkthrough of Raft, covering leader election, log replication, network partitions, and practical implementation.

• YouTube
• 37 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

The Trouble With Types

A look at the tradeoffs behind static type systems, with examples from Scala and emerging Dotty features.

• YouTube
• 49 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Unison - A New Distributed Programming Language

Explore Unison, a functional language that treats an entire distributed, elastic system as one program.

• YouTube
• 41 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

RGB to XYZ - The Science and History of Color

Trace the scientific and historical evolution from CIE 1931 XYZ to RGB and sRGB, and learn how color spaces shape everyday color decisions.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Compacting the Uncompactable

A randomized virtual-memory approach to compacting fragmented heaps in unmodified C/C++ applications without safely traceable pointers.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Correctness Proofs of Distributed Systems with Isabelle

Learn how Isabelle/HOL uses interactive theorem proving to establish correctness properties of distributed algorithms through mathematical reasoning and invariants.

• YouTube
• 43 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Finding Bugs Without Running or Even Looking at Code

Use Alloy model checking to uncover complex system and security bugs from architectural designs before writing code.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Type-Driven Program Synthesis

Explore type-driven program synthesis using refinement types and SMT solving to generate functional programs and repair information-flow leaks.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

A Little Taste of Dependent Types

A hands-on introduction to dependent types through Pie, where programs and mathematical proofs become the same thing.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

The Magical Rebalance Protocol of Apache Kafka

Explore Kafka’s hidden, extensible assignment protocol for consumer groups, leader election, and task management, including its binary network design and Java APIs.

• YouTube
• 41 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

A Box of Chaos - The Generative Artist's Toolkit

Explore the algorithms, color systems, and mathematical building blocks generative artists combine to create code-generated artwork.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Tree-sitter - A New Parsing System for Programming Tools

Tree-sitter brings high-performance incremental parsing and robust error recovery to real-time code analysis in editors.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Running With Scissors - Live Coding With Data

A live demonstration of how Clojure's dynamic, hosted functional Lisp features shape an effective development process through data exploration, testing, and instrumentation.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

The Hard Parts of Open Source

A cultural history of open source explores conflict patterns and structures for more civil, productive communication in online communities.

• YouTube
• 47 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Why We Built Our Own Distributed Column Store

How Honeycomb built Retriever, a disk-backed distributed column store for sub-second queries under startup-scale constraints.

• YouTube
• 43 minutes
• Self-Paced
• Conference Talk