Strange Loop Conference Talks & Presentations

Strange Loop Conference

Propositions as Types

Explore the profound connection between logic and computation, delving into the Propositions as Types principle and its impact on theorem provers, programming languages, and computing frontiers.

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

Strange Loop Conference

The Early Days of id Software - Programming Principles

Explore id Software's early programming principles and game development methodology with co-founder John Romero, offering insights into the creation of iconic titles like DOOM and Quake.

• YouTube
• 1 hour 16 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

You Can Be a Kernel Hacker

Demystifying kernel hacking: Learn how operating systems work, explore concrete ways to get started, and discover why kernel development is accessible to all programmers.

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

Strange Loop Conference

Turning the Database Inside Out with Apache Samza

Explore a new approach to database architecture using Apache Samza, transforming traditional models into real-time stream processing for improved scalability, robustness, and data flexibility.

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

Strange Loop Conference

Stop Writing Dead Programs

Explore the future of programming with a critical look at current practices and innovative ideas for live programming environments that could revolutionize problem-solving in technology.

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

Strange Loop Conference

Game Development in Eight Bits

Explore NES game development techniques: graphics, physics, collision detection, randomness, and data compression. Learn how iconic 8-bit era games were created with limited hardware.

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

Strange Loop Conference

Performance Matters

Explore performance optimization challenges and innovative solutions with Stabilizer for sound evaluation and Coz, a causal profiler for pinpointing impactful optimizations in modern applications.

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

Strange Loop Conference

Uptime 15,364 Days - The Computers of Voyager

Explore the enduring computing systems of NASA's Voyager probes, launched in 1977 and still operational. Learn about their design, adaptability, and resilience in space exploration.

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

Strange Loop Conference

Data Driven UIs, Incrementally

Explore efficient data-driven UI development using Incremental, an OCaml library for dynamic computations. Learn techniques for building responsive applications that handle large data streams in real-time.

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

Strange Loop Conference

Running With Scissors - Live Coding With Data

Explore Clojure's unique features for effective programming and development processes through live coding demonstrations and practical examples.

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

Strange Loop Conference

The Hard Parts of Open Source

Explore open source community dynamics, online communication patterns, and strategies for fostering civil discourse in digital spaces through historical and cultural perspectives.

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

Strange Loop Conference

Why We Built Our Own Distributed Column Store

Explore the architecture and implementation of Retriever, a custom-built distributed column store database inspired by Facebook's Scuba, designed for efficient querying of large-scale event data.

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

Strange Loop Conference

Level Up Your Concurrency Skills With Rust

Explore Rust's approach to safe concurrent programming, learning how it catches errors at compile time and enhances your skills across languages. Gain insights into race conditions and memory safety.

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

Strange Loop Conference

The Lux Programming Language

Explore Lux: a functional, statically-typed Lisp for multiple platforms. Learn about its features, philosophy, and potential impact on programming paradigms and meta-programming.

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

Strange Loop Conference

Stop Rate Limiting - Capacity Management Done Right

Explore capacity management alternatives to rate limiting, using Little's Law and concurrency control for better API performance and resource isolation in microservices architectures.

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