¡Nuevo episodio de SintonIA! 🎙️ ¿Seguro que lo que escuchas en tus redes es una voz real? Hoy nos adentramos en el fascinante (y a veces inquietante) mundo de la clonación de voz y los deepfakes de audio.Nos acompaña el equipo del laboratorio de fonética del CSIC: Eugenia San Segundo, Aurora López, Manuel Otero, Blanca Hernández y Vega Rodríguez. Junto a ellos y a nuestros presentadores Rocío Romero y Francisco Jesús Martínez, analizaremos qué es lo que hace verdaderamente humana a una voz , cómo

Join Data Talks From Algebra to Architecture, with Jim Ellis In this episode of Data Talks, we sit down with Jim Ellis, math teacher at the American International School of Vienna and author of "Educators as Designers," to explore how his background in architecture reshaped his approach to teaching math. Jim walks us through the parallels between architectural design and effective data-informed instruction, and how that lens has shaped a career built around curiosity and critical thinking. We...

The Sui and Move ArchitectureUnlike the Go and Rust cores of the Mohawk stack, SAPM is built using TypeScript and Sui Move.On-Chain Logic: The core market mechanics—matching, escrow, and settlement—are written in Sui Move to leverage the blockchain's object-oriented safety and high throughput.DeepBook Integration: The market integrates with DeepBook (Sui's native central limit order book) to manage liquidity and execution for autonomous traders.Walrus Publishing: Recent commits show the integration

Day 19: Incident Response & Forensics — Technical BriefingAutomated Triage with Runbook-Match Cards: A deep dive into how the HUD accelerates first-response by mapping active opsHealth.alerts directly to runbook-match cards. This ensures that operators have immediate, context-aware remediation steps as soon as an anomaly is detected.Byzantine Forensics Pipelines: An analysis of the tiered detection logic, including the Daily Short-Run for rapid anomaly detection and the Weekly Forensics for

Day 18: EU AI Act & High-Risk Compliance — Technical BriefingThe Article 8-15 Mapping: A detailed look at how the protocol maps to the essential requirements for high-risk systems, including Risk Management (Art. 9), Technical Documentation (Art. 11), and Transparency (Art. 13).Article 12: Record-Keeping & Forensics: How the system implements tamper-evident audit validation and automatic logging. We explore the "Day 2 forensics automation" that allows operators to extract signed evidence of

Day 17: Sovereign Tokenomics & Utility Ledgers — Technical BriefingUtility Coin Controls: A deep dive into the orchestration of mint, transfer, and burn operations. These are role-gated admin functions that enforce persistent ledger state and append-only audit chaining, ensuring every economic action is cryptographically tied to the network’s history.Tokenomics Telemetry Pipeline: An analysis of the tokenomics_metrics_exporter and how it ingests telemetry payloads from the aggregation runtime

Key technical highlights covered in this session include:The Agentic Command Deck: A deep dive into the HUD's role as a centralized C2 view, which provides a structured AI interaction summary to make common network actions explainable and easy to trigger for human operators.Human-in-the-Loop & Review Drawer: Analyzing the "Review Drawer" feature, which allows operators to approve, edit, or reject AI-suggested actions. This provides a critical audit trail and implements the philosophy of

Dr. Wall discusses dyscalculia with Miss Grays Harbors Teen, Liliana Ayala. The pageant winner is using her platform to bring awareness to the math disability and shares her journey. Don't miss this episode!

In this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective. I also explain the critical concept of coherence.

真人實境互動的能力、本質與可能想法；或是說，灑掃應對進退的一般建議。歡迎收聽 分享指教[YesKnotes](https://chtsao.gitlab.io/pmod/posts/ykt.149.136910/ )

Die meisten Unternehmen übersehen die winzigen Hinweise in ihren Daten, die – wenn sie entdeckt werden – ihre Geschäftsabläufe revolutionieren können – und doch entgehen so vielen täglich diese Signale.In dieser Folge zeigen Aleksander und Tobias, wie kleine Anpassungen und übersehene Details bei Data-Science-Projekten oft den größten Unterschied ausmachen – und warum das Verstehen der subtilen Signale in Ihren Daten zu bahnbrechenden Erkenntnissen führen kann. Sie erfahren: Wie scheinbar triviale

Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic What is set theory—a foundation of math or a science of infinity? In this aboutlogic: premises episode, Deniz and Thorsten explore the history, paradoxes, and philosophical debates behind set theory. From Cantor’s diagonal argument to Hilbert’s Hotel and the role of ZFC, they discuss why set theory became the language of mathematics—and where its

In this episode, Autumn and Noah talk with Kevin Hartnett about why mathematicians are willing to spend years reducing an idea to a level of detail a machine can check, whether formal verification can catch an AI that's technically correct but fundamentally misaligned, the cold-start problem that kept earlier theorem-provers niche, and what it means for the future of mathematical trust once AI can generate proofs faster than any human community can read them.Timeline:00:00 Introduction to Lean and

On the latest episode of "In the Interim…", Dr. Scott Berry provides an empirical examination of two recent JAMA trials: TRACK (low-dose rivaroxaban in advanced kidney disease) and VICTORY (IV vitamin C in severe burn injury). The TRACK trial lacked any pre-specified futility criteria, with a DSMB-initiated stop based on conditional power calculations. Scott argues that conditional power, especially in this interim context, is a poor, misleading tool—contrasting it against a Bayesian

Academia on the Line is a podcast where two mathematicians talk with academics about mathematics, STEM, and higher education. Episode Summary: OpenAI's recent disproof of Erdős' unit distance conjecture surprised much of the mathematics community and prompted many researchers to reconsider the capabilities of modern reasoning models. In our inaugural episode, Melanie Matchett Wood and Daniel Litt join us to discuss the mathematics behind the result, the nine-author companion paper writt...

The Final Synthesis — Technical BriefingPlanetary Scale (100M+ Nodes): The architecture is now production-ready to scale beyond the initial 10-million-node target toward a 100-million-node swarm. This is enabled by the logarithmic path-depth proxy model and the 224x memory reduction achieved through the Mohawk Protocol’s chunked streaming aggregation.The Paradox of the Sovereign Protocol Revisited: We conclude by examining the protocol’s core tension—the need for a system to be decentralized enough

矛盾/弔詭 可能來自敘述的不相容，語意的不一致。但更基本的是，我們一般直覺認知中沒有根據的理所當然。辛普森弔詭是針對這樣理所當然的一記當頭棒喝。歡迎收聽 訂閱分享指教

Hvad får mennesker til at passe på naturen? Mange vil svare viden. Hvis vi bare lærer nok om klimakrise, biodiversitet og bæredygtighed, vil vi også handle derefter. Men ifølge Henrik Zinkernagel er det ikke hele svaret. Viden er vigtig, men den får ikke nødvendigvis elever til at handle. Hvis naturfagsundervisningen skal skabe omsorg for naturen, må den også vække elevernes forundring, sansning og oplevelse af, at naturen er noget, vi er forbundet med. I denne episode af Stillads under...

Text us your thoughts!In our last Hot Seat, our guests challenged the idea that everyone is a math person. Has the idea gone too far? And in today’s Hot Seat, we’re following  up on this idea with a subtle but powerful shift in language—and mindset. What if we had a word other than mathematician or math person? Join us as our Hot Seat guest invites us to rethink not just what we call our students, but how those words shape their relationship with mathematics, as our guest argues: We are all born

aboutlogic #14 | Turing Award winner Dana Scott joins us to discuss his groundbreaking work on lambda calculus, forcing, and Boolean-valued models and how these ideas revolutionized set theory and computability. From his collaborations with Kleene and Solovay to his thoughts on constructive mathematics, Scott shares insights into the history and future of logical foundations. Hear anecdotes about Gödel’s unpublished ideas, Einstein’s influence, and the telephone conversations that shaped modern