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
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
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
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
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
3461: AI in Schools and the Cybersecurity Risks Behind It
32:40
32:40
Play later
Play later
Lists
Like
Liked
32:40What happens when classrooms become laboratories for artificial intelligence? As AI tools find their way into schools, from lesson planning to student assessments, educators and parents are wrestling with how to balance innovation and security. In this conversation, I sit down with Jurgita Lapienytė, Chief Editor at Cybernews, to unpack how AI adop…
…
continue reading

1
Gitex Global - How DigitalOcean Is Making AI Work for Everyone
16:32
16:32
Play later
Play later
Lists
Like
Liked
16:32What happens when simplicity meets AI on the world’s biggest tech stage? In this episode, recorded live at GITEX Global in Dubai, I sit down with Sohaib Zaheer, Senior Vice President and General Manager at DigitalOcean, to talk about how the company is staying true to its founding vision of accessibility and simplicity while entering the age of AI.…
…
continue reading
In this conversation, Dr. Caleb Scharf discusses the evolution of space exploration, drawing parallels to historical figures like Darwin. He explores the implications of humanity's expansion into space, the challenges of microgravity, and the allure of Mars as a potential habitat. Scharf emphasizes the interconnectedness of space exploration with o…
…
continue reading

1
Global Tech Without Borders GNX and GITEX Global Unite Innovators
12:05
12:05
Play later
Play later
Lists
Like
Liked
12:05I’m taking you behind the scenes of GITEX Global with someone who lives and breathes the energy that makes this event what it is. Daniela Muente, Global Marketing Director at GNX, joins me to share how the world’s largest technology showcase comes together, what drives its incredible growth, and why Dubai has become such a powerful crossroads for i…
…
continue reading

1
3458: Deepfakes 2.0 and the Psychology of Deception with Risk Crew
28:17
28:17
Play later
Play later
Lists
Like
Liked
28:17Deepfakes used to be a niche curiosity. Today they have become a sophisticated tool for manipulation, persuasion, and exploitation. In this episode of Tech Talks Daily, I sit down with Aleksander Gorkowienko, Head of Penetration Testing at Risk Crew, to examine how artificial intelligence has transformed deepfakes from playful face swaps into full-…
…
continue reading

1
3457: 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

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