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 conversation, Dr. Caleb Scharf discusses the evolution of space exploration, drawing parallels to historical figures like Darwin. He explores the implications of humanity's expansion into space, the challenges of microgravity, and the allure of Mars as a potential habitat. Scharf emphasizes the interconnectedness of space exploration with our daily lives and the future of humanity as a dispersed entity across the solar system.Sign up for Writing Math:

We unpack a DeepMind study on training an AI to generate genuinely creative chess puzzles, using reinforcement learning and a three-part creativity framework: uniqueness, novelty, and counterintuitiveness via a 'search gap' between shallow and deep engine evaluations. Stockfish ensures a unique solution; Levenshtein distance enforces novelty in both the puzzle and the solution; and a diversity filter guards against reward hacking. Results showed a tenfold rise in counterintuitive puzzles (0.2...

We explore how formal proof systems like Lean enforce every logical step, turning hundreds-of-page proofs into machine-checked certainty. See how this is sparking open, collaborative math—modular, dependency-driven work where AI must first produce formal proofs to avoid hallucinations. We discuss the role of dependency graphs, specialization, and Hilbert’s dream of formalizing all of mathematics, and what these breakthroughs mean for the future of mathematical discovery. Note: This podcast wa...

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

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

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

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

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