Strange Loop 2022
2022-09-22..2022-09-24
-- online --
[Strange Loop 2013, Strange Loop 2014, Strange Loop 2015, Strange Loop 2016, Strange Loop 2017, Strange Loop 2018, Strange Loop 2019, Strange Loop 2021, Strange Loop 2022, Strange Loop 2023]
| title | author | length |
|---|---|---|
| Expert Software Developers' Approach to Error | Marian Petre | 50m |
Drawing on decades of empirical work, the main claim is explicit: experts treat error as opportunity and deploy concrete practices — tolerate defer compromise… | ||
| The Early Days of id Software: Programming Principles | John Romero | 01h 16m |
Chronicles concrete practices not platitudes: claims that constantly shippable code and “no prototypes” speed delivery; tools actually built (Ted tile editor… | ||
| Leveraging AI for Global Health | África Periañez | 47m |
A startup funded by the Bill & Melinda Gates Foundation builds a data‑centric platform that ingests time‑series app logs via an SDK, standardizes behavioral… | ||
| The Secure Software Supply Chain | Kelsey Hightower | 49m |
After decades of gluing together software from a random set of libraries and frameworks, industry wide attacks on the software supply chain have proven this… | ||
| Stop Writing Dead Programs | Jack Rusher | 43m |
Thesis: stop writing dead programs and instead build live programming environments that keep state and give immediate feedback. Concrete examples include a… | ||
| Programmable Ink | Szymon Kaliski | 36m |
Three live prototypes show sketching that actually computes: Inkbase exposes spatial queries on a stylus canvas to make reactive checkboxes and plot… | ||
| Python Performance Matters | Emery D. Berger | 39m |
Explains a concrete claim: Scalene is a CPU GPU and memory profiler that reports copy volume (MB/s), separates Python time from native and system time using… | ||
| Building Observability for 99% Developers | Jean Yang | 40m |
Claim: make observability usable for the “99% developers” by applying compiler/program-analysis ideas to live traffic. Uses ebpf passive packet capture to… | ||
| Hedy: A Gradual programming language | Felienne Hermans | 41m |
Hedy is a purposely gradual teaching language that adds real syntax and concepts over 18 levels and lands on a Python subset, tested with 39 children over 12… | ||
| All About Regular Expressions | Jade Allen | 37m |
History and concrete tradeoffs: Thompson NFA compilation (1968) shows how regex compile to state machines and powers linear-time search used in grep which… | ||
| Automatic Generation of Runtime Checkers for Production Distributed Systems | Ryan Huang | 40m |
Three automated techniques generate runtime checkers: Panorama statically instruments requester code so observers report cross-component errors and detects 15… | ||
| A Commerce-centric Approach to Queuing Fairly at High Throughput | Logan Martel | 42m |
Claims a move from a stateless edge throttle to a stateful, commerce-aware queue that tracks ticket timestamps, inventory and fairness and runs as a Ruby gem… | ||
| Light and Adaptive Indexing for Immutable Databases | Håkan Råberg | 38m |
Claims that immutable object-backed storage plus small on-disk indexes cut latency by avoiding random reads, with compute-local adaptive structures filling… | ||
| A Distributed File System for Secure P2P Applications | Brooklyn Zelenka | 45m |
A usable distributed file system exists: the WebNative File System (WNFS) is a content-addressed persistent encrypted forest built atop IPFS as a block store… | ||
| Symbolic Numeric Programming in Julia | Shashi Gowda | 37m |
Symbolics.jl traces numerical Julia code via multiple-dispatch to produce and regenerate code, claims removal of intermediate allocations and automatic… | ||
| Remember When We Broke the Internet? | Julia Ferraioli, Amanda Casari | 38m |
A sequence of concrete incidents shows how open source behaves as a socio-technical system: the Morris worm infects ~10% of the global Internet, Heartbleed… | ||
| CodeGen with Types, for Humans, by Humans | Matthew Griffith | 46m |
A codegen engine written in Elm generates readable, type-safe Elm code for Vendr’s GraphQL and UI needs, automatically handling imports and formatting… | ||
| Fight AI Bias With… Bias | Noble Ackerson | 47m |
Argues for using controlled bias to correct biased systems and shows concrete techniques: pre/in/post‑processing on datasets and models, counterfactual tests… | ||
| Open-Sourcing Venice | Felix GV | 43m |
Venice is a derived data store built for very large, frequently rewritten datasets and low-latency AI inference. It handles ~1500 datasets, ingests about 14… | ||
| Polymorphism Unbound | Bruce Eckel | 41m |
Claims that polymorphism is essentially a type that represents multiple types and demonstrates concrete examples and tradeoffs across C++, Java, Python… | ||
| Introducing the HandAxe Collections Pattern Language | Maurice Rabb | 41m |
Claims a concrete pattern language called HandAxe with a small grammar of grips, locators, qualifiers and verbs that can autogenerate methods on demand; shows… | ||
| Avoiding the Pitfalls of Autoscaling with Constant Work | David Grizzanti | 36m |
Claims that constant work beats reactive autoscaling for avoiding cascading failures, with concrete demos using Prometheus, Avalanche load generator, AWS… | ||
| How to Avoid Safety Hazards when using Closures in Scala | Philipp Haller | 40m |
Shows a concrete library called spores 3 that replaces ordinary closures with an explicit, typed environment and a compile-time check that rejects accidental… | ||
| Don't Get Owned by Your Dependencies | Shravan Ravi Narayan | 32m |
Builds a practical pipeline that compiles unsafe C/C++ libraries to WebAssembly sandboxes and integrates them via a C++ framework called RLBox, with type-level… | ||
| Workflows, a new abstraction for distributed systems | Dominik Tornow | 39m |
Claims a new abstraction gives distributed systems exactly-once semantics by turning volatile functions into durable executions using event-history replay and… | ||
| Resillient Microservices without the Chaos | Christopher S. Meiklejohn | 41m |
Claims that service-level fault injection testing turns existing end-to-end functional tests into exhaustive failure explorations, using static analysis, test… | ||
| Formal Modeling and Analysis of Distributed Systems | Ankush Desai | 39m |
P is a state-machine programming language and open-source framework that models distributed components as communicating state machines, attaches runtime… | ||
| LiveViewJS is the anti-SPA library for reactive app development in NodeJS and Deno | Donnie Flood | 55m |
The talk demonstrates a working LiveView-style library called LiveViewJS that ports the Phoenix LiveView protocol to NodeJS and Deno, using web sockets to ship… | ||
| The Vera C. Rubin Observatory Legacy Survey of Space and Time | Andrés Plazas Malagón | 39m |
The project delivers an 8.4‑meter telescope with the world’s largest astronomy imager, a 3200‑megapixel camera with a field of view the size of 40 full moons… | ||
| Powering Spotify's Audio Personalization Platform | Josh Baer | 40m |
Claims concrete scale and working components: personalization for 400 million monthly users across 183 markets over an 85+ million catalog, ~3 million… | ||
| Beyond Blockchain: Convergent Consensus | Mike Anderson | 42m |
Claims a CRDT-style consensus called Convergent Proof of Stake that merges signed per-peer orderings (Merkle-tree beliefs), solves history bloat with… | ||
| What We Learned Dissecting the World's Most Popular Containers | Ayse Kaya | 34m |
Team scans 130 popular images with open source tools like Docker Slim and grype from Anchore and finds concrete pain points: container sizes correlate with… | ||
| Level Up Your Machine Learning Lifecycle | Yaqi Chen | 35m |
Claim: reuse a unified image/object pipeline to turn a pet-breed classifier into a license-plate detector, cutting development time and reducing need for… | ||
| The Skip Ratchet | Brooklyn Zelenka | 27m |
Introduces a concrete construction—the Skip Ratchet—that combines hierarchical hashing and skip lists to give group key agreement properties suited to… | ||
| A Hipster History of CORS | Devdatta Akhawe | 37m |
Chronicle of why CORS looks weird: it implements simple requests (only HTML-era GET/POST shapes), enforces reading via Access-Control-Allow-Origin and… | ||
| In the Land of the Sizing, the One-Partition Kafka Topic is King | Ricardo Ferreira | 47m |
Claims a concrete sizing method that starts by measuring a one-partition baseline with the Kafka perf tools shipped in the distribution bin folder then applies… | ||
| Hodor: Detecting and Addressing Overload in LinkedIn Microservices | Bryan Barkley | 44m |
Hodor is a framework deployed to close to a thousand linked services and engaged hundreds of times in production to detect overloads and shed traffic… | ||
| Formally Verifying Everybody's Cryptography | Mike Dodds, Joey Dodds | 41m |
Production TLS and crypto libraries get formal, with real code verified against machine-readable Cryptol specifications using symbolic execution at the LLVM… | ||
| How live music is evolving in a post pandemic world | Ben Michel | 47m |
Claims that browser music is practical get backed by concrete techniques: using Web MIDI & Worklets with plain WebSockets to send tiny MIDI events, batching… | ||
| Monad I Love You Now Get Out Of My Type System | Gjeta Gjyshinca | 45m |
Claim: adding a small annotation @node lets a Scala compiler plugin turn pure functions into state machines so a runtime scheduler can batch I/O, cache results… | ||
| An IPC Language For The Whole Operating System | Ian McKellar | 45m |
Fuchsia uses a single IPC language, FIDL, to define kernel syscalls, driver APIs and every IPC boundary; the kernel Zircon exposes about 150 syscalls and… | ||
| Disaster Recovery Options running Apache Kafka in Kubernetes | Geetha Anne | 37m |
Concrete choices and tests rather than marketing: deploy stretch clusters across three regions with nonoverlapping CIDRs and at least two brokers per region… | ||
| Art you can make by spying on yourself with your phone | Kate Hollenbach | 37m |
Builds an Android app called phonelovesyoutoo that automatically records front back and screen video whenever the device unlocks then runs it for 31 days… | ||
| Blueprints for a Universal Reasoning Machine | Zenna Tavares | 46m |
Proposes a working blueprint for a proximate “universal reasoning machine” that composes probabilistic inference, program synthesis and causal counterfactuals… | ||
| If only I owned my data: Architecting decentralized data | Katharine Jarmul, Nimisha Asthagiri | 44m |
Slides argue a concrete architecture: decouple identity, storage, access and ML so users keep keys and move data; cite working pieces like did standards and… | ||
| AVIF: Creating a new image format in the open | Jon Bauman | 41m |
AVIF is the browser-backed image format based on the AV1 codec that promises much smaller files and wider color: a claim of ~50% smaller than JPEG shows up in… | ||
| Time Travel Debugging JavaScript Applications | Cecelia Martinez | 37m |
A time‑travel debugger records and replays real browser and Node executions so you can pause, rewind, and add console logs retroactively to inspect variables… | ||
| Of JavaScript Ahead-Of-Time Compilation Performance | Manuel Serrano | 36m |
AOT compiler Hopc compiles JavaScript to Scheme then C, uses optimistic/speculative rules with guards instead of heavy static analyses, and produces… | ||
| Demystifying Privacy Preserving Computing | Tejas Chopra | 37m |
Survey of concrete PPC techniques and tradeoffs with deployment notes and numbers so you can pick by what matters: reviews Federated learning for edge training… | ||
| Machine Learning for Developer Productivity | Satish Chandra | 43m |
Modern tools generate concrete results: large-code corpora plus neural language models power whole-line autocomplete (Copilot) and competition-level code… | ||
| It's Like Coding in the Dark: the Need for Learning Culture in Engineering Teams | Cat Hicks | 14m |
Research from the Developer Insights Lab claims engineering teams accumulate a persistent learning debt when social signals punish exploration; evidence comes… | ||
| One Thousand and One Stories: a Large-scale Survey of Software Refactoring | Mohamed Wiem Mkaouer | 07m |
A large-scale study compares 171 refactoring PRs vs 171 non-refactoring PRs and finds refactoring pull requests take longer to reach accept/reject decisions… | ||
| Choose Wisely: Code Smells in Automatically Generated Code | Joanna Cecilia da Silva Santos | 07m |
Research measures concrete risks: training corpora used to build code generators contain 97% of python samples flagged for code smells, and one corpus shows… | ||
| It's Not You, It's the API: Automatically Avoiding API Misuses | Sarah Nadi | 10m |
Mining billions of client usages to infer concrete usage rules, then presenting those candidate rules for quick editing produces executable checks that are… | ||
| How Automated Tools Can Communicate Effective Strategies for Fixing Bugs | Justin Smith | 06m |
Claim: automated diagnostics should do more than flag errors and should identify root cause and suggest expert strategy for a particular instance. A prototype… | ||
| How to Recommend Tools for Finding and Fixing Software Errors | Chris Brown | 08m |
Automated emails trigger complaints and near-zero adoption, automated pull requests that edit pom.xml break builds and still fail to get uptake, while… | ||
| Finding Bugs in Deep Learning Programs | Foutse Khomh | 07m |
Two concrete systems are described: a fast static analysis tool NeuralLens that builds a meta‑model and applies a taxonomy of typical faults and a dynamic… | ||
| Interactive Debugging and Testing Support for Deep Learning | Tianyi Zhang | 07m |
An interactive debugger called DeepSeer transforms RNN internals into a Finite State Machine so programmers can step through a state trace and inspect words… | ||
| Data Driven Investigation in Defense of Human Rights | Christo Buschek | 45m |
Field shows concrete results and methods not theory A project systematically finds and verifies detention infrastructure in Xinjiang and publishes the dataset… | ||
| The Evolution of a Planetary-scale Distributed Database | Kevin Scaldeferri | 37m |
NRDB claims a global, cloud-agnostic system ingesting exabytes of data across tens of thousands of JVMs while keeping query median near 50ms response time… | ||
| KalDB: A cloud native log search platform | Suman Karumuri | 40m |
Replaces Elasticsearch with a lucene based cloud-native store that prioritizes live data over backlog, uses Kafka partitions and schema-on-read to avoid… | ||
| Reviving 1990's Digital Dress-Up Dolls with Smooch | Libby Horacek | 40m |
KiSS is an open 1991 specification with a custom cell image format and KCF palette swapping that enabled tiny shared dolls; artifacts are bundled with LHA and… | ||
| The Education of a Civic Technologist | Alex Allain | 40m |
U.S. Digital Response claims over 300 projects with 900 volunteers and pivots on concrete outcomes: a Seattle testing site that reaches over a million tests… | ||
| Modern B-Tree techniques | Dmitrii Dolgov | 38m |
Walks through concrete techniques: visualizes B‑trees with PG bench and Neato, explains link trees used in PostgreSQL and Peter Gigan’s work to postpone… | ||
| Sniffing the Metaverse | Benjamin Cabé | 40m |
An electronic nose is built with a ~ $30 metal‑oxide gas sensor and a microcontroller running tinyML inference in ~1 ms, transforms raw VOC traces via a DSP… | ||
| Diagrammar: Simply Make Interactive Diagrams | Pontus Granström | 36m |
A lightweight diagramming language built in Elm generates precise, parametric visuals by treating every image as a composable diagram and every lesson as a… | ||
| There Are No Shortcuts in Organizing, but Technology Sure Does Help | Vicki Crosson, Shane Moore | 38m |
Thousands of one-on-one conversations over about three years and a tracked roster of 600+ names yield concrete outputs: a bubble chart generator (D3-powered… | ||
| nothing matches | ||