"Type-Driven Program Synthesis" by Nadia Polikarpova

"Type-Driven Program Synthesis" by Nadia Polikarpova
Share:

Download MP3


Similar Tracks

"Program Synthesis: A Dream Realized?" by Roopsha Samanta Strange Loop Conference
"Hackett: a metaprogrammable Haskell" by Alexis King Strange Loop Conference
"Concatenative programming and stack-based languages" by Douglas Creager Strange Loop Conference
Visualising software architecture with the C4 model - Simon Brown, Agile on the Beach 2019 Agile on the Beach
"Understanding TypeScript's Structural Type System" by Drew Colthorp Strange Loop Conference
"Algorithms for DNA Data Storage" by Ruthie Nachmany Strange Loop Conference
Lecture 1: Introduction to 14.02 Principles of Macroeconomics MIT OpenCourseWare
Transformers (how LLMs work) explained visually | DL5 3Blue1Brown
"Parser Parser Combinators for Program Transformation" by Rijnard van Tonder Strange Loop Conference
"Data Driven UIs, Incrementally" by Yaron Minsky Strange Loop Conference
The mind behind Linux | Linus Torvalds | TED TED
But what is the Fourier Transform? A visual introduction. 3Blue1Brown
Build a Multimodal Live Streaming Agent with ADK Google for Developers
"Programming Distributed Systems" by Mae Milano Strange Loop Conference
"A Little Taste of Dependent Types" by David Christiansen Strange Loop Conference
Harvard Professor Explains Algorithms in 5 Levels of Difficulty | WIRED WIRED
Analyzing Programs with Z3 Compose Conference
Simulating Robots with Gazebo and ROS | Getting Ready to Build Robots with ROS #8 Articulated Robotics
"You are a Program Synthesizer" by James Koppel Strange Loop Conference
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] PapersWeLove