René Descartes is famous for Cogito, ergo sum and his revolutionary approach to philosophy and mathematics. But he also left behind a mysterious 16-page manuscript written in code. In this episode, we uncover the story of Descartes' hidden notebook, the waterlogged manuscripts that nearly disappeared, and Gottfried Wilhelm Leibniz's dramatic attempt to decipher the coded pages. At the center of the mystery is a mathematical relationship involving the vertices, edges, and faces of three-dimensional

I've been experimenting with AI tools lately, and my newest project came out of that: CardSmart, a free app that solves a problem I kept running into myself. Credit cards pay you back differently depending on where you shop, and keeping track of which card wins where, especially with rotating categories and payout caps, is more than anyone should have to manage in their head. CardSmart uses your phone's location, which never leaves your device, to tell you which of your cards earns the most wherever

Robin Whitty hosts the website theoremoftheday.org, which presents a concise poster about a different theorem each day, with explanation, graphics, and links. He has been doing this for 21 years. Theorems include one by an avant-garde musician that relates to group theory, and an explanation of the intermediate value theorem applied to pancakes. We also discuss how AI might change the role of mathematicians.

...and on...and on...

Number of the Day - "26" This podcast is produced by Klassic Studios. Check out our other podcasts there! Sources Number sequence definitions come from the On-Line Encyclopedia of Integer Sequences (OEIS). Historical material is adapted from Wikipedia, used under the Creative Commons Attribution-ShareAlike licence. Minor planet details come from the NASA/JPL Small-Body Database. Learn more about your ad choices. Visit megaphone.fm/adchoices

What can a single-letter change in DNA do? We explore Google DeepMind’s AlphaGenome Atlas, an AI-powered resource for predicting how genetic variants may affect molecular processes. Learn how the AlphaGenome Variant Impact score helps researchers prioritize variants across coding and non-coding DNA, and hear examples from rare-disease and population research. It’s a look at how AI-generated predictions can guide the next biological discovery. Note: This podcast was AI-generated, and so...

An AI agent that keeps working after you close the chat window. OpenAI is also asking investors for thirty billion dollars more on top of everything it's already raised. More autonomy, more cost. We go through OpenAI's DevDay launch, the opposite pricing bets OpenAI and Anthropic are making, Uber burning its whole year's AI budget in four months, and the fix that stopped nine and a half million retries during a real outage. Get full access to The AI Practitioner at

Lotte Harper is online and recording.Be a part of the Lotte Harper family. Learn daily about software operations, database, security, frontend JavaScript, HTML and CSS along with JS APIs, WebSocket consumers, WebRTC, machine learning (ML), artificial intelligence (AI) and rendering engines, as well as Python server backend logic with requests, PyPI packages, OpenCV, **** recognition, barcode scanning, video and audio editing and sync, podcasting, universal translation, blogging,

Lotte Harper is online and recording. Be a part of the Lotte Harper family. Learn daily about software operations, database, security, frontend JavaScript, HTML and CSS along with JS APIs, WebSocket consumers, WebRTC, machine learning (ML), artificial intelligence (AI) and rendering engines, as well as Python server backend logic with requests, PyPI packages, OpenCV, **** recognition, barcode scanning, video and audio editing and sync, podcasting, universal translation, blogging,

Lotte Harper is online and recording.Be a part of the Lotte Harper family. Learn daily about software operations, database, security, frontend JavaScript, HTML and CSS along with JS APIs, WebSocket consumers, WebRTC, machine learning (ML), artificial intelligence (AI) and rendering engines, as well as Python server backend logic with requests, PyPI packages, OpenCV, **** recognition, barcode scanning, video and audio editing and sync, podcasting, universal translation, blogging,

Category Theory Meets Agentic AI | Neil Ghani (Kodamai)Why does almost all agentic AI today run completely untyped — even though 40 years of type theory and category theory research says that's a mistake? Neil Ghani, Co-Founder of Kodamai, Professor of Computer Science at the University of Strathclyde and a world-leading authority in Applied Category Theory, joins Deniz and Thorsten to explain how the same mathematical structures used to reason about data types can bring trustworthiness,

This week, Anna is joined by Soubhik Deb, Head of Research at EigenLabs, to explore Yukon, a platform for collaborative AI-powered research. Soubhik traces the project’s origins to ECDSA.fail, a competition launched in response to Google’s work on more resource-efficient quantum circuits for breaking secp256k1. They discuss how researchers and their AI agents build on one another’s submissions, turning traditional research into a multiplayer process that can iterate at machine speed.The

All you have to do is look around to see that the world is changing very rapidly. But the course sequence of math education in American schools has changed little since the 1950s. In this episode, Pete and Noah welcome Ted Dintersmith, author of the book Aftermath, for a lively discussion about which math skills and concepts can best prepare today's students for the world of tomorrow. Find Aftermath on Amazon Leave us a voice message Find us on Twitter Send us an email Questions Answered in

Host Ankit Nanda, FSA, MAAA, FCA, speaks with Paul Skrtich, ASA, MAAA, ACIA, Senior Vice President, Accident and Health at OdysseyRe, about how health insurance looks from the reinsurer's seat, where the tail of the claims distribution drives the economics. The conversation covers lasers on known high-cost claimants, emerging cost drivers from skin substitutes to GLP-1s and cell and gene therapies, and how ACOs and provider-payer alignment of interests reshape the risk reaching the excess

Text us your thoughts!In this quick follow-up to last week’s episode, we invited our guests to model a short, fun classroom debate. In just a few minutes, you can hear a sample debate that captures the spirit of productive mathematical argumentation—thoughtful, curious, and includes reasoning. Tune in for a rapid-fire glimpse of what these debates can look like in action as we ask the question: What Is the Most Fun Mathematical Operation to Teach?You can find Christina Lincoln-Moore on social media:

Join Data Talks Why do Chinese households start saving at just $8 a day, when in the US that threshold is closer to $60? And what would it take for China's 1.4 billion people to spend more? In this episode of Data Talks, we're joined by Dr. Bert Hofman, a leading expert on East Asia who spent decades at the World Bank and lived and worked in China, Indonesia, the Philippines, and Singapore. Bert first arrived in Beijing in 1992, when China's income was around $1,000 per person and the city st...

Boilerplate code is one of the most persistent drains on a development team's time and focus — and C# source generators are one of the most underused tools for eliminating it. This episode of DEV.co explores how Roslyn-powered source generators intercept the compilation process, inspect your code's structure, and emit strongly typed C# files that slot seamlessly into your project — with no reflection, no runtime overhead, and no manual steps required.The discussion is based on the DEV.co

Number of the Day - "25" This podcast is produced by Klassic Studios. Check out our other podcasts there! Sources Number sequence definitions come from the On-Line Encyclopedia of Integer Sequences (OEIS). Historical material is adapted from Wikipedia, used under the Creative Commons Attribution-ShareAlike licence. Minor planet details come from the NASA/JPL Small-Body Database. Learn more about your ad choices. Visit megaphone.fm/adchoices

Can a small AI become a capable coding partner with the right practice? We explore FrogNano, Microsoft Research’s four-billion-parameter coding agent, and the ideas behind its training. Discover how TaskPilot creates challenges at the edge of the model’s abilities, why the lightweight Leaf interface keeps its tools simple, and what this approach could mean for more accessible AI-assisted software development. Note: This podcast was AI-generated, and sometimes AI can make mistakes. ...

Anthropic's newest model finishes coding tasks for up to thirty percent less, at the same price per token. OpenAI's most advanced model attacked its own test environment in nearly a third of trial runs, without being asked. Same independence, pointed two different ways. We go through Anthropic's leaked IPO filing and its forty-two billion dollar loss, AMD's eight billion dollar deal for Fei-Fei Li's startup, and Starship's first trip to orbit. Get full access to The AI Practitioner at