Andrei Kucharavy: Safe Coding with LLMs - Verifiable Scala Silver Bullet [Scala Days 2025] | Scala Days Conferences | Podwise