Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
…
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
Your host, Sebastian Hassinger, interviews brilliant research scientists, software developers, engineers and others actively exploring the possibilities of our new quantum era. We will cover topics in quantum computing, networking and sensing, focusing on hardware, algorithms and general theory. The show aims for accessibility - Sebastian is not a physicist - and we'll try to provide context for the terminology and glimpses at the fascinating history of this new field as it evolves in real time.
…
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
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
Data Center Frontier’s editors are your guide to how next-generation technologies are changing our world, and the critical role the data center industry plays in creating our extraordinary future.
…
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
Vaire Computing Bets on Reversible Logic for 'Near Zero Energy' AI Data Centers
31:00
31:00
Play later
Play later
Lists
Like
Liked
31:00The 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…
…
continue reading

1
Does innovation have to come at the expense of ethics?
45:54
45:54
Play later
Play later
Lists
Like
Liked
45:54Oliver Cronk is joined by Scott Logic’s Sophia Ashley and Alix Dunn from the ‘Computer Says Maybe’ podcast for a wide-ranging discussion which poses ethical questions that are frequently ignored in the race for technological innovation. Together, they explore the intersection of technology and power, and examine whether society is unwittingly allow…
…
continue reading

1
Episode #36: Tiny Computers, Massive Shifts: The iPhone’s Quiet Coup
1:00:42
1:00:42
Play later
Play later
Lists
Like
Liked
1:00:42Welcome to Stewart Squared podcast with the two Stewart Alsops. In this episode, the conversation ranges across the years that saw Apple shift from a struggling personal computer company to the launch of the iPhone, marking a deeper convergence of mobile technology and cloud infrastructure. The Stewarts explore how the so-called "Web 2.0" years—dec…
…
continue reading

1
Are we coming up short? Navigating the Global Power Deficit
35:40
35:40
Play later
Play later
Lists
Like
Liked
35:40Global power deficit and solutions The discussion will address the power deficit we are experiencing and how new demands for power are navigated across different regions.By Endeavor Business Media
…
continue reading

1
Krivine's Proof of FD, Using Intersection Types
21:35
21:35
Play later
Play later
Lists
Like
Liked
21:35Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types. I discuss this proof in this episode.By Aaron Stump
…
continue reading

1
Superconducting Quantum Materials and Systems with Anna Grassellino
26:44
26:44
Play later
Play later
Lists
Like
Liked
26:44Introduction: In this milestone 50th episode of The New Quantum Era, your host Sebastian Hassinger welcomes Dr. Anna Grassellino, a leading figure in quantum information science and the director of the Superconducting Quantum Materials and Systems Center at Fermilab, or SQMS. Dr. Grassellino discusses the center’s mission to advance quantum computi…
…
continue reading

1
Episode #35: From the Great Society to the Great Fragmentation
50:35
50:35
Play later
Play later
Lists
Like
Liked
50:35Welcome to Stewart Squared podcast with the two Stewart Alsops. Today’s episode moves beyond technology to explore a deeply personal and historical reflection on the Great Society under Lyndon B. Johnson, sparked by a late-night email about the political and cultural shifts of the 1960s. The conversation weaves together vivid childhood memories of …
…
continue reading

1
Nomads at the Frontier: Nabeel Mahmood on the Future of Data Centers and Disruptive Sustainability
28:15
28:15
Play later
Play later
Lists
Like
Liked
28:15WASHINGTON, D.C.— At this year’s Data Center World 2025, held earlier this month at the Walter E. Washington Convention Center, the halls were buzzing with what could only be described as industry sensory overload. As hyperscalers, hardware vendors, and infrastructure specialists converged on D.C., the sheer density of innovation underscored a cent…
…
continue reading

1
Stephen Heintz, Kim Stanley Robinson: A Logic For The Future: International Relations in the Age of Turbulence
59:55
59:55
Play later
Play later
Lists
Like
Liked
59:55Stephen Heintz and Kim Stanley Robinson say we live in an “Age of Turbulence.”Looking around our geopolitical situation, it’s easy to see what they mean. Faced with the ever-growing threat of climate change, the looming potential breakdown of the post-01945 international order, and the ambiguous prospects of rapid technological changes in fields li…
…
continue reading

1
From Concept to Reality: The Future of Hydrogen Fuel Cells in Data Centers
21:36
21:36
Play later
Play later
Lists
Like
Liked
21:36As 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…
…
continue reading
Introduction In this episode of The New Quantum Era podcast, host Sebastian Hassinger delves into an insightful conversation with Yonatan Cohen, CTO and co-founder of Quantum Machines. As a pioneer in quantum control systems, Quantum Machines is at the forefront of tackling the critical challenges of scaling quantum computing, and they also provide…
…
continue reading

1
Episode #34: From Magellan to the Machine: Bill Gross on the Search for Meaning
1:01:49
1:01:49
Play later
Play later
Lists
Like
Liked
1:01:49Welcome 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…
…
continue reading

1
Beyond the Wires — Packet Power & the Future of Data Center Monitoring
39:42
39:42
Play later
Play later
Lists
Like
Liked
39:42In 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 …
…
continue reading

1
Episode #33: From Mainframes to Minds: Rethinking the Architecture of Intelligence
1:02:24
1:02:24
Play later
Play later
Lists
Like
Liked
1:02:24Welcome 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 …
…
continue reading

1
A Measure-Based Proof of Finite Developments
23:24
23:24
Play later
Play later
Lists
Like
Liked
23:24I 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
…
continue reading

1
Should fully autonomous AI agents be developed?
40:23
40:23
Play later
Play later
Lists
Like
Liked
40:23In 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…
…
continue reading

1
Qolab Emerges from Stealth Mode with John Martinis
36:41
36:41
Play later
Play later
Lists
Like
Liked
36:41Welcome to episode 48 of The New Quantum Era podcast! Another episode recorded at the APS Global Summit in March, today's special guest is true quantum pioneer, John Martinis, co-founder and CTO of QoLab, a superconducting qubit company seeking to build a million qubit device. In this enlightening conversation, we explore the strategic shifts, coll…
…
continue reading
How will AI shape our understanding of our creativity and ourselves? In February, artist and technologist K Allado-McDowell delivered a fascinating Long Now Talk that explored the dimensions of Neural Media — their term for an emerging set of creative forms that use artificial neural networks inspired by the connective design of the human brain.The…
…
continue reading

1
Episode #32: Startups, Deadlines, and Drift: The Venture Logic Behind Modern Newsrooms
52:31
52:31
Play later
Play later
Lists
Like
Liked
52:31Welcome 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…
…
continue reading

1
Episode #31: Satya’s Quiet Coup: How Microsoft Got Its Groove Back
51:12
51:12
Play later
Play later
Lists
Like
Liked
51:12Welcome 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…
…
continue reading

1
Key Data Center Infrastructure Imperatives for Harnessing AI with Vertiv’s Tony DeSpirito
20:48
20:48
Play later
Play later
Lists
Like
Liked
20:48In 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…
…
continue reading

1
Megaquop with John Preskill and Rob Schoelkopf
34:48
34:48
Play later
Play later
Lists
Like
Liked
34:48In this episode of The New Quantum Era podcast, your host Sebastian Hassinger interviews two of the field's most well-known figures, John Preskill and Rob Schoelkopf, about the transition of quantum computing into a new phase that John is calling "megaquop," which stands for "a million quantum operations." Our conversation delves into what this new…
…
continue reading

1
Nomads at the Frontier: AI, Infrastructure, and Data Center Workforce Evolution at DCD New York
20:36
20:36
Play later
Play later
Lists
Like
Liked
20:36The 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…
…
continue reading

1
Ahmed Best, Lisa Kay Solomon: Feel The Future: A Valentine’s Evening
59:10
59:10
Play later
Play later
Lists
Like
Liked
59:10When you feel the future, how do you share that feeling in order to build community?Over the past quarter-century, Best — first as an actor, musician, and performer, and later as an Afrofuturist scholar and lecturer — has worked to answer that question. Drawing on his experiences as a cast member on the award-winning percussion performance Stomp, a…
…
continue reading

1
Introduction to the Finite Developments Theorem
15:54
15:54
Play later
Play later
Lists
Like
Liked
15:54The 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.…
…
continue reading

1
Episode #30: From InfoWorld to x.com: The Patterns That Repeat
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, 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 …
…
continue reading
In this episode of The New Quantum Era podcast, host Sebastian Hassinger speaks with Steve Girvin, professor of physics at Yale University, about quantum memory - a critical but often overlooked component of quantum computing architecture. This episode was created with support from the American Physical Society and Quantum Circuits, Inc. Episode Hi…
…
continue reading

1
iMasons CEO Santiago Suinaga on the Future of Sustainable AI Data Centers
24:47
24:47
Play later
Play later
Lists
Like
Liked
24:47For 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…
…
continue reading

1
Benjamin Bratton: A Philosophy of Planetary Computation: From Antikythera to Synthetic Intelligence
57:47
57:47
Play later
Play later
Lists
Like
Liked
57:47We find ourselves in a pre-paradigmatic moment in which our technology has outpaced our theories of what to do with it.The task of philosophy today is to catch up.Benjamin Bratton is a Professor of Philosophy of Technology and Speculative Design at University of California, San Diego and the Director of Antikythera, an cross-disciplinary think tank…
…
continue reading

1
Episode #29: Bridging the Physical and Digital: Investing in the Next Big Shift
1:00:37
1:00:37
Play later
Play later
Lists
Like
Liked
1:00:37Welcome 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…
…
continue reading

1
DCF Podcast: Scalable, Secure, and Smart: The Data Center Evolution
22:42
22:42
Play later
Play later
Lists
Like
Liked
22:42In 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…
…
continue reading
In this episode of The New Quantum Era, host Sebastian Hassinger interviews Professor Will Oliver from MIT about the advancements in fluxonium qubits. The discussion delves into the unique features of fluxonium qubits compared to traditional transmon qubits, highlighting their potential for high fidelity operations and scalability. Oliver shares in…
…
continue reading
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…
…
continue reading
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…
…
continue reading

1
On the Frontier of Modular Edge AI Data Centers with Andrew Lindsey, CEO, Flexnode
26:14
26:14
Play later
Play later
Lists
Like
Liked
26:14The 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…
…
continue reading

1
Episode #27: From Napster to OpenAI: The Relentless Disruption of Everything
40:11
40:11
Play later
Play later
Lists
Like
Liked
40:11Welcome 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…
…
continue reading

1
Quantum imaginary time evolution with Zoe Holmes
35:02
35:02
Play later
Play later
Lists
Like
Liked
35:02Professor Zoe Holmes from EPFL in Lausanne, Switzerland, discusses her work on quantum imaginary time evolution and variational techniques for near-term quantum computers. With a background from Imperial College London and Oxford, Holmes explores the limits of what can be achieved with NISQ (Noisy Intermediate-Scale Quantum) devices. Key topics cov…
…
continue reading

1
Episode #26: Steve Case on the Internet’s Wild Ride and What’s Next
57:24
57:24
Play later
Play later
Lists
Like
Liked
57:24Welcome 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…
…
continue reading

1
Inside the Nuclear Race for Data Center Energy with Aalo Atomics CEO Matt Loszak
24:29
24:29
Play later
Play later
Lists
Like
Liked
24:29The 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…
…
continue reading

1
Meeting Energy Demand for Data Centers with Distributed Energy Resources and Small Modular Reactors
29:07
29:07
Play later
Play later
Lists
Like
Liked
29:07The 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…
…
continue reading

1
Informationally complete measurement and dual-rail qubits with Guillermo García-Pérez and Sean Weinberg
34:15
34:15
Play later
Play later
Lists
Like
Liked
34:15Welcome to another episode of The New Quantum Era, where we delve into the cutting-edge developments in quantum computing. with your host, Sebastian Hassinger. Today, we have a unique episode featuring representatives from two companies collaborating on groundbreaking quantum algorithms and hardware. Joining us are Sean Weinberg, Director of Quantu…
…
continue reading

1
Innovating the Future: Next-Generation Data Centers
28:38
28:38
Play later
Play later
Lists
Like
Liked
28:38As 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…
…
continue reading

1
Episode #25: The Third Convergence: When Reality and Digital Collide
53:41
53:41
Play later
Play later
Lists
Like
Liked
53:41Welcome 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…
…
continue reading

1
Phill Lawson-Shanks, Chief Innovation Officer, Aligned Data Centers Talks AI, Hyperscalers, Sustainability, SMR Nuclear, LATAM
32:28
32:28
Play later
Play later
Lists
Like
Liked
32:28In 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 …
…
continue reading

1
Are enterprise browsers just about security?
44:48
44:48
Play later
Play later
Lists
Like
Liked
44:48In 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…
…
continue reading

1
Episode #24: From Ethernet to AGI: Tracing the Threads of Connection
1:02:16
1:02:16
Play later
Play later
Lists
Like
Liked
1:02:16Welcome 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…
…
continue reading