Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
…
continue reading
Computational Logic Podcasts
A podcast about logic in all its forms, going into the historical, social, mathematical and philosophical aspects of the subject.
…
continue reading
Beyond the Hype is a monthly podcast from the Scott Logic team where we cast a practical eye over what is new and exciting in software development – everything from Kafka to Kubernetes, AI to APIs, microservices to micro-frontends. We look beyond the promises, the buzz and excitement to guide you towards the genuine value. At Scott Logic, we have years of experience in tackling tough software problems for our clients, often at the bleeding edge of technology. Each month on this podcast, our ...
…
continue reading
Stewart Alsop III reviews a broad range of topics with his father Stewart Alsop II, who started his career in the personal computer industry and is still actively involved in investing in startup technology companies. Stewart Alsop III is fascinated by what his father was doing as SAIII was growing up in the Golden Age of Silicon Valley. Topics include: - How the personal computing revolution led to the internet, which led to the mobile revolution - Now we are covering the future of the inte ...
…
continue reading
Breaking Math is a deep-dive science, technology, engineering, AI, and mathematics podcast that explores the world through the lens of logic, patterns, and critical thinking. Hosted by Autumn Phaneuf, an expert in industrial engineering, operations research and applied mathematics, and Gabriel Hesch, an electrical engineer (host from 2016-2024) with a passion for mathematical clarity, the show is dedicated to uncovering the mathematical structures behind science, engineering, technology, and ...
…
continue reading
The Threat Monitor podcast is a semimonthly tip from SearchSecurity.com that focuses on current information security threats, including hack attacks, viruses, worms, Trojans, backdoors, bots, spyware and DDoS, and provides you with the tactics required to defend against them.
…
continue reading
The Long Now Foundation is a non-profit dedicated to fostering long-term thinking and responsibility. Explore hundreds of lectures and conversations from scientists, historians, artists, entrepreneurs, and more through The Long Now Foundation's award-winning Long Now Talks, started in 02003 by Long Now co-founder Stewart Brand (creator of the Whole Earth Catalog). Past speakers include Brian Eno, Neal Stephenson, Jenny Odell, Daniel Kahneman, Suzanne Simard, Jennifer Pahlka, Kim Stanley Robi ...
…
continue reading
Introducing Stage Dives, the first podcast from the media nerds who run SMACK out of Toronto Canada and hosted by Aaron Chan. We’re going to be talking about everything we’ve been listening to and watching, but first and foremost we’re going to be talking about concerts. To make the most of the stampede of live music we’re about to witness from arena tours to 19+ shows to basement gigs, we’re going to giving you our best on the road today. We’ll be breaking down setlists, talking about fanba ...
…
continue reading

1
Episode #49: The Next Internet Is Immersive Experience
57:03
57:03
Play later
Play later
Lists
Like
Liked
57:03In this episode of Stewart Squared, host Stewart Alsop talks with Vince Kadlubek, founder and Chief Vision Officer of Meow Wolf, about the evolution of immersive art, post-capitalist creativity, and the future of human imagination. They explore how Meow Wolf emerged from a decentralized art collective using recycled materials into a boundary-pushin…
…
continue reading
In this episode of Breaking Math, Dr. Noah Giansiracusa discusses his book 'Robin Hood Math', emphasizing the importance of mathematical literacy in navigating an algorithm-driven world. He explores how math can empower everyday people, the writing process behind his book, and practical applications of math in daily life, including social media alg…
…
continue reading
In this episode, I discuss an intriguing idea proposed by Victor Taelin, to base a logically sound type theory on an untyped but terminating language, upon which one may then erect as exotic a type system as one wishes. By enforcing termination already for the untyped language, we no longer have to make the type system do the heavy work of enforcin…
…
continue reading

1
Episode #48: The Slow Death of Social Media (And What Comes Next)
35:04
35:04
Play later
Play later
Lists
Like
Liked
35:04Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, the conversation orbits around the mechanics and ethics of digital walled gardens, from YouTube’s curated algorithms to Meta’s domination of social platforms like Threads and Instagram. The Stewarts reflect on relevance in tech, the decline of platforms like Quora, the…
…
continue reading
In this conversation, Dr. Christoph Bartneck discusses the intersection of swimming and computer science, exploring how mathematical patterns can enhance swim training. He introduces the concept of a formal swim markup language to improve data exchange and training efficiency. The discussion also delves into the visualization of swimming techniques…
…
continue reading

1
Episode #47: The Cost of Knowing Everything
46:05
46:05
Play later
Play later
Lists
Like
Liked
46:05Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, they navigate a sprawling conversation that begins with the unruly complexity of the modern browser and spirals into deeper territory—from Google’s jealous leap into the browser wars with Chrome, to the philosophical implications of Neuralink and the idea of owning one…
…
continue reading
In this episode of Breaking Math, Autumn explores the complex world of AI ethics, focusing on its implications in education, the accuracy of AI systems, the biases inherent in algorithms, and the challenges of data privacy. The discussion emphasizes the importance of ethical considerations in mathematics and computer science, advocating for transpa…
…
continue reading

1
Episode #46: Bubble Logic: Why AGI and Drones Feel Inevitable
50:11
50:11
Play later
Play later
Lists
Like
Liked
50:11Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, they explore the OpenAI–Microsoft partnership through the lens of historic “stupid agreements” in tech, starting with Software Arts and VisiCorp’s flawed VisiCalc deal. The conversation traces the evolution of tech bubbles from the early software industry to today’s AI…
…
continue reading

1
Episode #45: Natural Language as the New Operating System
46:54
46:54
Play later
Play later
Lists
Like
Liked
46:54Welcome to Stewart Squared podcast with the two Stewart Alsops, where they explore the evolution of software from 1.0’s “magical incantations” to 3.0’s natural language interfaces, discuss operating systems and their hardware roots, and unpack the significance of vertical integration exemplified by Apple’s silicon and software unification. This epi…
…
continue reading

1
Will Low-Code and No-Code be disrupted or powered up by AI?
42:26
42:26
Play later
Play later
Lists
Like
Liked
42:26In this episode of Beyond the Hype, Oliver Cronk is joined by Ani Allen from OutSystems and Ryan Grey from Marra to discuss the evolving landscape of Low-Code, No-Code, and AI-assisted development. With backgrounds spanning neuroscience, enterprise software, and consultancy, the guests bring a rich mix of perspectives to a conversation that cuts th…
…
continue reading
In this episode, we explore the intricate mathematics behind Sp0tify's (ok... and other's) shuffle feature, revealing how it is designed to feel random while actually being carefully curated. We discuss the psychological implications of randomness, the Fisher-Yates shuffle algorithm, and how engineers have created a system that respects human perce…
…
continue reading

1
Episode #44: Consultants Preach, AI Learns, and CEOs Fall Behind
53:15
53:15
Play later
Play later
Lists
Like
Liked
53:15Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, they explore why consultants often fail in the tech world, how leadership skills are (or aren’t) taught in business schools, and the historical tension between technical and non-technical CEOs. They trace the evolution of Silicon Valley’s culture, from the idealistic h…
…
continue reading

1
Algorithms & AI Simplified - The Not So Mathy Version
9:19
9:19
Play later
Play later
Lists
Like
Liked
9:19This conversation explores the intricate relationship between mathematics and artificial intelligence (AI) for people who don't want to get too math heavy and want things simplified as much as possible. It delves into how algorithms, machine learning, and various mathematical tools like linear algebra, calculus, and statistics form the backbone of …
…
continue reading

1
Episode #43: Meme Coins and Moon Mines: Surveillance in the Age of Trump and Musk
53:28
53:28
Play later
Play later
Lists
Like
Liked
53:28Welcome to Stewart Squared podcast with the two Stewart Alsops. In this wide-ranging conversation, the Stewarts kick off with a personal dive into the early days of Internet telephony via Netscape and InSoft, but quickly spiral into the present, grappling with the geopolitical consequences of space-based surveillance, the moral bankruptcy of Trump’…
…
continue reading
This conversation delves into the intersection of quantum computing and cryptography, focusing on the implications of quantum computers for current encryption methods and the necessity for post-quantum cryptography. Dr. Dustin Moody from NIST discusses the threats posed by quantum computing, particularly through Shor's algorithm, and the ongoing ef…
…
continue reading

1
Episode #42: The Myth of Openness in a Dualistic Valley
50:23
50:23
Play later
Play later
Lists
Like
Liked
50:23Welcome to Stewart Squared podcast with the two Stewart Alsops. This episode navigates the arc of the Internet’s transformation from the promise of an open network to the reign of closed platforms, tracing roots from AOL to mobile Facebook. The Stewarts debate algorithmic influence on user agency, reflect on early computing culture through anecdote…
…
continue reading

1
We Live in a Radioactive World: What is Dosimetry?
32:10
32:10
Play later
Play later
Lists
Like
Liked
32:10In this episode, Autumn interviews Dr. Ileana Pazos, an expert in dosimetry, discussing the critical role of radiation measurement in various industries, including healthcare and food safety. They explore the science behind dosimetry, the applications of radiation, the challenges faced in accurate measurements, and the misconceptions surrounding fo…
…
continue reading

1
Kim Carson: Inspired by Intelligence: Purpose and Creativity in the AI Era
48:03
48:03
Play later
Play later
Lists
Like
Liked
48:03What if AI is not here actually to replace us, but to remind us who we actually are?That was the question at the heart of Kim Carson’s Long Now Talk. In “Inspired by Intelligence: Purpose and Creativity in the AI Era,” Carson, a creative technologist and futurist, challenged us to avoid the easy narratives of tech-driven utopia and dystopia, charti…
…
continue reading

1
Episode #41: Homebrew Aftershocks: Echoes from the Pre-Platform Era
50:25
50:25
Play later
Play later
Lists
Like
Liked
50:25Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, father and son trace the tectonic shifts that shaped Silicon Valley—from the amateur hardware tinkerers at the Homebrew Computer Club to the institutional rise of venture capital and its entanglement with military-industrial imperatives. They explore how Boston, Texas,…
…
continue reading

1
Event-Driven Architecture: The only data integration approach you need?
45:34
45:34
Play later
Play later
Lists
Like
Liked
45:34In this episode, Oliver Cronk dives into the world of Event-Driven Architecture (EDA) with Tom Fairbairn from Solace and Scott Logic’s Gordon Campbell. The discussion explores whether EDA has matured beyond the hype into a practical strategy for modern systems integration, or if it’s just another architectural buzzword. Together, they unpack the co…
…
continue reading
In this conversation, Dr. Elizabeth Strychalski discusses the fascinating field of synthetic biology, particularly focusing on synthetic cells. She shares her journey into this research area, the challenges of defining life, and the ethical considerations surrounding synthetic biology. The conversation also explores the potential applications of sy…
…
continue reading

1
Episode #40: Probabilistic Machines: Living with the Illusion of Control
1:01:40
1:01:40
Play later
Play later
Lists
Like
Liked
1:01:40Welcome to Stewart Squared podcast with the two Stewart Alsops, where this episode takes you on a ride through vibe coding experiments, AI-powered doom loops, and the fading utility of language learning apps like Duolingo in a world of real-time translation glasses. Stewart Alsop shares how he replaced Descript with Claude-generated code, while Ste…
…
continue reading

1
Fire Science: What are Photoacoustic Measurements?
49:49
49:49
Play later
Play later
Lists
Like
Liked
49:49In this episode of Breaking Math, hosts Autumn and Gabriel explore the innovative intersections of fire science and technology with experts Amy Mensch and Ryan Falkenstein-Smith who work at NIST. They discuss the groundbreaking photoacoustic technique for measuring soot deposition, its applications in fire safety and forensic investigations, and th…
…
continue reading

1
Episode #39: Trust Issues: From Meme Coins to Mainframes
57:37
57:37
Play later
Play later
Lists
Like
Liked
57:37Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, we talk about what happened to trust—why it’s gone, where it went, and whether it can be rebuilt. We go from the 1990s paranoia about driver’s licenses to today’s AI-powered pendants that record everything, from the erosion of open internet ideals to the rise of app st…
…
continue reading

1
Sara Imari Walker: An Informational Theory of Life
1:10:54
1:10:54
Play later
Play later
Lists
Like
Liked
1:10:54“What is life?”In her Long Now Talk, astrobiologist and theoretical physicist Sara Imari Walker explores the many dimensions of that seemingly simple question. Starting from the simplest precursors, Walker assembled a grand cathedral of meaning, tracing an arc across existence that linked the fundamentals of organic chemistry, the possibility space…
…
continue reading
I return, alone, to talk about the notorious Collatz conjecture, and a pretty cool observation made by mathematician and all-around interesting person John Conway in 1972. An interesting little intersection of logic, computer science and number theory.
…
continue reading

1
Episode #38: From IBM to AI: How Business Lost Its Mind and Found the Algorithm
41:52
41:52
Play later
Play later
Lists
Like
Liked
41:52Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, they track the transformation of business from the IBM-dominated 1980s to today's AI-driven landscape, exploring how personal computing, the rise of the internet, and eventually search and social media changed the way companies operate. The conversation moves from earl…
…
continue reading

1
Ezra Klein, Michael Pollan, Derek Thompson: Abundance
59:28
59:28
Play later
Play later
Lists
Like
Liked
59:28Presented in partnership with Manny's and City Arts & LecturesAs they look upon the United States of America in 02025, Ezra Klein and Derek Thompson see a country wrought by a half-century of failed governance. They see states and cities theoretically committed to progressive futures instead bogged down in labyrinthine mires of process and delibera…
…
continue reading

1
Episode #37: Elegance vs. Exquisite: Rethinking Systems Old and New
59:20
59:20
Play later
Play later
Lists
Like
Liked
59:20I, Stewart Alsop, was absolutely thrilled to have my dad, Stewart Alsop II, and our very special guest, Gilman Louie, on this episode of Crazy Wisdom. We journeyed through Gilman's incredible career, from pioneering video games in the 80s with severe hardware limitations and the whirlwind of the Pokemon card craze, to his instrumental work founding…
…
continue reading