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

Name: Andrei Kucharavy: Safe Coding with LLMs - Verifiable Scala Silver Bullet [Scala Days 2025]
Uploaded: 2025-11-26T00:00:00.000Z
Duration: 2407 s
Description: Video Andrei Kucharavy: Safe Coding with LLMs - Verifiable Scala Silver Bullet [Scala Days 2025]