Strange Loop Conference Courses

Flare - Optimizing Apache Spark for Scale-Up Architectures and Medium-Size Data

Optimizing Apache Spark for medium-size data on single powerful servers. Flare accelerator module delivers significant speedups using code generation techniques inspired by main-memory database systems.

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

Musical Steganography - Hiding Things in Music

Explore techniques for concealing messages in music, from Bach's compositions to modern digital methods. Learn to apply steganographic principles using TidalCycles and Haskell.

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

Hazel - A Live Functional Programming Environment with Typed Holes

Explore Hazel, a web-based environment for functional programming with typed holes, enabling continuous type-based services and live debugging during development of incomplete programs.

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

The Search for a New Visual Search - Beyond Language

Exploring AI-powered visual search beyond text, focusing on composition-aware technology for precise image retrieval using machine vision, NLP, and information retrieval techniques.

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

Software Performance - A Shape Not a Number

Explore the evolution of software performance measurement, from averages to percentiles to unsampled histograms, and learn how latency histograms provide clearer insights for modern microservice architectures.

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

Understanding TypeScript's Structural Type System

Explore TypeScript's structural type system, its benefits for JavaScript development, and how it balances flexibility with type safety through shape-based typing.

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

Mapping Imaginary Cities

Explore algorithms and techniques for procedurally generating fictional city maps, including topography, landscape, populations, and street plans. Dive into maps as a creative tool for conveying ideas about space and inhabitants.

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

Puzzles, Problems, and Programs

Explore mental model alignment in puzzles, problems, and programming through interactive techniques and informative failure, enhancing cognitive abilities and problem-solving skills.

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

Categories for the Working Hacker

Explore category theory's relevance to developers through Java, Haskell, and blockchain languages. Learn how categories model basic data types and their connection to logic and computing.

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

Browser Testing Using Grammars and a Consensus Oracle

Explore property-based testing for browser rendering using grammar-based generators and consensus oracles. Learn innovative techniques to identify and minimize failing test cases.

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

A Practical Look at Performance Theory

Explore performance theory for system tuning and capacity planning. Learn Little's Law, Universal Scalability Law, and real-world applications from companies like Facebook.

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

A Tale of Two Asyncs - Open Source Language Design in Rust and Node.js

Explore asynchronous programming in Rust and Node.js, comparing language design approaches, technical constraints, and governance models to understand open source language evolution.

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

Machine Learning for Personalised Health

Exploring machine learning applications in healthcare for personalized medicine, disease subtyping, and patient stratification. Focuses on probabilistic modeling to uncover heterogeneous disease phenomena and asthma phenotypes.

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

Proof Theory Impressionism - Blurring the Curry-Howard Line

Exploring approaches to bridge the gap between proof assistants and production languages, focusing on Rust and its potential for incorporating provable system capabilities.

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

Ray - A Distributed System for Emerging AI Applications

Explore Ray, a scalable distributed system designed for AI workloads, featuring task-parallel and actor abstractions, in-memory storage, and a distributed scheduler for emerging AI applications.

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