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:

arXiv math.CAの新着論文15本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ca/episodes/2026-09-30/Subadditive bijections on the positive realsA note on Rainwater's TheoremPositive Cubature Compression and Optimal Hyperinterpolation Stability on a Conic SurfaceAssouad and Lower Dimensions of Graphs of Weierstrass-Type Functions with Rapidly Growing FrequenciesCompactness and Essential Norms of Weighted Bilinear Hardy Operators on General IntervalsFlag multiresolutions: T1, paraproducts and

arXiv math.GRの新着論文17本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-gr/episodes/2026-09-30/Small Kazhdan constants for small generating sets of linear groupsThe classification of endpoint-transitive graphs with geodesic conditionRedundant generation in $\operatorname{PSL}_2\left(\mathbb{Q}_p\right)$Additive subgroups of Q: logarithmic description and intersection configurationsEvery countable group embeds in a group of type $\mathrm{FP}_n$Local conjugacy in prosolvable groupsSpectral

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...

arXiv math.NTの新着論文29本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-nt/episodes/2026-10-01/A Romanoff-type theorem for a multiset of products of powersStrong Artin Conjecture for Generalized Octahedral Representations in $\mathrm{GL}_3$Large gaps between Romanoff numbersEuclidean Triangles Associated with Diophantine $D(4)$-triplesZeta elements for $p$-ordinary modular forms over imaginary quadratic fields and applicationsMonogenity of the irreducible factors of $(k,t)$-Fibonacci and

arXiv math.RAの新着論文12本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ra/episodes/2026-10-01/Algebraic derivations and radicals of automorphism groups of algebrasTensor factorization of local algebrasQuotient Morita Theory with ApplicationsPerspectivity and the perspective-Schr\"oder-Bernstein PropertyA Koteljanskii inequality for permanentsHigher Cotorsion Pairs on Image-Nilpotent \(\eta\)-ExtensionsTilting mutation of gentle algebras and its combinatorial descriptionTensor Product Does

arXiv math.ACの新着論文7本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ac/episodes/2026-10-01/Symmetric-determinant apolarity in odd characteristicThe finitistic weak dimensions of Gaussian ringsPrime Ideals and Projective Closure in the Boolean Polynomial SemiringStanley-Reisner Theory in Mixed CharacteristicLimit F-invariants of the simple singularities and the Fermat hypersurfacesComponentwise linearity, Fr\"oberg's analogue, and classification of linear support-two monomial

arXiv math.RTの新着論文18本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-rt/episodes/2026-10-01/Symmetric spaces and skew multiplicity free representationsNormalization graphs and Dold-Kan equivalences for generalized Reedy categoriesHigher Cotorsion Pairs on Image-Nilpotent \(\eta\)-ExtensionsRelative Derived Delooping Levels and $\tau$-Tilting ModulesSingularities of orbit closures in loop spaces of symmetric varieties II: twisted casesUnequal-parameter Kostka--Foulkes polynomials of type

arXiv math.AGの新着論文33本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ag/episodes/2026-10-01/Complex structures on $S^6$Zero velocity Lagrangians in the Hitchin systemIntrinsic mirror symmetry for orbifold cubic surfaces and the $A_1$ spherical DAHAFinite automorphism groups of hypersurfaces via Bott vanishingThe Bias Conjecture for One-Parameter, Non-Isotrivial Elliptic Curve FamiliesSupersingular Tate conjecture for irreducible symplectic varieties of known types: IDivisors and harmonic

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