Strange Loop 2016
2016-09-16..2016-09-17
St. Louis, United States
[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 |
|---|---|---|
| Government Hacking and Human Rights: The Why and the How | Amie Stepanovich | 48m |
Narrative starts with a mob boss convicted after an FBI key logger gives up passwords and traces a computer breach and moves through early FBI use of Network… | ||
| Storytelling with your data | Ayşegül Yönet | 38m |
Shows a concrete pipeline: Angular2 app scaffolded with Angular CLI, animations driven by ngAnimate and reusable triggers, data fetched via RxJS observables… | ||
| Agility & Robustness: Clojure spec | Stuart Halloway | 40m |
Claims that Clojure's spec makes programs both agile and robust by letting developers write declarative, predicative specs that are layered and optional. The… | ||
| Idealized Commit Logs: Code Simplification via Program Slicing | Alan Shreve | 41m |
Claims a tool that produces an Idealized Commit Log by computing per-test program slicing from code‑coverage data, using AST transforms and type analysis to… | ||
| How to Get Started With Functional Programming | Julia Gao | 28m |
Specific claims and concrete examples decide whether to watch: immutable data structures use persistent sharing so copies are cheap and thread-safe, pure… | ||
| An Introduction to Combinator Compilers and Graph Reduction Machines | David Graunke | 40m |
Shows that compilation to combinators plus graph reduction yields a tiny virtual‑machine target for pure lazy lambda programs with simple semantics and natural… | ||
| Distributed Commit Log: Application Techniques for Transaction Processing | David McNeil | 40m |
Produces concrete practices for using Amazon Kinesis (Kafka-like) for transaction processing: uses per-key ordering and shard-aware state, shows idempotent… | ||
| Failing (and recovering) asynchronously: a saga | Daniel Solano Gómez | 28m |
Adapts the 1987 saga idea into concrete async recovery: each step pairs a forward action with a compensating undo so partial failures run compensations and… | ||
| Practical data synchronization with CRDTs | Dmitry Ivanov | 46m |
TomTom describes a production sync system (NavCloud) using state-based CRDTs with OUR-Set as an extension to allow updates (identity + monotonically increasing… | ||
| Reasoning about performance (in the context of search) | Dan Luu | 29m |
Shows a concrete claim and measurement: a search design called BitFunnel uses Bloom‑filter–style indexes, back‑of‑the‑envelope math, and simulations to… | ||
| Designing Cypher - a Graph Query Language | Tobias Lindaaker | 43m |
Five years of implementation work produce a concrete claim: a pattern‑matching, declarative graph language delivered as Cypher for Neo4j that compiles, caches… | ||
| Is It A Bug Or Is It A Story? | Nicola Hughes | 38m |
Shows concrete outcomes not airy promises: converts locked PDFs with PDFMiner and text‑mining to build a CC/BCC network that later proves to be a partial… | ||
| If Gaudí Had a Cluster | Max Grigorev, Jen Carlile | 44m |
Flux presents a web-based visual flow programming environment that offloads heavy geometry to a cluster and a distributed execution system; the demo shows a… | ||
| PureScript & Pux -- a safer, more expressive way to React | Michael Trotter | 28m |
PureScript compiles to CommonJS and interops with React, with an optimizing flag that shrinks small widgets to 4 kilobyte bundle size; Pux implements an… | ||
| Modelica: Component Oriented Modeling of Physical Systems | Michael Tiller | 42m |
Modelica compiles component models into algebraic and differential equations, then applies equation sorting into BLT form to drop solve complexity from cubic… | ||
| Put A Type On It: Idris Type Providers for AWS Resources | Susan Potter | 43m |
Claims an Idris type provider that reads AWS VPC and subnet metadata to compute account/region specifics (example: US West 1 two AZs, US West 2 three, US East… | ||
| Druid: Powering Interactive Data Applications at Scale | Fangjin Yang | 45m |
Druid is an Apache‑licensed column‑oriented distributed database that stores immutable time‑sharded segments per hour, uses dictionary encoding and bitmap… | ||
| An Interactive Web Visualization for Watershed Topology | Mark Phillips | 41m |
An open source JavaScript web app that actually maps where rain flows by using the USGS Watershed Boundary Dataset to build a directed acyclic graph of… | ||
| Fold, paper, scissors - an exploration of origami's fold and cut problem | Amy Wibowo | 22m |
The claim is explicit: the fold-and-cut theorem guarantees any polygonal shape can be made with a single cut. Two different proofs are sketched and a working… | ||
| Point-Free or Die: Tacit Programming in Haskell and Beyond | Amar Shah | 36m |
Argues that point‑free is a communication tool, not religion: use eta‑reduction and combinators when they make intent clearer and stop when they obscure it… | ||
| Exploring Conversational Interfaces with Amazon Alexa and Go | Mike Flynn | 38m |
Covers hands‑on specifics: a developer builds conversational skills in Go, releases a go-alexa library to handle Amazon signature checks and JSON, and… | ||
| Project Jigsaw in JDK 9: Modularity Comes To Java | Simon Ritter | 42m |
Project Jigsaw makes Java modular in JDK 9 by enforcing hard encapsulation of internal APIs (a JEP 260 compromise splits critical vs non‑critical), removing… | ||
| Debugging Diversity | Anjuan Simmons | 42m |
Argues that four concrete debugging techniques map to inclusion: expected behavior — define what respectful treatment looks like; turn on inclusion tracers —… | ||
| Diocletian, Constantine, Bedouin Sayings, and Network Defense | Adam Wick | 41m |
Claim: treat networks like late Roman defense — build sensors, hold key assets, and move a rapid response rather than relying on a single choke point… | ||
| Building Secure Systems in Haskell | Deian Stefan | 38m |
Claim: language-level information flow control enforces data policies everywhere so missed checks stop being vulnerabilities. Implementation uses LIO (a… | ||
| Knowing What You See - Let's Talk About Front-end Consistency | Yifan Wu | 36m |
Argues a concrete query-based model that treats the front end as a database, maps visualization anomalies to read/write conflicts, and applies transaction… | ||
| Expressing complex data aggregations with Histogrammar | Jim Pivarski | 35m |
Claims that histograms become composable aggregator monoids and that those monoids are associative and weight-homogeneous for safe parallelism. Shows concrete… | ||
| Systems programming as a swiss army knife | Julia Evans | 37m |
Demos run three mysteries — missing configuration, a slow program and a French website — and resolve them with concrete observations: estrace shows which file… | ||
| Caching at Netflix: The Hidden Microservice | Scott Mansfield | 35m |
Claims a production caching layer called EVCache holds hundreds of terabytes, serves trillions of operations per day and millions of ops per second across… | ||
| End-to-end encryption: Behind the scenes | Martin Kleppmann, Diana Vasile | 40m |
Explains how real systems combine RSA, HMAC and Diffie‑Hellman ratchets so Signal protocol and WhatsApp get forward secrecy and offline delivery using prekeys… | ||
| A Frontend Server, Front to Back | Zach Tellman | 47m |
Fitbit builds a 3k‑line async frontend server on Netty that uses a granular passport state machine to stamp and emit timings, a router and channel pool for… | ||
| Humanities x Technology | Ashley Nelson-Hornstein | 51m |
Compares concrete projects and outcomes: how the SX-70 hides mechanical complexity behind 22 controls to make photography social, how Never Alone spends two… | ||
| The Future of the Mobile Web | Paul Kinlan | 55m |
Mobile web progress is concrete: service worker gives a controllable offline lifecycle (network proxy, cached app shell, push notifications) and enables… | ||
| GraphQL: Designing a Data Language | Lee Byron | 40m |
GraphQL is a static strong-typed application data query language and runtime used at Facebook since 2012 to replace REST endpoints and deliver nearly all data… | ||
| Exotic Functional Data Structures: Hitchhiker Trees | David Greenberg | 41m |
Hitchhiker trees are an open‑source, functionally persistent fractal tree that uses path copying plus per‑node buffers on index nodes to turn many small writes… | ||
| Deep dive into Unbounded Data Processing Systems | Monal Daxini | 45m |
Compares concrete systems (Apache Samza, Spark Streaming, Apache Flink) and why Flink is chosen for Netflix’s cloud pipeline that processes over 700 billion… | ||
| Let's Build a Hygienic Macro Expander | Matthew Flatt | 40m |
Explains a concrete hygene mechanism: represent identifiers as syntax objects pairing a symbol with a scope-sets and generate a fresh scope on macro expansion… | ||
| Commander: Better Distributed Applications through CQRS and Event Sourcing | Bobby Calderwood | 43m |
Claims a concrete pattern and a working implementation: writes commands to Kafka, uses Kafka Streams for reactive processors, and Clojure in the HTTP layer… | ||
| Lies, Damn Lies, and Metrics | Andre Arko | 37m |
Averages routinely lie: dashboards that show only means obscure bimodal traffic and hide one slow server among fifteen; New Relic defaults to averages even… | ||
| Changing the engine in flight: rebuilding monitoring at scale | Jennie Lees | 34m |
Rebuilds a live monitoring stack piece by piece to replace a polling datacenter agent with a pushable metrics pipeline using Go-based microservices, an… | ||
| Building a Distributed Build System at Google Scale | Aysylu Greenberg | 44m |
Google builds a distributed system called Build Rabbit that delegates compilation to Bazel and moves from a push model to a pull model using a persistent… | ||
| Languages for 3D Industrial Knitting | Lea Albaugh | 41m |
Claim: current machine control languages are brittle and low-level. Implementation: a SIGGRAPH 2016 compiler takes declarative tubes and sheets and emits… | ||
| Poetry (almost) From Scratch - Teaching versification to a neural network | Yann Schwartz | 43m |
Poetry can take many forms but could be defined as a delicate balance between constraints and expression. Computers are pretty good at constraints, less so at… | ||
| Building Secure Cultures | Leigh Honeywell | 26m |
Covers concrete practices and results: how Slack pairs a self-service SDL with a six-question risk quiz, generates Trello+Slack checklists, and runs a bot to… | ||
| Tulip: A Language for Humans | Sig Cox, Jeanine Adkisson | 44m |
A new scripting language is implemented: a front end with ML-like syntax, a runtime with Erlang-style processes, and an LLVM JIT that already emits x86. Key… | ||
| Sketch-n-Sketch: Interactive SVG Programming with Direct Manipulation | Ravi Chugh | 40m |
Claim: Sketch-n-Sketch actually bridges code and direct manipulation for SVG by pairing a small functional language with GUI refactorings. It auto-generates… | ||
| How would a Panda program computers? | Jonas S Karlsson | 34m |
A new language that operates on streamed values replaces loops and ifs with pipelines of cheap concurrent expressions, parses instantly into typed cost-aware… | ||
| "go test -race" Under the Hood | Kavya Joshi | 44m |
The go race detector claims to find real data races by having the compiler insert calls around memory and sync operations and by delegating detection to… | ||
| Rusty Runtimes: Building Languages In Rust | Aditya Siram | 36m |
A compiler for a small garbage collected Scheme‑like language called K Lambda is implemented entirely in Rust and outputs Rust code; parsing uses nom macros… | ||
| Tezos, decentralized cryptographic governance through self-amendments | Arthur Breitman | 41m |
Tezos presents a working prototype of a self-amending protocol that folds apply and fitness into the ledger state so protocols can be hot-swapped by… | ||
| The Zen of High Performance Messaging with NATS | Waldemar Quevedo Salinas | 40m |
NATS claims raw throughput of 11M messages per second using the nats-bench microbenchmark and runs as a compact single binary 7MB Go server. It implements a… | ||
| Wikimedia Content API: A Cassandra Use-case | Eric Evans | 37m |
Wikimedia serves ~18 billion monthly page views and builds a public content API that stores full-history rendered HTML for revisions using parsoid + restbase… | ||
| Frontiers in Cryptography | Tony Arcieri | 37m |
Survey of concrete primitives and tradeoffs: demonstrations of order‑revealing encryption and searchable symmetric encryption that leak access patterns without… | ||
| Knit, Chisel, Hack: Building Programs in Guile Scheme | Andy Wingo | 41m |
Guile claims to scale from throwaway scripts to long‑lived systems by combining Scheme with POSIX and a rich workbench: a REPL with debugger, profiler… | ||
| Runtime scheduling: theory and reality | Eben Freeman | 42m |
Compares the Linux kernel CFS, Go's M/P/G runtime and Erlang's BEAM with concrete measurements: a pipe ping‑pong benchmark via perf bench sked_pipe shows ~4.5… | ||
| African Polyphony & Polyrhythm | Chris Ford | 42m |
Argues that code models Simha Arom’s Central African polyphony and polyrhythm by building executable realizations: a three-drum piece aumo reconstructed from… | ||
| How to bring open source to a closed community | Abigail Cabunoc Mayes | 38m |
Claims that modest, concrete interventions change research culture: publish code with an MIT/BSD license, put a clear README, contributing.md and code of… | ||
| Are DDoS attacks a threat to the decentralised internet? | Marek Majkowski | 41m |
Claim: L3 IP spoofing enables untraceable high-volume attacks that force centralised mitigation. CloudFlare logs include peaks of 400 Gbps and about 150… | ||
| How Rocket Science Can Help You Build Your App | Rashied Amini | 43m |
Applies NASA project discipline — requirements, trade studies, heritage checks, traceability, formal reviews — to a small web product and shows concrete… | ||
| Kittens - datatype-generic functional programming with Scala | Kailuo Wang | 36m |
Claims that Kittens makes datatype‑generic functional composition practical in Scala by building on shapeless and cats. Demonstrates concrete tools… | ||
| Unlimited Register Machines, Gödelization and Universality | Tom Hall | 39m |
Claim: a concrete universal URM via Gödelization exists and is implemented. Programs and register lists encode as numbers using a binary pair → list scheme… | ||
| Build your child their very own Node.js Frozen bot | Gabrielle Crevecoeur | 40m |
Builds a physical toy using Node.js, Node Robotics frameworks and an Arduino: an voice-activated Elsa bot that hears keywords, records a short WAV, sends it to… | ||
| Building a Distributed Task Scheduler With Akka, Kafka, and Cassandra | David van Geest | 37m |
PagerDuty builds a production Task Scheduler with Akka, Kafka, and Cassandra that ships in six weeks to production and executes millions of tasks per month… | ||
| nothing matches | ||