Lotte Harper is online and recording. Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

Lotte Harper is online and recording. Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

Lotte Harper is online and recording. Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

In this episode, Anna Rose and Guillermo Angeris talk with Kevin Lacker, creator of Acorn, a theorem prover utilising AI. They explore what theorem provers are, their history, and how they're used today. Kevin shares how Acorn brings in AI to simplify the proving process, letting users naturally write mathematical statements while the system checks the correctness of those statements. It's built to feel more like natural math, unlike tools like Lean that demand every step.They also explore the

In this deep dive, we unpack the 2025 study arguing Nanotyrannus is a distinct tyrannosaur, not a juvenile T. rex. Using the extraordinary NCSM 4000 specimen, Bloody Mary, along with osteohistology, spinal fusion data, and tooth counts, we explore what this means for tyrannosaur growth and ecology in the Hell Creek ecosystem—including the tantalizing possibility that Jane could be Nanotyrannus latheas. A major rethink of Late Cretaceous predators and diversity awaits. Note: This podcast was A...

Lotte Harper is online and recording.Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

Lotte Harper is online and recording. Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

Lotte Harper is online and recording. Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

Welcome back to The Mathematicians Podcast! In this episode, host Benjamin Cornish takes us back to the 6th century CE to explore the life and legacy of Simplicius of Cilicia. A pivotal figure caught between two intellectual giants, Simplicius studied under both Aristotelian and Platonic traditions, becoming one of the last significant scholars of Plato's Academy before its closure by Justinian. Join us as we uncover Simplicius's crucial role as a pagan apologist, philosopher, astronomer, and

A Halloween math tour—from optimizing trick-or-treat routes and predicting candy haul to the cognitive biases that inflate fear and the doomsday forecasts of zombie epidemics. We link suspense in film to real-world risk, show how simple counting underpins sharing candy, and explain why fast, decisive action often wins in these dynamic systems. Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information. Sponsored by Embersilk LLC

Dive into Einstein's cosmic speed limit. We'll unpack why the speed of light is invariant for all observers, why massive objects can never reach it, and how this bound protects the sequence of cause and effect in spacetime. Along the way we separate local motion from cosmic expansion, and explain why quantum entanglement can't be used for faster-than-light communication. A compact, logic-driven tour of the physics that makes reality possible. Note: This podcast was AI-generated, and sometime...

Join us as we unpack the Alcubierre warp drive, a concept born in general relativity that lets a ship ride a bubble of flat space while spacetime itself moves. We'll trace how geometry could slash energy requirements, the thorny problem of exotic matter, and the practical hazards of deceleration and high-energy fronts. We discuss time-travel quirks, the chronology protection conjecture, and speculative links to dark matter/energy as negative mass. A rigorous, accessible tour of one of physics...

From a 1D line to the mind-bending worlds of 8D and 24D, this episode unpacks the kissing number problem—the maximum number of identical spheres that can touch a central sphere without overlap. We'll trace the Newton-Gregory debate in 3D, celebrate Musin's 2003 proof, and reveal the magic of the E8 and Leech lattices that pin down exact numbers in certain dimensions. Along the way we glimpse why computing these arrangements remains a frontier of mathematics and computer science. Note: This po...

We explore orbifolds—the spaces locally modeled on quotients by finite group actions. From Thurston’s origin story to fixed points and isotropy subgroups, we see how the quotient hides rich information beyond the underlying shape. The journey sweeps through physics, including Calabi–Yau compactifications in string theory, and even into music theory via Dmitry Tomasko’s orbifold model of chords. We’ll also touch on developable orbifolds and the broad idea that symmetry-driven unfoldings can re...

Join us as we unpack a dense, multimodal AI stack designed to detect, track, and identify players in chaotic basketball footage. We explore RFDETR-based detection, SAM2 with a temporal memory bank for re-identification after occlusions, and team clustering via SigLep, UMA, and K-means. Then we dive into jersey-number extraction—comparing a fine-tuned VLM2 approach with a specialized ResNet—plus an iOS-overlap verification and frame-stability heuristic to lock IDs across frames. We also discus...

In 14th-century Castile, a nameless mendicant friar pens a travel diary that doubles as a world catalog of rulers and their coats of arms. The Libro del Conocimiento de Todos los Reinos blends real voyages with imaginative heraldry to map power—signaling distant, non-Christian realms with symbolic devices rather than precise facts. This episode shows how the book functioned as a practical reference for merchants, diplomats, and pilgrims, drawing on portolan charts and older sources while reve...

Lotte Harper is online and recording.Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

Lotte Harper is online and recording. Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

Lotte Harper is online and recording. Watch the livestream online at https://lotteh.com/stream/Daisy/ My name is Charlotte Harper, and I am a full stack Linux website and web app developer, actress, model, mother and cosmetics enthusiast living in Seattle, WA. Listen to the podcast as audio at https://damita.transistor.fm/ Visit online at https://lotteh.com and glamgirlx.com Chat with me at https://glamgirlx.com/chat Contact me at https://glamgirlx.com/contact See you there xoxo Recorded on

In this bonus, Halloween and Bat Week episode, we talk with Dr. Kristen Lear, a bat conservation scientist, National Geographic Explorer, and If/Then® Ambassador whose lifelong passion for misunderstood creatures turned into a career protecting bat populations around the world. Kristen shares how a childhood Girl Scout project building bat houses led her to a career at Bat Conservation International (BCI), where she now directs the Agave Restoration Initiative—a binational program supporting ...