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

arXiv math.CAの新着論文13本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ca/episodes/2026-09-23/A reciprocal-Gamma Mehler--Heine limit for Krawtchouk--Sobolev type orthogonal polynomials with an exterior mass pointSpectral synthesis with the complexity parameter in $\mathbb{Z}_N^d$Dynamical Sampling in Graph Paley--Wiener SpacesMatrix Continued Fractions from Bidiagonal FactorizationsHypergeometric Mixed-Type Multiple Orthogonal PolynomialsDunkl theory, convolution algebras, and related

arXiv math.GRの新着論文29本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-gr/episodes/2026-09-23/A compactness theorem for twisted-unitary elements of integral group rings, with a certified route to the theta-unitary Case A at window B(4) of the Promislow groupThe domain question for the Nielsen-Soelberg group rings: the commutative case, with certified ball checksMargulis-Soifer theorem for one-relator groupsThe universal valued Abelian groups of Niemiec are L\'{e}vy, strongly exotic,

arXiv math.NTの新着論文41本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-nt/episodes/2026-09-24/A new upper bound for the irrationality exponent of zeta(3)The Primitive Generalized Fermat Equation x^3+y^5=z^7: A computer-assisted proofGalois-Orbit Structure, Ramanujan Sums, and Stable-Range Collapse for Cyclotomic Cosine Formulas$A_2$-frames, negacyclic glue, and extremal strongly $6$-modular latticesThe number of Ekedahl-Oort strata intersecting the supersingular locus in the Siegel modular

arXiv math.RAの新着論文13本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ra/episodes/2026-09-24/Integral Dependence over One-Sided Ideals, Part II: G-Left Ideals and the K\"othe ProblemPhantom categories on 3-vertex directed DG quiversToeplitz multiplication and graded factorization of determinant recurrencesControlling graded Lie algebras and cohomologies of double Lie algebrasEquality cases for matrix spaces with bounded-rank commutatorsSome constructions of antisymmetric infinitesimal

arXiv math.ACの新着論文8本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ac/episodes/2026-09-24/Dimensions of permanental varieties in arbitrary sizeTwo-sided bounds for canonical traces of Veronese subalgebrasResultant of an equivariant polynomial system with respect to the reflection group $G(r,n)$Generic $\mu$-power ideals, fat points, and symbolic powersConjugation Differential Invariants of $\mathrm{SL}_2(\mathbb{F}_q)$ on trace-free matricesField independence of the first seven Betti

arXiv math.RTの新着論文18本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-rt/episodes/2026-09-24/Reduction Algebras Involving Symplectic Lie AlgebrasThe intersection of local Arthur packets for even orthogonal groups and applicationsOn the normality of the commuting schemeLifting $A_\infty$-structures through coverings with applications to fractional Brauer graph algebrasDegenerations of chain complexesLocally analytic representations in mixed characteristic via stacksCounterexamples to the

arXiv math.AGの新着論文39本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ag/episodes/2026-09-24/A smooth quintic surface with 85 lines and Picard number 43The non-abelian Hodge correspondence for extensions on quasi-projective curvesEuler characteristics of strata of $k$-differentialsOpen extension of a genus zero Hurwitz-Frobenius manifoldDegrees and directional defects of embedded algebraic vector bundlesLinear Algebra and Algebraic Geometry: A Matrix Construction for Classifying Families

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

🎙️ Quand on regarde une danse, on voit des gestes, des corps, de l’émotion…Mais avec un œil mathématique, on peut y déceler autre chose : une sorte de grammaire du mouvement.#danse #groupe #tresses Pour retrouver mon travail :·       📽️ sur YouTube : https://www.youtube.com/channel/UCpbU7mXDloketKRA92AcW7Q?view_as=subscriber·       💼 sur mon site : www.mathsentete.fr Mon TIPeee pour soutenir mon travail sur le podcast : https://fr.tipeee.com/maths-en-tete Les sources viennent d'ici : Google

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.