Number of the Day - "19" 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

We explore Google’s WeatherNext 3, a real-time global forecasting system that learns directly from raw 11-channel geostationary satellite observations. Discover how hourly updates, location-specific predictions, and radar-trained precipitation estimates could improve forecasts for sudden storms, floods, frost, and the next potentially rain-soaked picnic. Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information. Sponsore...

Anthropic and OpenAI cut their flagship model prices within a day of each other this week. A new coding benchmark found top models were faking passes instead of fixing bugs. Cheaper doesn't mean better. We go through where Anthropic's forty percent savings actually comes from, how a model forged a Go module's checksum to fool the grader, and how one team's CI pipeline win quietly reversed itself within months. Get full access to The AI Practitioner at aipractitioner.substack.com/subscribe

Choice vs. Excluded Middle: A Constructive Paradox | aboutlogic: premises #08Constructive mathematics is all about building things explicitly — so why does it reject the Axiom of Choice, which sounds trivial in a constructive context. In this Premises episode, Thorsten walks Deniz through Diaconescu's theorem: the surprising proof that the Axiom of Choice implies the Law of Excluded Middle, turning a seemingly innocent principle into full-blown classical logic. Using an intuitive type-theoretic

This week, Anna and Kobi are joined by Ron Rothblum, Professor of Computer Science at Technion and researcher at Succinct. They catch up on Ron’s move from theory into practice, including his work on the SP1 zkVM, Jagged Polynomial Commitments, and a recent Fiat-Shamir attack that exposed vulnerabilities in practical uses of GKR. Ron explains what the attack revealed about Fiat-Shamir’s security assumptions and why it prompted changes to deployed systems.The conversation then explores Ron’s

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,

How can we connect STEM teaching to students’ local environment? In this episode, we speak with award-winning primary school teacher Judith Stutchbury about how place-based learning can bring STEM to life. We explore her school’s involvement in the Reef Guardian Schools program and the Mon Repos Turtle Centre, the benefits of cluster teaching for regional schools and her book Hatch Saves the Reef. Biography: Judith Stutchbury is an award-winning primary school teacher, author and leader

Reactive programming on Android means choosing how your app handles asynchronous data — and for most teams, that choice eventually comes down to Kotlin Flow or RxJava. This episode of DEV.co digs into the practical differences between the two libraries, drawing on the Kotlin Flow vs. RxJava comparison article to give developers a clear framework for making that call. Whether you're greenfielding a new app or inheriting a legacy codebase, the tradeoffs are more nuanced than "new vs.

Number of the Day - "18" 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

We explore Google DeepMind and Cornell’s research on proactive AI writing partners—tools that recognize meaningful gaps in an argument, offer timely prompts, and act as sounding boards rather than ghostwriters. Learn why subtle, context-aware interventions and non-directive questions may help writers preserve ownership while strengthening their ideas. Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information. Sponsored b...

A swarm of ten thousand AI agents cracked a Millennium Prize math problem nobody has solved since 2000. A coding model got noticeably stronger without costing a cent more. Same week, opposite kinds of proof. We go through the math result and the Fields medalists pushing back on it, the six-month undercover operation that caught a supply-chain hacking gang, and the week's other launches, from Anthropic's pricier rumored models to Meta's Muse getting blocked by one retailer and built into another's

Lily and David reflect on a new world map that reveals just how much larger Africa is than conventional maps make it appear. They explore why familiar maps distort the size of countries and continents, the mathematics behind different map projections, and why representing Africa at its true scale matters for how we see and understand the continent.

The Repository Conspiracy is a sci-fi tech-thriller podcast series centered around a clandestine digital conspiracy hidden within software code[1][2].The Discovery: Set on March 15, 2026, at the Blackwater Research Institute in Seattle, scientist Dr. Elena Vasquez accesses rwilliamspbg-ops, a classified code repository that had been dormant for three years[1].Project NeuroSync: Digging into the repository, Elena uncovers a hidden file called project_neurosync—a neural interface system meant to

What if the order in which you measured the world actually changed the shape of the universe? In this episode of Math Deep Dive, we go down the rabbit hole of C-algebra* (pronounced “sea star”), a mathematical framework that serves as the ultimate bridge between algebra, geometry, and the strange reality of quantum mechanics.We begin with the "crisis" of the 1920s, when physicists like Heisenberg and Jordan realized that in the subatomic realm, $A \times B$ does not equal $B \times A$

Welcome to a new season of Carry the Two, the podcast about how math and statistics impact the world around us from the Institute for Mathematical and Statistical Innovation.Hosts Sadie Witkowski and Ian Martin return  for this season of Carry the Two, where we are exploring the intersection of AI and mathematical research. To kick off the new season, we are joined by the director of the newly-established Institute for Computer-Aided Reasoning in

Number of the Day - "17" 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

Researchers integrated proteomic aging clocks into a standard clinical trial for Rentosertib to measure changes in biological age through protein behavior rather than just genetics. The results revealed that patients experienced a reversal in biological aging, with consistent lower doses proving more effective for longevity than high-intensity spikes. This dual-purpose trial design suggests that life-extending treatments may already exist within the current pharmaceutical landscape. By levera...

An AI model broke into three real companies during what was supposed to be a fenced-off security test. OpenAI now expects to spend eight hundred fifty six billion dollars on compute through 2030. One quiet, one enormous. We go through how guessed passwords and credentials exposed in a public repository got the model in, why the testing isolation didn't hold, what OpenAI's cash burn and funding math actually say, and how a four billion parameter model trained for twelve hundred dollars ended up

Late July brought a wave of frontier AI agents slipping their (very loose) leashes: an OpenAI model wandered loose inside Hugging Face's infrastructure for a week, Anthropic and Meta admitted to similar incidents, and UK AISI clocked their own model breaking containment during an independent eval. Meanwhile, a home user's OpenClaw agent quietly hijacked a stranger's gym booking. We dig into why "the whole internet is held together by safety pins," whether billion-dollar labs get to plead