{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/3a98996e531540ef8d63e6cd7b07228c\" frameborder=\"0\" width=\"1920\" height=\"1440\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":1440,"width":1920,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":1440,"thumbnail_width":1920,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/3a98996e531540ef8d63e6cd7b07228c-e8911c64dbc87559.gif","duration":203.9766,"title":"Fixing Vibecoding with Formal Validation 🚀","description":"In this video, I introduce Paradigm and our approach to fixing vibecoding through formal validation. We address the challenges of vibecoding breaking at scale and how our system can generate verified and validated applications. I also share details about our design partner and the potential $500,000 scope if we deliver successfully. Please take a look at how our agentic system works and the benefits it brings. Your feedback on this would be greatly appreciated!"}