Best Computational Logic Podcasts (2025)

1
Vaire Computing Bets on Reversible Logic for 'Near Zero Energy' AI Data Centers 31:00

15d ago31:00

31:00

The AI revolution is charging ahead—but powering it shouldn't cost us the planet. That tension lies at the heart of Vaire Computing’s bold proposition: rethinking the very logic that underpins silicon to make chips radically more energy efficient. Speaking on the Data Center Frontier Show podcast, Vaire CEO Rodolfo Rossini laid out a compelling cas…

1
From Concept to Reality: The Future of Hydrogen Fuel Cells in Data Centers 21:36

8h ago21:36

21:36

As the data center industry continues to expand, two powerful forces are reshaping the search for next-generation power solutions. First, the rapid expansion of AI, IoT, and digital transformation is significantly increasing global power demand, placing increased pressure on traditional grid systems to meet the energy needs. The International Energ…

1
Episode #34: From Magellan to the Machine: Bill Gross on the Search for Meaning 1:01:49

6d ago1:01:49

1:01:49

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this wide-ranging conversation, they’re joined by legendary entrepreneur and Idealab founder Bill Gross to trace the arcs of personal computing, the early Internet, and today's AI boom. The episode explores Bill’s early work with products like Lotus Magellan and GoTo.com, reflects o…

1
Beyond the Wires — Packet Power & the Future of Data Center Monitoring 39:42

7d ago39:42

39:42

In this episode of the Data Center Frontier Show podcast, we explore how Packet Power is transforming data center monitoring. As the demand for energy efficiency and operational transparency grows, organizations need solutions that provide real-time insights without adding complexity. Packet Power’s wireless, scalable, and secure technology offers …

1
#91: The Episode That is Not on Heidegger or His Letter on Humanism (but sort of is). 1:19:42

11d ago1:19:42

1:19:42

In this episode Barry and Mike talk about Heidegger and what comes after philosophy and how that helps us to think about the role of the contemporary university.By Michael Repici

1
Episode #33: From Mainframes to Minds: Rethinking the Architecture of Intelligence 1:02:24

12d ago1:02:24

1:02:24

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, the conversation starts with a personal quest into vector databases and linked data, but opens into a sweeping narrative of how the Internet—built on protocols like TCP/IP and scaffolding like URIs—evolved from Cold War military infrastructure into the backbone of our …

1
A Measure-Based Proof of Finite Developments 23:24

13d ago23:24

23:24

I discuss the paper "A Direct Proof of the Finite Developments Theorem", by Roel de Vrijer. See also the write-up at my blog.By Aaron Stump

1
Should fully autonomous AI agents be developed? 40:23

14d ago40:23

40:23

In this episode, Oliver Cronk is joined by colleagues David Rees, Hélène Sauvé, Ivan Mladjenovic and Emma Pearce. Together, they delve into the practical applications and limitations of agentic AI and its implications for enterprise AI deployments. The team shares insights from the ‘Infer’ research and development projects, through which Scott Logi…

1
Episode #32: Startups, Deadlines, and Drift: The Venture Logic Behind Modern Newsrooms 52:31

20d ago52:31

52:31

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, the conversation weaves through the evolution of media, venture capital’s long shadow over technology, and how editorial instincts have (or haven’t) adapted to the pace of software. Stewart Alsop II brings firsthand insight into the early days of digital publishing and…

1
#90: Heidegger - The Question Concerning Technology 45:02

26d ago45:02

45:02

In this episode Barry and Mike take a different approach to Heidegger's The Question Concerning Technology. Rather than a traditional "what does all this mean" approach grounded in historical context, they look at the essay with a specific eye towards understanding what Heidegger can teach us about our current digital media culture and the essay's …

1
Episode #31: Satya’s Quiet Coup: How Microsoft Got Its Groove Back 51:12

27d ago51:12

51:12

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, they unpack the rise of Satya Nadella and how his leadership reshaped Microsoft’s culture, capital strategy, and role in the AI boom. The conversation traces the company’s shift from a Windows-obsessed, top-down org to a more open, developer-friendly platform player—ho…

1
Key Data Center Infrastructure Imperatives for Harnessing AI with Vertiv’s Tony DeSpirito 20:48

27d ago20:48

20:48

In this episode of the Data Center Frontier Show podcast, Matt Vincent, Editor-in-Chief of Data Center Frontier, talks to Tony DeSpirito, vice president of enterprise sales at Vertiv, about AI densification and how data centers can prepare for ever-growing rack power demands. They also explore cooling and physical infrastructure conundrums, and Ver…

1
Nomads at the Frontier: AI, Infrastructure, and Data Center Workforce Evolution at DCD New York 20:36

28d ago20:36

20:36

The 25th anniversary of the latest Data Center Dynamics event in New York City last month (DCD Connect NY 2025) brought record-breaking attendance, underscoring the accelerating pace of change in the digital infrastructure sector. At the heart of the discussions were evolving AI workloads, power and cooling challenges, and the crucial role of workf…

1
Introduction to the Finite Developments Theorem 15:54

1M ago15:54

15:54

The finite developments theorem in pure lambda calculus says that if you select as set of redexes in a lambda term and reduce only those and their residuals (redexes that can be traced back as existing in the original set), then this process will always terminate. In this episode, I discuss the theorem and why I got interested in it.…

1
Episode #30: From InfoWorld to x.com: The Patterns That Repeat 53:15

1M ago53:15

53:15

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, the conversation winds through a rich mix of personal history, editorial philosophy, and the evolution of tech—from getting fired (twice) to putting Steve Jobs on the cover of Inc. in 1981, from the impact of VisiCalc on Apple II adoption to the deeper meaning of what …

1
iMasons CEO Santiago Suinaga on the Future of Sustainable AI Data Centers 24:47

1M ago24:47

24:47

For this episode of the DCF Show podcast, host Matt Vincent, Editor in Chief of Data Center Frontier, is joined by Santiago Suinaga, CEO of Infrastructure Masons (iMasons), to explore the urgent challenges of scaling data center construction while maintaining sustainability commitments, among other pertinent industry topics. The AI Race and Respons…

1
#89: Harold Innis - Minerva’s Owl 58:23

1M ago58:23

58:23

This episode focuses on Harold Innis’ 1947 presidential address to the Royal Society of Canada, “Minerva’s Owl” and his appendix to the address. Barry and Mike discuss how Innis charts the relationships among power, knowledge, and technologies and their relations to the durability of imperial systems.…

1
Episode #29: Bridging the Physical and Digital: Investing in the Next Big Shift 1:00:37

1M ago1:00:37

1:00:37

Welcome to Stewart Squared podcast with the two Stewart Alsops, featuring special guest Jim Ward. In this episode, Jim shares insights on the "third convergence" and the "reality disturbance," exploring how emerging technologies like AI, XR, and immersive media are reshaping our world. He and Stewart Alsop II discuss the evolution of personal compu…

1
DCF Podcast: Scalable, Secure, and Smart: The Data Center Evolution 22:42

1M ago22:42

22:42

In this episode of the Data Center Frontier Show podcast, Matt Vincent, Editor-in-Chief of Data Center Frontier, talks to Craig Compiano, CEO of Modius, about how data centers are evolving to meet modern demands, specifically in terms of scalability, security and intelligence. They also discuss Modius’s commitment to enabling the next generation of…

1
Episode #28: How to do world building? 57:26

2M ago57:26

57:26

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, they explore the evolution of technology from the rise of the PC, internet, and mobile phone to the current state of AI, cutting through the hype with firsthand insights from decades of industry experience. They discuss concepts like "reality disturbance," introduced b…

1
Is architecture for AI even necessary? 46:58

2M ago46:58

46:58

In this episode, Oliver Cronk is joined by colleagues Jess McEvoy and James Heward, and Atom Bank's Head of AI and Data Science, Russell Collingham, to tackle the provocative question: "Is architecture for AI even necessary?" They explore the transformative impact of generative AI and the critical role of architecture in ensuring sustainable and sc…

1
On the Frontier of Modular Edge AI Data Centers with Andrew Lindsey, CEO, Flexnode 26:14

2M ago26:14

26:14

The modular data center industry is undergoing a seismic shift in the age of AI, and few are as deeply embedded in this transformation as Andrew Lindsey, Co-Founder and CEO of Flexnode. In a recent episode of the Data Center Frontier Show podcast, Lindsey joined DCF Editor-in-Chief Matt Vincent and Senior Editor David Chernicoff to discuss the evol…

1
#88: Revisiting Deleuze's "Postscript on the Society of Control" 50:42

2M ago50:42

50:42

In this episode Barry and Mike revisit Gilles Deleuze’s essay “Postscript on the Society of Control.” They attempt to reframe the central arguments of the essay in terms of our current digital culture.By Michael Repici

1
Episode #27: From Napster to OpenAI: The Relentless Disruption of Everything 40:11

2M ago40:11

40:11

Welcome to the Stewart Squared podcast with the two Stewart Alsops. In this episode, we explore the concept of "convergences" in technology, focusing on the rise of personal computing, the internet, and smartphones. We revisit Nicholas Negroponte’s insights on digital publishing, the second convergence's shift to networked computing, and the emergi…

1
Episode #26: Steve Case on the Internet’s Wild Ride and What’s Next 57:24

2M ago57:24

57:24

Welcome to Stewart Squared podcast with the two Stewart Alsops. Today’s guest is Steve Case, former CEO of AOL and the founder of Revolution. In this episode, we cover his journey from early internet days to building AOL, the role of venture capital beyond traditional tech hubs, and how policy shapes innovation. Steve also shares insights on the ev…

1
Inside the Nuclear Race for Data Center Energy with Aalo Atomics CEO Matt Loszak 24:29

2M ago24:29

24:29

The latest episode of the DCF Show podcast addresses one of the most critical challenges facing the data center industry: the search for sustainable, high-density power solutions. As hyperscale operators like Google and Meta face growing energy demands and resistance from utilities unable or unwilling to support their expansion, the conversation ar…

1
#87: Alan Turing - Computer Machinery and Intelligence 1:07:24

2M ago1:07:24

1:07:24

In this episode Barry and Mike discuss Alan Turing’s 1950 essay, “Computer Machinery and Intelligence” and discuss whether or not Turing’s concept of machine intelligence is a contradiction in terms.By Michael Repici

1
Meeting Energy Demand for Data Centers with Distributed Energy Resources and Small Modular Reactors 29:07

2M ago29:07

29:07

The exponential growth of data center energy demand, particularly driven by advancements in Artificial Intelligence (AI), has emerged as one of the most pressing challenges for energy infrastructure globally. However, existing grid infrastructure is increasingly constrained, particularly in regions with concentrated data center activity. Transmissi…

1
Innovating the Future: Next-Generation Data Centers 28:38

2M ago28:38

28:38

As high-performance computing (HPC), cloud computing, blockchain, and artificial intelligence (AI) continue to expand globally, the demand for more capable data centers has surged. These next-generation data centers must manage workloads far beyond traditional capacities while addressing challenges such as finding skilled professionals and ensuring…

1
Episode #25: The Third Convergence: When Reality and Digital Collide 53:41

3M ago53:41

53:41

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, we explore the concept of the Third Convergence, a period from 2025 to 2045 where the digital and physical worlds become indistinguishable, creating what Stewart Alsop Jr. calls the "reality disturbance field". Building on the First Convergence (the rise of personal co…

1
Phill Lawson-Shanks, Chief Innovation Officer, Aligned Data Centers Talks AI, Hyperscalers, Sustainability, SMR Nuclear, LATAM 32:28

3M ago32:28

32:28

In the latest episode of the Data Center Frontier Show podcast, DCF Editor-in-Chief Matt Vincent sits down with Phill Lawson-Shanks, Chief Innovation Officer at Aligned Data Centers, for a wide-ranging discussion that touches on some of the most pressing trends and challenges shaping the future of the data center industry. From the role of nuclear …

1
Are enterprise browsers just about security? 44:48

3M ago44:48

44:48

In this episode of Beyond the Hype, Oliver Cronk is joined by Bradon Rogers from Island, along with Scott Logic colleagues Dean Kerr and Robat Williams, to explore the potential of enterprise browsers. They delve into the advantages of enterprise browsers over standard options like Chrome and Edge, particularly in terms of security and productivity…

1
#86: Freddie deBoer - The Indoor Plumbing Test 49:20

3M ago49:20

49:20

In this episode Barry and Mike discuss “The Indoor Plumbing Test” by cultural critic Freddie deBoer and ponder the question: Is AI only hype?By Michael Repici

1
Episode #24: From Ethernet to AGI: Tracing the Threads of Connection 1:02:16

3M ago1:02:16

1:02:16

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, we explore the evolution of networking—from the early days of isolated personal computers to the transformative rise of local and wide area networks, and the eventual dominance of the internet. The discussion covers key milestones like Bob Metcalf’s invention of Ethern…

1
Vantage Data Centers Leaders Reflect On Ohio Campus Plans, North American Industry Surge 22:26

3M ago22:26

22:26

Recorded last December, for this episode of the Data Center Frontier Show Podcast, DCF Editor in Chief Matt Vincent spoke with Vantage Data Centers' North American President Dana Adams, and Katilin Monaghan, Vantage Data Centers' North American Public Policy Director. As president of Vantage Data Centers’ North America business, Dana Adams oversees…

1
Nominal Isabelle/HOL 16:18

3M ago16:18

16:18

In this episode, I discuss the paper Nominal Techniques in Isabelle/HOL, by Christian Urban. This paper shows how to reason with terms modulo alpha-equivalence, using ideas from nominal logic. The basic idea is that instead of renamings, one works with permutations of names.By Aaron Stump

1
Episode #23: Big Tech, Big Government, and the Coming War Over Power 53:44

3M ago53:44

53:44

Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, we break from our usual focus on technology and innovation to discuss the shifting political landscape, the role of populism, and whether America is undergoing a fundamental realignment. We explore Trump’s influence, the rise of figures like Javier Milei and RFK Jr., a…

1
Technology Strategies: Essential roadmaps or just hype? 38:42

3M ago38:42

38:42

In this episode, Oliver Cronk is joined by Technology Lead Andrew Carr and CTO Colin Eberhardt to delve into the evolving nature of technology strategy within organisations. As technological advancements accelerate, they question the relevance of a traditional long-term technology strategy and whether it has become an industry buzzword in itself. T…

1
#85: Derek Thompson - The Anti-Social Century 1:01:53

3M ago1:01:53

1:01:53

In this episode Barry and Mike discuss Derek Thompson’s Atlantic essay, “The Anti-Social Century.” They discuss how the evolution of media technologies over the last 50 years, culminating in the development of AI have produced our current state of technologically enhanced solitude. The Anti-Social Century I'm In Love With Chat GPT…

1
Nomads at the Frontier - Data Center Industry Views from PTC'25 in Honolulu 15:19

3M ago15:19

15:19

For this episode of the recurring Data Center Frontier/Nomad Futurist field report podcast series -- aka "Nomads at the Frontier" -- DCF Editor In Chief Matt Vincent checked in for a fun yet informative discussion with Nomad Futurist Foundation Co-Founders Phillip Koblence and Nabeel Mahmood from the grounds of PTC'25, the annual telecom and data c…

1
Episode #22: Seeing the World Differently: Psychedelics, Media, and Modern Humanism 49:59

3M ago49:59

49:59

Welcome to the Stewart Squared podcast with the two Stewart Alsops! Today’s conversation intertwines the evolution of technology—from the rise of the PC and the internet to AI and space exploration—with the transformative power of psychedelics and their impact on media and creativity. From personal experiences with LSD to the cultural resonance of …

1
Data Center Industry Discussion with Ron Vokoun, Everus Construction Group 26:49

3M ago26:49

26:49

For this episode of the Data Center Frontier Show Podcast, DCF Editor in Chief Matt Vincent and Senior Editor David Chernicoff sat down for a far-reaching discussion with data center industry luminary Ron Vokoun, a 35-year veteran of the construction industry with a primary focus on digital infrastructure. "I got into telecom back in ’92, which led…

1
Episode #21: History on Repeat: Lessons from Electricity to AI 40:46

3M ago40:46

40:46

Welcome to Stewart Squared podcast with the two Stewart Alsops! Today, we’re cruising along the Pacific Coast Highway with the ocean on one side and mountains on the other, diving into transformative moments in technology and society. From the electrification of homes in the late 19th century to the rise of AI and its parallels with those early rev…

1
#84: Wai Chee Dimock – AI and the Humanities 47:08

4M ago47:08

47:08

In this episode Barry and Mike discuss Wai Chee Dimock’s PMLA editor’s column, AI in the Humanities. After a brief summary of her argument they focus on the practicality of a humanistic approach to designing AI and its possible impacts.By Michael Repici

1
Tackling Global Data Center Challenges with Wesco’s Alan Farrimond 16:06

4M ago16:06

16:06

In this episode of the Data Center Frontier Show podcast, Matt Vincent, Editor-in-Chief of Data Center Frontier, talks to Alan Farrimond, Vice President Wesco Data Center Solutions, about how AI, globalization and power challenges are impacting the data center industry. They also discuss some wider challenges across the industry and how Wesco is un…

1
Episode #20: Old Giants vs. New Titans: SpaceX, Legacy Contractors, and the Cost of Progress 53:57

4M ago53:57

53:57

Welcome to Stewart Squared podcast with the two Stewart Alsops! In this special episode, recorded on a scenic drive up the 101 from Los Angeles to Santa Barbara, the conversation explores a broad range of topics, from the evolution of Apple's iPhone as a "super tool" due to its unique hardware-software integration to Google's challenges in fosterin…

1
Framing Data Center and AI Sustainability Imperatives with iMasons Climate Accord's Miranda Gardiner 19:36

4M ago19:36

19:36

On this episode of the DCF Show Podcast, iMasons Climate Accord (ICA) Executive Director, Miranda Gardiner, shares insights on sustainability and emissions reduction strategies for data centers with DCF editors Matt Vincent and David Chernicoff. During the course of the talk, Gardiner explains how the iMasons Climate Accord (ICA), as part of Infras…

1
The Locally Nameless Representation 19:54

4M ago19:54

19:54

I discuss what is called the locally nameless representation of syntax with binders, following the first couple of sections of the very nicely written paper "The Locally Nameless Representation," by Charguéraud. I complain due to the statement in the paper that "the theory of λ-calculus identifies terms that are α-equivalent," which is simply not t…

1
#83: Matteo Wong - The GPT Era Is Already Ending 48:55

4M ago48:55

48:55

In this episode Barry and Mike discuss Matteo Wong’s Dec. 9th article in The Atlantic, “The GPT Era Is Already Ending.” They trace the algorithmic shift from Chat GPT to 01 and discuss whether this transition gets any closer to genuine intelligence. We encourage you to listen to the previous episode on Benjamin Labatut’s “The Gods of Reason” as a p…

1
Customers, People, Planet: The EdgeConneX Blueprint for Sustainability 15:40

4M ago15:40

15:40

EdgeConneX's "Customers, People, and Planet" mission is the foundation for its sustainability efforts, shaping how the company designs, builds, and operates data centers worldwide. This podcast explores how this mission is implemented, embedding energy efficiency, renewable energy solutions, and local market engagement into every step of their oper…

Podcasts Worth a Listen

Computational Logic Podcasts

Podcasts Worth a Listen

Quick Reference Guide