36:21 "Probabilistic scripts for automating common-sense tasks" by Alexander Lew Strange Loop Conference
42:38 "Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann Strange Loop Conference
41:02 "Parser Parser Combinators for Program Transformation" by Rijnard van Tonder Strange Loop Conference
48:10 "New programming constructs for probabilistic AI" by Marco Cusumano-Towner Strange Loop Conference
38:22 "Meander: Declarative Explorations at the Limits of FP" by Jimmy Miller Strange Loop Conference
36:35 "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann Strange Loop Conference
37:48 "Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri Strange Loop Conference
40:38 "Pattern Matching @ Scale Using Finite State Machine" by Ajit Koti and Rashmi Shamprasad Strange Loop Conference
34:34 "Temporal Databases for Streaming Architectures" by Jeremy Taylor and Jon Pither Strange Loop Conference
45:48 "Building a Unified Cancer Immunotherapy Data Library" by Lacey Kitch and Ben Kamphaus Strange Loop Conference
49:18 "Ruby on the Apple II: Adventures in Retro Programming" by Colin Fulton Strange Loop Conference
30:18 "Formal Specification and Taming Other People's Tech" by Marianne Bellotti Strange Loop Conference
42:02 "Makings of a Modern ACID Compliant Distributed Database" by Attila Szegedi Strange Loop Conference
37:23 "Empowering people to build a digital bank" by Eric Yoshimura and Riad Vargas Strange Loop Conference
44:40 "How to Fix AI: Solutions to ML Bias (And Why They Don't Matter)" by Joyce Xu Strange Loop Conference
39:32 "Better Spotify Playlists through Discrete Optimization" by Cedric Hurst Strange Loop Conference
41:32 "Explainable AI: the apex of human and machine learning" by Baxter Eaves Strange Loop Conference
33:54 "Recreating forgotten programming languages, for art!" by Sher Minn Chong Strange Loop Conference
32:16 "Watch the Watcher: Facial-Recognition& Police Oversight" by Eileen McFarland Strange Loop Conference
38:56 "Everything You Wanted to Know About Distributed Tracing" by Hungai Kevin Amuhinda Strange Loop Conference
41:05 "InferenceQL: AI for data engineers, without the math" by Ulrich Schaechtle Strange Loop Conference
29:49 "Computer Vision and NLP for Multi-Task Fashion Modeling" by Michael Sugimura Strange Loop Conference
39:56 "Safety in Chaos: Forming Realistic Failure Hypotheses" by Subbu Allamaraju Strange Loop Conference
40:08 "The strange loop making parasitic insects our friends" by Mary Marek-Spartz Strange Loop Conference
30:29 "Realtime Hybrid Reinforcement Learning at Scale" by Kexin Xie and Yuxi Zhang Strange Loop Conference
34:25 "How not to read the room: Creating wearables with ML" by Stephanie Nemeth Strange Loop Conference
39:21 "The Idea Becomes a Machine That Makes the Art That..." by Christine Stavridis and Jonathan King Strange Loop Conference
39:24 "Digital and Social Resilience through the NYC Mesh" by Michael Donatz and Jillian Murphy Strange Loop Conference
26:53 "Enhancing Angklung Music Rehearsals with Modern Tech" by Trapsilo Bumi Strange Loop Conference
46:26 "How to build with data trust and privacy as a baseline" by Noble Ackerson Strange Loop Conference
30:20 "From Video Games to Fashion: a Machine Learning Journey" by Africa Perianez Strange Loop Conference
