A podcast about logic in all its forms, going into the historical, social, mathematical and philosophical aspects of the subject.
…
continue reading
Computational Logic Podcasts
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
…
continue reading
If every company is now a tech company and digital transformation is a journey rather than a destination, how do you keep up with the relentless pace of technological change? Every day, Tech Talks Daily brings you insights from the brightest minds in tech, business, and innovation, breaking down complex ideas into clear, actionable takeaways. Hosted by Neil C. Hughes, Tech Talks Daily explores how emerging technologies such as AI, cybersecurity, cloud computing, fintech, quantum computing, W ...
…
continue reading
A podcast where logic meets lunacy, and graphs guide the way through the madness! Join us as we explore the beautiful intersections of mathematical logic, graph theory, discrete math, computer science, and the quirky chaos of everyday life. From proving theorems to untangling graph traversals, we’ll connect seemingly random dots to create a web of ideas that’s as entertaining as it is enlightening. Visit our site below:
…
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
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 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
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
Philosophy in the real world. Interviewing intellectuals across the globe. Grappling with the biggest ideas. stevepatterson.substack.com
…
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
Ep. 113 - Eric Brakey Detained at the Border
40:41
40:41
Play later
Play later
Lists
Like
Liked
40:41Eric Brakey joins me to talk about his recent experience getting detained at the border after returning from a cruise. His papers and electronics were searched, and the border guards told him that his Constitutional rights didn’t apply. A story we should pay attention to. Free State Project: fsp.org Get full access to Steve Patterson's Substack at …
…
continue reading

1
GITEX Global: The UN World Food Programme’s AI Driven Fight Against Hunger
21:52
21:52
Play later
Play later
Lists
Like
Liked
21:52What if artificial intelligence could help end world hunger? In this special episode recorded live from GITEX Global in Dubai, I sit down with Magan Naidoo, Chief Data Officer at the United Nations World Food Programme, to discuss how data and AI are transforming humanitarian work at scale. Magan paints a powerful picture of the global food securit…
…
continue reading

1
3456: How Living Homes Is Redefining the Meaning of Smart Living at GITEX Global
18:31
18:31
Play later
Play later
Lists
Like
Liked
18:31This week has reminded me why I love what I do. I have spoken with people from the US, China, Dubai, Bulgaria, and South Africa, and even discovered that one of this show’s regular listeners had made the journey from the Netherlands to be here at GITEX Global. Over five sessions on the AI Stage, I have covered everything from autonomous cars to how…
…
continue reading

1
3455: From Prototype to Deep Tech Unicorn: XPANCEO’s Journey at GITEX Global
21:36
21:36
Play later
Play later
Lists
Like
Liked
21:36What if the next generation of computing was not something you held or wore, but something you looked through? In this special episode recorded live from GITEX Global in Dubai, I speak with Roman Axelrod, founder of EXPANCEO, a deep tech company creating AI-powered smart contact lenses designed to merge augmented reality, biosensing, and what he ca…
…
continue reading

1
3454: Why Pinecone Believes the Future of AI Depends on Data, Not Models
39:13
39:13
Play later
Play later
Lists
Like
Liked
39:13What if the real breakthrough in AI isn’t the model itself, but the data that gives it knowledge? In this episode of Tech Talks Daily, I sit down with Edo Liberty, founder and Chief Scientist of Pinecone, to unpack how vector databases have quietly become the backbone of modern AI infrastructure. We explore why retrieval-augmented generation (RAG) …
…
continue reading

1
3453: How Wolters Kluwer Is Building Trustworthy AI for Regulated Industries
31:47
31:47
Play later
Play later
Lists
Like
Liked
31:47What happens when an AI strategy meets the real-world complexity of healthcare, law, and finance? That’s the challenge at the heart of my conversation with Mark Sherwood, CIO of Wolters Kluwer, a global leader in professional information services. With over three decades in technology leadership across Microsoft, Symantec, and Nuance, Mark brings a…
…
continue reading
In this engaging conversation, Rachel Ignotofski discusses her new book Dinosaurs, exploring the fascination with these ancient creatures, the impact of mass extinctions, and the evolution of life on Earth. She highlights the importance of paleontology, the legacy of Mary Anning, and the artistic choices made in illustrating the book. The discussio…
…
continue reading

1
3452: How ServiceNow Turns AI Governance into a Strategic Advantage
24:08
24:08
Play later
Play later
Lists
Like
Liked
24:08What does it take to build AI that enterprises can actually trust? That’s the question I explored with Nirankush “Kush” Panchbhai, Senior Vice President of Platform Fundamentals at ServiceNow, in a conversation about AI governance, human-centered design, and how the company’s AI Control Tower is reshaping enterprise adoption. Kush describes the AI …
…
continue reading

1
3451: The Hidden Cost of Data: How NetApp Is Tackling the Sustainability Crisis in IT
22:26
22:26
Play later
Play later
Lists
Like
Liked
22:26What if the biggest sustainability challenge in tech isn’t hardware or cloud emissions, but the invisible mountain of unused data sitting in storage? That’s the question driving my conversation with Piero Gallucci, Vice President and General Manager for NetApp UK and Ireland, as we discuss how single-use data is quietly shaping the environmental an…
…
continue reading

1
3450: Why Predictive AI Delivers Real ROI While Generative AI Struggles
31:35
31:35
Play later
Play later
Lists
Like
Liked
31:35What if the next big leap in business AI isn’t generative at all, but predictive? That’s the question at the heart of my conversation with Zohar Bronfman, CEO and co-founder of Pecan AI, a company helping business teams forecast outcomes with precision and turn historical data into future insights. Zohar explains why he believes predictive AI will …
…
continue reading

1
3449: How Urban SDK Is Using AI to Help Local Governments Save Lives
30:08
30:08
Play later
Play later
Lists
Like
Liked
30:08What happens when artificial intelligence meets the everyday heroes of local government? That’s the question driving my conversation with Justin Dennis, co-founder and COO of Urban SDK, a geospatial AI company helping more than 250 North American cities make faster, safer, and smarter decisions. Justin shares how a Smart Cities Challenge from the U…
…
continue reading

1
3448: Inside Kore.ai’s Mission to Make Agentic AI Accessible for Everyone
30:19
30:19
Play later
Play later
Lists
Like
Liked
30:19Agentic AI is only interesting when it leaves the lab and takes responsibility for real outcomes. In this episode, I reconnect with Raj Koneru, Founder and CEO of Kore.ai, to talk about what that shift looks like inside large enterprises. Raj has been building conversational systems long before chatbots became dinner table conversation, and he is c…
…
continue reading

1
Blaise Agüera y Arcas: What is Intelligence?
1:14:40
1:14:40
Play later
Play later
Lists
Like
Liked
1:14:40Blaise Agüera y Arcas’s talk took us on a journey through What is Intelligence?, his groundbreaking new work connecting the evolutionary dots between life, computation, and symbiogenesis. He explores how, in our symbiotic world, things combine to make larger things all the time. We might think of humanity in terms of the individual — but we're alre…
…
continue reading

1
3447: How DXC Is Using AI to Outsmart Cybercriminals
28:36
28:36
Play later
Play later
Lists
Like
Liked
28:36In this episode, Mike Baker, Vice President and Global CISO at DXC Technology, says the cyber industry has been focusing on the wrong side of AI. He believes too many companies use it only to block threats instead of studying how criminals use it to scale phishing, bypass defenses, and deploy adaptive malware. Attackers are learning faster than eve…
…
continue reading

1
3446: How Atlassian Is Redefining Teamwork with AI at Team 25
34:26
34:26
Play later
Play later
Lists
Like
Liked
34:26What happens when the future of teamwork collides with the power of AI? That’s the question at the heart of this episode as Tiffany from Atlassian joins me from Barcelona during Team 25, where Atlassian is showcasing how AI-powered collaboration is redefining how work gets done. We talk about how Atlassian’s mission to unleash the potential of ever…
…
continue reading
By Breaking Math
…
continue reading

1
3445: Why AI Won’t Replace Human Testers at Jalasoft
24:34
24:34
Play later
Play later
Lists
Like
Liked
24:34By Neil C. Hughes
…
continue reading

1
3444: Mews on Why Hotel Tech Underperforms and How to Fix It
33:10
33:10
Play later
Play later
Lists
Like
Liked
33:10Here’s the thing. Most of us still picture a hotel lobby with a counter, a queue, and someone typing furiously while we wait after a long flight. In this episode, I sit with Richard Valtr, founder of Mews, to ask whether that scene is quietly fading. Backed by Tiger Global, Goldman Sachs, and Battery Ventures, Mews recently raised 75 million dollar…
…
continue reading

1
3443: euroNAS Simplifying Storage and Virtualization for Real World IT
28:28
28:28
Play later
Play later
Lists
Like
Liked
28:28When a company quietly builds world-class storage and virtualization software for twenty years, it usually means they have been too busy solving real problems to shout about it. That is what makes euroNAS and its founder, Tvrtko Fritz, such an interesting story. In this episode, I reconnect with Tvrtko after meeting him on the IT Press Tour in Amst…
…
continue reading
The desire to understand mechanism has led scientists, doctors, and researchers into grave error—the “mechanism fallacy”—thinking that correlations are not causally connected if the mechanism is not understood. Get full access to Steve Patterson's Substack at stevepatterson.substack.com/subscribeBy Steve Patterson
…
continue reading

1
3442: AI Realized - Practical Pathways From Pilot to Production
36:59
36:59
Play later
Play later
Lists
Like
Liked
36:59AI hype has been loud for three years, but most leaders still tell me the real work begins after the demo. That was the starting point for my conversation with Christina Ellwood, co-founder of AI Realized, a community built to help enterprises move from pilots to production with less noise and more results. Christina has a calm, practical way of ex…
…
continue reading

1
3441: How Abacum Became the Fastest Growing Tech Company in Spain
26:33
26:33
Play later
Play later
Lists
Like
Liked
26:33Finance leaders know the struggle of managing endless spreadsheets, juggling data from every corner of the business, and trying to plan for a world that changes by the hour. In this episode, I talk with Julio Martínez, Co-Founder and CEO of Abacum, about how his team is helping finance professionals move from reactive reporting to confident, real-t…
…
continue reading

1
3440 Blackline CIO and CTO on Governing AI Inside the Enterprise
33:56
33:56
Play later
Play later
Lists
Like
Liked
33:56What happens when a CTO and a CIO of a global tech company sit down together to talk about AI? That’s the starting point of today’s episode, where I’m joined by Jeremy Ung, CTO at Blackline, and Sumit Johar, the company’s CIO. Rather than chasing the hype, we focus on what AI really means for executive decision making, governance, and business outc…
…
continue reading

1
3439: Zeta and the Future of AI-Powered Marketing That Drives Real ROI
22:18
22:18
Play later
Play later
Lists
Like
Liked
22:18Zeta Global’s CTO, Chris Monberg talks about building AI that helps brands grow with repeatable, scalable programs without losing the spark that makes a brand feel human. Zeta’s promise is simple to say and hard to do. Help marketers deliver better results with less waste by pairing strong data, clear identity, and practical AI inside the Zeta Mark…
…
continue reading

1
3438: Forter on AI, Autonomous Commerce, and Digital Identity
29:36
29:36
Play later
Play later
Lists
Like
Liked
29:36I invited Michael Reitblat, CEO and founder of Forter, to unpack a reality many retailers are living with every day. Fraud is no longer a side issue. It shapes conversion rates, customer loyalty, and the bottom line. Michael argues that if you remove the fear of fraud, you unlock growth. That sounds bold, but his lens is practical. Replace guesswor…
…
continue reading

1
3437: Accruent and the Rise of Autonomous Buildings
35:33
35:33
Play later
Play later
Lists
Like
Liked
35:33Here’s the thing. “Smart” has been the buzzword for years, but Richard Leurig argues we’re on the cusp of something bolder. In our conversation, the Accruent president drew a clear line between buildings filled with connected systems and buildings that can sense, decide, and act without a person staring at a dashboard all day. Richard shared a reta…
…
continue reading
In this conversation, economist Dr. Victoria Bateman discusses the critical role of women in shaping economic prosperity throughout history. She argues that women's choices, independence, and labor have been overlooked in traditional economic narratives. The discussion covers various themes, including the impact of women's marriage decisions on pop…
…
continue reading

1
3436: Tanium on People-First Cybersecurity
42:49
42:49
Play later
Play later
Lists
Like
Liked
42:49What if the biggest weakness in cybersecurity isn’t a missing tool, but a cultural blind spot? That’s the perspective of Dan Jones, Senior Security Advisor at Tanium, who joined me on Tech Talks Daily to share why he believes cybersecurity is fundamentally a people problem dressed up as a technology problem. Dan brings nearly three decades of exper…
…
continue reading

1
3435: Pluralsight CEO on AI’s Role in Rewiring Human Intelligence
23:55
23:55
Play later
Play later
Lists
Like
Liked
23:55Some interviews stick because they take a noisy topic and bring it back to reality. This was one of them. I spoke with Erin Gajdalo, CEO of Pluralsight, about what it actually takes to upskill a workforce in an AI era that seems to change by the week. We compared boardroom intent with day-to-day practice, and Erin was refreshingly clear about both.…
…
continue reading

1
3434: t3rn, Interoperability, and the Next Wave of Real Adoption
31:34
31:34
Play later
Play later
Lists
Like
Liked
31:34Here’s the thing. We have had brilliant ideas in Web3 for years, along with better tooling and plenty of enthusiasm, yet adoption still feels slower than it should be. In my conversation with Maciej Baj, founder of t3rn, we got under the skin of why that is and what it might take to change the pace. His starting point is simple to state and hard to…
…
continue reading

1
3433: AI Trading Without Lag: EZ Trading Computers on Building the Right Setup342
37:36
37:36
Play later
Play later
Lists
Like
Liked
37:36When we think about what separates winning traders from those who struggle, we usually picture strategies, indicators, or a bit of insider know-how. But what if the biggest edge has been sitting on your desk all along? In this episode, I sit down with Eddie Z, also known as Russ Hazelcorn, the founder of EZ Trading Computers and EZBreakouts. With m…
…
continue reading

1
3432: GoTo on Making AI Practical for Small and Mid Sized Businesses
41:33
41:33
Play later
Play later
Lists
Like
Liked
41:33Most conversations about AI are still caught up in the spectacle. We see demos, marvel at copilots, and argue about the latest big model. But what happens when you strip away the hype and focus on AI that simply works? That is exactly the perspective Olga Lagunova brings to this episode. As Chief Product and Technology Officer at GoTo, she has one …
…
continue reading

1
3431: AI and Data-Driven Manufacturing with IDA Ireland and Eli Lilly and Company
31:03
31:03
Play later
Play later
Lists
Like
Liked
31:03I wanted this conversation to do two things at once. First, ground the hype in real practice. Second, show how a small country can punch well above its weight by connecting industry, academia, and government with purpose. With Chantelle Kiernan from IDA Ireland and Stephen Flanagan from Eli Lilly and Company, we explored what digital transformation…
…
continue reading

1
3430: Broadridge AI, NYFIX, and the New Data Strategy for Financial Services
21:48
21:48
Play later
Play later
Lists
Like
Liked
21:48What does it really mean to future-proof financial data? That’s the question at the heart of my conversation with George Rosenberger, General Manager of NYFIX at Broadridge. George has spent his career moving through every corner of the capital markets, from trading desks to broker-dealers, and now into the software side where he oversees order rou…
…
continue reading

1
3429: How Credit Karma Scales GenAI to Power 60 Billion Predictions a Day
42:19
42:19
Play later
Play later
Lists
Like
Liked
42:19What does it take to deliver personalized financial guidance to more than 140 million people every single day? That is the question I put to Wan Agus, Head of Engineering at Intuit Credit Karma, in this episode of Tech Talks Daily. Most of us open the Credit Karma app to check our credit score, look at a loan option, or browse for a better credit c…
…
continue reading

1
3428: Building Trust in AI: Hitachi Vantara’s Vision for Governance
22:58
22:58
Play later
Play later
Lists
Like
Liked
22:58AI is quickly moving from boardroom buzzword to boardroom headache. Enterprises are waking up to the fact that bringing large language models in-house is not just about performance or cost, but about control, accountability, and trust. In this episode of Tech Talks Daily, I sit down with Octavian Tanase, Chief Product Officer at Hitachi Vantara, to…
…
continue reading

1
Three Confirmed Paradoxes in Mathematics [Narration]
4:52
4:52
Play later
Play later
Lists
Like
Liked
4:52Article and mentioned links here: Get full access to Steve Patterson's Substack at stevepatterson.substack.com/subscribeBy Steve Patterson
…
continue reading

1
3427: Can Smarter Compression Help Save the Planet? CompressionX Think so
28:31
28:31
Play later
Play later
Lists
Like
Liked
28:31What if the way we store data is shaping the planet’s future? That thought has been on my mind ever since attending the IT Press Tour in Amsterdam, where I first connected with today’s guest. With global data creation forecast to hit 510 zettabytes by 2030, and data centers already consuming staggering amounts of power, the conversation is no longe…
…
continue reading

1
3426: Aura Technology at TechSummit25: XDR, Secure Edge, Real Outcomes
18:48
18:48
Play later
Play later
Lists
Like
Liked
18:48I recorded this episode at Barracuda TechSummit25 in Alpbach, Austria, a mountain village that looks like a postcard and hosts some of the most grounded security conversations you will hear all year. My guest is Richard Flanders, Commercial Director at Aura Technology, a managed service provider on the south coast of England that supports public se…
…
continue reading

1
3425: Barracuda XDR: From Football Playbooks to Home Alone Tactics
35:35
35:35
Play later
Play later
Lists
Like
Liked
35:35I recorded this conversation at Barracuda TechSummit25 in Alpbach, Austria, where the mountains feel close enough to touch and the discussions get very real very quickly. My guests are Adam Khan, VP of Global Security Operations at Barracuda XDR, and Eric Russo, Director of SOC Defensive Security. Together they run the teams that watch, interpret, …
…
continue reading

1
3424: Barracuda TechSummit 25: Secure Today, Ready Tomorrow
24:38
24:38
Play later
Play later
Lists
Like
Liked
24:38I recorded this conversation in Alpbach, Austria, a village that looks like a postcard and hosts a very serious tech gathering. TechSummit25 is Barracuda’s deeply technical event, and it shows. The rooms are packed with solution architects, product managers, and engineers comparing notes with customers who run these systems every day. It is the kin…
…
continue reading

1
3423: Johnson Controls Explains How to Cut Data Center Cooling Energy by 40%
24:28
24:28
Play later
Play later
Lists
Like
Liked
24:28In this episode of Tech Talks Daily, I’m joined by Todd Grabowski from Johnson Controls to unpack the physics, products, and design choices shaping the next generation of data center cooling. It’s a practical conversation that moves from chips and compressors to water, power, and land constraints, and what it really takes to keep modern infrastruct…
…
continue reading

1
3422: Meet Symphion and the Print Fleet Cybersecurity as a Service
21:57
21:57
Play later
Play later
Lists
Like
Liked
21:57I’ve spent years talking about endpoint security, yet printers rarely enter the conversation. Today, that blind spot takes center stage. I’m joined by Jim LaRoe, CEO of Symphion, to unpack why printers now represent one of the most exposed corners of the enterprise and what can be done about it. Jim’s team protects fleets that range from a few hund…
…
continue reading
We give the proof the Tree Theorem. It's cute!
…
continue reading

1
Marketing Intelligence After Cookies: How Funnel Turns Data Into Decisions
30:29
30:29
Play later
Play later
Lists
Like
Liked
30:29Marketing teams used to have a simple enough job: follow the click, count the conversions, and shift the budget accordingly. But that world is gone. GDPR, iOS restrictions, and browser-level changes have left most attribution models broken or unreliable. So what now? In this episode, I sat down with Fredrik Skansen, CEO of Funnel, to unpack how mar…
…
continue reading

1
Ep. 112 - The Historical Novelty of the Trinity | Dr. Jared Ortiz
59:00
59:00
Play later
Play later
Lists
Like
Liked
59:00We've become desensitized to the novelty of the Trinity. I am joined by Dr. Jared Ortiz to discuss the history and importance of the Council of Nicaea. Guest's website: https://hope.edu/directory/people/ortiz-jared/index.html Guest's book: The Nicene Creed: A Scriptural, Historical, and Theological Commentary Get full access to Steve Patterson's Su…
…
continue reading

1
Why FeatureOps Might Be the Future of Software Delivery
49:23
49:23
Play later
Play later
Lists
Like
Liked
49:23I invited Egil Østhus to unpack a simple idea that tends to get lost in release day pressure. DevOps gets code to production quickly, but users experience features, not pipelines. Egil is the founder of Unleash, an open source feature management platform with close to 30 million downloads, and he argues that the next step is FeatureOps. It is a min…
…
continue reading

1
From Bots To Agents: Building Trustworthy Autonomy With Hakkōda, an IBM Company
25:49
25:49
Play later
Play later
Lists
Like
Liked
25:49I invited Atalia Horenshtien to unpack a topic many leaders are wrestling with right now. Everyone is talking about AI agents, yet most teams are still living with rule based bots, brittle scripts, and a fair bit of anxiety about handing decisions to software. Atalia has lived through the full arc, from early machine learning and automated pipeline…
…
continue reading

1
3418: Scaling IoT Security with Real Time Visibility at Wireless Logic
35:33
35:33
Play later
Play later
Lists
Like
Liked
35:33Here’s the thing. Connecting thousands of devices is the easy part. Keeping them resilient and secure as you grow is where the real work lives. In this episode, I sit down with Iain Davidson, Senior Product Manager at Wireless Logic, to unpack what happens when connectivity, security, and operations meet in the real world. Wireless Logic connects a…
…
continue reading