In this episode of Room to Grow, Joanie and Curtis learn about a new publication: Decluttering Mathematics: 5 Fundamental Understandings That Unleash Meaningful Student Thinking Grades 6-12. Three of the book’s authors join us to share how that when secondary mathematics instruction is cluttered with disconnected procedures and a focus on computation without meaning, students are essential being handed a huge pile of tiny puzzle pieces without ever building or even seeing the picture on the p...

We explore a proposed architecture for persistent, collaborative AI teammates: shared memory fabrics that preserve context, CRDTs that merge simultaneous edits, reversible execution traces, conflict-resolution rules, and user-authorized permissions. What could happen when AI agents become secure, long-lived collaborators rather than isolated chat sessions? Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information. Sponso...

Claude flagged a new enzyme system hidden in virus DNA. An OpenAI agent broke into a government health database in June. Same week, opposite report cards. We go through why credit for the discovery goes to the humans running the lab, why an audit found AI benchmarks full of leaked answers and broken graders, and why OpenAI took eighty-four days to say anything. Get full access to The AI Practitioner at aipractitioner.substack.com/subscribe

Text us your thoughts!Today we debate with administrators! What do you consider the qualities of a good leader? What do you wish administrators thought about more? Or have you ever considered becoming an administrator? Maybe someone has encouraged you to take the leap or you’re considering it on your own. We’ve known very few administrators coming from math education. Why is that? And do math teachers make good administrators? In this episode, we are joined by a pair of school leaders who started as

Let's carry on...

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,

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.