Strange Loop Conference Courses

You Are a Program Synthesizer

Explore program synthesis insights to improve coding skills. Learn about code quality, specification-driven development, and advanced analysis techniques for better programming practices.

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

Designing Augmented Reality Systems for Speed

Explore designing AR systems for speed, balancing complex algorithms with resource limitations. Learn trade-offs, concurrency, real-time interactions, and caching in AR development.

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

Isolation without Containers

Explore software fault isolation techniques beyond containers, focusing on sandboxing compilers for edge computing and IoT. Learn about machine code generation, optimization, and system integration.

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

The Bots That Help Run Wikipedia

Explore the fascinating world of Wikipedia bots: their crucial role, diverse functions, and the technology behind them. Learn how to create your own bot and contribute to this unique ecosystem.

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

Freeing the Software That Runs Our Elections

Explore open-source software projects for US elections, focusing on San Francisco's initiative. Learn about voting systems, ballot processing, and the advantages of transparent election technology.

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

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