Iowa Type Theory Commute
Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Podcasts Similar to Iowa Type Theory Commute
International Conference on Functional Programming 2017 (91.82%)
Oxford University
Programming (90.05%)
Minko Gechev
Segfault with Soham Sankaran (89.61%)
Honesty Is Best
Thoughts on Functional Programming Podcast by Eric Normand (89.5%)
Eric Normand
Tutorials – Codrops (89.4%)
None
Machine-Centric Science (88.79%)
Donny Winston
Henry Rzepa, talks and Presentations (88.26%)
Henry Rzepa
Codexpanse Podcast (88.22%)
Rakhim Davletkaliyev
Hamilton Institute Seminars (HD / large) (87.98%)
Hamilton Institute
Hey there! · Brian Hicks (87.87%)
None
Cloud Four (87.85%)
None
Yannic Kilcher Videos (Audio Only) (87.74%)
Yannic Kilcher
Synthetic A Priori (87.73%)
Ryan Singer
Hamilton Institute Seminars (iPod / small) (87.68%)
Hamilton Institute
Elixir Outlaws (87.19%)
Elixir Outlaws
Data Skeptic (87.14%)
Kyle Polich
Experiment Exchange (87.11%)
SigOpt
LessWrong Curated Podcast (86.81%)
LessWrong
MCMP – Logic (86.76%)
MCMP Team
Modellansatz - English episodes only (86.54%)
Gudrun Thäter, Sebastian Ritterbusch
Practical AI: Machine Learning, Data Science (86.52%)
Changelog Media
Materials and Megabytes (86.32%)
Stanford Materials Computation and Theory Group, Qian Yang's lab at the University of Connecticut
The Analytical Wavelength (86.1%)
ACD/Labs
Geek Author (85.89%)
Intermation
Math podcast (85.75%)
Daniel Mercado
insideQuantum (85.67%)
insideQuantum
Level 2 Mathematics (85.67%)
The University of Nottingham
MCMP – Mathematical Philosophy (Archive 2011/12) (85.59%)
MCMP Team
The New Quantum Era (85.33%)
Sebastian Hassinger & Kevin Rowney
PHP Internals News (85.32%)
Derick Rethans
Develpreneur: Become a Better Developer and Entrepreneur (85.25%)
Rob Broadhead
The Thought Experiment (85.19%)
None
Underrated ML (85.06%)
Sara Hooker & Sean Hooker
Stanford MLSys Seminar (85.02%)
Dan Fu, Karan Goel, Fiodar Kazhamakia, Piero Molino, Matei Zaharia, Chris Ré
100 Days (84.98%)
John Aspinall
Papers Read on AI (84.95%)
Rob
Earth Observation (84.9%)
mapscaping.com
Talking Papers Podcast (84.87%)
Itzik Ben-Shabat
Experience Controls (84.86%)
Quanser Inc.
Precalc Problems Explained (84.86%)
Chris Thiel
MCMP – Philosophy of Mathematics (84.85%)
MCMP Team
Boxercast for CS205 (84.84%)
Michael Geraci
NLP Highlights (84.68%)
Allen Institute for Artificial Intelligence
Fatal Error (84.66%)
Soroush Khanlou & Chris Dzombak
The Search Space (84.62%)
Felix Holmgren
LSRI Speaker Series - Audio (84.61%)
Learning Sciences Research Institute
Flush to Data (84.6%)
Kris Villez and Jörg Rieckermann
The Lindahl Letter (84.59%)
Dr. Nels Lindahl
Posts - nicholas carah (84.59%)
Nicholas Carah
Soft Matter Materials - Mathematical Design Innovations (84.5%)
Cambridge University
Mathorama (84.4%)
Chris Thiel
The Nonlinear Library: Alignment Forum Weekly (84.37%)
The Nonlinear Fund
AI Alignment Fundamentals (84.35%)
Lukas
Ataska’s Podcast (84.35%)
Ataska Smith
Strumenta (84.33%)
None
Software over Coffee (84.28%)
Michael Kofman
The Haskell Interlude (84.26%)
Haskell Podcast
Würth Elektronik Watts Up Podcast (84.19%)
WE Team
Linear Digressions (84.19%)
Ben Jaffe and Katie Malone
Ruby Book Club Podcast (84.16%)
Nadia Odunayo & Saron Yitbarek
Educatorz (83.97%)
Bhuvan Bagwe
Oddly Influenced (83.84%)
Brian Marick
Designing Interactive Systems I '18 (83.66%)
Prof. Jan Borchers
The Nonlinear Library: LessWrong (83.65%)
The Nonlinear Fund
The Nonlinear Library: Alignment Forum (83.65%)
The Nonlinear Fund
Functional Design in Clojure (83.64%)
Christoph Neumann and Nate Jones
Weekly Dev Tips (83.63%)
Steve Smith (@ardalis)
Numenta On Intelligence (83.62%)
Numenta
CIS3390-01 Networking I Fall 2011 (83.61%)
Dr Daniel W McKee
CSS-Tricks (83.58%)
None
Hydrogen detector (83.53%)
None
Data Science Conversations (83.44%)
Damien Deighan and Philipp Diesinger
Alignment Newsletter Podcast (83.43%)
Rohin Shah et al.
Big proof (83.37%)
Cambridge University
Mathematical Design for Solid Complex Materials (83.37%)
Cambridge University
My Favorite Theorem (83.35%)
Kevin Knudson & Evelyn Lamb
Machine Learning Street Talk (MLST) (83.33%)
Machine Learning Street Talk
The Nonlinear Library (83.24%)
The Nonlinear Fund
Publications on self-organizing networked systems (83.23%)
Lakeside Labs
Kutad Gubilik's Listen Later (83.2%)
Kutad Gubilik / Listen Notes
Kimberly Gonzalez (83.2%)
Kimberly Gonzalez
Stephen's Web ~ OLDaily (83.18%)
None
Geospatial Concepts (83.17%)
mapscaping.com
Vanishing Gradients (83.12%)
Hugo Bowne-Anderson
e.emilyyy pomona highschool math 2 (83.08%)
Emily Rodriguez-Magana
Fourier series - for iBooks (83.06%)
The Open University
Data Science at Home (83.03%)
Francesco Gadaleta
The Technology Sounding Board (83.01%)
Michael R. Gilbert
MCMP – Metaphysics and Philosophy of Language (82.94%)
MCMP Team
Planet GNU (82.93%)
None
Fire Science Show (82.89%)
Wojciech Wegrzynski
PyTorch Developer Podcast (82.89%)
Edward Yang, Team PyTorch
The Stephen Wolfram Podcast (82.85%)
Wolfram Research
TMP - The TM Podcast (82.84%)
Team TM Podcast
SAP TM Podcast (82.84%)
Team TM Podcast
Definitions, proofs and examples (82.83%)
Dr Joel Feinstein
Magic Particles news (82.79%)
Astralax studio
Compositional (82.67%)
Tweag I/O