Strange Loop 2018

Videos

• 

  1 — "A Funny Thing Happened On The Way To Reimplementing AlphaGo" by Xuanyi Chew
• 

  2 — "For AI, By AI: Freedom & Evolution of the AlgoPoetic Avant-Garde" by Connor Walsh
• 

  3 — "Scalable Anomaly Detection (with Zero Machine Learning)" by Arthur Gonigberg
• 

  4 — "Learning from machines" by Ashi Krishnan
• 

  5 — "Generating Music From Emotion (and other experiments)" by Hannah Davis
• 

  6 — "Leverage vs. Autonomy in a Large Software System" by Jake Donham
• 

  7 — "Understanding TypeScript's Structural Type System" by Drew Colthorp
• 

  8 — "Soul from Scratch: Designing a More Portable Organ" by Peter Teichman
• 

  9 — "Rosie Pattern Language: Improving on 50-Year Old Regular Expression Technology" by Jamie Jennings
• 

  10 — "Towards Language Support for Distributed Systems" by Heather Miller
• 

  11 — "A Theory of Everything" by Johnny Ray Austin
• 

  12 — "Chasing the Stream Processing Utopia" by Kartik Paramasivam
• 

  13 — "Resurrecting a Recommendations Platform" by Leemay Nassery
• 

  14 — "From the Inside Out: Building a City Vacancy Portal" by Jonathan Leek and Laura Ginn
• 

  15 — "Identity & Trust in Monitored Spaces" by Eleanor McHugh
• 

  16 — "Mill vs. Spectre: Performance and Security" by Ivan Godard
• 

  17 — "Trusting Your Data Science Pipelines: A Quantitative Approach" by Elijah ben Izzy
• 

  18 — "Data Driven UIs, Incrementally" by Yaron Minsky
• 

  19 — "Justice For Sale" by Brittany Wald
• 

  20 — "Tree-sitter - a new parsing system for programming tools" by Max Brunsfeld
• 

  21 — "Ray: A distributed system for emerging AI applications" by Stephanie Wang and Robert Nishihara
• 

  22 — "Contracts For Getting More Programs Less Wrong" by Rob Simmons
• 

  23 — "Validating Big Data Pipelines & ML (w Spark & Beam)" by Holden Karau
• 

  24 — "Architecting for Active-Active Resiliency in the Cloud" by Steven Dang
• 

  25 — "A Practical Look at Performance Theory" by Kavya Joshi
• 

  26 — "Privacy: the Last Stand for Fair Algorithms" by Katharine Jarmul
• 

  27 — "Some things may never get fixed" by Rachel Kroll
• 

  28 — "Puzzles, Problems, and Programs" by Chris Martens
• 

  29 — "Building a Canary Testing Framework" by Iheanyi Ekechukwu
• 

  30 — ""It's Just Matrix Multiplication": Notation for Weaving" by Lea Albaugh
• 

  31 — "Git from the Ground Up" by Safia Abdalla
• 

  32 — "Of Data Dropboxes and Data Gloveboxes" by Clay Baenziger
• 

  33 — "The Glitching Hour" by Amy Wibowo
• 

  34 — "FaCT: A New Language for Constant-Time Programming" by Sunjay Cauligi
• 

  35 — "The Magical Rebalance Protocol of Apache Kafka" by Gwen Shapira
• 

  36 — "Type-Driven Program Synthesis" by Nadia Polikarpova
• 

  37 — "Algorithms for DNA Data Storage" by Ruthie Nachmany
• 

  38 — "The bots that help run Wikipedia" by Niharika Kohli
• 

  39 — "Software Performance: A Shape Not a Number" by Kay Ousterhout
• 

  40 — "Isolation without Containers" by Tyler McMullen
• 

  41 — "Freeing the software that runs our elections" by Roan Kattouw
• 

  42 — "You are a Program Synthesizer" by James Koppel
• 

  43 — "How we've made a global search engine for genetic data" by Miro Cupak
• 

  44 — "Hazel: A Live Functional Programming Environment with Typed Holes" by Cyrus Omar
• 

  45 — "Building Senior Engineers" by Dalton Mitchell
• 

  46 — "Understanding Microservices with Distributed Tracing" by Lita Cho
• 

  47 — "Mapping Imaginary Cities" by Mouse Reeve
• 

  48 — "Categories for the Working Hacker" by Philip Wadler
• 

  49 — "Browser Testing using Grammars and a Consensus Oracle" by Joel Martin
• 

  50 — "Your Secrets are Safe with Julia: A Compiler for Secure Computation" by Jason Dagit
• 

  51 — "Rebuilding Optimizing Compiler for Dart" by Vyacheslav Egorov
• 

  52 — "Design and Implementation of a Topic Detection System" by Wes Chow
• 

  53 — "Why I chose to modularize the ducks in my React App" by Lauren Lee
• 

  54 — "Reactive Programming: A Better Way To Write Frontend Applications" by Hannah Howard
• 

  55 — "Running With Scissors: Live Coding With Data" by Stuart Halloway
• 

  56 — "Flare: Optimizing Apache Spark for Scale-Up Architectures and Medium-Size Data" by Gregory Essertel
• 

  57 — "Scala DSLs and Probabilistic Programming" by Joe Wingbermuehle
• 

  58 — "Making machines that make music" by Srihari Sriraman
• 

  59 — "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
• 

  60 — "A Little Taste of Dependent Types" by David Christiansen
• 

  61 — "Democratizing AI - Back-fitting end-to-end machine learning" by Joel Young and Bo Long
• 

  62 — "Designing Augmented Reality Systems for Speed" by Diana Hu
• 

  63 — "Moving from 1 to N regions: an open retrospective" by Andrew Bloomgarden
• 

  64 — "The Search for a New Visual Search, Beyond Language" by Bryan Minor
• 

  65 — "Vellvm - Verifying the LLVM" by Steve Zdancewic