Iowa Type Theory Commute
Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Episodes (179)
14 Nov 2025 11:00
22 Aug 2025 10:00
19 Aug 2025 10:00
1 Aug 2025 01:00
00:07:10
5 May 2025 08:00
16 Apr 2025 09:00
27 Mar 2025 05:00
31 Jan 2025 07:00
3 Jan 2025 04:00
Disclaimer: The podcast and artwork embedded on this page are from Aaron Stump, which is the property of its owner and not affiliated with or endorsed by Podcastly.
Reviews
No reviews, be the first one who review it!
Write your review
Related Podcasts
Waveform: The MKBHD Podcast
A tech podcast for the gadget lovers and tech heads among us from the mind of Marques Brownlee, better known as MKBHD. MKBHD has made a name for himself on YouTube reviewing everything from the newest smartphones to cameras to electric cars. Pulling from over 10 years of experience covering the tech industry, MKBHD and co-hosts Andrew Manganelli and David Imel will keep you informed and entertained as they take a deep dive into the latest and greatest in tech and what deserves your hard earned cash. New episodes every week. Waveform is part of the Vox Media Podcast Network. We wanna make the podcast even better, help us learn how we can: https://bit.ly/2EcYbu4
Darknet Diaries
Explore true stories of the dark side of the Internet with host Jack Rhysider as he takes you on a journey through the chilling world of hacking, data breaches, and cyber crime.¿Hablas español? Escucha en español aquí ➔ https://darknetdiaries.com/es/
TED Radio Hour
Exploring the biggest questions of our time with the help of the world's greatest thinkers. Host Manoush Zomorodi inspires us to learn more about the world, our communities, and most importantly, ourselves.Get more brainy miscellany with TED Radio Hour+. Your subscription supports the show and unlocks a sponsor-free feed. Learn more at plus.npr.org/ted
CTOcast
Podcast by Sasha Astapenka & Pavel Paulau & Nick Frolov
MIT Technology Review Narrated
Welcome to MIT Technology Review Narrated, the home for the very best of our journalism in audio. Each week we will share one of our most ambitious stories, from print and online, narrated for us by real voice actors. Expect big themes, thought-provoking topics, and sharp analysis, all backed by our trusted reporting.
Waveform: The MKBHD Podcast
A tech podcast for the gadget lovers and tech heads among us from the mind of Marques Brownlee, better known as MKBHD. MKBHD has made a name for himself on YouTube reviewing everything from the newest smartphones to cameras to electric cars. Pulling from over 10 years of experience covering the tech industry, MKBHD and co-hosts Andrew Manganelli and David Imel will keep you informed and entertained as they take a deep dive into the latest and greatest in tech and what deserves your hard earned cash. New episodes every week. Waveform is part of the Vox Media Podcast Network. We wanna make the podcast even better, help us learn how we can: https://bit.ly/2EcYbu4
中科院格致论道讲坛
宇宙有多大？可视直径至少920亿光年细胞有多小？人类有1000亿个神经元从无限大到无限小，探索未知科学极限中科院格致论道讲坛，一起聆听未知的世界每周三、周五，下午17点准时更新参加中科院格致论道讲坛线下演讲活动，请关注官方微信报名 - Made with love by RSSHub(https://github.com/DIYgod/RSSHub)
Streamlined Solopreneur: Tips to Help Business Owners Grow Without Burnout
You started your business for freedom, not to be chained to your desk. I help small business owners grow without burning out through simple, powerful online automations. On Streamlined Solopreneur you'll get real-world strategies, smarter workflows, and practical tools to help you reclaim your time and actually enjoy the freedom you set out to create. Your host, Joe Casabona, is a seasoned technologist with over 25 years of experience. He's seen how the right systems can transform a business. But more than that, He's a teacher at heart. His goal isn’t to overwhelm you with jargon, but to make complex ideas simple and give you an actionable plan you can actually use. Because your business should support your life—not take it over. Tune in every Monday, wherever you get your podcasts.
思考盒子 ｜ 睡不着 听盒子
好听 有趣 深刻 内涵只想表达自己不想说服你我知道你只相信自己愿意相信的我个人一些非常优质可笑不太成熟甚至是完全错误的想法有病就去正经医院找正经大夫 - Made with love by RSSHub(https://github.com/DIYgod/RSSHub)
